Author of the publication

Tool Demonstration of the FLATA Counter Automata Toolset.

, , , and . WING@ETAPS/IJCAR, volume 1 of EPiC Series in Computing, page 75. EasyChair, (2010)

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

State space reduction based on live variables analysis., , and . Sci. Comput. Program., 47 (2-3): 203-220 (2003)Programs with lists are counter automata., , , , , and . Formal Methods in System Design, 38 (2): 158-192 (2011)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)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)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)An End-to-End Security Model for Adaptive Service-Oriented Applications., and . ICSOC Workshops, volume 10797 of Lecture Notes in Computer Science, page 43-54. Springer, (2017)