Juergen Dingel

Registered user since Fri 9 Feb 2018

Name: Juergen Dingel

Affiliation: Queen’s University, Kingston, Ontario

Personal website: http://www.cs.queensu.ca/~dingel

Contributions

MODELS 2021 Committee Member in PC - Foundations Track within the Technical Papers-track
SLE 2021 Committee Member in Program Committee within the SLE-track
MODELS 2020 Author of Efficient Reordering and Replay of Execution Traces of Distributed Reactive Systems in the Context of Model-driven Development within the Technical Track-track
Committee Member in Steering Committee
Author of On the benefits of file-level modularity for EMF models within the Technical Track-track
Committee Member in PC - Foundations Track within the Technical Track-track
Doctoral Symposium Chair in Organizing Committee
Committee Member in Program Committee within the Tutorials-track
Author of MReplayer: A Trace Replayer of Distributed UML-RT Models within the Technical Track-track
Author of A model-based architecture for interactive run-time monitoring within the Technical Track-track
Committee Member in Chairs within the Doctoral Symposium-track
ICSE 2021 Author of Execution of Partial State Machine Models within the Journal-First Papers-track
SLE 2019 Committee Member in Program Committee within the SLE 2019-track
OSS 2019 Publicity Chair in Organizing Committee
ASE 2019 Author of PMExec: An Execution Engine of Partial UML-RT Models within the Demonstrations-track
Author of mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines within the Demonstrations-track
FormaliSE 2019 Committee Member in Program Committee within the FormaliSE 2019-track
SLE 2018 Committee Member in Program Committee within the SLE 2018-track
FormaliSE 2018 Committee Member in Program Committee within the FormaliSE 2018-track
* ICSE 2018 * Author of MDebugger: A Model-level Debugger for UML-RT within the DEMO - Demonstrations -track
Author of Analyzing a Decade of Linux System Calls within the Journal first papers-track