Publications
Filters: First Letter Of Title is E [Clear All Filters]
"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.
"Empirical Assessment of Resilience",
Software Engineering for Resilient Systems, vol. 8166: Springer Berlin Heidelberg, 2013.
"Error Detection in Control Flow of Event-Driven State Based Applications",
Software Engineering of Fault Tolerant Systems, New Jersey, World Scientific Publishing Co., pp. 150 - 174, 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 Strategies for CEGAR-based Model Checking",
Journal of Automated Reasoning, vol. 64, issue 6, pp. 1051-1091, 2020.
Abstract
"EMF-IncQuery: An Integrated Development Environment for Live Model Queries",
Science of Computer Programming, vol. 98, issue 1, 02/2015.
Abstract
"Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations",
Software and Systems Modeling, 2017.
"Evaluating Well-Formedness Constraints on Incomplete Models",
Acta Cybernetica Szeged, 2017.
CSCS 2016 special issue
"Evaluation of Optimization Strategies for Incremental Graph Queries",
Periodica Polytechnica, Electrical Engineering and Computer Science, 01/2017.
"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
"Extensions to the CEGAR Approach on Petri Nets",
Acta Cybernetica, vol. 21, issue 3, pp. 417, 08/2014.
Abstract
"An early look at the LDBC Social Network Benchmark's Business Intelligence workload",
GRADES-NDA at SIGMOD, Houston, TX, ACM, 2018.
"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%
"Ecore to Genmodel case study solution using the Viatra2 framework",
Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.
Abstract
"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.
"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.
"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%
"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.
"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.
"Evaluation of Fault Tolerance Mechanisms with Model Checking",
Proceedings of the 23rd PhD Mini-Symposium, Budapest, Hungary, pp. 30–33, 2016.
"Evaluation of Graph Analytics Frameworks Using the GAP Benchmark Suite",
IEEE International Symposium on Workload Characterization, 2020.
"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",
Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, Szeged, Hungary, University of Szeged, pp. 274–288, 08/2013.
Abstract
Event-based model transformations with incremental pattern matching,
, October, 2007.