Publikációk
Szűrők: A Cím Első Betűje = E [Minden szűrő visszaállítása]
"Extensions to the CEGAR Approach on Petri Nets",
Acta Cybernetica, vol. 21, issue 3, pp. 417, 08/2014.
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
"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
"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
"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
Event-based model transformations with incremental pattern matching,
, October, 2007.
"Evaluation of Optimization Strategies for Incremental Graph Queries",
Periodica Polytechnica, Electrical Engineering and Computer Science, 01/2017.
"Evaluation of Graph Analytics Frameworks Using the GAP Benchmark Suite",
IEEE International Symposium on Workload Characterization, 2020.
"Evaluation of Fault Tolerance Mechanisms with Model Checking",
Proceedings of the 23rd PhD Mini-Symposium, Budapest, Hungary, pp. 30–33, 2016.
"Evaluating Well-Formedness Constraints on Incomplete Models",
Acta Cybernetica Szeged, 2017.
CSCS 2016 special issue
"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.
"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.
"Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations",
Software and Systems Modeling, 2017.
"Empirical Assessment of Resilience",
Software Engineering for Resilient Systems, vol. 8166: Springer Berlin Heidelberg, 2013.
"EMF-IncQuery: An Integrated Development Environment for Live Model Queries",
Science of Computer Programming, vol. 98, issue 1, 02/2015.
Abstract
"Efficient Strategies for CEGAR-based Model Checking",
Journal of Automated Reasoning, vol. 64, issue 6, pp. 1051-1091, 2020.
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.
"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 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.
"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.
"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.
"Ecore to Genmodel case study solution using the Viatra2 framework",
Transformation Tool Contest (TTC '10), Malaga, Spain, 07/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%
"An early look at the LDBC Social Network Benchmark's Business Intelligence workload",
GRADES-NDA at SIGMOD, Houston, TX, ACM, 2018.