| 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 | 11* | 2018 |
| 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 | 10 | 2015 |
| 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 | 8 | 2016 |
| 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 | 8 | 2016 |
| 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 | 7 | 2016 |
| 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 | 5 | 2016 |
| Constraint programming with multi-valued decision diagrams: a saturation approach V Molnár, I Majzik BME MIT, 2017 | 4 | 2017 |
| 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 | 4 | 2017 |
| 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 | 2 | 2018 |
| Mix-and-Match Composition in the Gamma Framework B Graics, V Molnár 25th Minisymposium, Department of Measurement and Information Systems …, 2018 | 2 | 2018 |
| 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 | 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 | 2 | 2017 |
| Formal Compositional Semantics for Yakindu Statecharts B Graics, V Molnár BME MIT, 2017 | 2 | 2017 |
| 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 | 1 | 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 | 1 | 2019 |
| Extensions and generalization of the saturation algorithm in model checking V Molnár Informatikai Tudományok Doktori Iskola, 2019 | 1 | 2019 |
| Evaluation of fault tolerance mechanisms with model checking V Molnár, I Majzik Proceedings of the 23rd PhD Mini-Symposium. Budapest University of …, 2016 | 1 | 2016 |
| 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 | 1 | 2015 |
| Advanced Saturation-based Model Checking V Molnár, T Bartha, A Vörös | 1 | 2014 |
| 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 | |
András VörösFault Tolerant Systems Research Group, Budapest University of Technology and EconomicsE-mail megerősítve itt: mit.bme.hu
