Jürgen Dingel

Publication Activity (10 Years)

Years Active: 1995-2020
Publications (10 Years): 1

Top Topics

Formal Verification

Symbolic Execution

Top Venues

Publications

Majid Babaei, Mojtaba Bagherzadeh, Jürgen Dingel
MReplayer: a trace replayer of distributed UML-RT models. MoDELS (Companion) (2020)
Eric James Rapos, Jürgen Dingel
Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases. ICST (2015)
Gehan M. K. Selim, James R. Cordy, Jürgen Dingel, Levi Lucio, Bentley J. Oakes
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. AMT@MoDELS (2015)
Michalis Famelis, Levi Lucio, Gehan M. K. Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik, James R. Cordy, Jürgen Dingel, Hans Vangheluwe, S. Ramesh
Migrating Automotive Product Lines: A Case Study. ICMT (2015)
Moussa Amrani, Benoît Combemale, Levi Lucio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy
Formal Verification Techniques for Model Transformations: A Tridimensional Classification. J. Object Technol. 14 (3) (2015)
Anthony Auer, Jürgen Dingel, Karen Rudie
Concurrency control generation for dynamic threads using discrete-event systems. Sci. Comput. Program. 82 (2014)
Ernesto Posse, Jürgen Dingel
Contract-Based Specification and Analysis of AADL Models. ACVI@MoDELS (2014)
Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes
Specification and Verification of Graph-Based Model Transformation Properties. ICGT (2014)
Md Tawhid Bin Waez, Andrzej Wasowski, Jürgen Dingel, Karen Rudie
Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report. FACS (2014)
Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
UML 2 Semantics Symposium: Formal Semantics for UML. CoRR (2014)
Karolina Zurowska, Jürgen Dingel
A Customizable Execution Engine for Models of Embedded Systems. BM-FA (Revised Selected Papers) (2014)
María Victoria Cengarle, Jürgen Dingel, Hans Grönniger, Bernhard Rumpe
System-Model-Based Simulation of UML Models. CoRR (2014)
Gehan M. K. Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang
Automated Verification of Model Transformations in the Automotive Industry. MoDELS (2013)
Mark Fischer, Jürgen Dingel, Maged Elaasar, Steven Shaw
Automating Instance Migration in Response to Ontology Evolution. ME@MoDELS (2013)
Md Tawhid Bin Waez, Jürgen Dingel, Karen Rudie
A survey of timed automata for the development of real-time systems. Comput. Sci. Rev. 9 (2013)
Yann Moffett, Jürgen Dingel, Alain Beaulieu
Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems. IEEE Trans. Software Eng. 39 (9) (2013)
Karolina Zurowska, Jürgen Dingel
Model Checking of UML-RT Models Using Lazy Composition. MoDELS (2013)
Eric James Rapos, Jürgen Dingel
Incremental Test Case Generation for UML-RT Models Using Symbolic Execution. ICST (2012)
Karolina Zurowska, Jürgen Dingel
Symbolic execution of UML-RT State Machines. SAC (2012)
Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lúcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
Towards a model transformation intent catalog. AMT@MoDELS (2012)
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)
Karolina Zurowska, Jürgen Dingel
Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines. NASA Formal Methods (2012)
Gehan M. K. Selim, Shige Wang, James R. Cordy, Jürgen Dingel
Model Transformations for Migrating Legacy Models: An Industrial Case Study. ECMFA (2012)
Yann Moffett, Alain Beaulieu, Jürgen Dingel
Verifying UML-RT Protocol Conformance Using Model Checking. MoDELS (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)
Ramiro Liscano, Jürgen Dingel, Dorina C. Petriu, Faisal Qureshi
Software modeling for embedded and mobile sensor system. CASCON (2011)
Nicolas Chausse, Helen Xu, Jürgen Dingel, Karen Rudie
Combining Model Checking and Discrete-Event Supervisor Synthesis. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Karolina Zurowska, Jürgen Dingel
SAUML: A tool for symbolic analysis of UML-RT models. ASE (2011)
Ernesto Posse, Jürgen Dingel
-Calculus. FMOODS/FORTE (2010)
Jürgen Dingel, Eyrak Paen, Ernesto Posse, Rezoanoor (Ruben) Rahman, Karolina Zurowska
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus. BM-FA (2010)
Ernesto Posse, Jürgen Dingel
Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation. DS-RT (2010)
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)
Jürgen Dingel, Karen Rudie, Christopher Dragert
Bridging the gap: Discrete-Event Systems for software engineering (short position paper). C3S2E (2009)
Christopher Dragert, Jürgen Dingel, Karen Rudie
Generation of concurrency control code using discrete-event systems theory. SIGSOFT FSE (2008)
Michelle L. Crane, Jürgen Dingel
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. CASCON (2008)
Ahmad A. Saifan, Jürgen Dingel
A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems. SCSS (2) (2008)
Hongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse
A General Approach for Scenario Integration. MoDELS (2008)
Zinovy Diskin, Steve M. Easterbrook, Jürgen Dingel
Engineering Associations: From Models to Code and Back through Semantics. TOOLS (46) (2008)
Jürgen Dingel, Zinovy Diskin, Alanna Zito
Understanding and improving UML package merge. Softw. Syst. Model. 7 (4) (2008)
Barry Long, Jürgen Dingel, T. C. Nicholas Graham
Experience applying the SPIN model checker to an industrial telecommunications system. ICSE (2008)
Hongzhi Liang, Jürgen Dingel
A Practical Evaluation of Using TXL for Model Transformation. SLE (2008)
Michelle L. Crane, Jürgen Dingel
Towards a Formal Account of a Foundational Subset for Executable UML Models. MoDELS (2008)
Jesse McGeachie, Jürgen Dingel
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. Electron. Notes Theor. Comput. Sci. 190 (1) (2007)
Michelle L. Crane, Jürgen Dingel
UML vs. classical vs. rhapsody statecharts: not all models are created equal. Softw. Syst. Model. 6 (4) (2007)
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. FMOODS (2007)
Alanna Zito, Zinovy Diskin, Jürgen Dingel
Package Merge in UML 2: Practice vs. Theory? MoDELS (2006)
Jürgen Dingel
Compositional Analysis of C/C++ Programs with VeriSoft. Acta Informatica 43 (1) (2006)
Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
UML 2 Semantics Symposium: Formal Semantics for UML. MoDELS (Workshops) (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) (2006)
Hongzhi Liang, Jürgen Dingel, Zinovy Diskin
A comparative survey of scenario-based to state-based model synthesis approaches. SCESM (2006)
Zinovy Diskin, Jürgen Dingel
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. MoDELS (2006)
Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. SCAM (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)
Timothy Cassidy, James R. Cordy, Thomas R. Dean, Jürgen Dingel
Source Transformation for Concurrency Analysis. Electron. Notes Theor. Comput. Sci. 141 (4) (2005)
Michelle L. Crane, Jürgen Dingel
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. MoDELS (2005)
Jürgen Dingel, Hongzhi Liang
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. SIGSOFT FSE (2004)
Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel, Michel Wermelinger
A survey of self-management in dynamic software architecture specifications. WOSS (2004)
Jeremy S. Bradbury, Jürgen Dingel
Evaluating and improving the automatic analysis of implicit invocation systems. ESEC / SIGSOFT FSE (2003)
Jürgen Dingel
Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. ICSE (2003)
Michelle L. Crane, Jürgen Dingel
Runtime Conformance Checking of Objects Using Alloy. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)
Jürgen Dingel
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. Formal Aspects Comput. 14 (2) (2002)
Jürgen Dingel, David Garlan, Craig Damon
Bridging the HLA: Problems and Solutions. DS-RT (2002)
Jürgen Dingel
Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. IFM (2000)
Jürgen Dingel
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. AMAST (1998)
Jürgen Dingel, David Garlan, Somesh Jha, David Notkin
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Formal Aspects Comput. 10 (3) (1998)
Jürgen Dingel
Approximating UNITY. COORDINATION (1997)
Michael Baldamus, Jürgen Dingel
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract). TAPSOFT (1997)
Jürgen Dingel
Modular Verification for Shared-Variable Concurrent Programs. CONCUR (1996)
Jürgen Dingel, Thomas Filkorn
Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving. CAV (1995)