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)Models for deterministic execution of real-time multiprocessor applications., , , , and . DATE, page 1665-1670. ACM, (2015)Building faithful high-level models and performance evaluation of manycore embedded systems., , , , and . MEMOCODE, page 209-218. IEEE, (2014)State space reduction based on live variables analysis., , and . Sci. Comput. Program., 47 (2-3): 203-220 (2003)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)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)Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures., , and . CoRR, (2019)