Publications
"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.
"Applying Model Checking to Industrial-Sized PLC Programs",
IEEE Transactions on Industrial Informatics, vol. 11, issue 6: IEEE, pp. 1400-1410, 12/2015.
"Performance Comparison of Query-based Techniques for Anti-Pattern Detection",
Information and Software Technology, vol. 65, pp. 147-165, 09/2015.
Abstract
"A model-driven framework for guided design space exploration",
Automated Software Engineering, vol. 22, issue 3, pp. 399-436, 08/2014, 2015.
Abstract
"Formal Validation of Domain-Specific Languages with Derived Features and Well-Formedness Constraints",
International Journal on Software and Systems Modeling, 07/2015.
"EMF-IncQuery: An Integrated Development Environment for Live Model Queries",
Science of Computer Programming, vol. 98, issue 1, 02/2015.
Abstract
"Property-Based Methods for Collaborative Model Development",
3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa,Canada, 2015/09.
"A formal specification method for PLC-based applications",
Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, JACoW, pp. 907-910, 10/2015.
"PLCverif: A tool to verify PLC programs based on model checking techniques",
Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, JACoW, pp. 911-914, 10/2015.
"Local search-based pattern matching features in EMF-IncQuery",
8th International Conference on Graph Transformation, L'Aquila, Italy, Springer, 07/2015.
Abstract
Tool demonstration paper
"Viatra 3 : A Reactive Model Transformation Platform",
8th International Conference on Model Transformations, L'Aquila, Italy, Springer, 07/2015.
Abstract
"Data Analysis Based Capacity Planning of VCL Clouds",
3rd International IBM Cloud Academy Conference ICACON 2015, Budapest, 05/2015.
"SEViz: A Tool for Visualizing Symbolic Execution",
IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), Graz, Austria, IEEE, 04/2015.
"Requirements towards a formal specification language for PLCs",
Proceedings of the 22nd PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 18-21, 02/2015.
"Identification of Dependability Models from Large Observation Sets",
23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, IEEE, 01/2015.
"Java Refactoring Case: a VIATRA Solution",
8th Transformation Tool Contest, L'Aquila, Italy, 2015.
"Optimization of Incremental Queries in the Cloud",
CloudMDE, 2015.
"Train Benchmark Case: an EMF-IncQuery Solution",
8th Transformation Tool Contest, L'Aquila, Italy, 2015.
"The TTC 2015 Train Benchmark Case for Incremental Model Validation",
Transformation Tool Contest, 2015.
Making the TTreeReader interface more accessible,
, no. CERN-STUDENTS-Note-2015-039, Geneva, Switzerland, CERN, pp. 5, 2015.
"Formal verification of complex properties on PLC programs",
Formal Techniques for Distributed Objects, Components, and Systems, vol. 8461: Springer, pp. 284-299, 2014.
"Ritka események",
Intelligens adatelemzés: Typotex Kft., 2014.
"Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics",
Computer Safety, Reliability, and Security, vol. 8696: Springer International Publishing, pp. 207-218, 2014.
"Extensions to the CEGAR Approach on Petri Nets",
Acta Cybernetica, vol. 21, issue 3, pp. 417, 08/2014.
Abstract
"Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets",
Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 58, no. 1, pp. 11, 2014.