András Vörös

42 papers A 3B 8C 3Journal 10Unranked 17

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