Jürgen Dingel

Gehan M. K. Selim, Shige Wang, James R. Cordy, Jürgen Dingel: Model Transformations for Migrating Legacy Models: An Industrial Case Study. ECMFA 2012: 90-101

Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy: A Tridimensional Approach for Studying the Formal Verification of Model Transformations. ICST 2012: 921-928

Eric James Rapos, Jürgen Dingel: Incremental Test Case Generation for UML-RT Models Using Symbolic Execution. ICST 2012: 962-963

Karolina Zurowska, Jürgen Dingel: Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines. NASA Formal Methods 2012: 39-53

Karolina Zurowska, Jürgen Dingel: Symbolic execution of UML-RT State Machines. SAC 2012: 1292-1299

Nicolas Chausse, Helen Xu, Jürgen Dingel, Karen Rudie: Combining Model Checking and Discrete-Event Supervisor Synthesis. ECEASST 46 (2011)

Ahmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse: Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems. ICST 2011: 269-278

Karolina Zurowska, Jürgen Dingel: SAUML: A tool for symbolic analysis of UML-RT models. ASE 2011: 604-607

Yann Moffett, Alain Beaulieu, Jürgen Dingel: Verifying UML-RT Protocol Conformance Using Model Checking. MoDELS 2011: 410-424

Roberto Bruni, Jürgen Dingel (Eds.): Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Lecture Notes in Computer Science 6722, Springer 2011, isbn 978-3-642-21460-8

Jürgen Dingel, Arnor Solberg (Eds.): Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers. Lecture Notes in Computer Science 6627, Springer 2011, isbn 978-3-642-21209-3

Ernesto Posse, Jürgen Dingel: Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation. DS-RT 2010: 87-96

Ernesto Posse, Jürgen Dingel: Theory and Implementation of a Real-Time Extension to the pi-Calculus. FMOODS/FORTE 2010: 125-139

Jürgen Dingel, Karen Rudie, Christopher Dragert: Bridging the gap: Discrete-Event Systems for software engineering (short position paper). C3S2E 2009: 67-71

Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel: Run-time conformance checking of mobile and distributed systems using executable models. PADTAD 2009

Jürgen Dingel: The Doctoral Symposium at MODELS 2009. MoDELS Workshops 2009: 1-4

Jürgen Dingel, Zinovy Diskin, Alanna Zito: Understanding and improving UML package merge. Software and System Modeling 7(4): 443-467 (2008)

Michelle L. Crane, Jürgen Dingel: Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. CASCON 2008: 8

Ahmad A. Saifan, Jürgen Dingel: A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems. SCSS (2) 2008: 283-288

Barry Long, Jürgen Dingel, T. C. Nicholas Graham: Experience applying the SPIN model checker to an industrial telecommunications system. ICSE 2008: 693-702

Hongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse: A General Approach for Scenario Integration. MoDELS 2008: 204-218

Michelle L. Crane, Jürgen Dingel: Towards a Formal Account of a Foundational Subset for Executable UML Models. MoDELS 2008: 675-689

Christopher Dragert, Jürgen Dingel, Karen Rudie: Generation of concurrency control code using discrete-event systems theory. SIGSOFT FSE 2008: 146-157

Hongzhi Liang, Jürgen Dingel: A Practical Evaluation of Using TXL for Model Transformation. SLE 2008: 245-264

Zinovy Diskin, Steve M. Easterbrook, Jürgen Dingel: Engineering Associations: From Models to Code and Back through Semantics. TOOLS (46) 2008: 336-355

Jesse McGeachie, Jürgen Dingel: Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. Electr. Notes Theor. Comput. Sci. 190(1): 3-18 (2007)

Michelle L. Crane, Jürgen Dingel: UML vs. classical vs. rhapsody statecharts: not all models are created equal. Software and System Modeling 6(4): 415-435 (2007)

L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel: Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. FMOODS 2007: 44-58

Jürgen Dingel: Compositional Analysis of C/C++ Programs with VeriSoft. Acta Inf. 43(1): 45-71 (2006)

Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel: Using source transformation to test and model check implicit-invocation systems. Sci. Comput. Program. 62(3): 209-227 (2006)

Alanna Zito, Zinovy Diskin, Jürgen Dingel: Package Merge in UML 2: Practice vs. Theory? MoDELS 2006: 185-199

Zinovy Diskin, Jürgen Dingel: Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. MoDELS 2006: 230-244

Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic: 2^nd UML 2 Semantics Symposium: Formal Semantics for UML. MoDELS Workshops 2006: 318-323

Hongzhi Liang, Jürgen Dingel, Zinovy Diskin: A comparative survey of scenario-based to state-based model synthesis approaches. SCESM 2006: 5-12

Timothy Cassidy, James R. Cordy, Thomas R. Dean, Jürgen Dingel: Source Transformation for Concurrency Analysis. Electr. Notes Theor. Comput. Sci. 141(4): 57-75 (2005)

Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel: An empirical framework for comparing effectiveness of testing and property-based formal analysis. PASTE 2005: 2-5

Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel: Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. SCAM 2005: 87-96

Michelle L. Crane, Jürgen Dingel: UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. MoDELS 2005: 97-112

Jürgen Dingel, Hongzhi Liang: Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. SIGSOFT FSE 2004: 13-22

Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel, Michel Wermelinger: A survey of self-management in dynamic software architecture specifications. WOSS 2004: 28-33

Michelle L. Crane, Jürgen Dingel: Runtime Conformance Checking of Objects Using Alloy. Electr. Notes Theor. Comput. Sci. 89(2): 2-21 (2003)

Jürgen Dingel: Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. ICSE 2003: 138-148

Jeremy S. Bradbury, Jürgen Dingel: Evaluating and improving the automatic analysis of implicit invocation systems. ESEC / SIGSOFT FSE 2003: 78-87

Jürgen Dingel: A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. Formal Asp. Comput. 14(2): 123-197 (2002)

Jürgen Dingel, David Garlan, Craig Damon: Bridging the HLA: Problems and Solutions. DS-RT 2002: 33-42

Ramiro Liscano, Jürgen Dingel, Dorina C. Petriu, Faisal Qureshi: Software modeling for embedded and mobile sensor system. CASCON 2001: 360-362

Jürgen Dingel: Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. IFM 2000: 214-234

Jürgen Dingel, David Garlan, Somesh Jha, David Notkin: Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Formal Asp. Comput. 10(3): 193-213 (1998)

Jürgen Dingel: A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. AMAST 1998: 231-247

Jürgen Dingel: Approximating UNITY. COORDINATION 1997: 320-337

Michael Baldamus, Jürgen Dingel: Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract). TAPSOFT 1997: 285-296

Jürgen Dingel: Modular Verification for Shared-Variable Concurrent Programs. CONCUR 1996: 703-718

Jürgen Dingel, Thomas Filkorn: Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving. CAV 1995: 54-69