Vince Molnár
Title
Cited by
Cited by
Year
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
15*2018
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
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
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
82016
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
72018
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
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
BME MIT, 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
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
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
22019
Mix-and-Match Composition in the Gamma Framework
B Graics, V Molnár
25th Minisymposium, Department of Measurement and Information Systems …, 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, 183, 2017
22017
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
Formal Compositional Semantics for Yakindu Statecharts
B Graics, V Molnár
BME MIT, 2017
22017
Extensions and generalization of the saturation algorithm in model checking
V Molnár
Informatikai Tudományok Doktori Iskola, 2019
12019
Evaluation of fault tolerance mechanisms with model checking
V Molnár, I Majzik
Proceedings of the 23rd PhD Mini-Symposium. Budapest University of …, 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
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
The system can't perform the operation now. Try again later.
Articles 1–20