Követés
András Vörös
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
402017
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
382016
Formal verification of complex properties on PLC programs
D Darvas, B Fernández Adiego, A Vörös, T Bartha, E Blanco Viñuela, ...
International Conference on Formal Techniques for Distributed Objects …, 2014
382014
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
242013
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
232018
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
222019
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
192016
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
182018
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
172020
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
152014
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
142018
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
122015
Extensions to the CEGAR approach on Petri nets
Á Hajdu
Acta Cybernetica 21 (3), 401-417, 2014
122014
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
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
12*2011
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
102018
SEViz: A tool for visualizing symbolic execution
D Honfi, A Voros, Z Micskei
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
102015
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
92020
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 Applications and Theory of Petri Nets and …, 2016
92016
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 Applications and Theory of Petri Nets and …, 2016
92016
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
92015
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
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
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
62012
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
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
42016
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
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
42014
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
42013
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
22020
Abstraction-based model checking of linear temporal properties
M Mondok, A Vörös
27th PhD Minisymposium of the Department of Measurement and Information …, 2020
22020
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
22019
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
22017
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
22016
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
22015
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
12021
Towards formally analyzed Cyber-Physical Systems
R Szabó, A Vörös
arXiv preprint arXiv:2108.12773, 2021
12021
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
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
12019
Symbolic verification of petri net based models
A Vörös
12018
Towards Model-Based Support for Regression Testing
A Gujgiczer, M Elekes, O Semeráth, A Vörös
24th PhD Mini-Symposium (Minisy@ DMIS 2017), 26-29, 2017
12017
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
12016
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
Advanced saturation-based model checking
V Molnár, T Bartha, A Vörös
Master’s thesis, Budapest University of Technology and Economics, 2014
12014
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
12014
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
Distributed models@ run. time for runtime verification of cyber-physical systems
M Búr, G Szilágyi, A Vörös, D Varró
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
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
2022
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
2021
Towards Interactive Learning for Model-based Software Engineering
Á Barcsa-Szabó, B Várady, R Farkas, V Molnár, A Vörös
28th PhD Minisymposium of the Department of Measurement and Information …, 2021
2021
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
2021
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ó
24th PhD Mini-Symposium (Minisy@ DMIS 2017), 6-9, 2017
2017
Distributed Runtime Verification of Cyber-Physical Systems Based on Graph Pattern Matching
G Szilágyi, A Vörös
24th PhD Mini-Symposium (Minisy@ DMIS 2017), 78-81, 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
Cluster Analysis of Multiplex Networks
A Vörös, TAB Snijders
2015
Forward Saturation Based Model Checking
A Vörös, T Bartha
19th PhD Mini-Symposium, 38-41, 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
Arteria pulmonalis mikroembolizációt, pulmonalis hipertóniát okozó primer tüdőrák= Primary adenocarcinoma of the lung causing pulmonary tumor thrombotic microangiopathy
A Vörös, L Kaiser, A Somfay, A Pálinkás
Orvosi Hetilap 148 (27), 1281-1285, 2007
2007
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
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–85