עקוב אחר
András Vörös
András Vörös
Critical Systems Research Group, Budapest University of Technology and Economics
כתובת אימייל מאומתת בדומיין mit.bme.hu - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
802017
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‏
532014
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‏
482019
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‏
432016
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‏
402018
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 (6), 1483-1517, 2020‏
312020
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‏
272018
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‏
252016
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‏
252013
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 (1), 79-102, 2020‏
232020
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‏
212014
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‏
172018
Extensions to the CEGAR approach on Petri nets‏
Á Hajdu‏
Acta Cybernetica 21 (3), 401-417, 2014‏
132014
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‏
132012
Seviz: A tool for visualizing symbolic execution‏
D Honfi, A Voros, Z Micskei‏
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015‏
122015
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‏
122015
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‏
112018
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‏
102016
Saturation-based incremental LTL model checking with inductive proofs‏
V Molnár, D Darvas, A Vörös, T Bartha‏
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015‏
102015
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20