Selected refereed publications

All papers are copyright by their respective publishers (IEEE, ACM, Elsevier, Springer and so on) - see the publishers' websites for copyright restrictions and definitive published versions.

Nicolas Hili and Juergen Dingel. "Modelling and Code Generation for Real-Time Embedded Systems with UML-RT and Papyrus-RT". Summary of Technical Briefing at ICSE'17. Buenos Aires, Argentina, 21-22 May 2017.

Nafiseh Kahani, Nicolas Hili, James R. Cordy and Juergen Dingel. "Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems". 9th Workshop on Modelling in Software Engineering (MiSE 2017). Buenos Aires, Argentina, 21-22 May 2017. IEEE. Pages 12-18.

Md. Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, and Karen Rudie. "Controller Synthesis for Dynamic Hierarchical Real-Time Plants Using Timed Automata". Journal Discrete Event Dynamic Systems 27:407-441. Special Issue on Formal Methods in Control. Springer. 2017.

Juergen Dingel. "Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering". International Conference on Graph Transformation (ICGT'16). July 5-6, 2016. Vienna, Austria. 2016. LNCS 9761, 3-18. Springer.

Tuhin Kanti Das and Juergen Dingel. "Model Development Guidelines for UML-RT: conventions, patterns, and antipatterns". Software and Systems Modeling (SoSyM). Accepted July 11, 2016. 36 pages. To appear

Francis Bordeleau, Jean-Michel Bruel, Juergen Dingel, Sebastien Gerard, and Sebastian Voss. "Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)". Co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016). Saint-Malo, France. October 3, 2016. CEUR Workshop Proceedings Volume 1835. 66 pages.

Juergen Dingel and Wolfram Schulte. "Guest editorial for the special issue on MODELS 2014". Software and Systems Modeling (SoSyM). 3 pages. 2016. To appear.

Jalil Boudjadar, Boris Madzar, Juergen Dingel, Thomas Fuhrman and S Ramesh. "Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems". The 13th International Conference on Formal Aspects of Component Software (FACS'16). October 19-21, 2016. Besancon, France. 18 pages. To appear.

Nafiseh Kahani, Mojtaba Bagherzadeh, Juergen Dingel, and Jim Cordy. "The problems with Eclipse modeling tools: A topic analysis of Eclipse forums". ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016). Saint-Malo, France. October 2-7, 2016. ACM. Pages 227-237.

Nondini Das, Suchita Ganesan, Laith (Leo) Juwaidah, Mojtaba Bagherzadeh, Nicolas Hili, and Juergen Dingel. "Supporting the Model-Driven Development of Real-time Embedded Systems with Simulation and Animation via Highly Customizable Code Generation" ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016). Saint-Malo, France. October 2-7, 2016. ACM. Pages 36-43.

Reza Ahmadi, Nicolas Hili, Nondini Das, Suchita Ganesan, Leo Jweda, and Juergen Dingel. "Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware". 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'16). 7 pages.

Tuhin Kanti Das and Juergen Dingel. "Model Development Guidelines for UML-RT". Software and Systems Modeling (SoSyM). Springer. Accepted July 11, 2016. 36 pages. To appear.

