Publications per type (and year)

Journal Articles

Bagherzadeh, Mojtaba; Kahani, Nafiseh; Bezemer, Cor-Paul; Hassan, Ahmed E; Dingel, Juergen; Cordy, James R

Analyzing a Decade of Linux System Calls Journal Article

Empirical Software Engineering Journal, 2017.

Abstract | Links | BibTeX

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

Controller Synthesis for Dynamic Hierarchical Real-Time Plants Using Timed Automata Journal Article

Journal Discrete Event Dynamic Systems, Special Issue on Formal Methods in Control, 27 , pp. 407-441, 2017.

Abstract | Links | BibTeX

Dingel, Juergen; Schulte, Wolfram

Guest editorial for the special section on MODELS 2014 Journal Article

Software and Systems Modeling, 2016, (To appear).

Links | BibTeX

Das, Tuhin Kanti; Dingel, Juergen

Model development guidelines for UML-RT: conventions, patterns and antipatterns Journal Article

Software and Systems Modeling, 2016.

Abstract | Links | BibTeX

Lúcio, Levi; Amrani, Moussa; Dingel, Juergen; Lambers, Leen; Salay, Rick; Selim, Gehan M K; Syriani, Eugene; Wimmer, Manuel

Model transformation intents and their properties Journal Article

Software and Systems Modeling, 15 (3), pp. 647-684, 2016.

Abstract | Links | BibTeX

Posse, Ernesto; Dingel, Juergen

An executable formal semantics for UML-RT Journal Article

Software and Systems Modeling, 15 (1), pp. 179-217, 2016.

Abstract | Links | BibTeX

Zurowska, Karolina; Dingel, Juergen

A Customizable Execution Engine for Models of Embedded Systems Journal Article

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

Links | BibTeX

Amrani, Moussa; Combemale, Benoit; Lúcio, Levi; Selim, Gehan M K; Dingel, Juergen; Traon, Yves Le; Vangheluwe, Hans; Cordy, James R

Formal Verification Techniques for Model Transformations: A Tridimensional Classification Journal Article

Journal of Object Technology, 14 (3), pp. 1-43, 2015, ISSN: 1660-1769.

Links | BibTeX

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

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

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

Abstract | Links | BibTeX

Auer, Anthony; Dingel, Juergen; Rudie, Karen

Concurrency control generation for dynamic threads using discrete-event systems Journal Article

Science of Computer Programming, 82 , pp. 22 - 43, 2014, ISSN: 0167-6423, (Special Issue on Automated Verification of Critical Systems (AVoCS'11)).

Links | BibTeX

Waez, Md Tawhid Bin; Dingel, Juergen; Rudie, Karen

A survey of timed automata for the development of real-time systems Journal Article

Computer Science Review, 9 , pp. 1 - 26, 2013, ISSN: 1574-0137.

Links | BibTeX

Moffett, Yann; Dingel, Juergen; Beaulieu, Alain

Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems Journal Article

IEEE Transactions on Software Engineering, 39 (9), pp. 1307-13256, 2013, ISSN: 0098-5589.

Links | BibTeX

Dingel, Juergen; Diskin, Zinovy; Zito, Alanna

Understanding and improving UML package merge Journal Article

Software and Systems Modeling, 7 (4), pp. 443-467, 2008.

Abstract | Links | BibTeX

Crane, Michelle L; Dingel, Juergen

UML vs. Classical vs. Rhapsody statecharts: not all models are created equal Journal Article

Software and Systems Modeling, 6 (4), pp. 415-435, 2007.

Links | BibTeX

Zhang, Hongyu; Bradbury, Jeremy S; Cordy, James R; Dingel, Juergen

Using source transformation to test and model check implicit-invocation systems Journal Article

Science of Computer Programming, 62 (3), pp. 209 - 227, 2006, ISSN: 0167-6423, (Special issue on Source code analysis and manipulation (SCAM 2005)).

Links | BibTeX

Dingel, Juergen

Compositional Analysis of C/C++ Programs with VeriSoft Journal Article

Acta Informatica, 43 (1), pp. 45-71, 2006, ISSN: 0001-5903.

Links | BibTeX

Cassidy, Timothy; Cordy, James R; Dean, Thomas R; Dingel, Juergen

Source Transformation for Concurrency Analysis Journal Article

Electron. Notes Theor. Comput. Sci., 141 (4), pp. 57-75, 2005, ISSN: 1571-0661.

Links | BibTeX

Dingel, Juergen

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming Journal Article

Formal Aspects of Computing, 14 (2), pp. 123-197, 2002, ISSN: 1433-299X.

Abstract | Links | BibTeX

Dingel, Juergen; Garlan, David; Jha, Somesh; Notkin, David

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning Journal Article

Formal Aspects of Computing, 10 (3), pp. 193-213, 1998, ISSN: 1433-299X.

Abstract | Links | BibTeX

Book Chapters

Khalil, Amal; Dingel, Juergen

Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts Book Chapter

Advances in Computers, pp. 83, Elsevier, 2017, (In print).

BibTeX

Broy, Manfred; Crane, Michelle; Dingel, Juergen; Hartman, Alan; Rumpe, Bernhard; Selic, Bran

Summary of the 2nd UML 2 Semantics Symposium: A Formal Semantics for UML Book Chapter

Proceedings of the 2006 International Conference on Models in Software Engineering, LNCS (4364), pp. 783-790, Springer, Genoa, Italy. October 1-6, 2006, 2006.

Links | BibTeX

Inproceedings

Bagherzadeh, Mojtaba; Hili, Nicolas; Dingel, Juergen

Model-level, Platform-independent Debugging in the Context of the Model-driven Development of Real-time Systems Inproceedings

11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'17), pp. 419-430, ACM, Paderborn, Germany. September 04-08, 2017, 2017, (https://github.com/moji1/MDebugger).

Abstract | Links | BibTeX

Hili, Nicolas; Dingel, Juergen; Beaulieu, Alain

Modelling and Code Generation for Real-time Embedded Systems with UML-RT and Papyrus-RT Inproceedings

39th International Conference on Software Engineering Companion, pp. 509–510, IEEE, Buenos Aires, Argentina. May 21-22, 2017, 2017, ISBN: 978-1-5386-1589-8.

Links | BibTeX

Kahani, Nafiseh; Hili, Nicolas; Cordy, James R; Dingel, Juergen

Evaluation of UML-RT and Papyrus-RT for Modelling Self-adaptive Systems Inproceedings

9th International Workshop on Modelling in Software Engineering (MiSE'17), pp. 12–18, IEEE, Buenos Aires, Argentina. May 21-22, 2017, 2017, ISBN: 978-1-5386-0426-7.

Links | BibTeX

Madzar, Boris; Boudjadar, Jalil; Dingel, Juergen; Fuhrman, Thomas E; S., Ramesh

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems Inproceedings

Kouchnarenko, Olga; Khosravi, Ramtin (Ed.): 13th International Conference on Formal Aspects of Component Software (FACS'16), pp. 153–171, Springer, Besançon, France. October 19-21, 2016, 2017, ISBN: 978-3-319-57666-4.

Abstract | Links | BibTeX

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

How is ATL Really Used? Language Feature Use in the ATL Zoo Inproceedings

ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), pp. 11 pages, Austin, Texas. Sept 17-22, 2017, 2017.

Links | BibTeX

Oliveira, Raquel; Dingel, Juergen

Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT Inproceedings

14th Workshop on Model-driven Engineering, Verification, and Validation (MoDeVVa'17), pp. 7, Austin, Texas. Sept 19, 2017, 2017, (To appear).

BibTeX

Bagherzadeh, Mojtaba; Bordeleau, Francis; Bruel, Jean-Michel; Dingel, Juergen; Gerard, Sebastien; Hili, Nicolas; Voss, Sebastian

Summary of Workshop on Model-Driven Engineering Tools (MDETools'17) Inproceedings

MODELS 2017 Satellite Events Proceedings, pp. 2, Austin, Texas, USA, 2017, (To appear).

BibTeX

Ahmadi, Reza; Hili, Nicolas; Das, Nondini; Ganesan, Suchita; Jweda, Leo; Dingel, Juergen

Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware Inproceedings

3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'16), Saint-Malo, France. October 3, 2016, 2016.

Links | BibTeX

Das, Nondini; Ganesan, Suchita; Jweda, Leo; Bagherzadeh, Mojtaba; Hili, Nicolas; Dingel, Juergen

Supporting the Model-driven Development of Real-time Embedded Systems with Run-time Monitoring and Animation via Highly Customizable Code Generation Inproceedings

ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS'16), pp. 36-43, ACM, Saint-Malo, France. October 2-7, 2016, 2016, ISBN: 978-1-4503-4321-3.

Links | BibTeX

Kahani, Nafiseh; Bagherzadeh, Mojtaba; Dingel, Juergen; Cordy, James R

The Problems with Eclipse Modeling Tools: A Topic Analysis of Eclipse Forums Inproceedings

ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS'16), pp. 227-237, ACM, Saint-Malo, France. October 2-7, 2016, 2016, ISBN: 978-1-4503-4321-3.

Abstract | Links | BibTeX

Atampore, Francis; Dingel, Juergen; Rudie, Karen

Automated service composition via supervisory control theory Inproceedings

13th International Workshop on Discrete Event Systems (WODES'16), pp. 28-35, Xi'an, China. May 30 - June 1, 2016, 2016.

Links | BibTeX

Dingel, Juergen

Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering Inproceedings

9th International Conference on Graph Transformation (ICGT'16), pp. 3-18, Springer, Vienna, Austria. July 5-6, 2016, 2016, ISBN: 978-3-319-40530-8.

Abstract | Links | BibTeX

Boudjadar, Abdeldjalil; Dingel, Juergen; Madzar, Boris; Kim, Jin Hyun

Compositional Predictability Analysis of Mixed Critical Real Time Systems Inproceedings

4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'15), pp. 69-84, Springer, Paris, France. November 6-7, 2015, 2016, ISBN: 978-3-319-29510-7.

Links | BibTeX

Fischer, Mark; Dingle, Juergen; Elaasar, Maged

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

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

BibTeX

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

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

Links | BibTeX

Khalil, Amal; Dingel, Juergen

Incremental symbolic execution of evolving state machines Inproceedings

ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15), pp. 14-23, IEEE, Ottawa, Canada. September 30 - October 2, 2015, 2015.

Links | BibTeX

Das, Tuhin K; Dingel, Juergen

State machine antipatterns for UML-RT Inproceedings

ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15), pp. 54-63, IEEE, Ottawa, Canada. September 30 - October 2, 2015, 2015.

Links | BibTeX

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

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

Rapos, Eric J; Dingel, Juergen

Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases Inproceedings

IEEE 8th International Conference on Software Testing, Verification and Validation (ICST'15), pp. 1-10, IEEE, Graz, Austria. April 13-17, 2015, 2015, ISSN: 2159-4848.

Links | BibTeX

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

A Model for Industrial Real-Time Systems Inproceedings

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

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

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

Posse, Ernesto; Dingel, Juergen

Contract-based Specification and Analysis of AADL models Inproceedings

Architecture Centric Virtual Integration Workshop (ACVI'14), Valencia, Spain. September 29, 2014, 2014.

Links | BibTeX

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

Specification and Verification of Graph-Based Model Transformation Properties Inproceedings

7th International Conference on Graph Transformation (ICGT'14), pp. 113-129, Springer, York, UK. July 22-24, 2014, 2014, ISBN: 978-3-319-09108-2.

Abstract | Links | BibTeX

Fischer, Mark; Dingel, Juergen; Elaasar, Maged; Shaw, Steven

Automating Instance Migration in Response to Ontology Evolution Inproceedings

Workshop on Models and Evolution (ME'13), pp. 22-29, Miami, Florida. October 1, 2013, 2013.

Links | BibTeX

Zurowska, Karolina; Dingel, Juergen

Model Checking of UML-RT Models Using Lazy Composition Inproceedings

ACM/IEEE 16th International Conference on Model-Driven Engineering Languages and Systems (MODELS'13), pp. 304-319, Springer, Miami, FL, USA. September 29 - October 4, 2013, 2013, ISBN: 978-3-642-41533-3.

Abstract | Links | BibTeX

Selim, Gehan M K; Büttner, Fabian; Cordy, James R; Dingel, Juergen; Wang, Shige

Automated Verification of Model Transformations in the Automotive Industry Inproceedings

ACM/IEEE 16th International Conference on Model-Driven Engineering Languages and Systems (MODELS'13), pp. 690-706, Springer, Miami, FL, USA. September 29 - October 4, 2013, 2013, ISBN: 978-3-642-41533-3.

Abstract | Links | BibTeX

Amrani, Moussa; Dingel, Juergen; Lambers, Leen; Lúcio, Levi; Salay, Rick; Selim, Gehan M K; Syriani, Eugene; Wimmer, Manuel

Towards a Model Transformation Intent Catalog Inproceedings

First Workshop on the Analysis of Model Transformations (AMT'12), pp. 3-8, ACM, Innsbruck, Austria. October 2, 2012, 2012, ISBN: 978-1-4503-1803-7.

Links | BibTeX

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

Model Transformation Testing: The State of the Art Inproceedings

First Workshop on the Analysis of Model Transformations (AMT'12), pp. 21-26, ACM, Innsbruck, Austria. October 2, 2012, 2012, ISBN: 978-1-4503-1803-7.

Links | BibTeX

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

Model Transformations for Migrating Legacy Models: An Industrial Case Study Inproceedings

8th European Conference on Modelling Foundations and Applications (ECMFA'12), pp. 90-101, Springer, Kgs. Lyngby, Denmark, July 2-5, 2012, 2012, ISBN: 978-3-642-31491-9.

Abstract | Links | BibTeX