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

Programs with lists are counter automata., , , , , and . Formal Methods in System Design, 38 (2): 158-192 (2011)Building faithful high-level models and performance evaluation of manycore embedded systems., , , , and . MEMOCODE, page 209-218. IEEE, (2014)Models for deterministic execution of real-time multiprocessor applications., , , , and . DATE, page 1665-1670. ACM, (2015)State space reduction based on live variables analysis., , and . Sci. Comput. Program., 47 (2-3): 203-220 (2003)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)Protocol Verification with the ALDÉBARAN Toolset., , , and . STTT, 1 (1-2): 166-184 (1997)Statistical abstraction and model-checking of large heterogeneous systems., , , , and . STTT, 14 (1): 53-72 (2012)A Robust Framework for Securing Composed Web Services., , , and . FACS, volume 9539 of Lecture Notes in Computer Science, page 105-122. Springer, (2015)Prototyping of Distributed Embedded Systems Using AADL., and . ACES-MB@MoDELS, volume 507 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)