Ernesto Posse
Ernesto Posse
Adjunct Assistant Professor, School of Computing, Queen's University
Geverifieerd e-mailadres voor cs.queensu.ca - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
An executable formal semantics for UML-RT
E Posse, J Dingel
Software & Systems Modeling 15 (1), 179-217, 2016
412016
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
342002
Generation of DEVS modelling and simulation environments
E Posse, JS Bolduc, H Vangheluwe
Proceedings of the 2003 Summer Computer Simulation Conference SCSC, 2003
312003
Modelling and simulation of dynamic structure discrete-event systems
E Posse
McGill University, 2008
272008
A general approach for scenario integration
H Liang, Z Diskin, J Dingel, E Posse
International Conference on Model Driven Engineering Languages and Systems …, 2008
252008
PapyrusRT: modelling and code generation
E Posse
Workshop on Open Source for Model Driven Engineering (OSS4MDE’15), 2015
242015
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
192003
Theory and Implementation of a Real-Time Extension to the π-Calculus
E Posse, J Dingel
Formal Techniques for Distributed Systems, 125-139, 2010
172010
Kiltera: A simulation language for timed, dynamic structure systems
E Posse, H Vangheluwe
40th Annual Simulation Symposium (ANSS'07), 293-300, 2007
172007
DEVS Standardization: some thoughts
H Vangheluwe, L Bolduc, E Posse
Winter Simulation Conference 14, 2001
132001
Towards seamless hybrid graphical–textual modelling for uml and profiles
L Addazi, F Ciccozzi, P Langer, E Posse
European Conference on Modelling Foundations and Applications, 20-33, 2017
92017
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
92010
Mapping UML-RT state machines to kiltera
E Posse
Applied Formal Methods, Group School of Computing, Queen’s University, Tech …, 2010
92010
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
82009
A real-time extension to the π-calculus
E Posse
Tech. Report 2009-557, School of Computing-Queen's University, 2009
62009
A framework for visual specification and simulation of cellular systems
E Posse, A Muzy, H Vangheluwe
SIMULATION SERIES 38 (1), 23, 2006
62006
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
52018
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
42018
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
42010
Implementing and evaluating a runtime conformance checker for mobile agent systems
AA Saifan, J Dingel, JS Bradbury, E Posse
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
32011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20