Publications Search Tool

290 entries « 6 of 15 »
101.

Das, Tuhin Kanti; Dingel, Juergen

Model Development Guidelines for UML-RT Technical Report

School of Computing, Queen's University (2015-628), 2015, (51 pages).

BibTeX

102.

Selim, Gehan M K; Wang, Shige; Cordy, James R; Dingel, Juergen

Model transformations for migrating legacy deployment models in the automotive industry Journal Article

In: Software and Systems Modeling, 14 (1), pp. 365-381, 2015.

Abstract | Links | BibTeX

103.

Bordeleau, Francis; Bruel, Jean-Michel; Dingel, Juergen; Gerard, Sebastien; Voss, Sebastian (Ed.)

International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'15) Proceeding

Ottawa, Canada. September 29, 2015, CEUR (1500), 2015, (63 pages).

Links | BibTeX

104.

Zurowska, Karolina; Dingel, Juergen

A Customizable Execution Engine for Models of Embedded Systems Journal Article

In: pp. 82-110, 2015, ISBN: 978-3-319-21911-0.

Links | BibTeX

105.

Fischer, Mark; Dingle, Juergen; Elaasar, Maged

Ontology Instance Migration: Facilitating Ontology Co-evolution: the next step toward increased ontology adoption (Position paper) Inproceedings

In: 7th International Conference on Knowledge Engineering and Ontology Development (KEOD'15), pp. 441-446, SciTePress, Lisbon, Portugal, 2015.

BibTeX

106.

Selim, Gehan M K; Cordy, James R; Dingel, Juergen; Lúcio, Levi; Oakes, Bentley J

Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report Inproceedings

In: 4th Workshop on the Analysis of Model Transformations (AMT'15), pp. 24-34, Ottawa, Canada. September 28, 2015, 2015, ISSN: 1613-0073.

Links | BibTeX

107.

Lúcio, Levi; Oakes, Bentley J; Gomes, Claudio; Selim, Gehan M K; Dingel, Juergen; Cordy, James R; Vangheluwe, Hans

SyVOLT: Full Model Transformation Verification Using Contracts Miscellaneous

Demonstration and Poster Track at MODELS'15, 2015.

Links | BibTeX

108.

Famelis, Michalis; Lúcio, Levi; Selim, Gehan M K; Sandro, Alessio; Salay, Rick; Chechik, Marsha; Cordy, James R; Dingel, Juergen; Vangheluwe, Hans; S., Ramesh

Migrating Automotive Product Lines: A Case Study Inproceedings

In: 8th International Conference on Theory and Practice of Model Transformations (ICMT'15), pp. 82-97, Springer, L'Aquila, Italy. July 20-21, 2015, 2015, ISBN: 978-3-319-21154-1.

Links | BibTeX

109.

Waez, Md Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen

A Model for Industrial Real-Time Systems Inproceedings

In: 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15), pp. 153-171, Springer, Mumbai, India. January 12-14, 2015, 2015, ISBN: 978-3-662-46081-8.

Abstract | Links | BibTeX

110.

Waez, Md Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen

Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report Inproceedings

In: 11th International Symposium on Formal Aspects of Component Software (FACS'14), pp. 162-180, Springer, Bertinoro, Italy. September 10-12, 2014, 2015, ISBN: 978-3-319-15317-9.

Abstract | Links | BibTeX

111.

Bordeleau, Francis; Bruel, Jean-Michel; Dingel, Juergen; Gerard, Sebastien; Voss, Sebastian (Ed.)

International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'15) Proceeding

Ottawa, Canada. September 29, 2015, CEUR (1500), 2015, (63 pages).

Links | BibTeX

112.

Zurowska, Karolina; Dingel, Juergen

A Customizable Execution Engine for Models of Embedded Systems Journal Article

In: pp. 82-110, 2015, ISBN: 978-3-319-21911-0.

Links | BibTeX

113.

Fischer, Mark; Dingle, Juergen; Elaasar, Maged

Ontology Instance Migration: Facilitating Ontology Co-evolution: the next step toward increased ontology adoption (Position paper) Inproceedings

In: 7th International Conference on Knowledge Engineering and Ontology Development (KEOD'15), pp. 441-446, SciTePress, Lisbon, Portugal, 2015.

BibTeX

114.

Selim, Gehan M K; Cordy, James R; Dingel, Juergen; Lúcio, Levi; Oakes, Bentley J

Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report Inproceedings

In: 4th Workshop on the Analysis of Model Transformations (AMT'15), pp. 24-34, Ottawa, Canada. September 28, 2015, 2015, ISSN: 1613-0073.

Links | BibTeX

115.

Lúcio, Levi; Oakes, Bentley J; Gomes, Claudio; Selim, Gehan M K; Dingel, Juergen; Cordy, James R; Vangheluwe, Hans

SyVOLT: Full Model Transformation Verification Using Contracts Miscellaneous

Demonstration and Poster Track at MODELS'15, 2015.

Links | BibTeX

116.

Famelis, Michalis; Lúcio, Levi; Selim, Gehan M K; Sandro, Alessio; Salay, Rick; Chechik, Marsha; Cordy, James R; Dingel, Juergen; Vangheluwe, Hans; S., Ramesh

Migrating Automotive Product Lines: A Case Study Inproceedings

In: 8th International Conference on Theory and Practice of Model Transformations (ICMT'15), pp. 82-97, Springer, L'Aquila, Italy. July 20-21, 2015, 2015, ISBN: 978-3-319-21154-1.

Links | BibTeX

117.

Waez, Md Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen

A Model for Industrial Real-Time Systems Inproceedings

In: 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15), pp. 153-171, Springer, Mumbai, India. January 12-14, 2015, 2015, ISBN: 978-3-662-46081-8.

Abstract | Links | BibTeX

118.

Waez, Md Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen

Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report Inproceedings

In: 11th International Symposium on Formal Aspects of Component Software (FACS'14), pp. 162-180, Springer, Bertinoro, Italy. September 10-12, 2014, 2015, ISBN: 978-3-319-15317-9.

Abstract | Links | BibTeX

119.

Dingel, Juergen; Schulte, Wolfram; Ramos, Isidro; Abrahao, Silvia; Insfran, Emilio (Ed.)

ACM/IEEE 17th International Conference Model-Driven Engineering Languages and Systems (MODELS'14) Proceeding

Valencia, Spain. September 28 - October 4, 2014, LNCS (8767), 2014, ISBN: 978-3-319-11653-2, (712 pages).

Links | BibTeX

120.

Bordeleau, Francis; Dingel, Juergen; Gerard, Sebastien; Voss, Sebastian (Ed.)

Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'14) Proceeding

Valencia, Spain. September 28, 2014, CEUR (1290), 2014, (63 pages).

Links | BibTeX

290 entries « 6 of 15 »