Publikációk
Szűrők: Az Utónév Első Betűje = S [Minden szűrő visszaállítása]
"A Graph Solver for the Automated Generation of Consistent Domain-Specific Models",
40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, ACM, 2018.
"Iterative Generation of Diverse Models for Testing Specifications of DSL Tools",
21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, Springer, 2018.
"Incrementalizing Lattice-Based Program Analyses in Datalog",
Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2018), Boston, MA, USA, ACM, 11/2018.
"Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems",
Fundamental Approaches to Software Engineering, Cham, Springer International Publishing, pp. 111–128, 2018.
Abstract
"An early look at the LDBC Social Network Benchmark's Business Intelligence workload",
GRADES-NDA at SIGMOD, Houston, TX, ACM, 2018.
"Incremental View Maintenance for Property Graph Queries",
SIGMOD Student Research Competition (SRC), Houston, TX, ACM, 2018.
Won 2nd prize.
"Incremental View Model Synchronization Using Partial Models",
21th International Conference on Model Driven Engineering Languages and Systems (MODELS '18), Copenhagen, Denmark, 2018.
Submitted version. Artifacts available at https://doi.org/10.5281/zenodo.1318156
"Towards Evaluating Size Reduction Techniques for Software Model Checking",
Proceedings of the Fifth International Workshop on Verification and Program Transformation, vol. 253: Open Publishing Association, pp. 75-91, 2017.
Abstract
"Evaluation of Optimization Strategies for Incremental Graph Queries",
Periodica Polytechnica, Electrical Engineering and Computer Science, 01/2017.
"Evaluating Well-Formedness Constraints on Incomplete Models",
Acta Cybernetica Szeged, 2017.
CSCS 2016 special issue
"Formalising openCypher Graph Queries in Relational Algebra",
21st European Conference on Advances in Databases and Information Systems (ADBIS), Nicosia, Cyprus, Springer, 2017.
"Scalable Graph Query Evaluation and Benchmarking with Realistic Models",
ACM SRC Grand Finals, online competition, ACM, 05/2017.
This is not a separate publication, but is based on the MODELS ACM SRC paper of the same title, which won 1st place in 2016. This is a significantly enhanced version, so I recommend reading this paper instead of its predecessor.
"Graph Constraint Evaluation over Partial Models by Constraint Rewriting",
Proceedings of the 10th International Conference on Theory and Practice of Model Transformation, Marburg, Germany, Springer, 2017.
"Model-driven engineering of an openCypher engine: using graph queries to compile graph queries",
18th System Design Languages Forum, Budapest, Hungary, 2017.
"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
"Incremental Backward Change Propagation of View Models by Logic Solvers",
19th International Conference on Model Driven Engineering Languages and Systems, Saint-malo, France, ACM, 07/2016 .
acceptance rate: 23.7%
"Validation of Well-formedness Constraints on Uncertain Models",
THE 10TH JUBILEE CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, Szeged, Hungary, 06/2016.
extended abstract
"Change Propagation of View Models by Logic Synthesis Using SAT Solvers",
Fifth International Workshop on Bidirectional Transformations (Bx 2016), Eindhoven, The Netherlands, 04/2016.
"Swarm Intelligence Meets Rule-Based Design Space Exploration",
Proceedings of the 23rd PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2016.
"Class Responsibility Assignment Case: a VIATRA-DSE Solution",
9th Transformation Tool Contest, Vienna, Austria, 2016.
"Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers",
ACM Student Research Competition at MODELS 2016, Saint-malo, France, CEUR-WS, 2016.
co-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)
sponsored by Microsoft Research
"Scalable Graph Query Evaluation and Benchmarking with Realistic Models",
ACM/IEEE MODELS conference, ACM Student Research Competition (SRC), sponsored by Microsoft Research, 2016.
Won 1st prize at MODELS SRC 2016. A significantly enhanced version of this paper was submitted to the ACM SRC 2017 grand finals with the same title (see my 2017 publication). I recommend reading that paper instead of this one.
"Sharded Joins for Scalable Incremental Graph Queries",
Proceedings of the 23rd PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2016.
"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%
"Iterative and incremental model generation by logic solvers",
19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.