Publications per year

2017

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

Khalil, Amal; Dingel, Juergen

Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts Book Chapter

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

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), 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

2016

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

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

Bordeleau, Francis; Bruel, Jean-Michel; Dingel, Juergen; Gerard, Sébastien; Muccini, Henry; Mussbacher, Gunter; Voss, Sebastian (Ed.)

Joint Proceedings of the 12th Educators Symposium (EduSymp'16) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'16) Proceeding

Saint-Malo, France. October 3, 2016, CEUR (1835), 2016, (66 pages).

Links | BibTeX

2015

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

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

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

Antkiewicz, Michal; Atlee, Joanne; Dingel, Juergen; S., Ramesh (Ed.)

International Workshop on Modelling in Automotive Software Engineering (MASE'15) Proceeding

Ottawa, Canada. September 27, 2015, CEUR (1487), 2015, (72 pages).

Links | BibTeX

Dingel, Juergen; Kokaly, Sahar; Lúcio, Levi; Salay, Rick; Vangheluwe, Hans (Ed.)

4th International Workshop on the Analysis of Model Transformations (AMT'15) Proceeding

Ottawa, Canada. September 28, 2015, CEUR (1500), 2015, (65 pages).

Links | BibTeX

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

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

Khalil, Amal; Dingel, Juergen

Incremental Symbolic Execution of Evolving State Machine Models using Memoization and Dependence Analysis Technical Report

School of Computing, Queen's University (2015-623), 2015, (49 pages).

BibTeX

2014

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

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

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

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

Dingel, Juergen; de Lara, Juan; Lúcio, Levi; Vangheluwe, Hans (Ed.)

Third Workshop on Analysis of Model Transformations (AMT'14) Proceeding

Valencia, Spain. September 29, 2014, CEUR (1277), 2014, (90 pages).

Links | BibTeX

2013

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

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

Baudry, Benoit; Dingel, Juergen; Lúcio, Levi; Vangheluwe, Hans (Ed.)

Second Workshop on Analysis of Model Transformations (AMT'13) Proceeding

Miami, Florida, USA. September 29, 2013, CEUR (1077), 2013, (92 pages).

Links | BibTeX

Khalil, Amal; Dingel, Juergen

Supporting the Evolution of UML Models in Model Driven Software Development: A Survey Technical Report

School of Computing, Queen's University (2013-602), 2013.

BibTeX

2012

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

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

A Tridimensional Approach for Studying the Formal Verification of Model Transformations Inproceedings

IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST'12), pp. 921-928, IEEE Computer Society, Montreal, Canada. April 21, 2012, 2012, ISBN: 978-0-7695-4670-4.

Links | BibTeX

Zurowska, Karolina; Dingel, Juergen

Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines Inproceedings

E., Alwyn Goodloe E; Person, Suzette (Ed.): 4th International NASA Symposium on Formal Methods (NFM'12), pp. 39-53, Springer, Norfolk, VA, USA. April 3-5, 2012, 2012, ISBN: 978-3-642-28891-3.

Abstract | Links | BibTeX

Zurowska, Karolina; Dingel, Juergen

Symbolic Execution of UML-RT State Machines Inproceedings

27th Annual ACM Symposium on Applied Computing (SAC-SVT'12), pp. 1292-1299, ACM, Riva del Garda, Italy. March 25-29, 2012, 2012, ISBN: 978-1-4503-0857-1.

Links | BibTeX

Dingel, Juergen; Lúcio, Levi; Vangheluwe, Hans; Varro, Daniel (Ed.)

First Workshop on the Analysis of Model Transformations (AMT'12) Proceeding

ACM, Insbruck, Austria. October 2012, (ID 2432497), 2012, ISBN: 978-1-4503-1803-7, (46 pages).

Links | BibTeX

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

Analysis of Model Transformations Technical Report

School of Computing, Queen's University (2012-592), 2012, (58 pages).

BibTeX

2011

Zurowska, Karolina; Dingel, Juergen

SAUML: A tool for symbolic analysis of UML-RT models (Tool Demonstration) Inproceedings

26th IEEE/ACM International Conference on Automated Software Engineering (ASE'11), pp. 604-607, Lawrence, Kansas, USA. November 6-10, 2011, 2011, ISSN: 1938-4300.

Links | BibTeX

Moffett, Yann; Beaulieu, Alain; Dingel, Juergen

Verifying UML-RT Protocol Conformance Using Model Checking Inproceedings

ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS'11), pp. 410-424, Springer, Wellington, New Zealand. October 16-21, 2011, 2011, ISBN: 978-3-642-24484-1.

Links | BibTeX

Saifan, Ahmad A; Dingel, Juergen; Bradbury, Jeremy S; Posse, Ernesto

Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems Inproceedings

Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST'11), pp. 269-278, Berlin, Germany. March 21-25, 2011, 2011, ISSN: 2159-4848.

Links | BibTeX

Bruni, Roberto; Dingel, Juergen (Ed.)

Joint 13th IFIP WG 6.1 International Conference and 30th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE'11) Proceeding

Springer, Reykjavik, Iceland. June 6-9, 2011, LNCS (6722), 2011, (360 pages).

Links | BibTeX

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

Timed Automata for the Development of Real-Time Systems Technical Report

School of Computing, Queen's University (2011-579), 2011, (63 pages).

BibTeX

2010

Posse, Ernesto; Dingel, Juergen

Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation Inproceedings

IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications (DS-RT'10), pp. 87-96, Fairfax, VA, USA. October 17-20, 2010, 2010, ISSN: 1550-6525.

Links | BibTeX

Dingel, Juergen; Paen, Eyrak; Posse, Ernesto; (Ruben), Rezoanoor (Ruber) Rahman; Zurowska, Karolina

Definition and Implementation of a Semantic Mapping for UML-RT Using a Timed Pi-calculus Inproceedings

Second International Workshop on Behaviour Modelling: Foundation and Applications (BM-FA'10), pp. 1-8, ACM, Paris, France. June 15, 2010, 2010, ISBN: 978-1-60558-961-9.

Links | BibTeX

Posse, Ernesto; Dingel, Juergen

Theory and Implementation of a Real-Time Extension to the Pi-Calculus Inproceedings

Joint 12th IFIP WG 6.1 International Conference and 30th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE'10), pp. 125-139, Springer, Amsterdam, The Netherlands. June 7-9, 2010, 2010, ISBN: 978-3-642-13464-7.

Abstract | Links | BibTeX

Dingel, Juergen

The Doctoral Symposium at MODELS 2009 Inproceedings

Proceedings of the 2009 International Conference on Models in Software Engineering (MODELS'09), pp. 1-4, Springer, Denver, CO, 2010, ISBN: 3-642-12260-4, 978-3-642-12260-6.

Links | BibTeX

Saifan, Ahmad A; Dingel, Juergen

A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems Inproceedings

Advanced Techniques in Computing Sciences and Software Engineering, pp. 283-288, Springer, 2010, ISBN: 978-90-481-3660-5.

Abstract | Links | BibTeX

Dingel, Juergen; Solberg, Arnor (Ed.)

Models in Software Engineering: Workshops and Symposia at MODELS 2010, Reports and Revised Selected Papers Proceeding

Springer, Oslo, Norway. October 2-8, 2010, LNCS (6627), 2010, (416 pages).

Links | BibTeX

Zurowska, Karolina; Dingel, Juergen

Model-based generation of test cases for reactive systems Technical Report

School of Computing, Queen's University (2010-573), 2010, (43 pages).

BibTeX

2009

Auer, Anthony; Dingel, Juergen; Rudie, Karen

Concurrency control generation for dynamic threads using Discrete-Event Systems Inproceedings

47th Annual Allerton Conference on Communication, Control, and Computing (Allerton'09), pp. 927-934, Allerton Retreat Center, Monticello, Illinois. September 30 - October 2, 2009, 2009.

Links | BibTeX

Saifan, Ahmad A; Posse, Ernesto; Dingel, Juergen

Run-time Conformance Checking of Mobile and Distributed Systems Using Executable Models Inproceedings

7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD'09), pp. 1-11, ACM, Chicago, Illinois. July 19-20, 2009, 2009, ISBN: 978-1-60558-655-7.

Links | BibTeX

Dingel, Juergen; Rudie, Karen; Dragert, Chris

Bridging the Gap: Discrete-Event Systems for Software Engineering (Short Position Paper) Inproceedings

2nd Canadian Conference on Computer Science and Software Engineering (C3S2E'09), pp. 67-71, ACM, Montreal, Quebec, Canada. May 19-21, 2009, 2009, ISBN: 978-1-60558-401-0.

Links | BibTeX

Liang, Hongzhi; Dingel, Juergen

A Practical Evaluation of Using TXL for Model Transformation Inproceedings

Software Language Engineering: First International Conference (SLE'08), pp. 245-264, Springer, Toulouse, France. September 29-30, 2008, 2009, ISBN: 978-3-642-00434-6.

Abstract | Links | BibTeX

Dingel, Juergen

Proceedings of the Doctoral Symposium at MODELS 2009 Technical Report

School of Computing, Queen's University (2009-566), 2009, (58 pages).

BibTeX

2008

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

Posse, Ernesto; Dingel, Juergen

A Foundation for MDE Inproceedings

First International Workshop on Challenges in Model-Driven Software Engineering (ChaMDE'08), pp. 15-19, Toulouse, France. September 2008, 2008.

BibTeX

Crane, Michelle L; Dingel, Juergen

Towards a UML Virtual Machine: Implementing an Interpreter for UML 2 Actions and Activities Inproceedings

Conference of the Center for Advanced Studies on Collaborative Research: Meeting of Minds (CASCON'08), pp. 96-110, ACM, Toronto, Ontario, Canada. October 27-30, 2008, 2008.

Links | BibTeX

Liang, Hongzhi; Diskin, Zinovy; Dingel, Juergen; Posse, Ernesto

A General Approach for Scenario Integration Inproceedings

11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2008), pp. 204-218, Springer Berlin Heidelberg, Toulouse, France. September 28 - October 3, 2008, 2008, ISBN: 978-3-540-87875-9.

Abstract | Links | BibTeX

Crane, Michelle L; Dingel, Juergen

Towards a Formal Account of a Foundational Subset for Executable UML Models Inproceedings

11th International Conference on Model Driven Engineering Languages and Systems (MODELS'08), pp. 675-689, Springer, Toulouse, France. September 28 - October 3, 2008, 2008, ISBN: 978-3-540-87874-2.

Links | BibTeX

Dragert, Christopher; Dingel, Juergen; Rudie, Karen

Generation of Concurrency Control Code Using Discrete-event Systems Theory Inproceedings

16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-16), pp. 146-157, ACM, Atlanta, Georgia. November 9-14, 2008, 2008, ISBN: 978-1-59593-995-1.

Links | BibTeX

Diskin, Zinovy; Easterbrook, Steve; Dingel, Juergen

Engineering Associations: From Models to Code and Back through Semantics Inproceedings

Paige, Richard F; Meyer, Bertrand (Ed.): 46th International Conference on Objects, Components, Models and Patterns (TOOLS EUROPE 2008), pp. 336-355, Springer, Zurich, Switzerland. June 30 - July 4, 2008, 2008, ISBN: 978-3-540-69824-1.

Abstract | Links | BibTeX

Long, Barry; Dingel, Juergen; Graham, Nick

Experience applying the SPIN model checker to an industrial telecommunications system Inproceedings

ACM/IEEE 30th International Conference on Software Engineering (ICSE'08), Experience Track, pp. 693-702, ACM, Leipzig, Germany. May 10-18, 2008, 2008, ISSN: 0270-5257.

Links | BibTeX

Posse, Ernesto; Dingel, Juergen

Mapping UML State Machines to kiltera Technical Report

School of Computing, Queen's University (2008-552), 2008, (34 pages).

BibTeX

2007

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

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

Comparative Assessment of Testing and Model Checking Using Program Mutation Inproceedings

Testing: Academic and Industrial Conference Practice and Research Techniques (TAICPART-MUTATION'07), pp. 210-222, Windsor, UK. September 2007, 2007.

Links | BibTeX

Cengarle, Maria V; Dingel, Juergen; Grönniger, Hans; Rumpe, Bernhard

Nordic Workshop on Model Driven Engineering (NW-MODE'07) Inproceedings

System-Model-Based Simulation of UML Models, pp. 112-126, Ronneby, Sweden. August 2007, 2007.

BibTeX

Cai, Ruhai L; Bradbury, Jeremy S; Dingel, Juergen

Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking Inproceedings

Bonsangue, Marcello M; Johnsen, Einar Broch (Ed.): 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07), pp. 44-58, Springer, Paphos, Cyprus. June 6-8, 2007, 2007, ISBN: 978-3-540-72952-5.

Abstract | Links | BibTeX

McGeachie, Jesse; Dingel, Juergen

Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking Inproceedings

Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'07), pp. 3-18, Elsevier Science Publishers B. V., Braga, Portugal. March 31, 2007, 2007, ISSN: 1571-0661.

Links | BibTeX

2006

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

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

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

Mutation Operators for Concurrent Java (J2SE 5.0) Inproceedings

Second Workshop on Mutation Analysis (Mutation'06), pp. 83-92, Raleigh, NC, USA. November 2006, 2006.

Links | BibTeX

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

ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis Inproceedings

Second Workshop on Mutation Analysis (Mutation'06), pp. 57-62, Raleigh, NC, USA. November 2006, 2006.

Links | BibTeX

Zito, Alanna; Dingel, Juergen

Modeling UML 2 Package Merge with Alloy Inproceedings

First Alloy Workshop (Alloy'06), pp. 86-95, Portland, OR, USA. November 2006, 2006.

BibTeX

Diskin, Zinvoy; Dingel, Juergen

Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 Inproceedings

Nierstrasz, Oscar ; Whittle, Jon ; Harel, David ; Reggio, Gianna (Ed.): 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS'06), pp. 230-244, Springer, Genova, Italy. October 1-6, 2006, 2006, ISBN: 978-3-540-45773-2.

Abstract | Links | BibTeX

Zito, Alanna; Diskin, Zinovy; Dingel, Juergen

Package Merge in UML 2: Practice vs. Theory? Inproceedings

Nierstrasz, Oscar ; Whittle, Jon ; Harel, David ; Reggio, Gianna (Ed.): 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS'06), pp. 185-199, Springer, Genova, Italy. October 1-6, 2006, 2006, ISBN: 978-3-540-45773-2.

Abstract | Links | BibTeX

Diskin, Zinovy; Dingel, Juergen

A metamodel-independent framework for model transformation: Towards generic model management patterns in reverse engineering Inproceedings

3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies (ATEM'06), Genoa, Italy, 2006.

BibTeX

Liang, Hongzhi; Dingel, Juergen; Diskin, Zinvoy

A Comparative Survey of Scenario-based to State-based Model Synthesis Approaches Inproceedings

International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'06), pp. 5-12, ACM, Shanghai, China. May 27, 2006, 2006, ISBN: 1-59593-394-8.

Links | BibTeX

Diskin, Zinovy; Dingel, Juergen; Liang, Hongzhi

Scenario Integration via Higher-Order Graphs Technical Report

School of Computing, Queen's University (2006-517), 2006, (23 pages).

BibTeX

2005

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

Crane, Michelle L; Dingel, Juergen

UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal Inproceedings

Briand, Lionel; Williams, Clay (Ed.): ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MODELS'05), pp. 97-112, Springer, Montego Bay, Jamaica. October 2-7, 2005, 2005, ISBN: 978-3-540-32057-9.

Abstract | Links | BibTeX

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

An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis Inproceedings

6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'05), pp. 2-5, ACM, Lisbon, Portugal. September 5-6, 2005, 2005.

BibTeX

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

Implementation and verification of implicit-invocation systems using source transformation Inproceedings

Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05), pp. 87-96, IEEE, Budapest, Hungary. September 30 - October 1, 2005, 2005.

Links | BibTeX

Crane, Michelle L; Dingel, Juergen

On the Semantics of State Machines: Categorization and Comparison Technical Report

School of Computing, Queen's University (2005-501), 2005, (54 pages).

BibTeX

2004

Dingel, Juergen; Liang, Hongzhi

Automating Comprehensive Safety Analysis of Concurrent Programs Using Verisoft and TXL Inproceedings

12th ACM SIGSOFT Twelfth International Symposium on Foundations of Software Engineering (FSE-12), pp. 13-22, ACM, Newport Beach, CA, USA. October 31 - November 6, 2004, 2004, ISBN: 1-58113-855-5.

Links | BibTeX

Bradbury, Jeremy S; Cordy, James R; Dingel, Juergen; Wermelinger, Michel

A Survey of Self-management in Dynamic Software Architecture Specifications Inproceedings

1st ACM SIGSOFT Workshop on Self-managed Systems (WOSS'04), pp. 28-33, ACM, Newport Beach, California. October 31 - November 1, 2004, 2004, ISBN: 1-58113-989-6.

Links | BibTeX

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

A transformational framework for testing and model checking implicit-invocation systems Inproceedings

International Workshop on Distributed Event-based Systems (DEBS'04), pp. 110-115, Institution of Engineering and Technology, Edinburgh, Scotland. May 2004, 2004.

Abstract | Links | BibTeX

2003

Bradbury, Jeremy S; Dingel, Juergen

Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems Inproceedings

9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-11), pp. 78-87, ACM, Helsinki, Finland. September 1-5, 2003, 2003, ISBN: 1-58113-743-5.

Links | BibTeX

Crane, Michelle L; Dingel, Juergen

Runtime Conformance Checking of Objects Using Alloy Inproceedings

Workshop on Run-time Verification (RV'03), pp. 2 - 21, Boulder, Colorado, USA. July 2003, 2003, ISSN: 1571-0661.

Links | BibTeX

Dingel, Juergen

Computer-assisted Assume/Guarantee Reasoning with VeriSoft Inproceedings

25th International Conference on Software Engineering (ICSE'03), pp. 138-148, IEEE Computer Society, Portland, Oregon, USA. May 3-10, 2003, 2003, ISBN: 0-7695-1877-X.

Links | BibTeX

2002

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; Damon, Craig

Bridging the HLA: Problems and Solutions Inproceedings

Sixth IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT'02), pp. 33-43, IEEE Computer Society, Dallas, TX, USA. October 11-13, 2002, 2002, ISBN: 0-7695-1853-2.

Links | BibTeX

2001

Dingel, Juergen; Garlan, David; Damon, Craig A

A feasibility study of the HLA bridge Technical Report

Department of Computer Science, Carnegie Mellon University (CMU-CS-01-103), 2001, (41 pages).

BibTeX

2000

Dingel, Juergen

Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs Inproceedings

Second International Conference on Integrated Formal Methods (IFM'00), pp. 214-234, Springer, Dagstuhl, Germany. November 1-3, 2000, 2000, ISBN: 3-540-41196-8.

Links | BibTeX

1999

Dingel, Juergen

A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs Inproceedings

7th International Conference on Algebraic Methodology and Software Technology (AMAST'98), pp. 231-247, Springer, Amazonia, Brazil. January 4-8, 1999, 1999, ISBN: 3-540-65462-3.

Links | BibTeX

1998

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

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

Reasoning About Implicit Invocation Inproceedings

6th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-6), pp. 209-221, ACM, Lake Buena Vista, Florida, USA. November 3-5, 1998, 1998, ISBN: 1-58113-108-9.

Links | BibTeX

1997

Dingel, Juergen

Approximating Unity Inproceedings

Garlan, David; Métayer, Daniel Le (Ed.): Second International Conference on Coordination Languages and Models (COORDINATION'97), pp. 320-337, Springer, Berlin, Germany. September 1-3, 1997, 1997, ISBN: 978-3-540-69527-1.

Abstract | Links | BibTeX

Baldamus, Michael; Dingel, Juergen

Modal characterization of weak bisimulation for higher-order processes Inproceedings

Bidoit, Michel ; Dauchet, Max (Ed.): 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), pp. 285-296, Springer, Lille, France. April 14-18, 1997, 1997, ISBN: 978-3-540-68517-3.

Abstract | Links | BibTeX

1996

Dingel, Juergen

Modular Verification for Shared-Variable Concurrent Programs Inproceedings

7th International Conference on Concurrency Theory (CONCUR'96), pp. 703-718, Springer, Pisa, Italy. August 26-29, 1996, 1996, ISBN: 3-540-61604-7.

Links | BibTeX

1995

Dingel, Juergen; Filkorn, Thomas

Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving Inproceedings

Wolper, Pierre (Ed.): 7th International Conference on Computer Aided Verification (CAV'95), pp. 54-69, Springer, Liège, Belgium. July 3-5, 1995, 1995, ISBN: 978-3-540-49413-3.

Abstract | Links | BibTeX

Loewe, Michael; Dingel, Juergen

Canonical Derivations for the Single-Pushout Approach for Graph Transformation Inproceedings

Dagstuhl Seminar on Graph Transformations in Computer Science, pp. 54-69, Springer, Schloss Dagstuhl, Germany. January 1993, 1995.

BibTeX