Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A distributed verification approach for modular Petri nets., und . SCSC, Seite 681-690. Simulation Councils, Inc., (2007)Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context., , , und . ISPA/IUCC/BDCloud/SocialCom/SustainCom, Seite 147-154. IEEE, (2018)Synthesis of controllers for symmetric systems., und . Int. J. Control, 83 (11): 2354-2367 (2010)Optimal Supervisory Control of Opacity for Modular Systems., , , und . ISPA/BDCloud/SocialCom/SustainCom, Seite 854-861. IEEE, (2022)A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems., , , und . SCSS, Volume 45 von EPiC Series in Computing, Seite 107-119. EasyChair, (2017)Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control., , , und . CoDIT, Seite 1397-1402. IEEE, (2022)At Design-Time Approach for Supervisory Control of Opacity., , , und . CoopIS, Volume 13591 von Lecture Notes in Computer Science, Seite 37-54. Springer, (2022)Local Verification Using a Distributed State Space., und . Fundam. Informaticae, 125 (1): 1-20 (2013)Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph., , , und . ACSD, Seite 23-32. IEEE, (2019)Decentralised Active Controller., und . ICINCO (2), Seite 252-259. INSTICC Press, (2010)