Vince Molnár
"Contract-Based Specification and Test Generation for Adaptive Systems",
16th International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX), vol. 1389, Wrocław, Poland, Springer, pp. 136-145, 07/2021.
Abstract
"Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems",
Software and Systems Modeling, vol. 19, issue Interplay of Model-Driven and Component-Based Software Engineering: Springer, 2020.
Abstract
"Model Checking as a Service: Towards Pragmatic Hidden Formal Methods",
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020.
"Will My Program Break on This Faulty Processor? - Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software",
ACM Trans. Embed. Comput. Syst., vol. 18, no. 5s, New York, NY, USA, ACM, pp. 89:1–89:21, 2019.
Abstract
"Saturation Enhanced with Conditional Locality: Application to Petri Nets",
Application and Theory of Petri Nets and Concurrency - 40th International Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019, Proceedings, pp. 342–361, 06/2019.
"Industrial applications of the PetriDotNet modelling and analysis tool",
Science of Computer Programming, vol. 157, pp. 17-40, 2018.
Abstract
"The Gamma Statechart Composition Framework",
40th International Conference on Software Engineering ({ICSE} 2018), Gothenburg, Sweden, ACM, 2018.
"Mix-and-Match Composition in the Gamma Framework",
25th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, 2018.
Abstract
"Composable Framework Support for Software-FMEA through Model Execution",
Certifications of Critical Systems – The CECRIS Experience, Delft, Netherlands, River Publishers, pp. 183–200, 2017.
"Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms",
Periodica Polytechnica Electrical Engineering and Computer Science, vol. 61, no. 2, pp. 132-150, 2017.
"Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 54–57, 2017.
"Formal Compositional Semantics for Yakindu Statecharts",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 22–25, 2017.
"Getting the Priorities Right: Saturation for Prioritised Petri Nets",
International Conference on Applications and Theory of Petri Nets and Concurrency: Springer, pp. 223–242, 2017.
"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.
"PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research",
Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 123-132, 2016.
Abstract
"Component-wise Incremental LTL Model Checking",
Formal Aspects of Computing, vol. 28, issue 3: Springer, pp. 345-379, 05/2016.
"Configurable Numerical Analysis for Stochastic Systems",
Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR): IEEE, 2016.
"Evaluation of Fault Tolerance Mechanisms with Model Checking",
Proceedings of the 23rd PhD Mini-Symposium, Budapest, Hungary, pp. 30–33, 2016.
"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.
"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.
