Andras Voros
CímIdézteÉ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
252014
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
222013
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
182016
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
10*2011
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
92016
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
82015
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
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
82014
Extensions to the CEGAR approach on Petri nets
Á Hajdu
Acta Cybernetica 21 (3), 401-417, 2014
82014
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
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
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
52018
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
52017
Improving saturation-based bounded model checking
D Darvas, A Vörös, T Bartha
ACTA CYBERNETICA-SZEGED 22 (3), 573-589, 2016
52016
SEViz: A tool for visualizing symbolic execution
D Honfi, A Voros, Z Micskei
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
52015
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
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
42016
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
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
32014
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20