"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.
"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.
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, , 2014.
"Empirical Assessment of Resilience", Software Engineering for Resilient Systems, vol. 8166: Springer Berlin Heidelberg, 2013.
"Ontology-Supported Design of Domain-Specific Languages: A Complex Event Processing Case Study", Advances and Applications in Model-Driven Engineering: IGI Global, 2013.
"A survey and comparison of transformation tools based on the transformation tool contest", Science of Computer Programming, vol. 85/A, pp. 41-99, 06/2014, 2013.
"Bounded saturation-based CTL model checking", Proceedings of the Estonian Academy of Sciences, vol. 62, issue 1, pp. 12, 03/2013.
"K-induction based verification of real-time safety critical systems.", Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Brunów, Poland, Springer International Publishing, 2013.
"Towards Precise Metrics for Predicting Graph Query Performance", 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Silicon Valley, CA, USA, IEEE, pp. 412--431, 11/2013.
Acceptance Rate: 23%
"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.
"Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver", ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems, Miami, US, Springer LNCS 8107, 09/2013.
ACM/IEEE Best Paper Award, Acceptance rate: 26% Additional information available at http://incquery.net/content/validation-derived-features-and-well-formedn...
"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.
"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.
"Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal", Mesterpróba 2013. Konferenciakiadvány, pp. 48-51, 05/2013.
"IncQuery-D: Incremental Graph Search in the Cloud", Proceedings of the Workshop on Scalability in Model Driven Engineering, Budapest, Hungary, ACM, pp. 4, 2013.
"PN2SC Case Study: An EMF-IncQuery solution", TTC 2013: Sixth Transformation Tool Contest, 2013.
"Superscalable modeling systems", Proceedings of the 20th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2013.
"Superscalable Modeling", Department of Measurement and Information Systems, vol. MSc, Budapest, Budapest University of Technology and Economics, pp. 88, 12/2013.
Incremental Model Queries in Model-Driven Design, , vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.