| A survey of self-management in dynamic software architecture specifications JS Bradbury, JR Cordy, J Dingel, M Wermelinger Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, 28-33, 2004 | 397 | 2004 |
| A comparative survey of scenario-based to state-based model synthesis approaches H Liang, J Dingel, Z Diskin Proceedings of the 2006 international workshop on Scenarios and state …, 2006 | 132 | 2006 |
| Model transformation intents and their properties L Lúcio, M Amrani, J Dingel, L Lambers, R Salay, GMK Selim, E Syriani, ... Software & systems modeling 15 (3), 647-684, 2016 | 128 | 2016 |
| Mutation operators for concurrent Java (J2SE 5.0) JS Bradbury, JR Cordy, J Dingel Second Workshop on Mutation Analysis (Mutation 2006-ISSRE Workshops 2006), 11-11, 2006 | 127 | 2006 |
| Survey and classification of model transformation tools N Kahani, M Bagherzadeh, JR Cordy, J Dingel, D Varró Software & Systems Modeling 18 (4), 2361-2397, 2019 | 108 | 2019 |
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving J Dingel, T Filkorn International Conference on Computer Aided Verification, 54-69, 1995 | 108 | 1995 |
| UML vs. classical vs. Rhapsody statecharts: Not all models are created equal ML Crane, J Dingel International Conference on Model Driven Engineering Languages and Systems …, 2005 | 86 | 2005 |
| A tridimensional approach for studying the formal verification of model transformations M Amrani, L Lucio, G Selim, B Combemale, J Dingel, H Vangheluwe, ... 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 84 | 2012 |
| UML vs. classical vs. rhapsody statecharts: not all models are created equal ML Crane, J Dingel Software & Systems Modeling 6 (4), 415-435, 2007 | 80 | 2007 |
| Understanding and improving UML package merge J Dingel, Z Diskin, A Zito Software & Systems Modeling 7 (4), 443-467, 2008 | 73 | 2008 |
| Reasoning about implicit invocation D Garlan, S Jha, D Notkin, J Dingel ACM SIGSOFT Software Engineering Notes 23 (6), 209-221, 1998 | 67 | 1998 |
| On the semantics of uml state machines: Categorization and comparision ML Crane, J Dingel In Technical Report 2005-501, School of Computing, Queen’s, 2005 | 66 | 2005 |
| Package merge in uml 2: Practice vs. theory? A Zito, Z Diskin, J Dingel International Conference on Model Driven Engineering Languages and Systems …, 2006 | 63 | 2006 |
| Towards a model transformation intent catalog M Amrani, J Dingel, L Lambers, L Lúcio, R Salay, G Selim, E Syriani, ... Proceedings of the First Workshop on the Analysis of Model Transformations, 3-8, 2012 | 59 | 2012 |
| 2nd UML 2 Semantics Symposium: Formal Semantics for UML M Broy, ML Crane, J Dingel, A Hartman, B Rumpe, B Selic International Conference on Model Driven Engineering Languages and Systems …, 2006 | 59 | 2006 |
| A survey of timed automata for the development of real-time systems MTB Waez, J Dingel, K Rudie Computer Science Review 9, 1-26, 2013 | 56 | 2013 |
| An executable formal semantics for UML-RT E Posse, J Dingel Software & Systems Modeling 15 (1), 179-217, 2016 | 48 | 2016 |
| Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities ML Crane, J Dingel Proceedings of the 2008 conference of the center for advanced studies on …, 2008 | 47 | 2008 |
| Bridging the HLA: Problems and solutions J Dingel, D Garlan, C Damon Proceedings. Sixth IEEE International Workshop on Distributed Simulation and …, 2002 | 47 | 2002 |
| Towards a formal treatment of implicit invocation using rely/guarantee reasoning J Dingel, D Garlan, S Jha, D Notkin Formal Aspects of Computing 10 (3), 193-213, 1998 | 44* | 1998 |
