Jürgen Dingel

According to our database1, Jürgen Dingel
  • authored at least 91 papers between 1995 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Language-specific model checking of UML-RT models.
Software and System Modeling, 2017

Controller synthesis for dynamic hierarchical real-time plants using timed automata.
Discrete Event Dynamic Systems, 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

How is ATL Really Used? Language Feature Use in the ATL Zoo.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems.
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
An executable formal semantics for UML-RT.
Software and System Modeling, 2016

Model transformation intents and their properties.
Software and System Modeling, 2016

Automated service composition via supervisory control theory.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

The problems with eclipse modeling tools: a topic analysis of eclipse forums.
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

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015
Model transformations for migrating legacy deployment models in the automotive industry.
Software and System Modeling, 2015

Formal Verification Techniques for Model Transformations: A Tridimensional Classification.
Journal of Object Technology, 2015

A Model for Industrial Real-Time Systems.
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

SyVOLT: Full Model Transformation Verification Using Contracts.
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

Incremental symbolic execution of evolving state machines.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

State machine antipatterns for UML-RT.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Migrating Automotive Product Lines: A Case Study.
Proceedings of the Theory and Practice of Model Transformations, 2015

Compositional Predictability Analysis of Mixed Critical Real Time Systems.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014
Concurrency control generation for dynamic threads using discrete-event systems.
Sci. Comput. Program., 2014

System-Model-Based Simulation of UML Models.
CoRR, 2014

UML 2 Semantics Symposium: Formal Semantics for UML.
CoRR, 2014

Contract-Based Specification and Analysis of AADL Models.
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

Specification and Verification of Graph-Based Model Transformation Properties.
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

A Customizable Execution Engine for Models of Embedded Systems.
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

A survey of timed automata for the development of real-time systems.
Computer Science Review, 2013

Model Checking of UML-RT Models Using Lazy Composition.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Automated Verification of Model Transformations in the Automotive Industry.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Automating Instance Migration in Response to Ontology Evolution.
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
Symbolic execution of UML-RT State Machines.
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

Model transformation testing: the state of the art.
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012).
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Towards a model transformation intent catalog.
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Incremental Test Case Generation for UML-RT Models Using Symbolic Execution.
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

Model Transformations for Migrating Legacy Models: An Industrial Case Study.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011
Combining Model Checking and Discrete-Event Supervisor Synthesis.
ECEASST, 2011

Verifying UML-RT Protocol Conformance Using Model Checking.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

SAUML: A tool for symbolic analysis of UML-RT models.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Software modeling for embedded and mobile sensor system.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

2010
Theory and Implementation of a Real-Time Extension to the pi-Calculus.
Proceedings of the Formal Techniques for Distributed Systems, 2010

Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation.
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
The Doctoral Symposium at MODELS 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
Understanding and improving UML package merge.
Software and System Modeling, 2008

Engineering Associations: From Models to Code and Back through Semantics.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

A Practical Evaluation of Using TXL for Model Transformation.
Proceedings of the Software Language Engineering, First International Conference, 2008

Generation of concurrency control code using discrete-event systems theory.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

A General Approach for Scenario Integration.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Towards a Formal Account of a Foundational Subset for Executable UML Models.
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
UML vs. classical vs. rhapsody statecharts: not all models are created equal.
Software and System Modeling, 2007

Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking.
Electr. Notes Theor. Comput. Sci., 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
Using source transformation to test and model check implicit-invocation systems.
Sci. Comput. Program., 2006

Compositional Analysis of C/C++ Programs with VeriSoft.
Acta Inf., 2006

A comparative survey of scenario-based to state-based model synthesis approaches.
Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Package Merge in UML 2: Practice vs. Theory?
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

2nd UML 2 Semantics Symposium: Formal Semantics for UML.
Proceedings of the Models in Software Engineering, 2006

2005
Source Transformation for Concurrency Analysis.
Electr. Notes Theor. Comput. Sci., 2005

UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal.
Proceedings of the Model Driven Engineering Languages and Systems, 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
A survey of self-management in dynamic software architecture specifications.
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
Runtime Conformance Checking of Objects Using Alloy.
Electr. Notes Theor. Comput. Sci., 2003

Evaluating and improving the automatic analysis of implicit invocation systems.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Computer-Assisted Assume/Guarantee Reasoning with VeriSoft.
Proceedings of the 25th International Conference on Software Engineering, 2003

2002
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming.
Formal Asp. Comput., 2002

Bridging the HLA: Problems and Solutions.
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
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.
Formal Asp. Comput., 1998

A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs.
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

Approximating UNITY.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996
Modular Verification for Shared-Variable Concurrent Programs.
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


  Loading...