Publications

Papers in refereed journals and conference proceedings:

(Some papers are available in PDF)

Ernesto Posse and Juergen Dingel. kiltera: a language for timed, event-driven, mobile and distributed simulation. In Proceedings of the 14th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2010). October 17 - 20, Fairfax, Virginia, U.S.A. 2010.

Ernesto Posse and Juergen Dingel. Theory and Implementation of a real-time extension to the \pi-calculus. In Proceedings of the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS&FORTE 2010). June 7 - June 10, Amsterdam, the Netherlands. 2010.

Juergen Dingel, Eyrak Paen, Ernesto Posse, Md. Rezoanoor Rahman, Karolina Zurowska. Definition and implementation of a Semantic Mapping for UML-RT Using a Timed Pi-calculus". In Proceedings of the Second International Workshop on Behaviour Modelling - Foundations and Application (BM-FA 2010). 15 June 2010, Paris, France. 2010.

Ahmad Saifan, Ernesto Posse, Juergen Dingel. Run-Time Conformance Checking of Mobile and Distributed Systems Using Executable Models. In Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD - VII). 2009.

Hongzhi Liang, Zinovy Diskin, Ernesto Posse, Juergen Dingel. A General Approach for Scenario Integration. In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS) 2008. p. 204-218. 2008.

Ernesto Posse and Juergen Dingel. A Foundation for MDE. In Proceedings of the First International Workshop on Challenges in Model-Driven Software Engineering (ChaMDE) 2008. http://ssel.vub.ac.be/ChaMDE08. 2008.

Ernesto Posse and Hans Vangheluwe. kiltera: a simulation language for timed, dynamic structure systems. In Proceedings of the 40th Annual Simulation Symposium. 2007 Spring Simulation Multiconference (SpringSim'07). p. 293-300. 2007.

Ernesto Posse and Hans Vangheluwe. Parsing revisited: a transformation-based approach to parser generation. In Proceedings of the 2007 Python Conference (PyCon'07). http://us.pycon.org. 2007.

Miriam Zia, Ernesto Posse and Hans Vangheluwe. Addressing Security Requirements Through Multi-Formalism Modelling And Model Transformation. In Proceedings of ICSOFT 2007 - Second International Conference on Software and Data Technologies. p. 129-137. 2007.

Ernesto Posse, Alexandre Muzy, Hans Vangheluwe. A framework for visual specification and simulation of cellular systems. In Proceedings of the 2006 DEVS Integrative M&S Symposium (DEVS'06). p. 23-30. 2006.

Andriy Levytskyy, Eugène J.H. Kerckhos, Ernesto Posse, and Hans Vangheluwe. Creating DEVS components with the meta- modelling tool AToM3. In Proceedings of the 15th European Simulation Symposium (ESS), edited by Alexander Verbraeck and Vlatka Hlupic, pp. 97-103. Society for Modeling and Simulation International (SCS). 2003.

Ernesto Posse, Jean-Sébastien Bolduc, Hans Vangheluwe. Generation of DEVS Modelling & Simulation Environments. In Proceedings of the 2003 Summer Computer Simulation Conference SCSC 2003. 2003.

Ernesto Posse, Juan De Lara, Hans Vangheluwe. Processing Causal Block Diagrams in AToM3. In Proceedings of the APPLI-GRAPH Workshop on Applied Graph Transformation AGT2002. 2002.

Ernesto Posse, Silvia Takahashi. Typed Functional-Logic Programming. In Proceedings of the XXIII Latinamerican Conference on Informatics CLEI'97. 1997.