Francis Atampore, Juergen Dingel, and Karen Rudie. "Automated Service Composition Via Supervisory Control Theory". 13th International Workshop on Discrete Event Systems (WODES'16). Xi'an, China, May 30 - June 1, 2016.

Juergen Dingel. "Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering". International Conference on Graph Transformation (ICGT'16). July 5-6, 2016. Vienna, Austria. 2016. LNCS 9761, pages 3-18. Springer. Invited paper.

Mark Fischer, Juergen Dingel, and Maged Elaasar. "Ontology Instance Migration: Facilitating Ontology Co-evolution: the next step toward increased ontology adoption". (Position paper). 7th International Conference on Knowledge Engineering and Ontology Development (KEOD'15). Lisbon, Portugal. 12-14 November, 2015.

Jalil Boudjadar, Juergen Dingel, Boris Madzar and Jin Hyun Kim. "Compositional Predictability Analysis of Mixed Critical Real Time Systems". Fourth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'15). Co-located with the 17th International Conference on Formal Engineering Methods. Paris, France, November 6 and 7, 2015.

Michal Antkiewicz, Joanne Atlee, Juergen Dingel, and Ramesh S. "Proceedings of the International Workshop on Modelling in Automotive Software Engineering (MASE'15)". Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015). Ottawa, Canada. September 27, 2015. 72 pages.

Francis Bordeleau, Jean-Michel Bruel, Juergen Dingel, Sebastien Gerard, and Sebastian Voss. "Proceedings of the International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'15)". Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015). Ottawa, Canada, September 29, 2015. 63 pages.

Juergen Dingel, Sahar Kokaly, Levi LĂșcio, Rick Salay, and Hans Vangheluwe. "Proceedings of the 4th Workshop on the Analysis of Model Transformations (AMT'15)". Co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015). Ottawa, Canada, September 28, 2015. 65 pages.

Levi Lucio, Bentley Oakes, Claudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy and Hans Vangheluwe. "SyVOLT: Full Model Transformation Verification Using Contracts". Demonstration and Poster Track at MODELS'15. CEUR Volume 1554.

Gehan M. K. Selim, James R. Cordy, Juergen Dingel, Levi Lucio, and Bentley J. Oakes. "Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report". Proceedings of the 4th Workshop on the Analysis of Model Transformations (AMT'15). Ottawa, Canada, September 28, 2015. pages 24-34

Amal Khalil and Juergen Dingel. "Incremental Symbolic Execution of Evolving Statemachines". ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15). Ottawa, Canada. Sept 30 - Oct 2, 2015. IEEE 2015, pages 14-23.

Tuhin Kanti Das and Juergen Dingel. "State Machine Antipatterns for UML-RT". ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15). Ottawa, Canada. Sept 30 - Oct 2, 2015. IEEE 2015, pages 54-63.

Michalis Famelis, Levi Lucio, Gehan M.K. Selim, Alessandro Di Sandro, Rick Salay, Marsha Chechik, James R. Cordy, Juergen Dingel, Hans Vangheluwe and Ramesh S. "Migrating Automotive Product Lines: A Case Study." 8th International Conference on the Theory and Practice of Model Transformations (ICMT'15). L'Aquila, Italy. July 20-21, 2015. Springer, LNCS 9125, pages 82-97.

Karolina Zurowska and Juergen Dingel. " A customizable execution engine for models of embedded systems." Behaviour Modeling -- Foundations and Applications. Springer, LNCS 6368, pages 82-110. 2015.

Eric Rapos and Juergen Dingel. "Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases.". 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15). Graz, Austria. April 13-17, 2015. IEEE 2015, pages 1-10.

Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel and Karen Rudie. "A Model for Industrial Real-Time Systems." 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15). Lecture Notes in Computer Science Volume 8931, 2015, pp 153-171. January 12-14, 2015, Mumbai, India.

Francis Bordeleau, Juergen Dingel, Sebastien Gerard, Sebastian Voss. Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'14). Co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014). Valencia, Spain. September 28, 2014. http://ceur-ws.org/Vol-1290/

Juergen Dingel, Juan de Lara, Levi Lucio, Hans Vangheluwe. "Proceedings of the Workshop on Analysis of Model Transformations (AMT'14)." Co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014). Valencia, Spain. September 28, 2014. http://ceur-ws.org/Vol-1277/

Moussa Amrani, Levi Lucio, Gehan M.K. Selim, Benoit Combemale, Juergen Dingel, Hans Vangheluwe, Yves Le Traon, Jim Cordy. "A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification." Journal of Object Technology (2014). AITO. Volume 13, Number 3, pages 1-43. August 2015.

