▹PhD researcher (Computer Science) @MSDL Antwerp
▹MSc in Computer Engineering (major: Dependable System Design)
▹MSc in Business Information Technology (major: Financial Information Systems)
▹Eclipse committer

Research interest

Research

Inconsistency management in collaborative modeling settings

I am currently a member of the MSDL (Modelling, Simulation and Design Lab), working on my PhD under the supervision of Prof. Hans Vangheluwe. My research focuses on inconsistency management in collaborative, multi-model system development and includes topics such as

In the first three years of my PhD research I contributed to the MBSE4Mechatronics Strategic Basic Research (SBO) project.

Complex event processing (CEP) and its applications

VIATRA (VIsual Automated model TRAnsformations) is an event-driven and reactive model transformation platform. My primary contribution covers the complex event processing (CEP) module and the incremental API of the core transformation framework. This work is carried out in collaboration with the Fault Tolerant Systems Research Group of the Budapest University of Technology and Economics and the IncQuery Labs Ltd.

Publications

2018

[20] Translating Engineering Workflow Models to DEVS for Performance Evaluation, I. Dávid, Y. Van Tendeloo, H. Vangheluwe, Winter Simulation Conference 2018. Submitted

[19] Process-oriented Inconsistency Management in Collaborative Systems Modeling, I. Dávid, J. Denil, H. Vangheluwe, 16th annual Industrial Simulation Conference (ISC 2018). [pdf]

[18] A Multi-Paradigm Approach for Modelling Service Interactions in Model-Driven Engineering Processes, S. Van Mierlo, Y. Van Tendeloo, I. Dávid, B. Meyers, A. Gebremichael, H. Vangheluwe, Model-driven Approaches for Simulation Engineering Symposium (MOD4SIM) -- Spring Simulation Multi-Conference, 2018. [Proceedings] [pdf]

2017

[17] Modeling and Enactment Support for Early Detection of Inconsistencies in Engineering Processes, I. Dávid, B. Meyers, K. Vanherpen, Y. Van Tendeloo, K. Berx, H. Vangheluwe, 2nd International Workshop on Collaborative Modelling in MDE, 2017. [Proceedings] [pdf]

2016

[16] Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies, I. Dávid, E. Syriani, C. Verbrugge, D. Buchs, D. Blouin, A. Cicchetti, K. Vanherpen, 1st International Workshop on Collaborative Modelling in MDE, 2016. [Proceedings] [pdf]

[15] Engineering Process Transformation to Manage (In)consistency, I. Dávid, J. Denil, K. Gadeyne, H. Vangheluwe, 1st International Workshop on Collaborative Modelling in MDE, 2016. [Proceedings] [pdf]

[14] A Multi-Paradigm Modeling Foundation for Collaborative Multi-view Model/System Development, I. Dávid, ACM Student Research Competition (SRC) MoDELS 2016. [paper] [poster]

[13] Automated Testing Support for Reactive Domain-Specific Modelling Languages, B. Meyers, J. Denil, I. Dávid, H. Vangheluwe, 9th International Conference on Software Language Engineering Conference (SLE), 2016. [Proceedings]

[12] Foundations for Streaming Model Transformations by Complex Event Processing, I. Dávid, I. Ráth, D. Varró, International Journal on Software and Systems Modeling, pp 1--28, 2016. DOI: 10.1007/s10270-016-0533-1. [Open access pdf]

[11] Ontological Reasoning for Consistency in the Design of Cyber-Physical Systems, K. Vanherpen, J. Denil, I. Dávid, P. De Meulenaere, P. J. Mosterman, M. Törngren, A. Qamar, H. Vangheluwe. CPPS 2016 - 1st International Workshop on Cyber-Physical Production Systems, 2016. [pdf]

[10] Distributed and Heterogeneous Event-based Monitoring in Smart Cyber-Physical Systems (Extended abstract), L. Balogh, I. Dávid, I. Ráth, D. Varró, A. Vörös. MT CPS 2016 - 1st Workshop on Monitoring and Testing of Cyber-Physical Systems, 2016. [paper] [poster]

2015

[9] Towards Inconsistency Management by Process-Oriented Dependency Modeling, I. Dávid, J. Denil, H. Vangheluwe. MPM 2015 - 9th International Workshop on Multi-­Paradigm Modeling, 2015. [Proceedings] [pdf]

[8] VIATRA3: A Reactive Event-driven Model Transformation Platform, G. Bergmann, I. Dávid, Á. Hegedüs, Á. Horváth, I. Ráth, Z. Ujhelyi and D. Varró. Theory and Practice of Model Transformations (D. Kolovos, M. Wimmer, eds.), vol. 9152 of Lecture Notes in Computer Science, pp. 101-110, Springer International Publishing, 2015. [Proceedings] [pdf]

2014

[7] Streaming model transformations by complex event processing, I. Dávid, I. Ráth, and D. Varró. Model-Driven Engineering Languages and Systems (J. Dingel, W. Schulte, I. Ramos, S. Abrahão, and E. Insfran, eds.), vol. 8767 of Lecture Notes in Computer Science, pp. 68-83, Springer International Publishing, 2014. [Proceedings] [pdf]
Conference acceptance rate: 26%. Invited for submission to MODELS14 Special Issue in SoSyM

2013

[6] Ontology-Supported Design of Domain-Specific Languages: A Complex Event Processing Case Study, I. Dávid, L. Gönczy. Book chapter in "Advances and Applications in Model-Driven Engineering" (Ed.: Dr. Vicente García Díaz, Prof. Dr. Juan Manuel Cueva Lovelle, Dr. Begoña Cristina Pelayo García-Bustelo and Dr. Oscar Sanjuán Martínez), IGI Global, 2013 [Book]

2012

[5] A model-driven approach for processing complex events, I. Dávid. CoRR, abs/1204.2203, Student Forum of the Ninth European Dependable Computing Conference - EDCC 2012, Sibiu, Romania, 2012 [Proceedings] [pdf]

[4] On the relation of cluster stability and early classifiability of time series, I. Dávid, K. Buza. 36th Annual Conference of the German Classification Society on Data Analysis, Machine Learning and Knowledge Discovery, p. 91, Hildesheim, Germany, 2012 [Proceedings]

[3] Modellalapú fejlesztési módszer komplex események feldolgozásához (Hungarian only), I. Dávid. Mesterpróba Tudományos Konferencia, pp. 1-4, 2012, Budapest, Hungary [Proceedings]

Conferences of the Scientific Students' Associations (Hungary)

2011

[2] Modellalapú fejlesztési módszer komplex események feldolgozásához (Hungarian only), I. Dávid-. National Conference of Scientific Students’ Associations, 2011. (2nd Prize of the "Computer Science" section) [pdf]

2009

[1] Testreszabható modelltranszformációk (Hungarian only), I. Dávid. BUTE Conference of Scientific Students’ Associations, 2009 [pdf]

Theses

Complex Event Processing In Model Transformation Systems, I. Dávid. MSc thesis. Supervisor: I. Ráth. 2014.

Eseményfeldolgozás modell alapú támogatása (Hungarian only), I. Dávid. MSc thesis. Supervisor: L. Gönczy. 2012.

Szolgáltatásorientált rendszerek rugalmas, modelltranszformáció alapú fejlesztése (Hungarian only), I. Dávid. BSc thesis. Supervisor: L. Gönczy. 2010.