Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
"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.
"A Graph Solver for the Automated Generation of Consistent Domain-Specific Models",
40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, ACM, 2018.
"Hardware-software allocation specification of IMA systems for early simulation",
Digital Avionics Systems Conference (DASC), Colorado Spings, Colorado, US, IEEE, 10/2014.
Abstract
"Hierarchical Checking of Multiprocessors Using Watchdog Processors",
Dependable Computing - EDCC-1, Berlin ; Heidelberg, Springer-Verlag, pp. 386 - 403, 1994.
"A High-Speed Watchdog Processor for Multitasking Systems",
Proc. Eighth Symposium on Microcomputer and Microprocessor Applications (uP'94): HTE, pp. 65 - 74, 1994.
"How Representative is a SPARQL Benchmark? An Analysis of RDF Triplestore Benchmarks",
The Web Conference (WWW), San Francisco, CA, USA, ACM, 2019.
"Identification and Tracking of IT Infrastructure Patterns",
Spring Wind 2010, Pécs, Hungary, pp. 524–529, 2010.
"Identification of Dependability Models from Large Observation Sets",
23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, IEEE, 01/2015.
"Implementation of a testing and diagnostic concept for an NPP reactor protection system",
Lecture Notes in Computer Science, vol. 3463, pp. 391 - 402, 2005.
"IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%
"IncQuery-D: Incremental Graph Search in the Cloud",
Proceedings of the Workshop on Scalability in Model Driven Engineering, BigMDE, Budapest, Hungary, ACM, 2013.
"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%
"Incremental Graph Pattern Matching: Data Structures and Initial Experiments",
Graph and Model Transformation (GraMoT 2006), vol. 4: EASST, 2006.
Abstract
"An incremental GraphBLAS solution for the 2018 TTC Social Media case study",
GrAPL (Workshop on Graphs, Architectures, Programming, and Learning) at IPDPS (International Parallel and Distributed Processing Symposium), 2020.
"Incremental pattern matching for the efficient computation of transitive closure",
Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 386-400, 09/2012.
"Incremental Synchronization of IT Infrastructure Model",
Proc. of the 16th PhD Mini-Symposium, Budapest, Hungary, pp. 28–30, 2009.
"Incremental View Maintenance for Property Graph Queries",
SIGMOD Student Research Competition (SRC), Houston, TX, ACM, 2018.
Won 2nd prize.
"Incremental view maintenance in graph databases: A case study in Neo4j",
Proceedings of the 27th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2020.
"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
"Incrementalizing Lattice-Based Program Analyses in Datalog",
Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2018), Boston, MA, USA, ACM, 11/2018.
Investigating Indirect Dependencies in Bipartite Cliques of IT Infrastructure Topology,
: IBM Research Zurich, 2008.
"Iterative and incremental model generation by logic solvers",
19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
"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.
"Java Refactoring Case: a VIATRA Solution",
8th Transformation Tool Contest, L'Aquila, Italy, 2015.