Publications
]
Train Benchmark Technical Report,
: Budapest University of Technology and Economics, 2014.
Transaction Tracking in Large Scale Datacenters,
, no. RZ3743: IBM Zürich Research Laboratory, 2009.
Transforming PLC programs into formal models for verification purposes,
, no. CERN-ACC-NOTE-2013-0040: CERN, 2013.
Automated Model Transformations for the Analysis of IT Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, May, 2004.
Abstract
Automatic Transformation of UML Models,
: Budapest University of Technology and Economics, 2000.
"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
Concurrent Error Detection in Multiprocessor Systems using Watchdog Processors,
: Budapest University of Technology, 1997.
Declarative Specification of Domain Specific Visual Languages,
: Budapest University of Technology and Economics, 2006.
"Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers",
Department of Measurement and Information Systems, vol. PhD, Budapest, Budapest University of Technology and Economics, pp. 186, 03/2019.
A framework for the Dependability analysis of UML-based system designs with maintenance,
: Budapest University of Technology and Economics, 05/2009.
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.
Incremental graph pattern matching and applications,
: Budapest University of Technology and Economics, May, 2008.
Incremental Model Queries in Model-Driven Design,
, vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
Languages and frameworks for specifying test artifacts,
: Budapest University of Technology and Economics, 2013.
"Multidimenziós adatkezelés és bitmap indexelés",
Department of Telecommunications and Media Informatics, vol. BSc: Budapest University of Technology and Economics, pp. 82, 12/2011.
Query, Analysis, and Benchmarking Techniques for Evolving Property Graphs of Software Systems,
: Budapest University of Technology and Economics, 2019.
Simulation and transformation of domain-specific languages,
: Budapest University of Technology and Economics, 2006.
Static Analysis of Model Transformations,
: Budapest University of Technology and Economics, 2009.
"Superscalable Modeling",
Department of Measurement and Information Systems, vol. MSc, Budapest, Budapest University of Technology and Economics, pp. 88, 12/2013.
"Iterative and incremental model generation by logic solvers",
19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
"Movie Database Case: An EMF-IncQuery Solution",
7th Transformation Tool Contest, York, United Kingdom, 2014.
Abstract
"Rete Network Slicing for Model Queries",
Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, vol. 9761, Vienna, Austria, Springer International Publishing, pp. 137–152, 06/2016.
Abstract
