Publications
Filters: First Letter Of Last Name is H [Clear All Filters]
"Criteria Evaluation-driven State Space Exploration of Graph Transformation Systems",
Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 42-45, 02/2011.
"Query-driven soft traceability links for models",
Software & Systems Modeling, vol. 15, issue 3, pp. 733-756, 2014.
Abstract
"A model-driven framework for guided design space exploration",
Automated Software Engineering, vol. 22, issue 3, pp. 399-436, 08/2014, 2015.
Abstract
From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2,
: Consiglio Nazionale delle Ricerche (CNR), pp. 35-42, 09/2010.
Abstract
Accepted for the SEFM'2010 "Posters and Tool Demo Session" Track
"Replaying Execution Trace Models for Dynamic Modeling Languages",
Periodica Polytechnica-Electrical Engineering, vol. 56, issue 3, pp. 71-82, 2012.
Abstract
"BPEL Verification: The Back-annotation Problem",
Proceedings of the 17th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 30–31, 02/2010.
"A Model-driven Framework for Guided Design Space Exploration",
Proceedings of the 19th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 01/2012.
"BPEL2.0 munkafolyamatok formális verifikációja",
Tavaszi Szél Konferenciakiadvány, Szeged, pp. 20-26, 05/2009.
Abstract
In Hungarian
"Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies",
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MPM@MODELS 2014, vol. 1237, Valencia, Spain, CEUR-WS.org, pp. 61–66, 09/2014.
"Classifying generated white-box tests: an exploratory study",
Software Quality Journal, pp. 42, 2019.
Abstract
Isolation and Pex: case study of cooperation,
: Budapest University of Technology and Economics, 09/2013.
Abstract
"User-defined Sandbox Behavior for Dynamic Symbolic Execution",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 03/2017.
"Generating Unit Isolation Environment Using Symbolic Execution",
Proceedings of the 23rd PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2016.
"SEViz: A Tool for Visualizing Symbolic Execution",
IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), Graz, Austria, IEEE, 04/2015.
"Supporting Unit Test Generation via Automated Isolation",
Periodica Polytechnica, Electrical Engineering and Computer Science, 02/2017.
"Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics",
Proceedings of the 25th PhD Mini-Symposium, Budapest, Hungary, pp. 36-39., 02/2018.
"Model-Based Regression Testing of Autonomous Robots",
Model-Driven Engineering for Future Internet - 18th International SDL Forum, Budapest, Hungary, Springer International Publishing, 09/2017.
"Scenario-based Automated Evaluation of Test Traces of Autonomous Systems",
Proceedings of ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems (DECS) at SAFECOMP'13, Toulouse, France, pp. 181-192, 09/2013.
Abstract
Automated Evaluation of the Test Traces of Autonomous Systems,
, Budapest, Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, pp. 25 pages, 01/2013.
"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%
"Model-Driven Development of ARINC 653 Configuration Tables",
29th IEEE & AIAA Digital Avionics System Conference (DASC), Salt Lake City, US, IEEE, 10/2010.
Abstract
"Hardware-software allocation specification of IMA systems for early simulation",
Digital Avionics Systems Conference (DASC), Colorado Spings, Colorado, US, IEEE, 10/2014.
Abstract
"Automatic Generation of Compiled Model Transformations",
Proc. of Fifth Conference of PhD Students in Computer Science (CSCS), Szeged, Hungary, Institute of Informatics of the University of Szeged, pp. 54–55, Jun. 27-30, 2006.
"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