( en | de | ru )

 

Disambiguation of "Vörös, András"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of Complex Properties on PLC Programs.

, , , , , and . FORTE, volume 8461 of Lecture Notes in Computer Science, page 284-299. Springer, (2014)

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.

Kirsten Vörös

Tünde Vörös

Robert Vörös

Daniel Vörösmarthy

András Fehér

 

Other publications of authors with the same name

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