Author of the publication

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

, , , and . ICST, page 269-278. IEEE Computer Society, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Theory and Implementation of a Real-Time Extension to the pi-Calculus., and . FMOODS/FORTE, volume 6117 of Lecture Notes in Computer Science, page 125-139. Springer, (2010)Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus., , , , and . BM-FA, page 1. ACM, (2010)Run-time conformance checking of mobile and distributed systems using executable models., , and . PADTAD, ACM, (2009)Towards Seamless Hybrid Graphical-Textual Modelling for UML and Profiles., , , and . ECMFA, volume 10376 of Lecture Notes in Computer Science, page 20-33. Springer, (2017)PapyrusRT: Modelling and Code Generation (Invited Presentation).. OSS4MDE@MoDELS, volume 1541 of CEUR Workshop Proceedings, page 54-63. CEUR-WS.org, (2015)Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018)., , , , , , , , and . MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 303-304. CEUR-WS.org, (2018)Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation., and . DS-RT, page 87-96. IEEE Computer Society, (2010)Slicing UML-based Models of Real-time Embedded Systems., , and . MoDELS, page 346-356. ACM, (2018)Contract-Based Specification and Analysis of AADL Models., and . ACVI@MoDELS, volume 1233 of CEUR Workshop Proceedings, CEUR-WS.org, (2014)Towards Automated Support for Blended Modelling of UML-RT Embedded Software Architectures., , , and . ECSA (Companion), volume 2978 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)