Juergen Dingel -

Registered user since Fri 9 Feb 2018

Name: Juergen Dingel

Affiliation: Queen’s University, Kingston, Ontario

Contributions

MODELS 2020	Committee Member in Program Committee within the Educators Symposium-track Committee Member in Steering Committee 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 Committee Member in Chairs within the Doctoral Symposium-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