Jürgen Dingel
Affiliations:- Queen's University, Kingston, Ontario, Canada
According to our database1,
Jürgen Dingel
authored at least 125 papers
between 1995 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
On csauthors.net:
Bibliography
2023
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development.
Softw. Syst. Model., October, 2023
Leveraging modeling concepts and techniques to address challenges in network management.
Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
2021
Softw. Syst. Model., 2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021
2020
Softw. Syst. Model., 2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
2019
Discret. Event Dyn. Syst., 2019
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, 2019
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019
2018
Softw. Syst. Model., 2018
Adv. Comput., 2018
Simgen: a tool for generating simulations and visualizations of embedded systems on the unity game engine.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018
Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018).
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018
2017
Discret. Event Dyn. Syst., 2017
Model-level, platform-independent debugging in the context of the model-driven development of real-time systems.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017
Supporting Model Refinement with Equivalence Checking in the Context of Model-driven Engineering with UML-RT.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Proceedings of the 9th IEEE/ACM International Workshop on Modelling in Software Engineering, 2017
Modelling and code generation for real-time embedded systems with UML-RT and papyrus-RT.
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016
Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016
Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware.
Proceedings of the 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), 2016
Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering.
Proceedings of the Graph Transformation - 9th International Conference, 2016
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016
2015
Model transformations for migrating legacy deployment models in the automotive industry.
Softw. Syst. Model., 2015
Formal Verification Techniques for Model Transformations: A Tridimensional Classification.
J. Object Technol., 2015
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report.
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), 2015
Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Proceedings of the 8th IEEE International Conference on Software Testing, 2015
Proceedings of the Theory and Practice of Model Transformations, 2015
Proceedings of the KEOD 2015, 2015
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015
2014
Sci. Comput. Program., 2014
Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014
Proceedings of the Graph Transformation - 7th International Conference, 2014
Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
Proceedings of the Behavior Modeling, 2014
2013
Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems.
IEEE Trans. Software Eng., 2013
Comput. Sci. Rev., 2013
Proceedings of the Model-Driven Engineering Languages and Systems, 2013
Proceedings of the Model-Driven Engineering Languages and Systems, 2013
Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013
2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines.
Proceedings of the NASA Formal Methods, 2012
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
A Tridimensional Approach for Studying the Formal Verification of Model Transformations.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the Model Driven Engineering Languages and Systems, 2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011
2010
Proceedings of the Formal Techniques for Distributed Systems, 2010
Proceedings of the DS-RT '10 Proceedings of the 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications, 2010
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus.
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, 2010
2009
Proceedings of the Models in Software Engineering, 2009
Run-time conformance checking of mobile and distributed systems using executable models.
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009
Bridging the gap: Discrete-Event Systems for software engineering (short position paper).
Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2009
2008
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008
Proceedings of the Software Language Engineering, First International Conference, 2008
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Experience applying the SPIN model checker to an industrial telecommunications system.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems.
Proceedings of the Advanced Techniques in Computing Sciences and Software Engineering, 2008
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities.
Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, 2008
2007
Softw. Syst. Model., 2007
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking.
Proceedings of the Second Workshop on Bytecode Semantics, 2007
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007
2006
Sci. Comput. Program., 2006
Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006
Proceedings of the Model Driven Engineering Languages and Systems, 2006
Proceedings of the Model Driven Engineering Languages and Systems, 2006
Proceedings of the Models in Software Engineering, 2006
2005
Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, 2005
Implementation and Verification of Implicit-Invocation Systems Using Source Transformation.
Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005
An empirical framework for comparing effectiveness of testing and property-based formal analysis.
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005
2004
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004
2003
Proceedings of the Third Workshop on Run-time Verification, 2003
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Proceedings of the 25th International Conference on Software Engineering, 2003
2002
Formal Aspects Comput., 2002
Proceedings of the 6th IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2002), 2002
2000
Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000
1998
Formal Aspects Comput., 1998
Proceedings of the Algebraic Methodology and Software Technology, 1998
1997
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract).
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
Proceedings of the Coordination Languages and Models, Second International Conference, 1997
1996
Proceedings of the CONCUR '96, 1996
1995
Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving.
Proceedings of the Computer Aided Verification, 1995