( en | de | ru )

 

Disambiguierung von "Vörös, András"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems.

, , , und . Int. J. Softw. Tools Technol. Transf., 22 (1): 79-102 (2020)

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.

Kirsten Vörös

Tünde Vörös

Robert Vörös

Daniel Vörösmarthy

András Fehér

 

Weitere Publikationen von Autoren mit dem selben Namen

Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems., , , und . Int. J. Softw. Tools Technol. Transf., 22 (1): 79-102 (2020)Symbolic Verification of Petri Net Based Models. Budapest University of Technology and Economics, Hungary, (2018)Iterative and Incremental Model Generation by Logic Solvers., , und . FASE, Volume 9633 von Lecture Notes in Computer Science, Seite 87-103. Springer, (2016)Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems., , , und . FASE, Volume 10802 von Lecture Notes in Computer Science, Seite 111-128. Springer, (2018)PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research., , , , , , , und . Petri Nets, Volume 9698 von Lecture Notes in Computer Science, Seite 123-132. Springer, (2016)K-Induction Based Verification of Real-Time Safety Critical Systems., , und . DepCoS-RELCOMEX, Volume 224 von Advances in Intelligent Systems and Computing, Seite 469-478. Springer, (2013)Saturation-Based Incremental LTL Model Checking with Inductive Proofs., , , und . TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 643-657. Springer, (2015)Formal Verification of Complex Properties on PLC Programs., , , , , und . FORTE, Volume 8461 von Lecture Notes in Computer Science, Seite 284-299. Springer, (2014)SEViz: A Tool for Visualizing Symbolic Execution., , und . ICST, Seite 1-8. IEEE Computer Society, (2015)Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles., , , , , , , , und . MoDELS, Seite 89-94. IEEE, (2019)