Publications
]
"Theta: a Framework for Abstraction Refinement-Based Model Checking",
Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, Vienna, Austria, FMCAD Inc., pp. 176–179, 2017.
Abstract
"Lazy Reachability Checking for Timed Automata with Discrete Variables",
Model Checking Software, SPIN 2018, vol. 10869: Springer, pp. 235-254, 2018.
Abstract
"Stochastic Simulation of Graph Transformation Systems",
Proc. of FASE2010, Fundamental Approaches to Software Engineering, 2010.
Accepted.
"Stochastic Graph Transformation with Regions",
Electronic Communications of the EASST, Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 29, 2010.
"Sampling and Parameter Testing in Large IT Infrastructure Graphs",
Proc. of the 18th PhD Mini-Symposium, Budapest, Hungary, pp. 10–14, 2011.
"Dependency Identification in System Management",
Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 34–37, 2010.
Investigating Indirect Dependencies in Bipartite Cliques of IT Infrastructure Topology,
: IBM Research Zurich, 2008.
"Online Infrastructure Dependency Detection and Tracking",
Conference of PhD Students in Computer Science, Szeged, pp. 67, 06/2010.
"Sampling the IT infrastructure",
Spring Wind 2011, Piliscsaba, Hungary, 2011.
"Identification and Tracking of IT Infrastructure Patterns",
Spring Wind 2010, Pécs, Hungary, pp. 524–529, 2010.
"Incremental Synchronization of IT Infrastructure Model",
Proc. of the 16th PhD Mini-Symposium, Budapest, Hungary, pp. 28–30, 2009.
"Applying MDA approach for the SA Forum platform",
3rd Federated Event on Distributed Computing Techniques 2008, Oslo, pp. 1 - 6, 2008.
"Fejlesztési folyamatok ontológia alapú ellenőrzése",
XV. Fiatal műszakiak tudományos ülésszaka, Kolozsvár, Erdélyi Múzeum-Egyesület, pp. 1 - 4, 2010.
"Ontology-based assessment of software models and development processes for safety-critical systems",
Monographs of System Dependability Vol. 2, Wroclaw, pp. 1 - 12, 2010.
"An early look at the LDBC Social Network Benchmark's Business Intelligence workload",
GRADES-NDA at SIGMOD, Houston, TX, ACM, 2018.
"The TTC 2015 Train Benchmark Case for Incremental Model Validation",
Transformation Tool Contest, 2015.
"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.
"Superscalable Modeling",
Department of Measurement and Information Systems, vol. MSc, Budapest, Budapest University of Technology and Economics, pp. 88, 12/2013.
"LAGraph: Linear Algebra, Network Analysis Libraries, and the Study of Graph Algorithms",
GrAPL (Workshop on Graphs, Architectures, Programming, and Learning) at IPDPS (International Parallel and Distributed Processing Symposium: IEEE, 2021.
"Evaluation of Optimization Strategies for Incremental Graph Queries",
Periodica Polytechnica, Electrical Engineering and Computer Science, 01/2017.
"The Train Benchmark: Cross-Technology Performance Evaluation of Continuous Model Queries",
Software and Systems Modeling, vol. 17, issue 4, 2018.
"Incremental View Maintenance for Property Graph Queries",
SIGMOD Student Research Competition (SRC), Houston, TX, ACM, 2018.
Won 2nd prize.
"Towards the Characterization of Realistic Models: Evaluation of Multidisciplinary Graph Metrics",
ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, Saint Malo, France, 2016.
Acceptance rate: 23.7%
"Train Benchmark Case: an EMF-IncQuery Solution",
8th Transformation Tool Contest, L'Aquila, Italy, 2015.
Query, Analysis, and Benchmarking Techniques for Evolving Property Graphs of Software Systems,
: Budapest University of Technology and Economics, 2019.
