Ernesto Posse
Ernesto Posse
Adjunct Assistant Professor, School of Computing, Queen's University
Verified email at - Homepage
Cited by
Cited by
An executable formal semantics for UML-RT
E Posse, J Dingel
Software & Systems Modeling 15 (1), 179-217, 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
Generation of DEVS modelling and simulation environments
E Posse, JS Bolduc, H Vangheluwe
Proceedings of the 2003 Summer Computer Simulation Conference, 139-146, 2003
Modelling and simulation of dynamic-structure discrete-event systems
E Posse
McGill University, 2008
A general approach for scenario integration
H Liang, Z Diskin, J Dingel, E Posse
International Conference on Model Driven Engineering Languages and Systems …, 2008
PapyrusRT: modelling and code generation
E Posse
Workshop on Open Source for Model Driven Engineering (OSS4MDE’15), 2015
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
Theory and Implementation of a Real-Time Extension to the π-Calculus
E Posse, J Dingel
International Conference on Formal Methods for Open Object-Based Distributed …, 2010
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
Kiltera: A simulation language for timed, dynamic structure systems
E Posse, H Vangheluwe
40th Annual Simulation Symposium (ANSS'07), 293-300, 2007
Towards Automated Support for Blended Modelling of UML-RT Embedded Software Architectures.
M Latifaj, F Ciccozzi, M Mohlin, E Posse
ECSA (Companion), 2021
DEVS Standardization: some thoughts
H Vangheluwe, L Bolduc, E Posse
Winter Simulation Conference 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
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
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
Mapping UML-RT state machines to kiltera
E Posse
Applied Formal Methods, Group School of Computing, Queen’s University, Tech …, 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
A real-time extension to the π-calculus
E Posse
Tech. Report 2009-557, School of Computing-Queen's University, 2009
A framework for visual specification and simulation of cellular systems
E Posse, A Muzy, H Vangheluwe
SIMULATION SERIES 38 (1), 23, 2006
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
The system can't perform the operation now. Try again later.
Articles 1–20