Eric Rapos, Juergen Dingel. "Using Fuzzy Logic & Symbolic Execution to Prioritize UML-RT Test Cases" 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15). April 13-17, 2015, Graz, Austria. To appear.

Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahao, Emilio Insfran (Eds.). "Model-Driven Engineering Languages and Systems -- ACM/IEEE 17th International Conference (MODELS 2014)". Valencia, Spain, September 28 - October 3, 2014. Proceedings. Lecture Notes in Computer Science 8767, Springer. 2014

E. Posse and J. Dingel. "Contract-based specification and analysis of AADL models". Architecture Centric Virtual Integration Workshop (ACVI'14). Valencia, Spain. Sept 29, 2014

Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel and Karen Rudie. "Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report". 11th International Symposium on Formal Aspects of Component Software (FACS'14) Sept 10-12, 2014. Bertinoro, Italy

Gehan M. K. Selim, Levi Lucio, James R. Cordy, Juergen Dingel and Bentley J. Oakes. "Specification and Verification of Graph-Based Model Transformation Properties". 7th International Conference on Graph Transformation (ICGT'14). York, UK. July 2014

Levi Lucio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan Selim, Eugene Syriani and Manuel Wimmer. "Model Transformation Intents and Their Properties". Software & Systems Modeling (SoSyM). Springer. 2014. To appear. 38 pages.

Ernesto Posse, Juergen Dingel. "An executable formal semantics for UML-RT". Software and Systems Modeling (SoSyM), 15(1), 179-217. Springer.

B. Baudry, J. Dingel, L. Lucio, and H. Vangheluwe (Eds.). "2nd Workshop on the Analysis of Model Transformations (AMT'13)". Miami, Florida, USA, September 29, 2013. Proceedings. CEUR Volume 1077.

M. Fischer, J. Dingel, M. Elaasar, S. Shaw. "Automating Instance Migration in Response to Ontology Evolution" Workshop on Models and Evolution (ME'13) co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013). Miami, Florida, USA, October 1, 2013. CEUR-WS.org, Pages 22-29

K. Zurowska and J. Dingel. "Model Checking of UML-RT Models Using Lazy Composition". ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13). Miami, Florida. Sept 29 - Oct 3, 2013.

G.M.K. Selim, F. Buettner, J. Cordy, J. Dingel, and S. Wang. "Automated Verification of Model Transformations in the Automotive Industry". ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13). Miami, Florida. Sept 29 - Oct 3, 2013.

G.M.K. Selim, S. Wang, J. Cordy, J. Dingel. Model Transformations for Migrating Legacy Deployment Models in the Automotive Industry. Software and Systems Modeling (SoSym). Springer. Volume 14, Number 1, pages 365-381. 2015.

T. Bin Waez, J. Dingel, and K. Rudie. "A Survey of Timed Automata for the Development of Real-Time Systems". Computer Science Review. Elsevier. Volume 9. August 2013. Pages 1-26.

Y. Moffett, J. Dingel, and A. Beaulieu. "Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems". IEEE Transactions of Software Engineering. Volume 39, Number 9. Sept 2013. Pages 1307-1325.

A. Auer, J. Dingel, and K. Rudie. "Concurrency Control Generation for Dynamic Threads using Discrete-Event Systems". Science of Computer Programming. Elsevier. Volume 82. March 2014. Pages 22-43. http://dx.doi.org/10.1016/j.scico.2013.01.007

Juergen Dingel, Levi Lucio, Hans Vangheluwe, Daniel Varro. "Proceedings of the First Workshop on the Analysis of Model Transformations (AMT'12)". Innsbruck, Austria. October 1, 2012. ACM DL. http://dl.acm.org/citation.cfm?id=2432497

K. Zurowska and J. Dingel. "Supporting Model Driven Development of Reactive Systems with Analysis and Abstraction". Doctoral Symposium at MODELS'12. October 2012.

M. Amrani, J. Dingel, L. Lambers, L. Lucio, Rick Salay, G. Selim, E. Syriani, and M. Wimmer. "Towards a Model Transformation Intent Catalog". 1st International Workshop on the Analysis of Model Transformations (AMT'12). October 2012.

G.M.K. Selim, J.R. Cordy, and J. Dingel. "Model Transformation Testing: The State of the Art". 1st International Workshop on the Analysis of Model Transformations (AMT'12). October 2012. ACM DL. DOI: 10.1145/2432497.2432502. Pages 21-26.

G.M.K. Selim, S. Wang, J.R. Cordy and J. Dingel. "Model Transformations for Migrating Legacy Models: An Industrial Case Study". ECMFA'12. LNCS 7349. pp 90-101. Springer. July 2012.

E.J. Rapos and J. Dingel. "Incremental Test Case Generation for UML-RT Models Using Symbolic Execution". Poster at IEEE International Conference on Software Testing, Verification and Validation (ICST'12). Montreal, Canada. April 2012.

L. Lucio, M. Amrani, J. Dingel, G. Seim, B. Combemale, H. Vangheluwe, Y. Le Traon and J.R. Cordy. "A Tridimensional Approach for Studying the Formal Verification of Model Transformations". ICST Workshop on Verification and Validation of Model Transformations (VOLT'12). Montreal, Canada, April 21, 2012.

K. Zurowska and J. Dingel. "Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines". 4th NASA Formal Methods Symposium (NFM'12). Norvolk, VA, USA. April 3-5, 2012.

K. Zurowska and J. Dingel. "Symbolic Execution of UML-RT State Machines". 27th ACM Symposium on Applied Computing, Track on Software Verification and Testing (SAC-SVT'12). Riva del Garda, Italy, March 25-29, 2012.

K. Zurowska and J. Dingel. "SAUML - a Tool for Symbolic Analysis of UML-RT Models". Tool Demonstration Paper. 26th IEEE/ACM International Conference On Automated Software Engineering (ASE'11). Lawrence, Kansas, USA, Nov 6-10, 2011. Pages 604-607.

N. Chausse, H. Xu, J. Dingel, and K. Rudie. "Combining Model Checking and Discrete-Event Supervisor Synthesis". 11th International Workshop on Automated Verification of Critical Systems (AVoCS'11). Newcastle, UK, Sept 12-14, 2011.

Y. Moffett, A. Beaulieu, and J. Dingel. "Verifying UML-RT Protocol Conformance using Model Checking". ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS'11). Wellington, NZ, October 16-21, 2011. LNCS 6981. Pages 410-424.

J. Dingel and A. Solberg (Eds.). "Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Reports and Revised Selected Papers". ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10). LNCS 6627. Oslo, Norway, October 3-8, 2010. http://dx.doi.org/10.1007/978-3-642-21210-9

R. Bruni and J. Dingel (Eds.). "Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011 (FMOODS/FORTE'11)". 6th International Federated Conferences on Distributed Computing Techniques (DisCoTec'11). LNCS 6722. Reykjavik, Island, June 6-9, 2011.

A. Saifan, J. Dingel, J.S. Bradbury, and E. Posse. "Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems". 4th IEEE International Conference on Software Testing, Verification and Validation (ICST'11). Berlin, Germany, March 21-25, 2011. Pages 269-278.

E. Posse and J. Dingel. "kiltera: a language for timed, event-driven, mobile and distributed simulation". 14th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT'10). October 17-20, 2010. Fairfax, VA. Pages 87-96.

J. Dingel, E. Paen, E. Posse, R. Rahman and K. Zurowska. "Definition and Implementation of a Semantic Mapping for UML-RT Using a Timed Pi-calculus". 2nd Workshop on Behavioural Modelling - Foundations and Application (BM-FA'10) . June 15, 2010. Paris, France. Pages 1-8.

E. Posse and J. Dingel. "Theory and implementation of a real-time extension to the pi-calculus". IFIP International Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS'10) . June 7-10, 2010. Amsterdam, NL. LNCS 6117, pages 125-139.

J. Dingel. "The Doctoral Symposium at MODELS 2009". Models in Software Engineering, Workshops and Symposia at ACM/IEEE MODELS 2009, Reports and Revised Selected Papers.. October 4-9, 2009. Denver, CO, USA. LNCS 6002, pages 1-4.

A. Auer, J. Dingel, and K. Rudie. "Concurrency Control Generation for Dynamic Threads". Forty-Seventh Annual Allerton Conference on Communication, Control, and Computing. September 30 - October 2, 2009. Allerton Retreat Center, Monticello, Illinois.

A. Saifan, E. Posse and J. Dingel. "Run-Time Conformance Checking of Mobile and Distributed Systems Using Executable Models". Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD - VII). July 19-20, 2009. Chicago, Illinois. pages 1 - 11.

J. Dingel, K. Rudie and C Dragert. "Bridging the Gap: Discrete-Event Systems for Software Engineering (Short Position Paper)". Proceedings of C3S2E-09, ACM, pages 67-71. Montreal, May 19-21, 2009.

A. Saifan and J. Dingel. "A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems". International Joint Conferences on Computer, Information, System Sciences and Engineering (CISSE'08). Bridgeport, CT, USA. December, 2008.

E. Posse and J. Dingel. "A Foundation for MDE". First International Workshop on Challenges in Model-Driven Software Engineering (ChaMDE'08). Toulouse, France. Sept 2008. Pages 15-19.

H. Liang and J. Dingel. "A practical evaluation of using TXL for Model Transformation". 1st International Conference on Software Language Engineering (SLE'08). LNCS 5452. Toulouse, France. Sept 2008. Springer Verlag, pages 245-264.

M.L. Crane and J. Dingel. "Towards a UML Virtual Machine: Implementing an Interpreter for UML 2 Actions and Activities". 18th IBM Centre for Advanced Studies International Conference on Computer Science and Software Engineering (CASCON'08). Toronto, Canada. October 2008. ACM, pages 96-110.

H. Liang, Z. Diskin, J. Dingel, and E. Posse. "A General Approach for Scenario Integration". ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS'08). Toulouse, France. October 2008. Springer, LNCS 5301, pages 204-218.

M.L. Crane and J. Dingel. "Towards a Formal Account of a Foundational Subset for Executable UML Models". ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS'08). Toulouse, France. October 2008. Springer, LNCS 5301, pages 675-689.

C. Dragert, J. Dingel, and K. Rudie. "Generation of Concurrency Control Code using Discrete-Event Systems Theory". 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 16). Atlanta, Georgia. November 2008. ACM, pages 146-157. http://doi.acm.org/10.1145/1453101.1453122

Z. Diskin, S. Easterbrook, and J. Dingel. "Engineering associations: from models to code through semantics". 46th International Conference on Objects, Models, Components, Patterns (TOOLS '08). Zurich, Switzerland. July 2008. Springer, Lecture Notes in Business Information Processing, Vol. 11, pages 336-355.

B. Long, J. Dingel and N. Graham. "Experience Applying the SPIN Model Checker to an Industrial Telecommunications System". 30th International Conference on Software Engineering (ICSE'08), Experience Track on Telecommunications. Leipzig, Germany, May 2008. ACM, pages 693-702. http://doi.acm.org/10.1145/1368088.1368187.

J. Dingel, Z. Diskin and A. Zito. "Understanding and Improving UML Package Merge". Journal of Software and Systems Modeling (SoSym). Springer. Volume 7, Number 4, pages 443-467. October 2008. DOI 10.1007/s10270-007-0073-9.

J. Bradbury, J.R. Cordy and J. Dingel. "Comparative Assessment of Testing and Model Checking Using Program Mutation". 3rd Workshop on Mutation Analysis (Mutation 2007). Windsor, U.K., September 2007. 10 pp.

M.V. Cengarle, J. Dingel, H. Groenniger and B. Rumpe. "System-Model-Based Simulation of UML Models". Nordic Workshop on Model Driven Engineering (NW-MODE 2007). Ronneby, Sweden. Pages 112-126. August 2007.

L.R. Cai, J. Bradbury and J. Dingel. "Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking". 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007). LNCS 4468. Pages 44-58. Paphos, Cyprus. June 2007.

J. McGeachie and J. Dingel. "Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking". 2nd Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007). Braga, Portugal. March 31, 2007. Appeared in Electronic Notes in Theoretical Computer Science (ENTCS), Volume 190, Issue 1, July 2007, pages 3-18.

M.L. Crane and J. Dingel. "UML vs. Classical vs. Rhapsody statecharts: Not all models are created equal". Journal for Software and Systems Modelling (SoSym). Springer. Volume 6. Number 4. Pages 412-435. December 2007.

J. Bradbury, J. Cordy, and J. Dingel. "Mutation Operators for Concurrent Java (J2SE 5.0)". 2nd Workshop on Mutation Analysis (Mutation 2006). Pages 83-92. Raleigh, NC, USA. November 2006.

J. Bradbury, J. Cordy, and J. Dingel. "ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis". 2nd Workshop on Mutation Analysis (Mutation 2006). Pages 57-62. Raleigh, NC, USA. November 2006.

A. Zito and J. Dingel. "Modeling UML 2 Package Merge With Alloy". 1st Alloy Workshop (Alloy '06), pages 86-95. Portland, OR, USA. November 2006.

M. Broy, M. Crane, J. Dingel, A. Hartman, B. Rumpe, and B. Selic. 2nd UML 2 Semantics Symposium: A Formal Semantics for UML. Proceedings of Workshops and Symposia at MoDELS 2006. Springer Verlag, LNCS 4364, pages 783-790. May 2007.

Z. Diskin and J. Dingel. "Mappings, maps and tables: a formal semantics for UML2 associations". 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006). Pages 230-244. Genoa, Italy. October 2006.

A. Zito, Z. Diskin and J. Dingel, "Package Merge in UML 2: Practice vs. Theory?". 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006). Pages 185-199. Genoa, Italy. October 2006.

Z. Diskin and J. Dingel. "A metamodel-independent framework for model transformation: Towards generic model management patterns in reverse engineering". 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies (ATEM '06). Genoa, Italy. Appeared as Technical Report of University of Mainz, Germany, Number 1/2006.

H. Zhang, J.S. Bradbury, J.R. Cordy and J. Dingel. "Using Source Transformation to Test and Model Check Implicit-Invocation Systems". Special Issue on Source Code Analysis and Manipulation, Science of Computer Programming, 62(3), pages 209-227. October 2006.

J. Dingel. "Compositional Analysis of C/C++ Programs With Verisoft". Acta Informatica, 43(1), pages 45-71. Spinger Verlag. June 2006.

H. Liang, J. Dingel and Z. Diskin. "A Comparative Survey of Scenario-based to State-based Model Synthesis". 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06). May 2006.

J.S. Bradbury, J.R. Cordy, and J. Dingel. "An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis". Short paper. 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE '05). Lisbon, Portugal. September 2005.

M.L. Crane, J. Dingel. "UML vs. Classical vs. Rhapsody Statecharts: Not All Models are Created Equal". ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML'05). Montego Bay, Jamaica. October 2005.

H. Zhang, J.S. Bradbury, J.R. Cordy, J. Dingel. "Implementation and Verification of Implicit-Invocation Systems Using Source Transformation". 5th International Workshop on Source Code Analysis and Manipulation (SCAM 2005). Budapest, Hungary. September/October 2005.

T. Cassidy, J. Cordy, T. Dean, J. Dingel. "Source Transformation for Concurrency Analysis". Fifth Workshop on Language Descriptions, Tools and Applications (LDTA 2005). Edinburgh, Scotland. April 2005.

Jeremy S. Bradbury, James R. Cordy, Juergen Dingel, Michel Wermelinger. "A Survey of Self Management Support in Dynamic Software Architecture Specifications". ACM SIGSOFT Workshop on Self-Managed Systems (WOSS'04). Newport Beach, California. November 2004.

Juergen Dingel and Hongzhi Liang. "Automating comprehensive safety analysis of concurrent programs using VeriSoft and TXL". International Symposium on Foundations of Software Engineering (FSE'04). Newport Beach, California. November, 2004.

Hongyu Zhang, Jeremy Bradbury, Jim Cordy, and Juergen Dingel. "A Transformational Framework for Testing and Model Checking Implicit Invocation Systems". International Workshop on Distributed Event-based Systems (DEBS'04). Edinburgh, Scotland. May 2004.

Michelle Crane and Juergen Dingel. "Runtime Conformance Checking of Objects Using Alloy". Third Workshop on Runtime Verification (RV'03). Boulder, Colorado. July 2003. [ps]

Jeremy Bradbury and Juergen Dingel. "Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems". European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering ((ESEC/FSE'03). Helsinki, Finland. September 2003. [pdf]

Juergen Dingel. "Computer-Assisted Assume/Guarantee Reasoning With VeriSoft". ICSE '03. Portland, Oregon. May 2003. [pdf]

Juergen Dingel, David Garlan and Craig Damon. "Bridging the HLA: Problems and Solutions". Sixth IEEE International Workshop on Distributed Simulation and Real Time Applications (DS-RT'02). Dallas, Texas. October 2002.

Juergen Dingel. "A Refinement Calculus for Shared-variable Parallel and Distributed Programming". Formal Aspects of Computing. 14:123-197. 2002.

Juergen Dingel. "Systematic Parallel Programming". Ph.D. Thesis. Carnegie Mellon University. 1999.

Juergen Dingel, David Garlan, Somesh Jha and David Notkin. "Reasoning about Implicit Invocation". Foundations of Software Engineering (FSE 6). 1998.

Juergen Dingel. "A trace-based refinement calculus for shared-variable parallel programs". In International Conference on Algebraic Methodology and Software Technology (AMAST '98). 1998.

Juergen Dingel, David Garlan, Somesh Jha and David Notkin. "Towards a Formal Treatment of Implicit Invocation using Rely/Guarantee Reasoning". Formal Aspects of Computing 10:193--213. 1998.

Michael Baldamus and Juergen Dingel. "Modal Characterization of Weak Bisimulation for Higher-order Processes". International Joint Conference on the Theory and Practice of Software Development (TAPSOFT '97). 1997.

Juergen Dingel. "Approximating UNITY". 2nd International Conference on Coordination Models and Languages (COORDINATION '97). Berlin, Germany. LNCS 1282, pages 320--337. September, 1997.

Michael Baldamus and Juergen Dingel. "Modal Characterization of Weak Bisimulation for Higher-order Processes". 7th International Joint Conference on the Theory and Practice of Software Development (TAPSOFT '97). Lille, France. LNCS 1214, pages 285--296. April, 1997.

Juergen Dingel. "Modular Verification for Shared-variable Concurrent Programs". 7th International Conference on Concurrency Theory (CONCUR '96). Pisa, Italy. LNCS 1119, pages 703--718. August, 1996.

Juergen Dingel and Thomas Filkorn. "Model Checking for Infinite State Systems using Data Abstraction, Assumption-commitment style Reasoning and Theorem Proving". International Conference on Computer Aided Verification (CAV '95). 1995.

Michael Loewe and Juergen Dingel. "Canonical Derivations for the Single-Pushout Approach for Graph Transformation". Proceedings of the Dagstuhl Seminar on Graph Transformations in Computer Science. LNCS 776, pages 248--264. January, 1993. Revised version of: Juergen Dingel. M.Sc. thesis (German: Diplomarbeit). Department of Computer Science, Berlin University of Technology, Berlin. September, 1992.


Last modified: Wed May 31 11:15:54 EDT 2017