Author of the publication

Local Verification using a Distributed State Space

, and . Fundamenta Informaticae, 125 (1): 1-20 (2013)

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

Synthesis of controllers for symmetric systems, and . International Journal of Control, (2010)Optimal Supervisory Control of Opacity for Modular Systems., , , and . ISPA/BDCloud/SocialCom/SustainCom, page 854-861. IEEE, (2022)A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems., , , and . SCSS, volume 45 of EPiC Series in Computing, page 107-119. EasyChair, (2017)At Design-Time Approach for Supervisory Control of Opacity., , , and . CoopIS, volume 13591 of Lecture Notes in Computer Science, page 37-54. Springer, (2022)Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control., , , and . CoDIT, page 1397-1402. IEEE, (2022)Local Verification using a Distributed State Space, and . Fundamenta Informaticae, 125 (1): 1-20 (2013)Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph., , , and . ACSD, page 23-32. IEEE, (2019)Supervisory Control and High-level Petri nets, and . chapter 14, page 281-306. INTECH, (February 2010)Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation., , , and . VECoS, volume 13187 of Lecture Notes in Computer Science, page 27-42. Springer, (2021)Parallel Symbolic Observation Graph., , , and . ISPA/IUCC, page 770-777. IEEE, (2017)