Publications
"Query-driven soft traceability links for models",
Software & Systems Modeling, vol. 15, issue 3, pp. 733-756, 2014.
Abstract
"Multi-Objective Optimization in Rule-Based Design Space Exploration",
29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Vasteras, Sweden, IEEE, 9/2014.
Abstract
"Petri Net Based Trajectory Optimization",
ASCONIKK 2014: Extended Abstracts. Future Internet Services, Veszprém, Hungary, University of Pannonia, pp. 11-19, 12/2014.
Abstract
"Synchronous product automaton generation for controller optimization",
ASCONIKK 2014: Extended Abstracts. I. Information Technologies for Logistic Systems, Veszprém, Hungary, University of Pannonia, pp. 22-29, 12/2014.
"Hardware-software allocation specification of IMA systems for early simulation",
Digital Avionics Systems Conference (DASC), Colorado Spings, Colorado, US, IEEE, 10/2014.
Abstract
"Graph Query by Example",
First International Workshop on Combining Modelling with Search- and Example-Based Approaches (CMSEBA 2014), Valencia, Spain, 09/2014.
"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.
"Modelling and Formal Verification of Timing Aspects in Large PLC Programs",
Proceedings of the 19th IFAC World Congress 2014, pp. 3333-3339, 08/2014.
"Query-driven incremental synchronization of view models",
Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, York, United Kingdom, ACM, pp. 31, 07/2014.
"Scalable Query Evaluation in the Cloud",
STAF Doctoral Symposium, 07/2014.
"Bringing Automated Model Checking to PLC Program Development – A CERN Case Study",
Proceedings of the 12th International Workshop on Discrete Event Systems, Paris, France, International Federation of Automatic Control, pp. 394-399, 05/2014.
"Anti-pattern Detection with Model Queries: A Comparison of Approaches",
IEEE CSMR-WCRE 2014 Software Evolution Week: IEEE, 02/2014.
IEEE Best Paper Award, Acceptance rate: 31%
"Automated abstraction in model-driven engineering",
Mestepróba'14, Budapest, 2014.
"Dynamic Scope Discovery for Model Transformations",
Software Language Engineering - 7th International Conference, {SLE} 2014, Väster{\aa}s, Sweden, September 15-16, 2014. Proceedings, vol. LNCS, Vasteras, Sweden, Springer, pp. 302–321, 2014.
"IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%
"MONDO-SAM: A Framework to Systematically Assess MDE Scalability",
BigMDE 2014 2nd Workshop on Scalable Model Driven Engineering: ACM, 2014.
"On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf",
1st Workshop on Open Source Software for Model Driven Engineering, Valencia, 2014.
"Streaming Model Transformations By Complex Event Processing",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%
"Translating OCL to Graph Patterns",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%.
Article page and extended version available at: http://incquery.net/content/graph-patterns-ocl-performance-evaluation
"Movie Database Case: An EMF-IncQuery Solution",
7th Transformation Tool Contest, York, United Kingdom, 2014.
Abstract
"Back-annotation of Execution Sequences by Advanced Search and Traceability Techniques",
Department of Measurement and Information Systems, vol. PhD, Budapest, Budapest University of Technology and Economics, 06/2014.
Abstract
Incremental extension of the saturation algorithm-based bounded model checking of Petri nets,
, vol. MSc: Budapest University of Technology and Economics, pp. 127, 05/2014.
Automated Generation of Formal Models from ST Control Programs for Verification Purposes,
, no. CERN-ACC-NOTE-2014-0037: CERN, 2014.
Train Benchmark Technical Report,
: Budapest University of Technology and Economics, 2014.