Publications
"A Modell Based Framework for Specifying and Executing Fault Injection Experiments.",
Proc. of the 4th International Conference on Dependability of Computer Systems., Brunów, Poland, pp. 107-114, June, 2009.
"Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets",
Reliability Engineering & System Safety, vol. 94, issue 5, pp. 942 - 953, 2009.
UT: 000264542300006
"Formal Verification of Safety Functions by Reinterpretation of Functional Block based Specifications",
13th international workshop on formal methods for industrial critical systems (FMICS), pp. 219 - 234, 2008.
Abstract
"Verification of the PRISE safety procedure by formal methods",
Proceedings of the 8th International PhD Workshop on Systems and Control, pp. 49 - 56, 2007.
On CD
"Formal verification of function block based specifications of safety-critical software",
Proceedings of the 8th International Conference on The Modern Information Technology in the Innovation Processes of the Industrial Enterprises, Budapest, MTA SZTAKI - Amulett'98, pp. 211 - 218, 2006///.
"Class Responsibility Assignment Case: a VIATRA-DSE Solution",
9th Transformation Tool Contest, Vienna, Austria, 2016.
"Effects of Graph Transformation Rules to Design Space Exploration Problems",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 03/2017.
"Simulation-based Safety Assessment of High-level Reliability Models",
4th Workshop on Models for Formal Analysis of Real Systems, 2020.
Abstract
"Component-wise Incremental LTL Model Checking",
Formal Aspects of Computing, vol. 28, issue 3: Springer, pp. 345-379, 05/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.
"Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 54–57, 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.
"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.
"Evaluation of Fault Tolerance Mechanisms with Model Checking",
Proceedings of the 23rd PhD Mini-Symposium, Budapest, Hungary, pp. 30–33, 2016.
"The Gamma Statechart Composition Framework",
40th International Conference on Software Engineering ({ICSE} 2018), Gothenburg, Sweden, ACM, 2018.
"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.
"The many meanings of UML 2 Sequence Diagrams: a survey",
Software and Systems Modeling, vol. 10, issue 4: Springer Berlin / Heidelberg, pp. 489-514, 2011.
Abstract
"Comparing Robustness of AIS-Based Middleware Implementations",
Service Availability Symposium, pp. 20 - 30, 2007.
"On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf",
1st Workshop on Open Source Software for Model Driven Engineering, Valencia, 2014.
"A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems",
Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012.
Abstract
"Model-based Automatic Test Generation For Event-driven Embedded Systems Using Model Checkers",
Proc. of Dependability of Computer Systems: IEEE Computer Society Press, pp. 191 - 198, 2006.
"Robustness Testing Techniques and Tools",
Resilience Assessment and Evaluation of Computing Systems: Springer Berlin Heidelberg, pp. 323-339, 2012.
"Robustness Testing Techniques For High Availability Middleware Solutions",
Proc. of International Workshop on Engineering of Fault Tolerant Systems (EFTS2006): University of Luxembourg, pp. 55 - 66, 2006.
Languages and frameworks for specifying test artifacts,
: Budapest University of Technology and Economics, 2013.
"LSQB: A Large-Scale Subgraph Query Benchmark",
GRADES-NDA at SIGMOD: ACM, 2021.