( en | de | ru )

 

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

Author of the publication

copydeleteadd this publication to your clipboard
Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics.

, and . SAFECOMP Workshops, volume 8696 of Lecture Notes in Computer Science, page 207-218. 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 Frankó

 

Other publications of authors with the same name

Cluster analysis of multiplex networks: Defining composite network measures., and . Soc. Networks, (2017)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)Symbolic Verification of Petri Net Based Models. Budapest University of Technology and Economics, Hungary, (2018)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)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)Backward Reachability Analysis for Timed Automata with Data Variables., , , and . ECEASST, (2018)SEViz: A Tool for Visualizing Symbolic Execution., , and . ICST, page 1-8. IEEE Computer Society, (2015)Component-wise incremental LTL model checking., , , , and . Formal Aspects Comput., 28 (3): 345-379 (2016)