Key recent publications
▸K. Dagenais and I. David. “Opinion-Guided Reinforcement Learning“. [Preprint] [bib]
▸X. Liu and I. David. “AI Simulation by Digital Twins: Systematic Survey of the State of the Art and a Reference Framework“. In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C. 1st International Conference on Engineering Digital Twins (EDTConf). ACM, 2024. 10.1145/3652620.3688253. [Preprint] [bib]
▸R. Manellanga and I. David. “Participatory and Collaborative Modeling of Sustainable Systems: A Systematic Review“. In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C. ACM, 2024. 10.1145/3652620.3688557. [Preprint] [bib]
▸I. David, G. Shao, C. Gomes, D. Tilbury, and B. Zarkout. “Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions“. International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (ISoLA). 2024. 10.1007/978-3-031-75390-9_3. [Preprint] [bib]
▸E. Syriani, I. David, and G. Kumar. “Screening Articles for Systematic Reviews with ChatGPT“. In: Journal of Computer Languages. 2024. 10.1016/j.cola.2024.101287. [Preprint] [bib]
▸I. David, P. Archambault, Q. Wolak, V. Vu, T. Lalonde, K. Riaz, E. Syriani, and H. Sahraoui. “Digital Twins for Cyber-Biophysical Systems: Challenges and Lessons Learned“. 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS). 2023, pp. 1–12. 10.1109/MODELS58315.2023.00014. [Preprint] [bib] – Best Paper Award
Complete list of publications
| ID | Year | Type | Type-code | Publication |
|---|---|---|---|---|
| 1 | 2009 | Tech. report | 0 | I. David. "Testreszabható modelltranszformációk". In: BUTE Conference of Scientific Students’ Associations. Available in Hungarian only. 2009. [Paper] |
| 2 | 2011 | Tech. report | 0 | I. David. "Modellalapú fejlesztési módszer komplex események feldolgozásához". In: National Conference of Scientific Students’ Associations. Available in Hungarian only. 2011. (2nd Prize of the “Computer Science” section.) [Paper] |
| 3 | 2012 | Conference proceedings | 4 | I. David. "Modellalapú fejlesztési módszer komplex események feldolgozásához". In: Mesterpróba Tudományos Konferencia. Available in Hungarian only. HTE/MTA-TTB/IEEE-Hungary. 2012, pp. 1–4. |
| 4 | 2012 | Abstracts and posters | 1 | I. David and K. Buza. "On the relation of cluster stability and early classifiability of time series". In: 36th Annual Conference of the German Classification Society on Data Analysis, Machine Learning and Knowledge Discovery. 2012, p. 91. [Abstract] [bib] |
| 5 | 2012 | Other peer-reviewed | 3 | I. David. "A model-driven approach for processing complex events". In: Fast Abstracts & Student Forum Proceedings of the Ninth European Dependable Computing Conference (EDCC 2012). Vol. abs/1204.2203. arXiv, 2012. [Paper] [bib] |
| 6 | 2013 | Book chapter | 5 | I. David and L. Gönczy. "Ontology-Supported Design of Domain-Specific Languages: A Complex Event Processing Case Study". In: Advances and Applications in Model-Driven Engineering. IGI Global, 2013. [bib] |
| 7 | 2014 | Conference proceedings | 4 | I. David, I. Ráth, and D. Varró. "Streaming Model Transformations By Complex Event Processing". In: Model-Driven Engineering Languages and Systems – 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings. Vol. 8767. Lecture Notes in Computer Science. Springer, 2014, pp. 68–83. (Acceptance rate: 26%. Invited for submission to MODELS14 Special Issue in SoSyM.) [Preprint] [bib] |
| 8 | 2015 | Conference proceedings | 4 | G . Bergmann, I. David, Á. Hegedüs, Á. Horváth, I. Ráth, Z. Ujhelyi, and D. Varró. "VIATRA 3: A Reactive Model Transformation Platform". In: Theory and Practice of Model Transformations – 8th International Conference, ICMT@STAF 2015, L’Aquila, Italy, July 20-21, 2015. Proceedings. Vol. 9152. Lecture Notes in Computer Science. Springer, 2015, pp. 101–110. [Preprint] [bib] |
| 9 | 2015 | Other peer-reviewed | 3 | I. David, J. Denil, and H. Vangheluwe. "Towards Inconsistency Management by Process-Oriented Dependency Modeling". In: Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, GEMOC+MPM@MoDELS 2015, Ottawa, Canada, September 28, 2015. Vol. 1511. CEUR Workshop Proceedings. CEUR-WS.org, 2015, pp. 32–41. [Preprint] [bib] |
| 10 | 2015 | Tech. report | 0 | I. David, J. Denil, and H. Vangheluwe. "Patterns of inconsistency management in mechatronics – A survey". Tech. rep. http://msdl.cs.mcgill.ca/people/istvan/pub/icm-patterns-techreport. University of Antwerp, Belgium, 2015. [Report] [bib] |
| 11 | 2016 | Abstracts and posters | 1 | L. Balogh, I. David, I. Ráth, D. Varró, and A. Vörös. "Distributed and heterogeneous event-based monitoring in smart cyber-physical systems". In: 1st Workshop on Monitoring and Testing of Cyber-Physical Systems, Vienna, Austria. 2016 [Preprint] [poster] [bib] |
| 12 | 2016 | Other peer-reviewed | 3 | K. Vanherpen, J. Denil, I. David, P. De Meulenaere, P. J. Mosterman, M. Törngren, A. Qamar, and H. Vangheluwe. "Ontological reasoning for consistency in the design of cyber-physical systems". In: 1st International Workshop on Cyber-Physical Production Systems, CPPS@CPSWeek 2016, Vienna, Austria, April 12, 2016. IEEE Computer Society, 2016, pp. 1–8. [Preprint] [bib] |
| 13 | 2016 | Conference proceedings | 4 | B. Meyers, J. Denil, I. David, and H. Vangheluwe. "Automated testing support for reactive domain-specific modelling languages". In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 – November 1, 2016. ACM, 2016, pp. 181–194. [bib] |
| 14 | 2016 | Other peer-reviewed | 3 | I. David. "A Multi-Paradigm Modeling Foundation for Collaborative Multi-view Model/System Development". In: Proceedings of the ACM Student Research Competition at MODELS 2016 co-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), St. Malo, France, October 3-4, 2016. Vol. 1775. CEUR Workshop Proceedings. CEUR-WS.org, 2016. [Preprint] [poster] [bib] |
| 15 | 2016 | Other peer-reviewed | 3 | I. David, J. Denil, K. Gadeyne, and H. Vangheluwe. "Engineering Process Transformation to Manage (In)consistency". In: Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), St. Malo, France, October 4, 2016. Vol. 1717. CEUR Workshop Proceedings. CEUR-WS.org, 2016, pp. 7–16. [Preprint] [bib] |
| 16 | 2016 | Other peer-reviewed | 3 | I. David, E. Syriani, C. Verbrugge, D. Buchs, D. Blouin, A. Cicchetti, and K. Vanherpen. "Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies". In: Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), St. Malo, France, October 4, 2016. Vol. 1717. CEUR Workshop Proceedings. CEUR-WS.org, 2016, pp. 35–44. [Preprint] [bib] |
| 17 | 2017 | Other peer-reviewed | 3 | I. David, B. Meyers, K. Vanherpen, Y. Van Tendeloo, K. Berx, and H. Vangheluwe. "Modeling and Enactment Support for Early Detection of Inconsistencies in Engineering Processes". In: Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017. Vol. 2019. CEUR Workshop Proceedings. CEUR-WS.org, 2017, pp. 145–154. [Preprint] [bib] |
| 18 | 2018 | Journal article | 6 | I. David, I. Ráth, and D. Varró. "Foundations for Streaming Model Transformations by Complex Event Processing". In: Softw. Syst. Model. 17.1 (2018), pp. 135–162. [Open access] [bib] |
| 19 | 2018 | Conference proceedings | 4 | S. Van Mierlo, Y. Van Tendeloo, I. David, B. Meyers, A. Gebremichael, and H. Vangheluwe. "A multi-paradigm approach for modelling service interactions in model-driven engineering processes". In: Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, SpringSim (Mod4Sim) 2018, Baltimore, MD, USA, April 15-18, 2018. ACM, 2018, 6:1–6:12. [Preprint] [bib] |
| 20 | 2018 | Conference proceedings | 4 | I. David, J. Denil, and H. Vangheluwe. "Process-oriented Inconsistency Management in Collaborative Systems Modeling". In: 16th International Industrial Simulation Conference 2018, ISC 2018. Eurosis, 2018, pp. 54–61. [Preprint] [bib] |
| 21 | 2018 | Conference proceedings | 4 | I. David, H. Vangheluwe, and Y. Van Tendeloo. "Translating Engineering Workflow Models to DEVS for Performance Evaluation". In: 2018 Winter Simulation Conference (WSC). ACM, 2018, pp. 616–627. [Preprint] [bib] |
| 22 | 2019 | PhD Thesis | 0 | I. David. "A Foundation for Inconsistency Management in Model-Based Systems Engineering". PhD thesis. University of Antwerp, Belgium, July 2019. [pdf] [presentation] [bib] |
| 23 | 2021 | Conference proceedings | 4 | I. David, K. Aslam, S. Faridmoayer, I. Malavolta, E. Syriani, and P. Lago. "Collaborative Model-Driven Software Engineering: A Systematic Update". In: 24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021. IEEE, 2021, pp. 273–284. 10.1109/MODELS50736.2021.00035 (Acceptance rate: 22.2%.) [Preprint] [bib] |
| 24 | 2021 | Editorial | 2 | I. David, E. Syriani, and A. Garcia-Dominguez. "Preface to the 1st International Hands-on Workshop on Collaborative Modeling (HoWCoM 2021)". In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion, Fukuoka, Japan, October 10-15, 2021. IEEE, 2021, pp. 1–2. [bib] |
| 25 | 2021 | Other peer-reviewed | 3 | B. Karaduman, I. David, and M. Challenger. "Modeling the Engineering Process of an Agent-based Production System: An Exemplar Study". In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion. IEEE, 2021, pp. 296–305. [bib] |
| 26 | 2021 | Other peer-reviewed | 3 | I. David, J. Galasso, and E. Syriani. "Inference of Simulation Models in Digital Twins by Reinforcement Learning". In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion. IEEE, 2021, pp. 221–224. [Preprint] [bib] |
| 27 | 2021 | Journal article | 6 | E. Syriani, D. Riegelhaupt, B. Barroca, and I. David. "Generation of Custom Textual Model Editors". In: Modelling 2.4 (2021), pp. 609–625. [Open access] [bib] |
| 28 | 2021 | Journal article | 6 | I. Malavolta, T. A. Ghaleb, I. David, J. van Rooijen, and M. Stoelinga. "Engineering Mobile Apps for Disaster Management: The Case of COVID-19 Apps in the Google Play Store". In: IEEE Software (2021). 10.1109/MS.2021.3129978 [Preprint] [bib] |
| 29 | 2022 | Journal article | 6 | I. David, M. Latifaj, J. Pietron, W. Zhang, F. Ciccozzi, I. Malavolta, A. Raschke, J.P. Steghöfer, and R. Hebig. "Blended Modeling in Commercial and Open-source Model-Driven Software Engineering Tools: A Systematic Study". In: Soft. Syst. Model. 2022. 10.1007/s10270-022-01010-3 [Preprint] [bib] |
| 30 | 2022 | Conference proceedings | 4 | I. David and E. Syriani. "DEVS Model Construction as a Reinforcement Learning Problem". In: 2022 Annual Modeling and Simulation Conference (ANNSIM). IEEE, 2022, pp. 30–41. 10.23919/ANNSIM55834.2022.9859369 [Preprint] [bib] |
| 31 | 2022 | Conference proceedings | 4 | I. David, E. Syriani, and C. Masson. "Extensible Conflict-Free Replicated Datatypes for Real-time Collaborative Software Engineering". In: Proceedings of the 17th Conference on Computer Science and Intelligence Systems (FedCSIS), pp. 849-853. IEEE, 2022. https://doi.org/10.15439/2022F99 [Preprint] [bib] |
| 32 | 2022 | Journal article | 6 | I. David and E. Syriani. "Real-time Collaborative Multi-Level Modeling by Conflict-Free Replicated Data Types". In: Soft. Syst. Model. 2022. 10.1007/s10270-022-01054-5 [Preprint] [bib] |
| 33 | 2022 | Journal article | 6 | F. Khan, I. David, D. Varro, and S. McIntosh. "Code Cloning in Smart Contracts on the Ethereum Platform: An Extended Replication Study". In: IEEE Transactions on Software Engineering, vol. 49, no. 4, pp. 2006-2019. 1 April 2023. 10.1109/TSE.2022.3207428 [Preprint] [bib] |
| 34 | 2023 | Journal article | 6 | I. David, K. Aslam, I. Malavolta, and P. Lago. "Collaborative Model-Driven Software Engineering – A Systematic Survey of Practices and Needs in Industry". In: Journal of Systems and Software, vol. 199, 111626. 2023. 10.1016/j.jss.2023.111626 [Preprint] [bib] |
| 35 | 2023 | Conference proceedings | 4 | I. David, V. Sousa, and E. Syriani. "Opportunities in Robotic Process Automation by and for Model-Driven Software Engineering". In: Enterprise, Business-Process and Information Systems Modeling - 24th International Conference, BPMDS 2023 and 28th International Conference, EMMSAD 2023, Held at CAiSE 2023, Zaragoza, Spain, June 12--13, 2023, Proceedings. LNBIP. Springer. 2023. 10.1007/978-3-031-34241-7_20 [Preprint] [bib] |
| 36 | 2023 | Abstracts and posters | 1 | P. Archambault, I. David, E. Syriani, and H. Sahraoui. "Co-Simulation For Controlled Environment Agriculture". In: 2023 Annual Modeling and Simulation Conference (ANNSIM). 2023. [Paper] [bib] |
| 37 | 2023 | Conference proceedings | 4 | I. David, P. Archambault, Q. Wolak, V. Vu, T. Lalonde, K. Riaz, E. Syriani, and H. Sahraoui. "Digital Twins for Cyber-Biophysical Systems: Challenges and Lessons Learned". 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS). 2023, pp. 1–12. DOI: 10.1109/MODELS58315.2023.00014. [Preprint] [bib] – Best Paper Award |
| 38 | 2023 | Journal article | 6 | I. David, H. Vangheluwe, and E. Syriani. "Model Consistency as a Heuristic for Eventual Correctness". In: Journal of Computer Languages. 2023. 10.1016/j.cola.2023.101223 [Preprint] [bib] |
| 39 | 2024 | Book chapter | 5 | I. David and E. Syriani. "Automated Inference of Simulators in Digital Twins". In: Handbook of Digital Twins. 1st Edition. Chapter 8. CRC Press. 2024. 10.1201/9781003425724-11 [Preprint] [bib] |
| 40 | 2023 | Tech. report | 0 | E. Syriani, I. David, and G. Kumar. "Assessing the Ability of ChatGPT to Screen Articles for Systematic Reviews". [Report] [bib] |
| 41 | 2023 | Book chapter | 5 | B. J. Oakes, A. Parsai, B. Meyers, I. David, S. Van Mierlo, S. Demeyer, J. Denil, P. De Meuleneare, and H. Vangheluwe. "A Digital Twin Description Framework and its Mapping to Asset Administration Shell". In: Model-Driven Engineering and Software Development. Springer (2022). 10.1007/978-3-031-38821-7_1 [Preprint] [bib] |
| 42 | 2023 | Editorial | 2 | I. David, E. Syriani, and A. Garcia-Dominguez. "2nd International Hands-On Workshop on Collaborative Modeling (HoWCoM 2023)". In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 2023, pp. 765-766, DOI: 10.1109/MODELS-C59198.2023.00123 |
| 43 | 2023 | Editorial | 2 | L. Iovino, I. David, and D.E. Khelladi. "17th International Workshop on Models and Evolution Special Theme: Sustainability (ME 2023)". In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 2023, pp. 911-913, DOI: 10.1109/MODELS-C59198.2023.00143 |
| 44 | 2023 | Other peer-reviewed | 3 | I. David and D. Bork. "Towards a Taxonomy of Digital Twin Evolution for Technical Sustainability". In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C. IEEE, 2023, pp. 934-938, DOI: 10.1109/MODELS-C59198.2023.00147. [Preprint] [bib] |
| 45 | 2023 | Tech. report | 0 | I. David. "SusDevOps: Promoting Sustainability to a First Principle in Software Delivery". https://arxiv.org/abs/2312.14843 [bib] |
| 46 | 2024 | Journal article | 6 | I. David, D. Bork, and G. Kappel. "Circular Systems Engineering". In: Soft. Syst. Model. 2024. 10.1007/s10270-024-01154-4 [Preprint] [bib] |
| 47 | 2024 | Conference proceedings | 4 | I. David and D. Bork. "Infonomics of Autonomous Digital Twins". Advanced Information Systems Engineering. Vol 14663. LNCS. Springer. 2024. pp 563-578. 10.1007/978-3-031-61057-8_33. [Preprint] [bib] |
| 48 | 2024 | Other peer-reviewed | 3 | J. Michael, I. David, and D. Bork. "Digital Twin Evolution for Sustainable Smart Ecosystems". In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C. ACM, 2024, pp. 1061–1065. 10.1145/3652620.3688343 [Preprint] [bib] |
| 49 | 2024 | Journal article | 6 | D. Bork, I. David, S. Espana, G. Guizzardi, H. Proper, and I. Reinhartz-Berger. "The Role of Modeling in the Analysis and Design of Sustainable Systems: A Panel Report". Communications of the Association for Information Systems (54). 2024. https://aisel.aisnet.org/cais/vol54/iss1/41 [Preprint] [bib] |
| 50 | 2024 | Tech. report | 0 | K. Dagenais and I. David. "Opinion-Guided Reinforcement Learning". [Preprint] [bib] |
| 51 | 2024 | Journal article | 6 | E. Syriani, I. David, and G. Kumar. "Screening Articles for Systematic Reviews with ChatGPT". In: Journal of Computer Languages. 2024. 10.1016/j.cola.2024.101287 [Preprint] [bib] |
| 52 | 2024 | Conference proceedings | 4 | I. David, G. Shao, C. Gomes, D. Tilbury, and B. Zarkout. "Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions". International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (ISoLA), 2024, pp. 27-46. 10.1007/978-3-031-75390-9_3 [Preprint] [bib] |
| 53 | 2024 | Other peer-reviewed | 3 | R. Manellanga and I. David. "Participatory and Collaborative Modeling of Sustainable Systems: A Systematic Review". In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C. ACM, 2024, pp. 645–654. 10.1145/3652620.3688557 [Preprint] [bib] |
| 54 | 2024 | Other peer-reviewed | 3 | K. Dagenais and I. David. "Driving Requirements Evolution by Engineers' Opinions". In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C. ACM, 2024, pp. 920–929. 10.1145/3652620.3688566 [Preprint] [bib] |
| 55 | 2024 | Conference proceedings | 4 | X. Liu and I. David. "AI Simulation by Digital Twins: Systematic Survey of the State of the Art and a Reference Framework". In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C. 1st International Conference on Engineering Digital Twins (EDTConf). ACM, 2024. 10.1145/3652620.3688253 [Preprint] [bib] |
| 56 | 2024 | Editorial | 2 | I. David, A. Gutschmidt, and L. Marchezan. "Preface to the International Workshop on Collaborative and Participatory Modeling (CoPaMo) 2024". In: 2024 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). ACM, 2024. [Preprint] |
| 57 | 2024 | Editorial | 2 | I. David, D. Bork, and J. Michael. "Preface to the 1st International Workshop on Sustainability and Modeling (SusMod) 2024". In: 2024 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). ACM, 2024. [Preprint] |
| 58 | 2024 | Tech. report | 0 | M. Ben Chaaben, L. Burgueño, I. David, and H. Sahraoui. "On the Utility of Domain Modeling Assistance with Large Language Models". [Preprint] [bib] |
| 59 | 2024 | Abstracts and posters | 1 | I. David. "Sustainable Systems by Sustainable Methods: A conceptual framework". In: 1st International Workshop on Low Carbon Computing (LOCO). 2024. [Abstract] [bib] |