| 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 | 68 | 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 | 49 | 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 | 42 | 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 | 39 | 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 |
| 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 | 25 | 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 | 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 | 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 | 23 | 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 | 22 | 2016 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 | 8 | 2016 |
| 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 |
| 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 |
| 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 28th PhD Minisymposium of the Department of Measurement and Information …, 2021 | 3 | 2021 |
| 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 | 2 | 2021 |
| 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 | 2 | 2020 |
| 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 |
| 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 | 2 | 2017 |
| 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 |
| Dependability modeling of Cyber-Physical Systems in the Gamma framework R Szabó, A Vörös 29th Minisymposium of the Department of Measurement and Information Systems …, 2022 | 1 | 2022 |
| 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 |
| Towards formally analyzed Cyber-Physical Systems R Szabó, A Vörös arXiv preprint arXiv:2108.12773, 2021 | 1 | 2021 |
| 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 |
| 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 | |
| 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 |
| Learning and Synthesis Supported Software Verification T Tegzes, A Vörös | | 2020 |
| 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 |
| Model checking and test generation: towards a combined approach to software verification M Dobos-Kovács, A Vörös 26th Minisymposium, 12-15, 2019 | | 2019 |
| Analyzing Scenario-based Specifications B Horváth, Z Micskei, A Vörös | | 2018 |
| Towards the Verification of Neural Networks for Critical Cyber-Physical Systems G Rabatin, A Vörös 25th Mini-Symposium, 53-56, 2018 | | 2018 |
| 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 |
| Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata R Farkas, A Vörös 23rd PhD Mini-Symposium, 10-13, 2016 | | 2016 |
| 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 |
| Modeling of Híbrid Control Systems A Vörös, T Bartha 17th PhD Mini-Symposium, 70-71, 2010 | | 2010 |
| 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 | | |
| Towards Interactive Learning for Model-based Software Engineering A Barcsa-Szabó, B Várady, R Farkas, V Molnár, A Vörös | | |
| Practice-oriented formal methods for PLC programs of industrial control systems JC Tournier, T Bartha, A Vörös, I Majzik, R Speroni | | |
| PetriDotNet 1.5: Configurable Stochastic Analysis Framework A Klenik, K Marussy, A Vörös, M Telek, I Majzik | | |
| 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, ... | | |
| 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 | | |
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsE-mail megerősítve itt: mit.bme.hu
