Publications
"Hardware-software allocation specification of IMA systems for early simulation",
Digital Avionics Systems Conference (DASC), Colorado Spings, Colorado, US, IEEE, 10/2014.
Abstract
"Petri Net Based Trajectory Optimization",
ASCONIKK 2014: Extended Abstracts. Future Internet Services, Veszprém, Hungary, University of Pannonia, pp. 11-19, 12/2014.
Abstract
"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.
"Multi-Objective Optimization in Rule-Based Design Space Exploration",
29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Vasteras, Sweden, IEEE, 9/2014.
Abstract
"Movie Database Case: An EMF-IncQuery Solution",
7th Transformation Tool Contest, York, United Kingdom, 2014.
Abstract
Incremental extension of the saturation algorithm-based bounded model checking of Petri nets,
, vol. MSc: Budapest University of Technology and Economics, pp. 127, 05/2014.
"Back-annotation of Execution Sequences by Advanced Search and Traceability Techniques",
Department of Measurement and Information Systems, vol. PhD, Budapest, Budapest University of Technology and Economics, 06/2014.
Abstract
Automated Generation of Formal Models from ST Control Programs for Verification Purposes,
, no. CERN-ACC-NOTE-2014-0037: CERN, 2014.
Train Benchmark Technical Report,
: Budapest University of Technology and Economics, 2014.
"New Search Strategies for the Petri Net CEGAR Approach",
Application and Theory of Petri Nets and Concurrency, vol. 9115: Springer, pp. 309-328, 2015.
Abstract
"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.
"A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol",
Software Engineering for Resilient Systems, vol. 9274: Springer International Publishing, pp. 31-45, 09/15, 2015.
"EMF-IncQuery: An Integrated Development Environment for Live Model Queries",
Science of Computer Programming, vol. 98, issue 1, 02/2015.
Abstract
"Formal Validation of Domain-Specific Languages with Derived Features and Well-Formedness Constraints",
International Journal on Software and Systems Modeling, 07/2015.
"A model-driven framework for guided design space exploration",
Automated Software Engineering, vol. 22, issue 3, pp. 399-436, 08/2014, 2015.
Abstract
"Performance Comparison of Query-based Techniques for Anti-Pattern Detection",
Information and Software Technology, vol. 65, pp. 147-165, 09/2015.
Abstract
"Applying Model Checking to Industrial-Sized PLC Programs",
IEEE Transactions on Industrial Informatics, vol. 11, issue 6: IEEE, pp. 1400-1410, 12/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.
"Identification of Dependability Models from Large Observation Sets",
23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, IEEE, 01/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.
"SEViz: A Tool for Visualizing Symbolic Execution",
IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), Graz, Austria, IEEE, 04/2015.