Molnár Vince

Marussy, K., Klenik, A., Molnár, V., Vörös, A., Majzik, I., and Telek, M., "Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models", Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 281-300, 2016.
Molnár, V., Vörös, A., Darvas, D., Bartha, T., and Majzik, I., "Component-wise Incremental LTL Model Checking", Formal Aspects of Computing, vol. 28, issue 3: Springer, pp. 345-379, 05/2016.
Marussy, K., Klenik, A., Molnár, V., Vörös, A., Telek, M., and Majzik, I., "Configurable Numerical Analysis for Stochastic Systems", Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR): IEEE, 2016.
Molnár, V., Darvas, D., Vörös, A., and Bartha, T., "Saturation-based Incremental LTL Model Checking with Inductive Proofs", Tools and Algorithms for the Construction and Analysis of Systems, vol. 9035: Springer, pp. 643-657, 2015.
Molnár, V., and Vörös, A., "Synchronous product automaton generation for controller optimization", ASCONIKK 2014: Extended Abstracts. I. Information Technologies for Logistic Systems, Veszprém, Hungary, University of Pannonia, pp. 22-29, 12/2014.