Follow
Vince Molnár
Title
Cited by
Cited by
Year
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
362018
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
242020
Model checking as a service: towards pragmatic hidden formal methods
B Horváth, B Graics, Á Hajdu, Z Micskei, V Molnár, I Ráth, L Andolfato, ...
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
112020
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
112018
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
102016
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
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
Formal Compositional Semantics for Yakindu Statecharts
B Graics, V Molnár
24th PhD Mini-Symposium (Minisy@ DMIS 2017), 22-24, 2017
72017
Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms
V Molnár, I Majzik
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE 61 (2 …, 2017
52017
Constraint programming with multi-valued decision diagrams: a saturation approach
V Molnár, I Majzik
24th PhD Mini-Symposium (Minisy@ DMIS 2017), 54-57, 2017
42017
Configurable numerical analysis for stochastic systems
K Marussy, A Klenik, V Molnár, A Voros, M Telek, I Majzik
Symbolic and Numerical Methods for Reachability Analysis (SNR), 2016 …, 2016
42016
Saturation Enhanced with Conditional Locality: Application to Petri Nets
V Molnár, I Majzik
International Conference on Applications and Theory of Petri Nets and …, 2019
32019
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
22019
Mix-and-match composition in the Gamma Framework
B Graics, V Molnár
25th Mini-Symposium, 24-27, 2018
22018
Composable Framework Support for Software-FMEA through Model Execution
V Bonfiglio, F Brancati, F Rossi, A Bondavalli, L Montecchi, A Pataricza, ...
Certifications of Critical Systems-The CECRIS Experience, 1st ed., River …, 2017
2*2017
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
Contract-Based Specification and Test Generation for Adaptive Systems
B Graics, V Molnár, I Majzik
International Conference on Dependability and Complex Systems, 136-145, 2021
12021
Extensions and generalization of the saturation algorithm in model checking
V Molnár
12019
Evaluation of fault tolerance mechanisms with model checking
V Molnár, I Majzik
23rd PhD Mini-Symposium, 30-33, 2016
12016
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
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
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
JACoW: PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs
E Blanco Vińuela, D Darvas, V Molnár
2019
Synchronous product automaton generation for controller optimization
V Molnár, A Vörös
The system can't perform the operation now. Try again later.
Articles 1–25