Author of the publication

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

Modular Schedulability Analysis of Concurrent Objects in Creol., , and . FSEN, volume 5961 of Lecture Notes in Computer Science, page 212-227. Springer, (2009)Scientific Workflow Management - For Whom?, , , , , , , , , and 1 other author(s). eScience, page 298-305. IEEE Computer Society, (2014)Decidability Problems for Actor Systems., , , and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 562-577. Springer, (2012)A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models., , , , and . ACSD, page 145-150. IEEE Computer Society, (2004)Networks of Real-Time Actors., , and . FACS, volume 7253 of Lecture Notes in Computer Science, page 168-186. Springer, (2011)Coordinating Object Oriented Components Using Data-Flow Networks.. FMCO, volume 5382 of Lecture Notes in Computer Science, page 280-311. Springer, (2007)The Future of a Missed Deadline., , and . COORDINATION, volume 7890 of Lecture Notes in Computer Science, page 181-195. Springer, (2013)Programming and deployment of active objects with application-level scheduling., , , and . SAC, page 1883-1888. ACM, (2012)Modere: the model-checking engine of Rebeca., , and . SAC, page 1810-1815. ACM, (2006)Compositional Semantics of an Actor-Based Language Using Constraint Automata., , , and . COORDINATION, volume 4038 of Lecture Notes in Computer Science, page 281-297. Springer, (2006)