Ernesto Posse

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Towards Automated Support for Blended Modelling of UML-RT Embedded Software Architectures.
Proceedings of the ECSA 2021 Companion Volume, 2021

2018
Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018).
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Slicing UML-based Models of Real-time Embedded Systems.
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.
Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

2016
An executable formal semantics for UML-RT.
Softw. Syst. Model., 2016

2015
PapyrusRT: Modelling and Code Generation (Invited Presentation).
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.
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.
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.
Proceedings of the Formal Techniques for Distributed Systems, 2010

Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation.
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.
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.
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

2008
A General Approach for Scenario Integration.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

2007
Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation.
Proceedings of the ICSOFT 2007, 2007

Kiltera: A Simulation Language for Timed, Dynamic Structure Systems.
Proceedings of the Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 2007


  Loading...