Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
"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.
"Evaluating Well-Formedness Constraints on Incomplete Models",
Acta Cybernetica Szeged, 2017.
CSCS 2016 special issue
"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
"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.
"An early look at the LDBC Social Network Benchmark's Business Intelligence workload",
GRADES-NDA at SIGMOD, Houston, TX, ACM, 2018.
"Diversity of Graph Models and Graph Generators in Mutation Testing",
International Journal on Software Tools for Technology Transfer, 2019.
"Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems",
International Journal on Software Tools for Technology Transfer, 09/2019.
Abstract
"Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems",
21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, 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
"Developing and Visualizing Live Model Queries",
1st Workshop on the Analysis of Model Transformations (AMT) , Innsbruck, Austria, ACM Digital Library, 2012.
"Design and Evaluation of a Safe Driver Machine Interface",
INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
"Design and Analysis of Fault Tolerant Architectures by Model Weaving",
Proc. Ninth IEEE Int. Symposium on High-Assurance Systems Engineering (HASE-05): IEEE Computer Society Press, pp. 15 - 24, 2005.
"Dependency Identification in System Management",
Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 34–37, 2010.
"Dependability Analysis in The Early Phases of Uml-based System Design",
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001.
Abstract
"Data Analysis Based Capacity Planning of VCL Clouds",
3rd International IBM Cloud Academy Conference ICACON 2015, Budapest, 05/2015.
"CSP(M): Constraint Satisfaction Problem over Models",
Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, vol. 5795: Springer, pp. 107-121, 2009.
Abstract
Acceptance rate: 18%
"Control-oriented modelling of the primary circuit and its controllers of a PWR nuclear power plant",
9th European Workshop on Advanced Control and Diagnosis, Budapest, MTA SZTAKI, 2011.
Art. No.: 34
"Concurrent Error Detection of Program Execution Based on Statechart Specification",
Proc. 10th European Workshop on Dependable Computing (EWDC-10): Österreichische Computer Gesellschaft, pp. 181 - 185, 1999.
"A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems",
Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012.
Abstract
"Completeness and Consistency Analysis of UML Statechart Specifications",
Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 83 - 90, 2001.
"Completeness and Consistency Analysis of UML Statechart Specifications",
11th European Workshop on Dependable Computing (EWDC-11), Budapest, pp. 6 - , 2000.
"Class Responsibility Assignment Case: a VIATRA-DSE Solution",
9th Transformation Tool Contest, Vienna, Austria, 2016.
"Change-Driven Model Transformations",
Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, vol. 5795: Springer, pp. 342-356, 2009.
Abstract
Springer Best Paper Award and ACM Distinguished Paper Award
Acceptance rate: 18%