András Vörös

Cited by

	All	Since 2018
Citations	545	397
h-index	12	11
i10-index	19	12

2012201320142015201620172018201920202021202220237 9 21 24 48 33 62 51 72 72 72 68

Public access

View all

18 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Tamás BarthaSZTAKI, BME KJITVerified email at sztaki.hu
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillVerified email at liu.se
Vince MolnárBudapest University of Technology and EconomicsVerified email at vik.bme.hu
Ákos HajduMeta / WhatsAppVerified email at meta.com
Darvas DánielVerified email at cern.ch
Zoltán MicskeiBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Kristóf MarussyBudapest University of Technology and Economics, Department of Measurement and Information SystemsVerified email at mit.bme.hu
Bence GraicsResearch assistant, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Tamás TóthBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Márton BúrMcGill UniversityVerified email at mail.mcgill.ca
Oszkár SemeráthBudapest University of Technology and Economics, Department of Measurement and Information SystemsVerified email at mit.bme.hu
Miklos TelekBudapest University of Technology and EconomicsVerified email at hit.bme.hu
Dávid HonfiBudapest University of Technology and EconomicsVerified email at mit.bme.hu
István RáthResearch associate, Budapest University of Technology and Economics; CEO, IncQuery Labs LtdVerified email at mit.bme.hu
Rebeka FarkasBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Istvan DavidAssistant Professor at McMaster University, CanadaVerified email at istvandavid.com
András PatariczaBudapest University of Technology and EconomicsVerified email at vik.bme.hu
Gábor BergmannBudapesti Műszaki és Gazdaságtudományi EgyetemVerified email at mit.bme.hu
Jan Olaf BlechAalto UniversityVerified email at aalto.fi

András Vörös

Critical Systems Research Group, Budapest University of Technology and Economics

Verified email at mit.bme.hu - Homepage

formal verification testing model checking model driven engineering cyber-physical systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Theta: a framework for abstraction refinement-based model checking T Tóth, Á Hajdu, A Vörös, Z Micskei, I Majzik 2017 Formal Methods in Computer Aided Design (FMCAD), 176-179, 2017	61	2017
Formal verification of complex properties on PLC programs D Darvas, B Fernández Adiego, A Vörös, T Bartha, E Blanco Viñuela, ... Formal Techniques for Distributed Objects, Components, and Systems: 34th …, 2014	47	2014
Iterative and incremental model generation by logic solvers O Semeráth, A Vörös, D Varró International Conference on Fundamental Approaches to Software Engineering …, 2016	40	2016
Towards system-level testing with coverage guarantees for autonomous vehicles I Majzik, O Semeráth, C Hajdu, K Marussy, Z Szatmári, Z Micskei, A Vörös, ... 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019	35	2019
The Gamma statechart composition framework: design, verification and code generation for component-based reactive systems V Molnár, B Graics, A Vörös, I Majzik, D Varró Proceedings of the 40th International Conference on Software Engineering …, 2018	35	2018
Distributed graph queries for runtime monitoring of cyber-physical systems M Búr, G Szilágyi, A Vörös, D Varró Fundamental Approaches to Software Engineering: 21st International …, 2018	25	2018
Bounded saturation-based CTL model checking A Vörös, D Darvas, T Bartha Proceedings of the Estonian Academy of Sciences 62 (1), 59-70, 2013	24	2013
Mixed-semantics composition of statecharts for the component-based design of reactive systems B Graics, V Molnár, A Vörös, I Majzik, D Varró Software and Systems Modeling 19, 1483-1517, 2020	22	2020
Distributed graph queries over models@ run. time for runtime monitoring of cyber-physical systems M Búr, G Szilágyi, A Vörös, D Varró International Journal on Software Tools for Technology Transfer 22, 79-102, 2020	21	2020
A configurable CEGAR framework with interpolation-based refinements Á Hajdu, T Tóth, A Vörös, I Majzik Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016	19	2016
On open source tools for behavioral modeling and analysis with fuml and alf. Z Micskei, RA Konnerth, B Horváth, O Semerath, A Vörös, D Varró OSS4MDE@ MoDELS 1290, 31-41, 2014	18	2014
Modes3: model-based demonstrator for smart and safe cyber-physical systems A Vörös, M Búr, I Ráth, Á Horváth, Z Micskei, L Balogh, B Hegyi, B Horváth, ... NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018	16	2018
New search strategies for the Petri net CEGAR approach Á Hajdu, A Vörös, T Bartha Application and Theory of Petri Nets and Concurrency: 36th International …, 2015	12	2015
Extensions to the CEGAR approach on Petri nets Á Hajdu Acta Cybernetica 21 (3), 401-417, 2014	12	2014
Verification of an industrial safety function using coloured Petri nets and model checking T Bartha, A Vörös, A Jámbor, D Darvas MTA SZTAKI, 2012	12	2012
Industrial applications of the PetriDotNet modelling and analysis tool A Vörös, D Darvas, Á Hajdu, A Klenik, K Marussy, V Molnár, T Bartha, ... Science of Computer Programming 157, 17-40, 2018	11	2018
Seviz: A tool for visualizing symbolic execution D Honfi, A Voros, Z Micskei 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015	11	2015
Parallel saturation based model checking A Vörös, T Szabó, A Jámbor, D Darvas, Á Horváth, T Bartha 10th International Symposium on Parallel and Distributed Computing (ISPDC …, 2011	11*	2011
Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models K Marussy, A Klenik, V Molnár, A Vörös, I Majzik, M Telek Application and Theory of Petri Nets and Concurrency: 37th International …, 2016	10	2016
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research A Vörös, D Darvas, V Molnár, A Klenik, Á Hajdu, A Jámbor, T Bartha, ... Application and Theory of Petri Nets and Concurrency: 37th International …, 2016	9	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors