András Vörös
Cím
Hivatkozott rá
Hivatkozott rá
Év
Formal verification of complex properties on PLC programs
D Darvas, BF Adiego, A Vörös, T Bartha, EB Vinuela, VMG Suárez
International Conference on Formal Techniques for Distributed Objects …, 2014
282014
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
242016
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
232013
Theta: a framework for abstraction refinement-based model checking
T Tóth, A Hajdu, A Vörös, Z Micskei, I Majzik
2017 Formal Methods in Computer Aided Design (FMCAD), 176-179, 2017
152017
A configurable CEGAR framework with interpolation-based refinements
Á Hajdu, T Tóth, A Vörös, I Majzik
International Conference on Formal Techniques for Distributed Objects …, 2016
152016
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
122012
On open source tools for behavioral modeling and analysis with fuml and alf.
Z Micskei, RA Konnerth, B Horváth, O Semeráth, A Vörös, D Varró
OSS4MDE@ MoDELS, 31-41, 2014
112014
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
New search strategies for the Petri net CEGAR approach
Á Hajdu, A Vörös, T Bartha
International Conference on Applications and Theory of Petri Nets and …, 2015
102015
Extensions to the CEGAR approach on Petri nets
Á Hajdu
Acta Cybernetica 21 (3), 401-417, 2014
92014
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 Symposium, 460-467, 2018
82018
Distributed graph queries for runtime monitoring of cyber-physical systems
M Búr, G Szilágyi, A Vörös, D Varró
International Conference on Fundamental Approaches to Software Engineering …, 2018
82018
Component-wise incremental LTL model checking
V Molnár, A Vörös, D Darvas, T Bartha, I Majzik
Formal Aspects of Computing 28 (3), 345-379, 2016
82016
Saturation-based incremental LTL model checking with inductive proofs
V Molnár, D Darvas, A Vörös, T Bartha
International Conference on Tools and Algorithms for the Construction and …, 2015
82015
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, ...
International Conference on Application and Theory of Petri Nets and …, 2016
72016
SEViz: A tool for visualizing symbolic execution
D Honfi, A Voros, Z Micskei
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
72015
The gamma statechart composition framework
V Molnár, B Graics, A Vörös, I Majzik, D Varró
Internation Conference on Software Engineering. ICSE, 2018
62018
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
International Conference on Application and Theory of Petri Nets and …, 2016
62016
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
62016
Improving saturation-based bounded model checking
D Darvas, A Vörös, T Bartha
ACTA CYBERNETICA-SZEGED 22 (3), 573-589, 2016
62016
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
52014
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
52012
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
42016
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
32016
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
32014
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
22020
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, 469-478, 2013
22013
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
12019
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
12019
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
12019
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
12018
Getting the priorities right: saturation for prioritised Petri nets
K Marussy, V Molnár, A Vörös, I Majzik
International Conference on Application and Theory of Petri Nets and …, 2017
12017
Development of a Verification Compiler for C Programs
G Sallai, T Tóth, Á Hajdu, A Vörös
12016
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol
T Tóth, A Vörös, I Majzik
International Workshop on Software Engineering for Resilient Systems, 31-45, 2015
12015
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
12015
Petri Net Based Trajectory Optimization
Á Hajdu, R Német, S Varró–Gyapay, A Vörös
FUTURE INTERNET SERVICES, 11, 2014
12014
Isolation and Pex: Case Study of Cooperation
D Honfi, Z Micskei, A Vörös
12013
Efficient Saturation-based Bounded Model Checking of Asynchronous Systems
D Darvas, A Vörös, T Bartha
University of Szeged, 2013
12013
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
12009
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
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
2020
Simulation-based Safety Assessment of High-level Reliability Models
S József Nagy, B Graics, K Marussy, A Vörös
arXiv, arXiv: 2004.13290, 2020
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
2020
Dependability Modeling
K Marussy, A Klenik, A Vörös
2019
Will My Program Break on This Faulty Processor?
L BAJCZI, A VÖRÖS, V MOLNÁR
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ó
2018 IEEE/ACM 40th International Conference on Software Engineering …, 2018
2018
Analyzing Scenario-based Specifications
B Horváth, Z Micskei, A Vörös
2018
Symbolic verification of petri net based models
A Vörös
Informatikai Tudományok Doktori Iskola, 2018
2018
Front & Back Matter
K Fujii, H Ohmori, S Kishi, H Kuniyasu, R Fujiwara-Tani, I Kawahara, ...
Pathobiology 84 (5), 2017
2017
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 Model-Based Support for Regression Testing
A Gujgiczer, M Elekes, O Semeráth, 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
Advanced Saturation-based Model Checking
V Molnár, T Bartha, A Vörös
2014
Incremental extension of the saturation algorithm-based bounded model checking of Petri nets
D Darvas, T Bartha, A Vörös
2014
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
Arteria pulmonalis mikroembolizációt, pulmonalis hipertóniát okozó primer tüdorák
A Vörös, L Kaiser, A Somfay, A Pálinkás
Orvosi Hetilap 148 (27), 1281-1285, 2007
2007
Combining testing and formal verification in automotive software development
M Dobos-Kovács, A Vörös, A Balogh
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
Verification of Timed Automata by CEGAR-Based Algorithms
R Farkas, A Vörös, T Tóth, Á Hajdu
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–75