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

Building faithful high-level models and performance evaluation of manycore embedded systems., , , , and . MEMOCODE, page 209-218. IEEE, (2014)Mixed Critical Earliest Deadline First., , , and . ECRTS, page 93-102. IEEE Computer Society, (2013)Tool Demonstration of the FLATA Counter Automata Toolset., , , and . WING@ETAPS/IJCAR, volume 1 of EPiC Series in Computing, page 75. EasyChair, (2010)Local Planning Semantics: A Semantics for Distributed Real-Time Systems., , , and . LITES, 6 (1): 01:1-01:27 (2019)S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems., , , , , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 536-542. Springer, (2018)PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status., , , , , , , , , and 10 other author(s). FMCO, volume 7542 of Lecture Notes in Computer Science, page 277-293. Springer, (2011)State Space Reduction Based on Live Variables Analysis., , and . SAS, volume 1694 of Lecture Notes in Computer Science, page 164-178. Springer, (1999)A Robust Framework for Securing Composed Web Services., , , and . FACS, volume 9539 of Lecture Notes in Computer Science, page 105-122. Springer, (2015)Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities., , , and . FMOODS/FORTE, volume 7273 of Lecture Notes in Computer Science, page 118-134. Springer, (2012)IF: An intermediate representation for SDL and its applications., , , , , , and . SDL Forum, page 423-440. Elsevier, (1999)