Ernesto Posse

According to our database, Ernesto Posse authored at least 15 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Towards Automated Support for Blended Modelling of UML-RT Embedded Software Architectures.

Malvina Latifaj, Federico Ciccozzi, Mattias Mohlin, Ernesto Posse

Proceedings of the ECSA 2021 Companion Volume, 2021

2018

Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018).

Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araújo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Slicing UML-based Models of Real-time Embedded Systems.

Reza Ahmadi, Ernesto Posse, Juergen Dingel

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

2017

Towards Seamless Hybrid Graphical-Textual Modelling for UML and Profiles.

Lorenzo Addazi, Federico Ciccozzi, Philip Langer, Ernesto Posse

Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

2016

An executable formal semantics for UML-RT.

Ernesto Posse, Juergen Dingel

Softw. Syst. Model., 2016

2015

PapyrusRT: Modelling and Code Generation (Invited Presentation).

Ernesto Posse

Proceedings of the International Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

2014

Contract-Based Specification and Analysis of AADL Models.

Ernesto Posse, Jürgen Dingel

Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

2011

Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems.

Ahmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Theory and Implementation of a Real-Time Extension to the <i>pi</i>-Calculus.

Ernesto Posse, Jürgen Dingel

Proceedings of the Formal Techniques for Distributed Systems, 2010

Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation.

Ernesto Posse, Jürgen Dingel

Proceedings of the DS-RT '10 Proceedings of the 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications, 2010

Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus.

Jürgen Dingel, Eyrak Paen, Ernesto Posse, Rezoanoor (Ruben) Rahman, Karolina Zurowska

Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, 2010

2009

Run-time conformance checking of mobile and distributed systems using executable models.

Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

2008

A General Approach for Scenario Integration.

Hongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse

Proceedings of the Model Driven Engineering Languages and Systems, 2008

2007

Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation.

Miriam Zia, Ernesto Posse, Hans Vangheluwe

Proceedings of the ICSOFT 2007, 2007

Kiltera: A Simulation Language for Timed, Dynamic Structure Systems.

Ernesto Posse, Hans Vangheluwe

Proceedings of the Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 2007