| An executable formal semantics for UML-RT E Posse, J Dingel Software & Systems Modeling 15 (1), 179-217, 2016 | 53 | 2016 |
| Processing causal block diagrams with graphgrammars in atom3 E Posse, J De Lara, H Vangheluwe European Joint Conference on Theory and Practice of Software (ETAPS …, 2002 | 32 | 2002 |
| Generation of DEVS modelling and simulation environments E Posse, JS Bolduc, H Vangheluwe Proceedings of the 2003 Summer Computer Simulation Conference, 139-146, 2003 | 30 | 2003 |
| Modelling and simulation of dynamic-structure discrete-event systems E Posse | 28 | 2008 |
| A general approach for scenario integration H Liang, Z Diskin, J Dingel, E Posse Model Driven Engineering Languages and Systems: 11th International …, 2008 | 26 | 2008 |
| PapyrusRT: modelling and code generation E Posse Workshop on Open Source for Model Driven Engineering (OSS4MDE’15), 2015 | 24 | 2015 |
| Creating DEVS components with the meta-modelling tool AToM3 A Levytskyy, EJH Kerckhoffs, E Posse, H Vangheluwe 15th European Simulation Symposium (ESS), 97-103, 2003 | 19 | 2003 |
| Theory and Implementation of a Real-Time Extension to the π-Calculus E Posse, J Dingel Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 …, 2010 | 18 | 2010 |
| Kiltera: A simulation language for timed, dynamic structure systems E Posse, H Vangheluwe 40th Annual Simulation Symposium (ANSS'07), 293-300, 2007 | 17 | 2007 |
| Towards seamless hybrid graphical–textual modelling for uml and profiles L Addazi, F Ciccozzi, P Langer, E Posse Modelling Foundations and Applications: 13th European Conference, ECMFA 2017 …, 2017 | 15 | 2017 |
| DEVS Standardization: some thoughts H Vangheluwe, L Bolduc, E Posse Winter Simulation Conference 14, 2001 | 14 | 2001 |
| Calur: an action language for UML-RT N Hili, E Posse, J Dingel 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), 2018 | 9 | 2018 |
| Kiltera: A language for timed, event-driven, mobile and distributed simulation E Posse, J Dingel 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and …, 2010 | 9 | 2010 |
| Mapping UML-RT state machines to kiltera E Posse Applied Formal Methods, Group School of Computing, Queen’s University, Tech …, 2010 | 8 | 2010 |
| Run-time conformance checking of mobile and distributed systems using executable models AA Saifan, E Posse, J Dingel Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing …, 2009 | 8 | 2009 |
| Slicing UML-based models of real-time embedded systems R Ahmadi, E Posse, J Dingel Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018 | 7 | 2018 |
| A framework for visual specification and simulation of cellular systems E Posse, A Muzy, H Vangheluwe SIMULATION SERIES 38 (1), 23, 2006 | 7 | 2006 |
| Towards Automated Support for Blended Modelling of UML-RT Embedded Software Architectures. M Latifaj, F Ciccozzi, M Mohlin, E Posse ECSA (Companion), 2021 | 6 | 2021 |
| A real-time extension to the π-calculus E Posse Tech. Report 2009-557, School of Computing-Queen's University, 2009 | 6 | 2009 |
| Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus J Dingel, E Paen, E Posse, R Rahman, K Zurowska Proceedings of the Second International Workshop on Behaviour Modelling …, 2010 | 4 | 2010 |
