Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJü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
- 2022
[j26]Mojtaba Bagherzadeh
, Nafiseh Kahani, Karim Jahed, Juergen Dingel:
Execution of Partial State Machine Models. IEEE Trans. Software Eng. 48(3): 951-972 (2022)- [c97]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) - [c96]Majid Babaei, Juergen Dingel:
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development. MoDELS 2021: 89-100 - [c95]Majid Babaei, Juergen Dingel:
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) - [c94]Majid Babaei, Mojtaba Bagherzadeh, Jürgen Dingel:
MReplayer: a trace replayer of distributed UML-RT models. MoDELS (Companion) 2020: 6:1-6:5 - [c93]Liam Walsh, Juergen Dingel, Karim Jahed:
Toward client-agnostic hybrid model editor tools as a service. MoDELS (Companion) 2020: 91:1 - [c92]Majid Babaei, Mojtaba Bagherzadeh, Juergen Dingel:
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, Juergen Dingel, Karen Rudie:
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) - [c91]Francis Bordeleau, Jordi Cabot, Juergen Dingel, Bassem S. Rabil, Patrick Renaud:
Towards Modeling Framework for DevOps: Requirements Derived from Industry Use Case. DEVOPS 2019: 139-151 - [c90]Karim Jahed, Juergen Dingel:
Enabling model-driven software development tools for the internet of things. MiSE@ICSE 2019: 93-99 - [c89]Mojtaba Bagherzadeh, Karim Jahed, Nafiseh Kahani, Juergen Dingel:
PMExec: An Execution Engine of Partial UML-RT Models. ASE 2019: 1178-1181 - [c88]Reza Ahmadi, Karim Jahed, Juergen Dingel:
mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines. ASE 2019: 1182-1185 - [c87]Alessio Bucaioni, Juergen Dingel, Joanne M. Atlee:
Message from the MASE 2019 Chair. MoDELS (Companion) 2019: 1 - [c86]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 - [c85]Majid Babaei, Karim Jahed, Juergen Dingel:
Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT. MoDELS (Companion) 2019: 221-227 - [c84]Francis Bordeleau, Jean-Michel Bruel, Jordi Cabot, Juergen Dingel, Sébastien Mosser:
Preface to the 1st Workshop on DevOps@MODELS. MoDELS (Companion) 2019: 587-588 - [c83]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 - [c82]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, Ahmed E. Hassan, Juergen Dingel, James R. Cordy:
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) - [c81]Reza Ahmadi, Nicolas Hili, Juergen Dingel:
Property-Aware Unit Testing of UML-RT Models in the Context of MDE. ECMFA 2018: 147-163 - [c80]Mojtaba Bagherzadeh, Nicolas Hili, David Seekatz, Juergen Dingel:
MDebugger: a model-level debugger for UML-RT. ICSE (Companion Volume) 2018: 97-100 - [c79]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 - [c78]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 - [c77]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 - [c76]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, Juergen Dingel, Karen Rudie:
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) - [c75]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 - [c74]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 - [c73]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 - [c72]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 - [c71]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, Manuel Wimmer:
Model transformation intents and their properties. Softw. Syst. Model. 15(3): 647-684 (2016) - [c70]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 - [c69]Juergen Dingel:
Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering. ICGT 2016: 3-18 - [c68]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 - [c67]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 - [c66]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 - [c65]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, Hans Vangheluwe, James R. Cordy:
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) - [c64]Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim:
Compositional Predictability Analysis of Mixed Critical Real Time Systems. FTSCS 2015: 69-84 - [c63]Mark Fischer, Juergen Dingel:
Facilitating Ontology Co-evolution with Ontology Instance Migration. KEOD 2015: 441-446 - [c62]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: 82-97 - [c61]Eric James Rapos, Jürgen Dingel:
Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases. ICST 2015: 1-10 - [c60]Amal Khalil, Juergen Dingel:
Incremental symbolic execution of evolving state machines. MoDELS 2015: 14-23 - [c59]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 - [c58]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 - [c57]Tuhin Kanti Das, Juergen Dingel:
State machine antipatterns for UML-RT. MoDELS 2015: 54-63 - [c56]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) - [c55]Karolina Zurowska, Jürgen Dingel:
A Customizable Execution Engine for Models of Embedded Systems. BM-FA (Revised Selected Papers) 2014: 82-110 - [c54]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: 162-180 - [c53]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 - [c52]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) - [c51]Mark Fischer, Jürgen Dingel, Maged Elaasar, Steven Shaw:
Automating Instance Migration in Response to Ontology Evolution. ME@MoDELS 2013: 22-29 - [c50]Karolina Zurowska, Jürgen Dingel:
Model Checking of UML-RT Models Using Lazy Composition. MoDELS 2013: 304-319 - [c49]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
- [c48]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 - [c47]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 - [c46]Eric James Rapos, Jürgen Dingel:
Incremental Test Case Generation for UML-RT Models Using Symbolic Execution. ICST 2012: 962-963 - [c45]Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Dániel Varró:
Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012). AMT@MoDELS 2012: 1-2 - [c44]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: 3-8 - [c43]Gehan M. K. Selim, James R. Cordy, Juergen Dingel:
Model transformation testing: the state of the art. AMT@MoDELS 2012: 21-26 - [c42]Karolina Zurowska, Jürgen Dingel:
Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines. NASA Formal Methods 2012: 39-53 - [c41]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) - [c40]Ramiro Liscano, Jürgen Dingel, Dorina C. Petriu, Faisal Qureshi:
Software modeling for embedded and mobile sensor system. CASCON 2011: 360-362 - [c39]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 - [c38]Karolina Zurowska, Jürgen Dingel:
SAUML: A tool for symbolic analysis of UML-RT models. ASE 2011: 604-607 - [c37]Yann Moffett, Alain Beaulieu, Jürgen Dingel:
Verifying UML-RT Protocol Conformance Using Model Checking. MoDELS 2011: 410-424 - [e2]Roberto Bruni, Jürgen Dingel:
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
- [c36]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 - [c35]Ernesto Posse, Jürgen Dingel:
Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation. DS-RT 2010: 87-96 - [c34]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
- [c33]Jürgen Dingel, Karen Rudie, Christopher Dragert:
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, Jürgen Dingel:
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, 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) - [c20]Alanna Zito, Zinovy Diskin, Jürgen Dingel:
Package Merge in UML 2: Practice vs. Theory? MoDELS 2006: 185-199 - [c19]