Publications per type (and year)

Journal Articles

Atampore, Francis; Dingel, Juergen; Rudie, Karen

A Controller Synthesis Framework for Automated Service Composition Journal Article

Discrete Event Dynamic Systems (JDEDS), 2019, (To appear).

BibTeX

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, 23 (3), pp. 1519-1551, 2018.

Abstract | Links | BibTeX

Dingel, Juergen; Schulte, Wolfram

Guest editorial for the special section on MODELS 2014 Journal Article

Software and Systems Modeling (SoSyM), 17 (1), pp. 9-10, 2018.

Links | BibTeX

Das, Tuhin Kanti; Dingel, Juergen

Model Development Guidelines for UML-RT: Conventions, Patterns, and Antipatterns Journal Article

Software and Systems Modeling (SoSyM), 17 (3), pp. 717-752, 2018.

Links | BibTeX

Kahani, Nafiseh; Bagherzadeh, Mojtaba; Cordy, Jim; Dingel, Juergen; Varro, Daniel

Survey and Classification of Model Transformation Tools Journal Article

Software and Systems Modeling (SoSyM), pp. 37, 2018.

Links | BibTeX

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.

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

Conferences

Pasternak, Michal; Kahani, Nafiseh; Bagherzadeh, Mojtaba; Dingel, Juergen; Cordy, Jim

SimGen: A Tool for Generating Simulations and Visualizations of Embedded Systems on the Unity Game Engine Conference

ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS'18), Demonstration Track, ACM, Copenhagen, Denmark, 2018.

Links | BibTeX

Book Chapters

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

Rajbahadur, Gopi Krishnan; Oliva, Gustavo; Hassan, Ahmed; Dingel, Juergen

Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines Inproceedings

ACM/IEEE 22st International Conference on Model Driven Engineering Languages and Systems (MODELS'19), IEEE, Munich, Germany, 2019, (To appear).

BibTeX

Ahmadi, Reza; Dingel, Juergen

Concolic Testing for Models of State-based Systems Inproceedings

27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'19), ACM, Tallinn, Estonia, 2019, (To appear).

BibTeX

Jahed, Karim; Dingel, J

Enabling Model-Driven Software Development Tools for the Internet of Things Inproceedings

11th Workshop on Modeling in Software Engineering (MiSE'19), pp. 93-99, IEEE, Montreal, Canada, 2019.

Links | BibTeX

Ahmadi, Reza; Posse, Ernesto; Dingel, Juergen

Slicing UML-based Models of Real-time Embedded Systems Inproceedings

ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS'18), pp. 346-356, ACM, Copenhagen, Denmark, 2018.

Links | BibTeX

Ahmadi, Reza; Hili, Nicolas; Dingel, Juergen

Property-aware Unit Testing of UML-RT Models in the Context of MDE Inproceedings

14th European Conference on Modelling Foundations and Applications (EC-MFA'18), pp. 147-163, Springer, Toulouse, France, 2018.

Links | BibTeX

Bagherzadeh, Mojtaba; Hili, Nicolas; Seekatz, David; Dingel, Juergen

MDebugger: A Model-level Debugger for UML-RT Inproceedings

40th International Conference on Software Engineering (ICSE'18): Companion Proceedings, pp. 4, Gothenburg, Sweden, 2018.

Abstract | Links | BibTeX

Atampore, Francis; Dingel, Juergen; Rudie, Karen

Supervisor Aware Service Composition Framework: An Implementation and Evaluation Inproceedings

Tommasi, Gianmaria De (Ed.): 14th Workshop on Discrete Event Systems (WODES'18), Elsevier, Castellammare di Stabia, Sorrento Coast, Italy, 2018, (IFAC-PapersOnLine 51(7):277-284).

Links | BibTeX

Hili, Nicolas; Posse, Ernesto; Dingel, Juergen

Calur: an Action Language for UML-RT Inproceedings

European Congress Embedded Real-time Software and Systems (ERTS'18), pp. 10, Toulouse, France, 2018.

Links | 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. 336-337, Austin, Texas, USA, 2017.

Links | 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

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; 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), Paderborn, Germany. September 04-08, 2017, 2017.

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

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.

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