default search action
Jürgen Dingel
Juergen Dingel
Person information
- affiliation: Queen's University, Kingston, Ontario, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j27]Majid Babaei
, Juergen Dingel:
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development. Softw. Syst. Model. 22(5): 1565-1587 (2023) - [c99]Nafiseh Kahani, Mojtaba Bagherzadeh, Reza Ahmadi, Juergen Dingel:
Leveraging modeling concepts and techniques to address challenges in network management. MODELS 2023: 55-61 - 2022
- [j26]Mojtaba Bagherzadeh
Execution of Partial State Machine Models. IEEE Trans. Software Eng. 48(3): 951-972 (2022) - [c98]Liam Walsh, Juergen Dingel, Karim Jahed:
A general architecture for client-agnostic hybrid model editors as a service. MoDELS (Companion) 2022: 749-754 - [i4]Liam Walsh, Juergen Dingel, Karim Jahed:
A General Architecture for Client-Agnostic Hybrid Model Editors as a Service. CoRR abs/2210.12246 (2022) - 2021
- [j25]Karim Jahed, Mojtaba Bagherzadeh, Juergen Dingel:
On the benefits of file-level modularity for EMF models. Softw. Syst. Model. 20(1): 267-286 (2021) - [j24]Mojtaba Bagherzadeh, Karim Jahed, Benoît Combemale, Juergen Dingel:
Live modeling in the context of state machine models and code generation. Softw. Syst. Model. 20(3): 795-819 (2021) - [c97]Majid Babaei
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development. MoDELS 2021: 89-100 - [c96]Majid Babaei
MRegTest: A Replay-Based Regression Testing Tool for Distributed UML-RT Models. MoDELS (Companion) 2021: 620-624 - [i3]Mojtaba Bagherzadeh, Nafiseh Kahani, Karim Jahed, Juergen Dingel:
Execution of Partial State Machine Models. CoRR abs/2103.17194 (2021) - 2020
- [j23]Nicolas Hili, Mojtaba Bagherzadeh, Karim Jahed, Juergen Dingel:
A model-based architecture for interactive run-time monitoring. Softw. Syst. Model. 19(4): 959-981 (2020) - [c95]Majid Babaei
MReplayer: a trace replayer of distributed UML-RT models. MoDELS (Companion) 2020: 6:1-6:5 - [c94]Liam Walsh, Juergen Dingel, Karim Jahed:
Toward client-agnostic hybrid model editor tools as a service. MoDELS (Companion) 2020: 91:1 - [c93]Majid Babaei
Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development. MoDELS 2020: 285-296
2010 – 2019
- 2019
- [j22]Francis Atampore
A controller synthesis framework for automated service composition. Discret. Event Dyn. Syst. 29(3): 297-365 (2019) - [j21]Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, Dániel Varró
Survey and classification of model transformation tools. Softw. Syst. Model. 18(4): 2361-2397 (2019) - [c92]Francis Bordeleau, Jordi Cabot
Towards Modeling Framework for DevOps: Requirements Derived from Industry Use Case. DEVOPS 2019: 139-151 - [c91]Karim Jahed, Juergen Dingel:
Enabling model-driven software development tools for the internet of things. MiSE@ICSE 2019: 93-99 - [c90]Mojtaba Bagherzadeh, Karim Jahed, Nafiseh Kahani, Juergen Dingel:
PMExec: An Execution Engine of Partial UML-RT Models. ASE 2019: 1178-1181 - [c89]Reza Ahmadi, Karim Jahed, Juergen Dingel:
mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines. ASE 2019: 1182-1185 - [c88]Alessio Bucaioni, Juergen Dingel, Joanne M. Atlee:
Message from the MASE 2019 Chair. MoDELS (Companion) 2019: 1 - [c87]Gopi Krishnan Rajbahadur, Gustavo Ansaldi Oliva, Ahmed E. Hassan, Juergen Dingel:
Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines. MoDELS 2019: 12-22 - [c86]Majid Babaei
Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT. MoDELS (Companion) 2019: 221-227 - [c85]Francis Bordeleau, Jean-Michel Bruel, Jordi Cabot
Preface to the 1st Workshop on DevOps@MODELS. MoDELS (Companion) 2019: 587-588 - [c84]Mojtaba Bagherzadeh, Karim Jahed, Benoît Combemale, Juergen Dingel:
Live-UMLRT: A Tool for Live Modeling of UML-RT Models. MoDELS (Companion) 2019: 743-747 - [c83]Reza Ahmadi, Juergen Dingel:
Concolic testing for models of state-based systems. ESEC/SIGSOFT FSE 2019: 4-15 - 2018
- [j20]Amal Khalil, Juergen Dingel:
Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts. Adv. Comput. 108: 145-281 (2018) - [j19]Mojtaba Bagherzadeh, Nafiseh Kahani, Cor-Paul Bezemer
Analyzing a decade of Linux system calls. Empir. Softw. Eng. 23(3): 1519-1551 (2018) - [j18]Juergen Dingel, Wolfram Schulte:
Guest editorial for the special section on MODELS 2014. Softw. Syst. Model. 17(1): 9-10 (2018) - [j17]Tuhin Kanti Das, Juergen Dingel:
Model development guidelines for UML-RT: conventions, patterns and antipatterns. Softw. Syst. Model. 17(3): 717-752 (2018) - [c82]Reza Ahmadi, Nicolas Hili, Juergen Dingel:
Property-Aware Unit Testing of UML-RT Models in the Context of MDE. ECMFA 2018: 147-163 - [c81]Mojtaba Bagherzadeh, Nicolas Hili, David Seekatz
MDebugger: a model-level debugger for UML-RT. ICSE (Companion Volume) 2018: 97-100 - [c80]Mojtaba Bagherzadeh, Nafiseh Kahani, Cor-Paul Bezemer, Ahmed E. Hassan, Juergen Dingel, James R. Cordy:
Analyzing a decade of Linux system calls. ICSE 2018: 267 - [c79]Michal Pasternak, Nafiseh Kahani, Mojtaba Bagherzadeh, Juergen Dingel, James R. Cordy:
Simgen: a tool for generating simulations and visualizations of embedded systems on the unity game engine. MoDELS (Companion) 2018: 42-46 - [c78]Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araújo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic:
Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018). MoDELS (Workshops) 2018: 303-304 - [c77]Reza Ahmadi, Ernesto Posse, Juergen Dingel:
Slicing UML-based Models of Real-time Embedded Systems. MoDELS 2018: 346-356 - 2017
- [j16]Md Tawhid Bin Waez, Andrzej Wasowski
Controller synthesis for dynamic hierarchical real-time plants using timed automata. Discret. Event Dyn. Syst. 27(2): 407-441 (2017) - [j15]Karolina Zurowska, Juergen Dingel:
Language-specific model checking of UML-RT models. Softw. Syst. Model. 16(2): 393-415 (2017) - [c76]Nafiseh Kahani, Nicolas Hili, James R. Cordy, Juergen Dingel:
Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems. MiSE@ICSE 2017: 12-18 - [c75]Nicolas Hili, Juergen Dingel, Alain Beaulieu:
Modelling and code generation for real-time embedded systems with UML-RT and papyrus-RT. ICSE (Companion Volume) 2017: 509-510 - [c74]Gehan M. K. Selim, James R. Cordy, Juergen Dingel:
How is ATL Really Used? Language Feature Use in the ATL Zoo. MoDELS 2017: 34-44 - [c73]Raquel Araújo de Oliveira, Juergen Dingel:
Supporting Model Refinement with Equivalence Checking in the Context of Model-driven Engineering with UML-RT. MoDELS (Satellite Events) 2017: 307-314 - [c72]Mojtaba Bagherzadeh, Nicolas Hili, Juergen Dingel:
Model-level, platform-independent debugging in the context of the model-driven development of real-time systems. ESEC/SIGSOFT FSE 2017: 419-430 - [e10]Francis Bordeleau, Jean-Michel Bruel, Jürgen Dingel, Sébastien Gérard, Henry Muccini, Gunter Mussbacher, 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), Saint Malo, France, October 3, 2016. CEUR Workshop Proceedings 1835, CEUR-WS.org 2017 [contents] - 2016
- [j14]Ernesto Posse, Juergen Dingel:
An executable formal semantics for UML-RT. Softw. Syst. Model. 15(1): 179-217 (2016) - [j13]Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani
Model transformation intents and their properties. Softw. Syst. Model. 15(3): 647-684 (2016) - [c71]Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh:
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. FACS 2016: 153-171 - [c70]Juergen Dingel:
Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering. ICGT 2016: 3-18 - [c69]Nondini Das, Suchita Ganesan, Leo Jweda, Mojtaba Bagherzadeh, Nicolas Hili, Juergen Dingel:
Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation. MoDELS 2016: 36-43 - [c68]Reza Ahmadi, Nicolas Hili, Leo Jweda, Nondini Das, Suchita Ganesan, Juergen Dingel:
Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware. EduSymp/OSS4MDE@MoDELS 2016: 37-44 - [c67]Nafiseh Kahani, Mojtaba Bagherzadeh, Juergen Dingel, James R. Cordy:
The problems with eclipse modeling tools: a topic analysis of eclipse forums. MoDELS 2016: 227-237 - [c66]Francis Atampore, Juergen Dingel, Karen Rudie
Automated service composition via supervisory control theory. WODES 2016: 28-35 - 2015
- [j12]Moussa Amrani, Benoît Combemale, Levi Lucio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon
Formal Verification Techniques for Model Transformations: A Tridimensional Classification. J. Object Technol. 14(3): 1:1-43 (2015) - [j11]Gehan M. K. Selim, Shige Wang, James R. Cordy, Juergen Dingel:
Model transformations for migrating legacy deployment models in the automotive industry. Softw. Syst. Model. 14(1): 365-381 (2015) - [c65]Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim:
Compositional Predictability Analysis of Mixed Critical Real Time Systems. FTSCS 2015: 69-84 - [c64]Mark Fischer, Juergen Dingel:
Facilitating Ontology Co-evolution with Ontology Instance Migration. KEOD 2015: 441-446 - [c63]Michalis Famelis, Levi Lucio, Gehan M. K. Selim, Alessio Di Sandro
Migrating Automotive Product Lines: A Case Study. ICMT 2015: 82-97 - [c62]Eric James Rapos, Jürgen Dingel:
Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases. ICST 2015: 1-10 - [c61]Amal Khalil, Juergen Dingel:
Incremental symbolic execution of evolving state machines. MoDELS 2015: 14-23 - [c60]Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe:
SyVOLT: Full Model Transformation Verification Using Contracts. P&D@MoDELS 2015: 24-27 - [c59]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: 26-35 - [c58]Tuhin Kanti Das, Juergen Dingel:
State machine antipatterns for UML-RT. MoDELS 2015: 54-63 - [c57]Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie:
A Model for Industrial Real-Time Systems. VMCAI 2015: 153-171 - [e9]Michal Antkiewicz, Joanne M. Atlee, Juergen Dingel, S. Ramesh:
Proceedings of the International Workshop on Modelling in Automotive Software Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada. September 27, 2015. CEUR Workshop Proceedings 1487, CEUR-WS.org 2015 [contents] - [e8]Jürgen Dingel, Sahar Kokaly, Levi Lucio, Rick Salay, Hans Vangheluwe:
Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 28, 2015. CEUR Workshop Proceedings 1500, CEUR-WS.org 2015 [contents] - [e7]Francis Bordeleau, Jean-Michel Bruel, Juergen Dingel, Sebastien Gerard, Sebastian Voss:
Proceedings of the International Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 29, 2015. CEUR Workshop Proceedings 1541, CEUR-WS.org 2015 [contents] - 2014
- [j10]Anthony Auer, Jürgen Dingel, Karen Rudie
Concurrency control generation for dynamic threads using discrete-event systems. Sci. Comput. Program. 82: 22-43 (2014) - [c56]Karolina Zurowska, Jürgen Dingel:
A Customizable Execution Engine for Models of Embedded Systems. BM-FA (Revised Selected Papers) 2014: 82-110 - [c55]Md Tawhid Bin Waez, Andrzej Wasowski
Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report. FACS 2014: 162-180 - [c54]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: 113-129 - [c53]Ernesto Posse, Jürgen Dingel:
Contract-Based Specification and Analysis of AADL Models. ACVI@MoDELS 2014 - [e6]Jürgen Dingel, Juan de Lara, Levi Lucio, Hans Vangheluwe:
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014. CEUR Workshop Proceedings 1277, CEUR-WS.org 2014 [contents] - [e5]Francis Bordeleau, Jürgen Dingel, Sebastien Gerard, Sebastian Voss:
Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, OSS4MDE@MoDELS 2014, Valencia, Spain, September 28, 2014. CEUR Workshop Proceedings 1290, CEUR-WS.org 2014 [contents] - [e4]Jürgen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfrán:
Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. Lecture Notes in Computer Science 8767, Springer 2014, ISBN 978-3-319-11652-5 [contents] - [i2]Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic:
UML 2 Semantics Symposium: Formal Semantics for UML. CoRR abs/1409.6619 (2014) - [i1]María Victoria Cengarle, Jürgen Dingel, Hans Grönniger, Bernhard Rumpe:
System-Model-Based Simulation of UML Models. CoRR abs/1409.6622 (2014) - 2013
- [j9]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: 1-26 (2013) - [j8]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): 1307-1325 (2013) - [c52]Mark Fischer, Jürgen Dingel, Maged Elaasar, Steven Shaw:
Automating Instance Migration in Response to Ontology Evolution. ME@MoDELS 2013: 22-29 - [c51]Karolina Zurowska, Jürgen Dingel:
Model Checking of UML-RT Models Using Lazy Composition. MoDELS 2013: 304-319 - [c50]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: 690-706 - [e3]Benoit Baudry, Jürgen Dingel, Levi Lucio, Hans Vangheluwe:
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013. CEUR Workshop Proceedings 1077, CEUR-WS.org 2013 [contents] - 2012
- [c49]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 - [c48]Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe
A Tridimensional Approach for Studying the Formal Verification of Model Transformations. ICST 2012: 921-928 - [c47]Eric James Rapos, Jürgen Dingel:
Incremental Test Case Generation for UML-RT Models Using Symbolic Execution. ICST 2012: 962-963 - [c46]Juergen Dingel, Levi Lúcio, Hans Vangheluwe
Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012). AMT@MoDELS 2012: 1-2 - [c45]Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lúcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani
Towards a model transformation intent catalog. AMT@MoDELS 2012: 3-8 - [c44]Gehan M. K. Selim, James R. Cordy, Juergen Dingel:
Model transformation testing: the state of the art. AMT@MoDELS 2012: 21-26 - [c43]Karolina Zurowska, Jürgen Dingel:
Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines. NASA Formal Methods 2012: 39-53 - [c42]Karolina Zurowska, Jürgen Dingel:
Symbolic execution of UML-RT State Machines. SAC 2012: 1292-1299 - 2011
- [j7]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) - [c41]Ramiro Liscano, Jürgen Dingel, Dorina C. Petriu, Faisal Qureshi:
Software modeling for embedded and mobile sensor system. CASCON 2011: 360-362 - [c40]Ahmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury
Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems. ICST 2011: 269-278 - [c39]Karolina Zurowska, Jürgen Dingel:
SAUML: A tool for symbolic analysis of UML-RT models. ASE 2011: 604-607 - [c38]Yann Moffett, Alain Beaulieu, Jürgen Dingel:
Verifying UML-RT Protocol Conformance Using Model Checking. MoDELS 2011: 410-424 - [e2]Roberto Bruni
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 [contents] - [e1]Jürgen Dingel, Arnor Solberg:
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 [contents] - 2010
- [c37]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: 1 - [c36]Ernesto Posse, Jürgen Dingel:
Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation. DS-RT 2010: 87-96 - [c35]Ernesto Posse, Jürgen Dingel:
Theory and Implementation of a Real-Time Extension to the pi-Calculus. FMOODS/FORTE 2010: 125-139
2000 – 2009
- 2009
- [c34]Anthony Auer, Juergen Dingel, Karen Rudie
Concurrency control generation for dynamic threads using Discrete-Event Systems. Allerton 2009: 927-934 - [c33]Jürgen Dingel, Karen Rudie
Bridging the gap: Discrete-Event Systems for software engineering (short position paper). C3S2E 2009: 67-71 - [c32]Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel:
Run-time conformance checking of mobile and distributed systems using executable models. PADTAD 2009 - [c31]Jürgen Dingel:
The Doctoral Symposium at MODELS 2009. MoDELS (Workshops) 2009: 1-4 - 2008
- [j6]Jürgen Dingel, Zinovy Diskin, Alanna Zito:
Understanding and improving UML package merge. Softw. Syst. Model. 7(4): 443-467 (2008) - [c30]Michelle L. Crane, Jürgen Dingel:
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. CASCON 2008: 8 - [c29]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 - [c28]Barry Long, Jürgen Dingel, T. C. Nicholas Graham:
Experience applying the SPIN model checker to an industrial telecommunications system. ICSE 2008: 693-702 - [c27]Hongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse:
A General Approach for Scenario Integration. MoDELS 2008: 204-218 - [c26]Michelle L. Crane, Jürgen Dingel:
Towards a Formal Account of a Foundational Subset for Executable UML Models. MoDELS 2008: 675-689 - [c25]Christopher Dragert, Jürgen Dingel, Karen Rudie
Generation of concurrency control code using discrete-event systems theory. SIGSOFT FSE 2008: 146-157 - [c24]Hongzhi Liang, Jürgen Dingel:
A Practical Evaluation of Using TXL for Model Transformation. SLE 2008: 245-264 - [c23]Zinovy Diskin, Steve M. Easterbrook
Engineering Associations: From Models to Code and Back through Semantics. TOOLS (46) 2008: 336-355 - 2007
- [j5]Michelle L. Crane, Jürgen Dingel:
UML vs. classical vs. rhapsody statecharts: not all models are created equal. Softw. Syst. Model. 6(4): 415-435 (2007) - [c22]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 - [c21]Jesse McGeachie, Jürgen Dingel:
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. Bytecode@ETAPS 2007: 3-18 - 2006
- [j4]Jürgen Dingel:
Compositional Analysis of C/C++ Programs with VeriSoft. Acta Informatica 43(1): 45-71 (2006) - [j3]Hongyu Zhang, Jeremy S. Bradbury
Using source transformation to test and model check implicit-invocation systems. Sci. Comput. Program. 62(3): 209-227 (2006) - [c20]Alanna Zito, Zinovy Diskin, Jürgen Dingel:
Package Merge in UML 2: Practice vs. Theory? MoDELS 2006: 185-199 - [c19]Zinovy Diskin, Jürgen Dingel:
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. MoDELS 2006: 230-244 - [c18]Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic:
2nd UML 2 Semantics Symposium: Formal Semantics for UML. MoDELS (Workshops) 2006: 318-323 - [c17]Hongzhi Liang, Jürgen Dingel, Zinovy Diskin:
A comparative survey of scenario-based to state-based model synthesis approaches. SCESM 2006: 5-12 - 2005
- [c16]Jeremy S. Bradbury
An empirical framework for comparing effectiveness of testing and property-based formal analysis. PASTE 2005: 2-5 - [c15]Hongyu Zhang, Jeremy S. Bradbury
Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. SCAM 2005: 87-96 - [c14]Michelle L. Crane, Jürgen Dingel:
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. MoDELS 2005: 97-112 - [c13]Timothy Cassidy, James R. Cordy, Thomas R. Dean, Jürgen Dingel:
Source Transformation for Concurrency Analysis. LDTA@ETAPS 2005: 57-75 - 2004
- [c12]Jürgen Dingel, Hongzhi Liang:
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. SIGSOFT FSE 2004: 13-22 - [c11]Jeremy S. Bradbury
A survey of self-management in dynamic software architecture specifications. WOSS 2004: 28-33 - 2003
- [c10]Jürgen Dingel:
Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. ICSE 2003: 138-148 - [c9]Jeremy S. Bradbury
Evaluating and improving the automatic analysis of implicit invocation systems. ESEC / SIGSOFT FSE 2003: 78-87 - [c8]Michelle L. Crane, Jürgen Dingel:
Runtime Conformance Checking of Objects Using Alloy. RV@CAV 2003: 2-21 - 2002
- [j2]Jürgen Dingel:
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. Formal Aspects Comput. 14(2): 123-197 (2002) - [c7]Jürgen Dingel, David Garlan, Craig Damon:
Bridging the HLA: Problems and Solutions. DS-RT 2002: 33-42 - 2000
- [c6]Jürgen Dingel:
Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. IFM 2000: 214-234
1990 – 1999
- 1998
- [j1]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): 193-213 (1998) - [c5]Jürgen Dingel:
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. AMAST 1998: 231-247 - 1997
- [c4]Jürgen Dingel:
Approximating UNITY. COORDINATION 1997: 320-337 - [c3]Michael Baldamus, Jürgen Dingel:
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract). TAPSOFT 1997: 285-296 - 1996
- [c2]Jürgen Dingel:
Modular Verification for Shared-Variable Concurrent Programs. CONCUR 1996: 703-718 - 1995
- [c1]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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: