Publikációk
Szűrők: A Cím Első Betűje = E [Minden szűrő visszaállítása]
"Evaluation of Graph Analytics Frameworks Using the GAP Benchmark Suite",
IEEE International Symposium on Workload Characterization, 2020.
"Efficient Model Transformations by Combining Pattern Matching Strategies",
Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, vol. 5563: Springer, pp. 20-34, 2009.
Abstract
Acceptance rate: 22%
Event-based model transformations with incremental pattern matching,
, October, 2007.
"Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers",
Proceedings of the 14th International Workshop on Formal Engineering Approaches to Software Components and Architectures, vol. 245: Open Publishing Association, pp. 31–45, 2017.
Abstract
"Efficient Saturation-based Bounded Model Checking of Asynchronous Systems",
13th Symposium on Programming Languages and Software Tools (SPLST'13), Szeged, Hungary, University of Szeged, pp. 259–273, 08/2013.
"Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations",
Software and Systems Modeling, 2017.
"Extensions to the CEGAR Approach on Petri Nets",
Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, Szeged, Hungary, University of Szeged, pp. 274–288, 08/2013.
Abstract
"Efficient Strategies for CEGAR-based Model Checking",
Journal of Automated Reasoning, vol. 64, issue 6, pp. 1051-1091, 2020.
Abstract
"Exploratory Analysis of the Performance of a Configurable CEGAR Framework",
Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 34–37, 2017.
Abstract
"Extensions to the CEGAR Approach on Petri Nets",
Acta Cybernetica, vol. 21, issue 3, pp. 417, 08/2014.
Abstract
"Ecore to Genmodel case study solution using the Viatra2 framework",
Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.
Abstract
"Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2",
International Journal on Software Tools for Technology Transfer, vol. 12, issue 3-4, pp. 211-230, 2010.
Abstract
"An Eclipse-Based Framework for AIS Service Configurations",
Proc. 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, vol. 4526: Springer, pp. 110-126, 2007.
Abstract
Acceptance rate: 44%
"Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models",
Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 281-300, 2016.
"Evaluation of Fault Tolerance Mechanisms with Model Checking",
Proceedings of the 23rd PhD Mini-Symposium, Budapest, Hungary, pp. 30–33, 2016.
"Effects of Graph Transformation Rules to Design Space Exploration Problems",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 03/2017.
"Empirical Assessment of Resilience",
Software Engineering for Resilient Systems, vol. 8166: Springer Berlin Heidelberg, 2013.
"Efficiency of P-graph Based Syndrome Decoding",
Proceedings of DDECS2002, The 5th IEEE Design And Diagnostics of Electronic Circuits and Systems Workshop, pp. 374 - 377, 2002.
"Enhancing design-time model execution in domain-specific languages by incremental pattern matching",
Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 16–20, 2009.
"Evaluating Well-Formedness Constraints on Incomplete Models",
Acta Cybernetica Szeged, 2017.
CSCS 2016 special issue
"An early look at the LDBC Social Network Benchmark's Business Intelligence workload",
GRADES-NDA at SIGMOD, Houston, TX, ACM, 2018.
"Evaluation of Optimization Strategies for Incremental Graph Queries",
Periodica Polytechnica, Electrical Engineering and Computer Science, 01/2017.
"EMF-IncQuery: An Integrated Development Environment for Live Model Queries",
Science of Computer Programming, vol. 98, issue 1, 02/2015.
Abstract