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 | 84 | 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 | 52 | 2014 |
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 | 48 | 2019 |
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 | 44 | 2016 |
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 | 39 | 2018 |
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 | 32 | 2020 |
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 | 28 | 2018 |
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 | 26 | 2016 |
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 | 25 | 2013 |
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 | 24 | 2020 |
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 | 21 | 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 | 18 | 2018 |
Extensions to the CEGAR approach on Petri nets Á Hajdu Acta Cybernetica 21 (3), 401-417, 2014 | 13 | 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 | 13 | 2012 |
Seviz: A tool for visualizing symbolic execution D Honfi, A Voros, Z Micskei 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 12 | 2015 |
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 |
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 |
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 |
Component-wise incremental LTL model checking V Molnár, A Vörös, D Darvas, T Bartha, I Majzik Formal Aspects of Computing 28, 345-379, 2016 | 9 | 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 |
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 | 9 | 2015 |
The relationship of multifocality and tumor burden with various tumor characteristics and survival in early breast cancer G Kelemen, V Farkas, J Debrah, K Ormándi, A Vörös, L Kaizer, Z Varga, ... Neoplasma 59 (5), 566-573, 2012 | 8 | 2012 |
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification M Somorjai, M Dobos-Kovács, Z Ádám, L Bajczi, A Vörös arXiv preprint arXiv:2404.15215, 2024 | 6 | 2024 |
Distributed and heterogeneous event-based monitoring in smart cyber-physical systems B László, D István, R István, V Dániel, A Vörös 1st Workshop on Monitoring and Testing of Cyber-Physical Systems, Vienna …, 2016 | 6 | 2016 |
Improving saturation-based bounded model checking D Darvas, A Vörös, T Bartha ACTA CYBERNETICA-SZEGED 22 (3), 573-589, 2016 | 6 | 2016 |
Advanced saturation-based model checking of well-formed coloured Petri nets A Vörös, D Darvas, A Jámbor, T Bartha Periodica Polytechnica Electrical Engineering and Computer Science 58 (1), 3-13, 2014 | 5 | 2014 |
K-induction based verification of real-time safety critical systems T Tóth, A Vörös, I Majzik New Results in Dependability and Computer Systems: Proceedings of the 8th …, 2013 | 5 | 2013 |
Demonstrator for dependable edge-based cyber-physical systems SJ Nagy, R Szabó, ML Vajda, A Vörös 2021 10th Latin-American Symposium on Dependable Computing (LADC), 1-8, 2021 | 4 | 2021 |
Model-driven design and verification of component-based reactive systems B Graics, V Molnár, A Vörös Students’s Association Report, Budapest University of Technology and Economics, 2016 | 4 | 2016 |
Configurable Numerical Analysis for Stochastic Systems K Marussy, A Klenik, V Molnár, A Vörös, M Telek, I Majzik 2016 International Workshop on Symbolic and Numerical Methods for …, 2016 | 4 | 2016 |
Verification of a real-time safety-critical protocol using a modelling language with formal data and behaviour semantics T Tóth, A Vörös International Conference on Computer Safety, Reliability, and Security, 207-218, 2014 | 4 | 2014 |
Model-Driven Development of Heterogeneous Cyber-Physical Systems JC Csuvarszki, B Graics, A Vörös Proceedings of the 28th PhD Minisymposium of the Department of Measurement …, 2021 | 3 | 2021 |
Getting the priorities right: saturation for prioritised Petri Nets K Marussy, V Molnár, A Vörös, I Majzik Application and Theory of Petri Nets and Concurrency: 38th International …, 2017 | 3 | 2017 |
Abstraction-based model checking of linear temporal properties M Mondok, A Vörös Budapest University of Technology and Economics, Department of Measurement …, 2020 | 2 | 2020 |
Backward reachability analysis for timed automata with data variables R Farkas, T Tóth, Á Hajdu, A Vörös Electronic Communications of the EASST 76, 2019 | 2 | 2019 |
Development of a Verification Compiler for C Programs G Sallai, T Tóth, Á Hajdu, A Vörös Bachelor’s Thesis. Budapest University of Technology and Economics, 2016 | 2 | 2016 |
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol T Tóth, A Vörös, I Majzik Software Engineering for Resilient Systems: 7th International Workshop …, 2015 | 2 | 2015 |
Generalizing lazy abstraction refinement algorithms with partial orders D Cziborová, K Marussy, A Vörös Bachelor’s thesis, Budapest University of Technology and Economics, 2021 | 1 | 2021 |
Bitvector support in the Theta formal verification framework M Dobos-Kovács, Á Hajdu, A Vörös 2021 10th Latin-American Symposium on Dependable Computing (LADC), 01-08, 2021 | 1 | 2021 |
Learning and Synthesis Supported Software Verification T Tegzes, A Vörös | 1 | 2020 |
Simulation-based Safety Assessment of High-level Reliability Models SJ Nagy, B Graics, K Marussy, A Vörös arXiv preprint arXiv:2004.13290, 2020 | 1 | 2020 |
Will My Program Break on This Faulty Processor? Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software L Bajczi, A Vörös, V Molnár ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-21, 2019 | 1 | 2019 |
Combining testing and formal verification in automotive software development M Dobos-Kovács, A Vörös, A Balogh Bachelor’s thesis. Budapest University of Technology and Economics, 2019 | 1 | 2019 |
Symbolic Verification of Petri Net Based Models A Vörös PQDT-Global, 2018 | 1 | 2018 |
Analyzing Scenario-based Specifications B Horváth, Z Micskei, A Vörös Tech. rep. https://tinyurl. com/3zrft8yw. Budapest Univ. of Technology …, 2017 | 1 | 2017 |
Towards Model-Based Support for Regression Testing A Gujgiczer, M Elekes, O Semeráth, A Vörös BME MIT, 2017 | 1 | 2017 |
Verification of Timed Automata by CEGAR-Based Algorithms R Farkas, A Vörös, T Tóth, Á Hajdu Master’s thesis. Budapest University of Technology and Economics, 2016 | 1 | 2016 |
Configurable Stochastic Analysis Framework for Asynchronous Systems A Klenik, K Marussy, M Telek, V Molnár, A Vörös Budapest University of Technology and Economics, 2015 | 1 | 2015 |
Advanced saturation-based model checking V Molnár, T Bartha, A Vörös Master’s thesis, Budapest University of Technology and Economics, 2014 | 1 | 2014 |
Incremental extension of the saturation algorithm-based bounded model checking of Petri nets D Darvas, T Bartha, A Vörös Master’s Thesis. Budapest University of Technology and Economics, 2014 | 1 | 2014 |
Petri Net Based Trajectory Optimization Á Hajdu, R Német, S Varró–Gyapay, A Vörös FUTURE INTERNET SERVICES, 11, 2014 | 1 | 2014 |
Isolation and Pex: case study of cooperation D Honfi, Z Micskei, A Vörös | 1 | 2013 |
Efficient Saturation-based Bounded Model Checking of Asynchronous Systems D Darvas, A Vörös, T Bartha University of Szeged, 2013 | 1 | 2013 |
Multiple valued decision diagrams in the diagnosis of IT systems A Vörös, A Pataricza Technical report, BUTE DMIS–IBM FA research project, 2009 | 1 | 2009 |
Distributed models@ run. time for runtime verification of cyber-physical systems M Búr, G Szilágyi, A Voros, D Varro preprint.[Online]. Available: https://imbur. github. io/cps-query/sttt18 …, 0 | 1 | |
Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models V Molnár, K Marussy, A Klenik, A Vörös, I Majzik, M Telek Application and Theory of Petri Nets and Concurrency 9698, 0 | 1 | |
Towards the Formal Verification of SysML v2 Models V Molnár, B Graics, A Vörös, S Tonetta, L Cristoforetti, G Kimberly, P Dyer, ... Proceedings of the ACM/IEEE 27th International Conference on Model Driven …, 2024 | | 2024 |
Evaluation of SMT solvers in abstraction-based software model checking M Dobos-Kovács, A Vörös Proceedings of the 11th Latin-American Symposium on Dependable Computing …, 2022 | | 2022 |
Towards formally analyzed Cyber-Physical Systems R Szabó, A Vörös arXiv preprint arXiv:2108.12773, 2021 | | 2021 |
Simulation-based Safety Assessment of High-level Reliability Models S József Nagy, B Graics, K Marussy, A Vörös arXiv e-prints, arXiv: 2004.13290, 2020 | | 2020 |
Dependability Modeling K Marussy, A Klenik, A Vörös | | 2019 |
Towards Modeling Cyber-Physical Systems From Multiple Approaches M Búr, A Vörös, G Bergmann, D Varró BME MIT, 2017 | | 2017 |
Distributed Runtime Verification of Cyber-Physical Systems Based on Graph Pattern Matching G Szilágyi, A Vörös BME MIT, 2017 | | 2017 |
A Survey on CEGAR-based Model Checking Á HAJDU, T TÓTH, A VÖRÖS | | 2015 |
Guided Model Checking of Petri Nets D Élő, V Molnár, A Vörös | | 2015 |
Symbolic Model Checking of Data-Intensive Systems A Soltész, V Molnár, A Vörös | | 2015 |
FORWARD SATURATION BASED MODEL CHECKING VOR András 19TH PHD MINI-SYMPOSIUM, 38, 2012 | | 2012 |
Modellellenőrzés alkalmazása egy biztonságkritikus rendszer védelmi logikájának verifikációjára A Vörös XVII. Fiatal Műszakiak Tudományos Ülésszaka (FMTÜ 2012) 17, 383-386, 2012 | | 2012 |
OPTIMIZING SATURATION BASED MODEL CHECKING A VÖRÖS Proceedings of the 18th PhD Minisymposium of the Department of Measurement …, 2011 | | 2011 |
Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets A Vörös | | |
of the estonian academy of sciences A Vörös, D Darvas, T Bartha | | |
Practice-oriented formal methods for PLC programs of industrial control systems JC Tournier, T Bartha, A Vörös, I Majzik, R Speroni | | |
Model checking and test generation: towards a combined approach to software verification M Dobos-Kovács, A Vörös | | |
PetriDotNet 1.5: Configurable Stochastic Analysis Framework A Klenik, K Marussy, A Vörös, M Telek, I Majzik | | |
Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata R Farkas, A Vörös | | |
Primary Links A Vörös | | |
Selected papers of the 12th Symposium on Programming Languages and Software Tools, SPLST’11 J Penjam, Y Lamo, X Wang, F Mantz, Ø Bech, A Sandven, A Rutle, ... | | |
Towards the Verification of Neural Networks for Critical Cyber-Physical Systems G Rabatin, A Vörös | | |
E cient Stochastic Analysis of Asynchronous Systems A Klenik, A Vörös, M Telek | | |
On Supporting Automatic Test Generation D Honfi, Z Micskei, A Vörös | | |
PetriDotNet 1.5 A Vörös, D Darvas, A Hajdu, A Jámbor, A Klenik, K Marussy, V Molnár, ... | | |
Formal verification of industrial control systems at CERN JO Blech, JC Tournier, T Bartha, A Vörös, I Majzik | | |
Symbolic model checking and trace generation by guided search D Élő, A Soltész, V Molnár, A Vörös | | |
Synchronous product automaton generation for controller optimization V Molnár, A Vörös | | |