András Vörös

According to our database, András Vörös authored at least 35 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Towards the Formal Verification of SysML v2 Models.

Vince Molnár, Bence Graics, András Vörös, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Köthe, John Hester, Jamie Smith, Christoph Grimm

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023

Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification.

Márk Somorjai, Mihály Dobos-Kovács, Zsófia Ádám, Levente Bajczi, András Vörös

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

2022

Evaluation of SMT solvers in abstraction-based software model checking.

Mihály Dobos-Kovács, András Vörös

Proceedings of the 11th Latin-American Symposium on Dependable Computing, 2022

2021

Towards formally analyzed Cyber-Physical Systems.

Richárd Szabó, András Vörös

CoRR, 2021

Demonstrator for dependable edge-based cyber-physical systems.

Simon József Nagy, Richárd Szabó, Máté Levente Vajda, András Vörös

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

Bitvector Support in the Theta Formal Verification Framework.

Mihály Dobos-Kovács, Ákos Hajdu, András Vörös

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2020

Distributed graph queries over [e-mail] for runtime monitoring of cyber-physical systems.

Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró

Int. J. Softw. Tools Technol. Transf., 2020

Mixed-semantics composition of statecharts for the component-based design of reactive systems.

Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró

Softw. Syst. Model., 2020

Simulation-based Safety Assessment of High-level Reliability Models.

Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

2019

Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software.

Levente Bajczi, András Vörös, Vince Molnár

ACM Trans. Embed. Comput. Syst., 2019

Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles.

István Majzik, Oszkár Semeráth, Csaba Hajdu, Kristóf Marussy, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

2018

Symbolic Verification of Petri Net Based Models

András Vörös

PhD thesis, 2018

Industrial applications of the PetriDotNet modelling and analysis tool.

András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik

Sci. Comput. Program., 2018

Backward Reachability Analysis for Timed Automata with Data Variables.

Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems.

András Vörös, Márton Búr, István Ráth, Ákos Horváth, Zoltán Micskei, László Balogh, Bálint Hegyi, Benedek Horváth, Zsolt Mázló, Dániel Varró

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems.

Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems.

Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

Theta: A framework for abstraction refinement-based model checking.

Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Getting the Priorities Right: Saturation for Prioritised Petri Nets.

Kristóf Marussy, Vince Molnár, András Vörös, István Majzik

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Component-wise incremental LTL model checking.

Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik

Formal Aspects Comput., 2016

Improving Saturation-based Bounded Model Checking.

Dániel Darvas, András Vörös, Tamás Bartha

Acta Cybern., 2016

A Configurable CEGAR Framework with Interpolation-Based Refinements.

Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Iterative and Incremental Model Generation by Logic Solvers.

Oszkár Semeráth, András Vörös, Dániel Varró

Proceedings of the Fundamental Approaches to Software Engineering, 2016

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.

András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models.

Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015

Saturation-Based Incremental LTL Model Checking with Inductive Proofs.

Vince Molnár, Dániel Darvas, András Vörös, Tamás Bartha

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol.

Tamás Tóth, András Vörös, István Majzik

Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015

SEViz: A Tool for Visualizing Symbolic Execution.

David Honfi, András Vörös, Zoltán Micskei

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

New Search Strategies for the Petri Net CEGAR Approach.

Ákos Hajdu, András Vörös, Tamás Bartha

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

Extensions to the CEGAR Approach on Petri Nets.

Ákos Hajdu, András Vörös, Tamás Bartha, Zoltán Mártonka

Acta Cybern., 2014

Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics.

Tamás Tóth, András Vörös

Proceedings of the Computer Safety, Reliability, and Security, 2014

On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf.

Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth, Oszkár Semeráth, András Vörös, Dániel Varró

Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

Formal Verification of Complex Properties on PLC Programs.

Dániel Darvas, Borja Fernandez Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013

K-Induction Based Verification of Real-Time Safety Critical Systems.

Tamás Tóth, András Vörös, István Majzik

Proceedings of the New Results in Dependability and Computer Systems, 2013

2011

Parallel Saturation Based Model Checking.

András Vörös, Tamás Szabó, Attila Jámbor, Dániel Darvas, Ákos Horváth, Tamás Bartha

Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011