Jürgen Dingel

78 papers A* 4A 13B 5C 4Misc 1Journal 13Unranked 31

Year	Rank	Type	Title / Venue / Authors
2020	—	`conf`	MReplayer: a trace replayer of distributed UML-RT models. MoDELS (Companion) Majid Babaei, Mojtaba Bagherzadeh, Jürgen Dingel
2017	—	`ed.`	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), Saint Malo, France, October 3, 2016. EduSymp/OSS4MDE@MoDELS Francis Bordeleau, Jean-Michel Bruel, Jürgen Dingel, Sébastien Gérard, Henry Muccini, Gunter Mussbacher, Sebastian Voss
2015	—	`conf`	Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. AMT@MoDELS Gehan M. K. Selim, James R. Cordy, Jürgen Dingel, Levi Lucio, Bentley J. Oakes
2015	J	`jnl`	Formal Verification Techniques for Model Transformations: A Tridimensional Classification. J. Object Technol. Moussa Amrani, Benoît Combemale, Levi Lucio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy
2015	—	`conf`	Migrating Automotive Product Lines: A Case Study. ICMT Michalis Famelis, Levi Lucio, Gehan M. K. Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik, James R. Cordy, Jürgen Dingel, Hans Vangheluwe, S. Ramesh
2015	—	`ed.`	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), Ottawa, Canada, September 28, 2015. AMT@MoDELS Jürgen Dingel, Sahar Kokaly, Levi Lucio, Rick Salay, Hans Vangheluwe
2015	A	`conf`	Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases. ICST Eric James Rapos, Jürgen Dingel
2014	—	`conf`	A Customizable Execution Engine for Models of Embedded Systems. BM-FA (Revised Selected Papers) Karolina Zurowska, Jürgen Dingel
2014	J	`jnl`	Concurrency control generation for dynamic threads using discrete-event systems. Sci. Comput. Program. Anthony Auer, Jürgen Dingel, Karen Rudie
2014	—	`conf`	Contract-Based Specification and Analysis of AADL Models. ACVI@MoDELS Ernesto Posse, Jürgen Dingel
2014	A	`ed.`	Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings MoDELS Jürgen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfrán
2014	—	`ed.`	Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, OSS4MDE@MoDELS 2014, Valencia, Spain, September 28, 2014. OSS4MDE@MoDELS Francis Bordeleau, Jürgen Dingel, Sebastien Gerard, Sebastian Voss
2014	—	`ed.`	Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014. AMT@MoDELS Jürgen Dingel, Juan de Lara, Levi Lucio, Hans Vangheluwe
2014	B	`conf`	Specification and Verification of Graph-Based Model Transformation Properties. ICGT Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes
2014	—	`conf`	Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report. FACS Md Tawhid Bin Waez, Andrzej Wasowski, Jürgen Dingel, Karen Rudie
2014	J	`jnl`	System-Model-Based Simulation of UML Models. CoRR María Victoria Cengarle, Jürgen Dingel, Hans Grönniger, Bernhard Rumpe
2014	J	`jnl`	UML 2 Semantics Symposium: Formal Semantics for UML. CoRR Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
2013	J	`jnl`	A survey of timed automata for the development of real-time systems. Comput. Sci. Rev. Md Tawhid Bin Waez, Jürgen Dingel, Karen Rudie
2013	A	`conf`	Automated Verification of Model Transformations in the Automotive Industry. MoDELS Gehan M. K. Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang
2013	—	`conf`	Automating Instance Migration in Response to Ontology Evolution. ME@MoDELS Mark Fischer, Jürgen Dingel, Maged Elaasar, Steven Shaw
2013	A	`conf`	Model Checking of UML-RT Models Using Lazy Composition. MoDELS Karolina Zurowska, Jürgen Dingel
2013	—	`ed.`	Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013 AMT@MoDELS Benoit Baudry, Jürgen Dingel, Levi Lucio, Hans Vangheluwe
2013	J	`jnl`	Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems. IEEE Trans. Software Eng. Yann Moffett, Jürgen Dingel, Alain Beaulieu
2012	A	`conf`	A Tridimensional Approach for Studying the Formal Verification of Model Transformations. ICST Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy
2012	A	`conf`	Incremental Test Case Generation for UML-RT Models Using Symbolic Execution. ICST Eric James Rapos, Jürgen Dingel
2012	B	`conf`	Model Transformations for Migrating Legacy Models: An Industrial Case Study. ECMFA Gehan M. K. Selim, Shige Wang, James R. Cordy, Jürgen Dingel
2012	—	`conf`	Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines. NASA Formal Methods Karolina Zurowska, Jürgen Dingel
2012	Misc	`conf`	Symbolic execution of UML-RT State Machines. SAC Karolina Zurowska, Jürgen Dingel
2012	—	`conf`	Towards a model transformation intent catalog. AMT@MoDELS Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lúcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
2011	J	`jnl`	Combining Model Checking and Discrete-Event Supervisor Synthesis. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Nicolas Chausse, Helen Xu, Jürgen Dingel, Karen Rudie
2011	—	`ed.`	Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings FMOODS/FORTE Roberto Bruni, Jürgen Dingel
2011	A	`conf`	Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems. ICST Ahmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse
2011	—	`ed.`	Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers MoDELS (Workshops) Jürgen Dingel, Arnor Solberg
2011	A*	`conf`	SAUML: A tool for symbolic analysis of UML-RT models. ASE Karolina Zurowska, Jürgen Dingel
2011	—	`conf`	Software modeling for embedded and mobile sensor system. CASCON Ramiro Liscano, Jürgen Dingel, Dorina C. Petriu, Faisal Qureshi
2011	A	`conf`	Verifying UML-RT Protocol Conformance Using Model Checking. MoDELS Yann Moffett, Alain Beaulieu, Jürgen Dingel
2010	—	`conf`	Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus. BM-FA Jürgen Dingel, Eyrak Paen, Ernesto Posse, Rezoanoor (Ruben) Rahman, Karolina Zurowska
2010	C	`conf`	Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation. DS-RT Ernesto Posse, Jürgen Dingel
2010	—	`conf`	Theory and Implementation of a Real-Time Extension to the FMOODS/FORTE Ernesto Posse, Jürgen Dingel
2009	—	`conf`	Bridging the gap: Discrete-Event Systems for software engineering (short position paper). C3S2E Jürgen Dingel, Karen Rudie, Christopher Dragert
2009	—	`conf`	Run-time conformance checking of mobile and distributed systems using executable models. PADTAD Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
2009	—	`conf`	The Doctoral Symposium at MODELS 2009. MoDELS (Workshops) Jürgen Dingel
2008	A	`conf`	A General Approach for Scenario Integration. MoDELS Hongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse
2008	B	`conf`	A Practical Evaluation of Using TXL for Model Transformation. SLE Hongzhi Liang, Jürgen Dingel
2008	—	`conf`	A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems. SCSS (2) Ahmad A. Saifan, Jürgen Dingel
2008	—	`conf`	Engineering Associations: From Models to Code and Back through Semantics. TOOLS (46) Zinovy Diskin, Steve M. Easterbrook, Jürgen Dingel
2008	A*	`conf`	Experience applying the SPIN model checker to an industrial telecommunications system. ICSE Barry Long, Jürgen Dingel, T. C. Nicholas Graham
2008	—	`conf`	Generation of concurrency control code using discrete-event systems theory. SIGSOFT FSE Christopher Dragert, Jürgen Dingel, Karen Rudie
2008	A	`conf`	Towards a Formal Account of a Foundational Subset for Executable UML Models. MoDELS Michelle L. Crane, Jürgen Dingel
2008	—	`conf`	Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. CASCON Michelle L. Crane, Jürgen Dingel
2008	J	`jnl`	Understanding and improving UML package merge. Softw. Syst. Model. Jürgen Dingel, Zinovy Diskin, Alanna Zito
2007	—	`conf`	Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. Bytecode@ETAPS Jesse McGeachie, Jürgen Dingel
2007	J	`jnl`	UML vs. classical vs. rhapsody statecharts: not all models are created equal. Softw. Syst. Model. Michelle L. Crane, Jürgen Dingel
2007	—	`conf`	Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. FMOODS L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel
2006	—	`conf`	2 MoDELS (Workshops) Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
2006	—	`conf`	A comparative survey of scenario-based to state-based model synthesis approaches. SCESM Hongzhi Liang, Jürgen Dingel, Zinovy Diskin
2006	J	`jnl`	Compositional Analysis of C/C++ Programs with VeriSoft. Acta Informatica Jürgen Dingel
2006	A	`conf`	Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. MoDELS Zinovy Diskin, Jürgen Dingel
2006	A	`conf`	Package Merge in UML 2: Practice vs. Theory? MoDELS Alanna Zito, Zinovy Diskin, Jürgen Dingel
2006	J	`jnl`	Using source transformation to test and model check implicit-invocation systems. Sci. Comput. Program. Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
2005	—	`conf`	An empirical framework for comparing effectiveness of testing and property-based formal analysis. PASTE Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
2005	C	`conf`	Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. SCAM Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
2005	—	`conf`	Source Transformation for Concurrency Analysis. LDTA@ETAPS Timothy Cassidy, James R. Cordy, Thomas R. Dean, Jürgen Dingel
2005	A	`conf`	UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. MoDELS Michelle L. Crane, Jürgen Dingel
2004	—	`conf`	A survey of self-management in dynamic software architecture specifications. WOSS Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel, Michel Wermelinger
2004	—	`conf`	Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. SIGSOFT FSE Jürgen Dingel, Hongzhi Liang
2003	A*	`conf`	Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. ICSE Jürgen Dingel
2003	—	`conf`	Evaluating and improving the automatic analysis of implicit invocation systems. ESEC / SIGSOFT FSE Jeremy S. Bradbury, Jürgen Dingel
2003	—	`conf`	Runtime Conformance Checking of Objects Using Alloy. RV@CAV Michelle L. Crane, Jürgen Dingel
2002	J	`jnl`	A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. Formal Aspects Comput. Jürgen Dingel
2002	C	`conf`	Bridging the HLA: Problems and Solutions. DS-RT Jürgen Dingel, David Garlan, Craig Damon
2000	B	`conf`	Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. IFM Jürgen Dingel
1998	—	`conf`	A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. AMAST Jürgen Dingel
1998	J	`jnl`	Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Formal Aspects Comput. Jürgen Dingel, David Garlan, Somesh Jha, David Notkin
1997	C	`conf`	Approximating UNITY. COORDINATION Jürgen Dingel
1997	—	`conf`	Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract). TAPSOFT Michael Baldamus, Jürgen Dingel
1996	B	`conf`	Modular Verification for Shared-Variable Concurrent Programs. CONCUR Jürgen Dingel
1995	A*	`conf`	Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving. CAV Jürgen Dingel, Thomas Filkorn