Juergen Dingel

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 50

Top Topics

Symbolic Execution

Embedded Systems

Top Venues

Softw. Syst. Model.

MoDELS (Companion)

Publications

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) (2023)
Nafiseh Kahani, Mojtaba Bagherzadeh, Reza Ahmadi, Juergen Dingel
Leveraging modeling concepts and techniques to address challenges in network management. MODELS (2023)
Mojtaba Bagherzadeh, Nafiseh Kahani, Karim Jahed, Juergen Dingel
Execution of Partial State Machine Models. IEEE Trans. Software Eng. 48 (3) (2022)
Liam Walsh, Juergen Dingel, Karim Jahed
A General Architecture for Client-Agnostic Hybrid Model Editors as a Service. CoRR (2022)
Liam Walsh, Juergen Dingel, Karim Jahed
A general architecture for client-agnostic hybrid model editors as a service. MoDELS (Companion) (2022)
Majid Babaei, Juergen Dingel
MRegTest: A Replay-Based Regression Testing Tool for Distributed UML-RT Models. MoDELS (Companion) (2021)
Karim Jahed, Mojtaba Bagherzadeh, Juergen Dingel
On the benefits of file-level modularity for EMF models. Softw. Syst. Model. 20 (1) (2021)
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) (2021)
Majid Babaei, Juergen Dingel
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development. MoDELS (2021)
Mojtaba Bagherzadeh, Nafiseh Kahani, Karim Jahed, Juergen Dingel
Execution of Partial State Machine Models. CoRR (2021)
Liam Walsh, Juergen Dingel, Karim Jahed
Toward client-agnostic hybrid model editor tools as a service. MoDELS (Companion) (2020)
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)
Nicolas Hili, Mojtaba Bagherzadeh, Karim Jahed, Juergen Dingel
A model-based architecture for interactive run-time monitoring. Softw. Syst. Model. 19 (4) (2020)
Majid Babaei, Karim Jahed, Juergen Dingel
Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT. MoDELS (Companion) (2019)
Francis Bordeleau, Jean-Michel Bruel, Jordi Cabot, Juergen Dingel, Sébastien Mosser
Preface to the 1st Workshop on DevOps@MODELS. MoDELS (Companion) (2019)
Alessio Bucaioni, Juergen Dingel, Joanne M. Atlee
Message from the MASE 2019 Chair. MoDELS (Companion) (2019)
Karim Jahed, Juergen Dingel
Enabling model-driven software development tools for the internet of things. MiSE@ICSE (2019)
Mojtaba Bagherzadeh, Karim Jahed, Benoît Combemale, Juergen Dingel
Live-UMLRT: A Tool for Live Modeling of UML-RT Models. MoDELS (Companion) (2019)
Gopi Krishnan Rajbahadur, Gustavo Ansaldi Oliva, Ahmed E. Hassan, Juergen Dingel
Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines. MoDELS (2019)
Mojtaba Bagherzadeh, Karim Jahed, Nafiseh Kahani, Juergen Dingel
PMExec: An Execution Engine of Partial UML-RT Models. ASE (2019)
Francis Bordeleau, Jordi Cabot, Juergen Dingel, Bassem S. Rabil, Patrick Renaud
Towards Modeling Framework for DevOps: Requirements Derived from Industry Use Case. DEVOPS (2019)
Reza Ahmadi, Juergen Dingel
Concolic testing for models of state-based systems. ESEC/SIGSOFT FSE (2019)
Francis Atampore, Juergen Dingel, Karen Rudie
A controller synthesis framework for automated service composition. Discret. Event Dyn. Syst. 29 (3) (2019)
Reza Ahmadi, Karim Jahed, Juergen Dingel
mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines. ASE (2019)
Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, Dániel Varró
Survey and classification of model transformation tools. Softw. Syst. Model. 18 (4) (2019)
Amal Khalil, Juergen Dingel
Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts. Adv. Comput. 108 (2018)
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)
Mojtaba Bagherzadeh, Nicolas Hili, David Seekatz, Juergen Dingel
MDebugger: a model-level debugger for UML-RT. ICSE (Companion Volume) (2018)
Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araujo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic
Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018). MoDELS (Workshops) (2018)
Juergen Dingel, Wolfram Schulte
Guest editorial for the special section on MODELS 2014. Softw. Syst. Model. 17 (1) (2018)
Mojtaba Bagherzadeh, Nafiseh Kahani, Cor-Paul Bezemer, Ahmed E. Hassan, Juergen Dingel, James R. Cordy
Analyzing a decade of Linux system calls. ICSE (2018)
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) (2018)
Reza Ahmadi, Nicolas Hili, Juergen Dingel
Property-Aware Unit Testing of UML-RT Models in the Context of MDE. ECMFA (2018)
Tuhin Kanti Das, Juergen Dingel
Model development guidelines for UML-RT: conventions, patterns and antipatterns. Softw. Syst. Model. 17 (3) (2018)
Reza Ahmadi, Ernesto Posse, Juergen Dingel
Slicing UML-based Models of Real-time Embedded Systems. MoDELS (2018)
Nafiseh Kahani, Nicolas Hili, James R. Cordy, Juergen Dingel
Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems. MiSE@ICSE (2017)
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) (2017)
Karolina Zurowska, Juergen Dingel
Language-specific model checking of UML-RT models. Softw. Syst. Model. 16 (2) (2017)
Gehan M. K. Selim, James R. Cordy, Juergen Dingel
How is ATL Really Used? Language Feature Use in the ATL Zoo. MoDELS (2017)
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)
Raquel Araujo de Oliveira, Juergen Dingel
Supporting Model Refinement with Equivalence Checking in the Context of Model-driven Engineering with UML-RT. MoDELS (Satellite Events) (2017)
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)
Francis Atampore, Juergen Dingel, Karen Rudie
Automated service composition via supervisory control theory. WODES (2016)
Juergen Dingel
Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering. ICGT (2016)
Ernesto Posse, Juergen Dingel
An executable formal semantics for UML-RT. Softw. Syst. Model. 15 (1) (2016)
Nafiseh Kahani, Mojtaba Bagherzadeh, Juergen Dingel, James R. Cordy
The problems with eclipse modeling tools: a topic analysis of eclipse forums. MoDELS (2016)
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) (2016)
Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. FACS (2016)
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)
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)
Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim
Compositional Predictability Analysis of Mixed Critical Real Time Systems. FTSCS (2015)
Mark Fischer, Juergen Dingel
Facilitating Ontology Co-evolution with Ontology Instance Migration. KEOD (2015)
Amal Khalil, Juergen Dingel
Incremental symbolic execution of evolving state machines. MoDELS (2015)
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)
Tuhin Kanti Das, Juergen Dingel
State machine antipatterns for UML-RT. MoDELS (2015)
Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie
A Model for Industrial Real-Time Systems. VMCAI (2015)
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) (2015)
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)
Gehan M. K. Selim, James R. Cordy, Juergen Dingel
Model transformation testing: the state of the art. AMT@MoDELS (2012)
Anthony Auer, Juergen Dingel, Karen Rudie
Concurrency control generation for dynamic threads using Discrete-Event Systems. Allerton (2009)