Ernesto Posse

15 papers A 3B 1C 1Journal 1Unranked 9
YearRankTypeTitle / Venue / Authors
2021 — conf
Towards Automated Support for Blended Modelling of UML-RT Embedded Software Architectures.
ECSA (Companion)
Malvina Latifaj, Federico Ciccozzi, Mattias Mohlin, Ernesto Posse
2018 — conf
Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018).
MoDELS (Workshops)
Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araújo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic
2018 A conf
Slicing UML-based Models of Real-time Embedded Systems.
MoDELS
Reza Ahmadi, Ernesto Posse, Juergen Dingel
2017 B conf
Towards Seamless Hybrid Graphical-Textual Modelling for UML and Profiles.
ECMFA
Lorenzo Addazi, Federico Ciccozzi, Philip Langer, Ernesto Posse
2016 J jnl
An executable formal semantics for UML-RT.
Softw. Syst. Model.
Ernesto Posse, Juergen Dingel
2015 — conf
PapyrusRT: Modelling and Code Generation (Invited Presentation).
OSS4MDE@MoDELS
Ernesto Posse
2014 — conf
Contract-Based Specification and Analysis of AADL Models.
ACVI@MoDELS
Ernesto Posse, Jürgen Dingel
2011 A conf
Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems.
ICST
Ahmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse
2010 — conf
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus.
BM-FA
Jürgen Dingel, Eyrak Paen, Ernesto Posse, Rezoanoor (Ruben) Rahman, Karolina Zurowska
2010 C conf
Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation.
DS-RT
Ernesto Posse, Jürgen Dingel
2010 — conf
Theory and Implementation of a Real-Time Extension to the
FMOODS/FORTE
Ernesto Posse, Jürgen Dingel
2009 — conf
Run-time conformance checking of mobile and distributed systems using executable models.
PADTAD
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
2008 A conf
A General Approach for Scenario Integration.
MoDELS
Hongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse
2007 — conf
Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation.
ICSOFT (SE)
Miriam Zia, Ernesto Posse, Hans Vangheluwe
2007 — conf
Kiltera: A Simulation Language for Timed, Dynamic Structure Systems.
Annual Simulation Symposium
Ernesto Posse, Hans Vangheluwe