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
302014
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
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
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
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
92018
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
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
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
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
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
62016
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
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
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
2019
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
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