Követés
Vince Molnár
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
242018
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
132020
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
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
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
62020
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
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
Formal Compositional Semantics for Yakindu Statecharts
B Graics, V Molnár
24th PhD Mini-Symposium (Minisy@ DMIS 2017), 22-24, 2017
22017
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
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20