András Vörös

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 27

Top Topics

Formal Verification

Decomposition Algorithm

Top Venues

Publications

Márk Somorjai, Mihály Dobos-Kovács, Zsófia Ádám, Levente Bajczi, András Vörös
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification. CoRR (2024)
Mihály Dobos-Kovács, András Vörös
Evaluation of SMT solvers in abstraction-based software model checking. LADC (2022)
Richárd Szabó, András Vörös
Towards formally analyzed Cyber-Physical Systems. CoRR (2021)
Simon József Nagy, Richárd Szabó, Máté Levente Vajda, András Vörös
Demonstrator for dependable edge-based cyber-physical systems. LADC (2021)
Mihály Dobos-Kovács, Ákos Hajdu, András Vörös
Bitvector Support in the Theta Formal Verification Framework. LADC (2021)
Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró
Mixed-semantics composition of statecharts for the component-based design of reactive systems. Softw. Syst. Model. 19 (6) (2020)
Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös
Simulation-based Safety Assessment of High-level Reliability Models. MARS@ETAPS (2020)
Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems. Int. J. Softw. Tools Technol. Transf. 22 (1) (2020)
Levente Bajczi, András Vörös, Vince Molnár
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
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ó
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. MoDELS (2019)
Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. ICSE (Companion Volume) (2018)
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ó
MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. NFM (2018)
András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik
Industrial applications of the PetriDotNet modelling and analysis tool. Sci. Comput. Program. 157 (2018)
Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. FASE (2018)
Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös
Backward Reachability Analysis for Timed Automata with Data Variables. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik
Theta: A framework for abstraction refinement-based model checking. FMCAD (2017)
Kristóf Marussy, Vince Molnár, András Vörös, István Majzik
Getting the Priorities Right: Saturation for Prioritised Petri Nets. Petri Nets (2017)
Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models. Petri Nets (2016)
András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. Petri Nets (2016)
Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik
Component-wise incremental LTL model checking. Formal Aspects Comput. 28 (3) (2016)
Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik
A Configurable CEGAR Framework with Interpolation-Based Refinements. FORTE (2016)
Dániel Darvas, András Vörös, Tamás Bartha
Improving Saturation-based Bounded Model Checking. Acta Cybern. 22 (3) (2016)
Oszkár Semeráth, András Vörös, Dániel Varró
Iterative and Incremental Model Generation by Logic Solvers. FASE (2016)
David Honfi, András Vörös, Zoltán Micskei
SEViz: A Tool for Visualizing Symbolic Execution. ICST (2015)
Ákos Hajdu, András Vörös, Tamás Bartha
New Search Strategies for the Petri Net CEGAR Approach. Petri Nets (2015)
Vince Molnár, Dániel Darvas, András Vörös, Tamás Bartha
Saturation-Based Incremental LTL Model Checking with Inductive Proofs. TACAS (2015)
Tamás Tóth, András Vörös, István Majzik
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol. SERENE (2015)
Ákos Hajdu, András Vörös, Tamás Bartha, Zoltán Mártonka
Extensions to the CEGAR Approach on Petri Nets. Acta Cybern. 21 (3) (2014)
Tamás Tóth, András Vörös
Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics. SAFECOMP Workshops (2014)
Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth, Oszkár Semeráth, András Vörös, Dániel Varró
On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. OSS4MDE@MoDELS (2014)
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
Formal Verification of Complex Properties on PLC Programs. FORTE (2014)
Tamás Tóth, András Vörös, István Majzik
K-Induction Based Verification of Real-Time Safety Critical Systems. DepCoS-RELCOMEX (2013)
András Vörös, Tamás Szabó, Attila Jámbor, Dániel Darvas, Ákos Horváth, Tamás Bartha
Parallel Saturation Based Model Checking. ISPDC (2011)