Vince Molnár
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
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
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
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
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
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
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
22017
Formal Compositional Semantics for Yakindu Statecharts
B Graics, V Molnár
BME MIT, 2017
22017
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
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
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
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
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
2019
Extensions and generalization of the saturation algorithm in model checking
V Molnár
Informatikai Tudományok Doktori Iskola, 2019
2019
Will My Program Break on This Faulty Processor?
L BAJCZI, A VÖRÖS, V MOLNÁR
2019
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20