| 2020 | MODELS | MReplayer: a trace replayer of distributed UML-RT models. | Majid Babaei, Mojtaba Bagherzadeh, Jrgen Dingel |
| 2015 | ICST | Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases. | Eric James Rapos, Jrgen Dingel |
| 2015 | MODELS | Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. | Gehan M. K. Selim, James R. Cordy, Jrgen Dingel, Levi Lucio, Bentley J. Oakes |
| 2014 | MODELS | Contract-Based Specification and Analysis of AADL Models. | Ernesto Posse, Jrgen Dingel |
| 2013 | MODELS | Automating Instance Migration in Response to Ontology Evolution. | Mark Fischer, Jrgen Dingel, Maged Elaasar, Steven Shaw |
| 2013 | MODELS | Automated Verification of Model Transformations in the Automotive Industry. | Gehan M. K. Selim, Fabian Bttner, James R. Cordy, Jrgen Dingel, Shige Wang |
| 2013 | MODELS | Model Checking of UML-RT Models Using Lazy Composition. | Karolina Zurowska, Jrgen Dingel |
| 2012 | ICST | A Tridimensional Approach for Studying the Formal Verification of Model Transformations. | Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benot Combemale, Jrgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy |
| 2012 | ICST | Incremental Test Case Generation for UML-RT Models Using Symbolic Execution. | Eric James Rapos, Jrgen Dingel |
| 2012 | MODELS | Towards a model transformation intent catalog. | Moussa Amrani, Jrgen Dingel, Leen Lambers, Levi Lcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer |
| 2012 | SAC | Symbolic execution of UML-RT State Machines. | Karolina Zurowska, Jrgen Dingel |
| 2011 | ICST | Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems. | Ahmad A. Saifan, Jrgen Dingel, Jeremy S. Bradbury, Ernesto Posse |
| 2011 | MODELS | Verifying UML-RT Protocol Conformance Using Model Checking. | Yann Moffett, Alain Beaulieu, Jrgen Dingel |
| 2010 | FORTE | Theory and Implementation of a Real-Time Extension to the | Ernesto Posse, Jrgen Dingel |
| 2009 | ISSTA | Run-time conformance checking of mobile and distributed systems using executable models. | Ahmad A. Saifan, Ernesto Posse, Jrgen Dingel |
| 2009 | MODELS | The Doctoral Symposium at MODELS 2009. | Jrgen Dingel |
| 2008 | ICSE | Experience applying the SPIN model checker to an industrial telecommunications system. | Barry Long, Jrgen Dingel, T. C. Nicholas Graham |
| 2008 | MODELS | Towards a Formal Account of a Foundational Subset for Executable UML Models. | Michelle L. Crane, Jrgen Dingel |
| 2008 | MODELS | A General Approach for Scenario Integration. | Hongzhi Liang, Zinovy Diskin, Jrgen Dingel, Ernesto Posse |
| 2008 | SLE | A Practical Evaluation of Using TXL for Model Transformation. | Hongzhi Liang, Jrgen Dingel |
| 2006 | MODELS | 2 | Manfred Broy, Michelle L. Crane, Jrgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic |
| 2006 | MODELS | Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. | Zinovy Diskin, Jrgen Dingel |
| 2006 | MODELS | Package Merge in UML 2: Practice vs. Theory? | Alanna Zito, Zinovy Diskin, Jrgen Dingel |
| 2005 | SCAM | Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. | Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jrgen Dingel |
| 2003 | ICSE | Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. | Jrgen Dingel |
| 2000 | IFM | Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. | Jrgen Dingel |
| 1997 | Coordination | Approximating UNITY. | Jrgen Dingel |
| 1996 | CONCUR | Modular Verification for Shared-Variable Concurrent Programs. | Jrgen Dingel |
| 1995 | CAV | Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving. | Jrgen Dingel, Thomas Filkorn |