<figure><img src="image_24.png" /><figcaption>Fig. 18 Execution times of YAMTL solutions</figcaption></figure>

## References

1. Abadi, D.: Data partitioning. In: Liu, L., Özsu, M.T. (eds.) Encyclopedia of Database Systems, 2nd edn. Springer, Berlin (2018). https://doi.org/10.1007/978-1-4614-8265-9_688

2. Acar, U.A.: Self-adjusting computation. Ph.D. thesis, Carnegie Mellon University, Pittsburgh, USA (2005)

3. Acar, U.A.: Self-adjusting computation (an overview). In: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pp. 1–6. ACM (2009)

4. Aho, A.V., Ullman, J.D.: The universality of data retrieval languages. In: POPL, pp. 110–120. ACM Press (1979). https://doi.org/10.1145/567752.567763

5. Angles, R., Antal, J.B., Averbuch, A., Boncz, P.A., Erling, O., Gubichev, A., Haprian, V., Kaufmann, M., Larriba-Pey, J., Martínez-Bazan, N., Marton, J., Paradies, M., Pham, M., Prat-Pérez, A., Spasic, M., Steer, B.A., Szárnyas, G., Waudby, J.: The LDBC social network benchmark. CoRR arXiv:2001.02299 (2020)

6. Anjorin, A., Buchmann, T., Westfechtel, B., Diskin, Z., Ko, H., Eramo, R., Hinkel, G., Samimi-Dehkordi, L., Zündorf, A.: Benchmarking bidirectional transformations: theory, implementation, application, and assessment. Softw. Syst. Model. 19(3), 647–691 (2020). https://doi.org/10.1007/s10270-019-00752-x

7. Bainomugisha, E., Carreton, A.L., Cutsem, Tv., Mostinckx, S., Meuter, Wd.: A survey on reactive programming. ACM Comput. Surv. 45(4), 521–5234 (2013). https://doi.org/10.1145/2501654.2501666

8. Barmpis, K., García-Domínguez, A., Bagnato, A., Abherve, A.: Monitoring model analytics over large repositories with Hawk and MEASURE. In: Model Management and Analytics for Large Scale Systems, pp. 87–123. Academic Press (2020). https://doi.org/10.1016/B978-0-12-816649-9.00014-4. http://www.sciencedirect.com/science/article/pii/B9780128166499000144

9. Beaudoux, O., Blouin, A., Barais, O., Jézéquel, J.: Active operations on collections. In: Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3–8, 2010, Proceedings, Part I. Lecture Notes in Computer Science, vol. 6394, pp. 91–105. Springer (2010)

10. Bergmann, G., Horváth, Á., Ráth, I., Varró, D.: A benchmark evaluation of incremental pattern matching in graph transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings, Lecture Notes in Computer Science, vol. 5214, pp. 396–410. Springer (2008). https://doi.org/10.1007/978-3-540-87405-8_27

11. Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z., Ökrös, A.: Incremental evaluation of model queries over EMF models. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3–8, 2010, Proceedings, Part I, Lecture Notes in Computer Science, vol. 6394, pp. 76–90. Springer (2010). https://doi.org/10.1007/978-3-642-16145-2_6

12. Besnard, V., Jouault, F., Calvar, T.L., Tisi, M.: The TTC 2018 Social Media Case, by ATL and AOF. In: Garcia-Dominguez, A., Hinkel, G., Krikava, F. (eds.) Proceedings of the 11th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences, CEUR Workshop Proceedings. CEUR-WS.org (2018)

13. Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing, Birmingham (2013)

14. Blakeley, J.A., Larson, P., Tompa, F.W.: Efficiently updating materialized views. In: SIGMOD, pp. 61–71. ACM Press (1986). https://doi.org/10.1145/16894.16861

15. Bögeholz, H., Brand, M., Todor, R.: In-database connected component analysis. In: ICDE, pp. 1525–1536. IEEE (2020). https://doi.org/10.1109/ICDE48307.2020.00135

16. Boronat, A.: Expressive and efficient model transformation with an internal DSL of Xtend. In: Proceedings of the 21th ACM/IEEE International Conference on MoDELS, pp. 78–88. ACM (2018)

17. Boronat, A.: YAMTL solution to the TTC 2018 social media case. In: Garcia-Dominguez, A., Hinkel, G., Krikava, F. (eds.) Proceedings of the 11th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences, CEUR Workshop Proceedings. CEUR-WS.org (2018)

18. Boronat, A.: Incremental execution of rule-based model transformation. Int. J. Softw. Tools Technol. Transf. (2020). https://doi.org/10.1007/s10009-020-00583-y

19. Brucker, A.D., Clark, T., Dania, C., Georg, G., Gogolla, M., Jouault, F., Teniente, E., Wolff, B.: Panel discussion: proposals for improving OCL. In: Proceedings of the 14th International Workshop on OCL and Textual Modelling, CEUR Workshop Proceedings, vol. 1285, pp. 83–99 (2014)
20. Buluç, A., Mattson, T., McMillan, S., Moreira, J.E., Yang, C.: Design of the GraphBLAS API for C. In: GABB at IPDPS, pp. 643–652. IEEE Computer Society (2017). https://doi.org/10.1109/IPDPSW.2017.117

21. Burckhardt, S., Leijen, D., Sadowski, C., Yi, J., Ball, T.: Two for the price of one: a model for parallel and incremental computation. SIGPLAN Not. 46(10), 427–444 (2011). https://doi.org/10.1145/2076021.2048101

22. Calvar, T.L., Chhel, F., Jouault, F., Saubion, F.: Using process algebra to statically analyze incremental propagation graphs. In: Hebig, R., Berger, T. (eds.) Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMITMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MOdeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October 14, 2018, CEUR Workshop Proceedings, vol. 2245, pp. 160–173. CEUR-WS.org (2018)

23. Calvar, T.L., Jouault, F., Chhel, F., Clavreul, M.: Efficient ATL incremental transformations. J. Object Technol. 18(3), 2:1-17 (2019). https://doi.org/10.5381/jot.2019.18.3.a2

24. Chirkova, R., Yang, J.: Materialized views. Found. Trends Databases 4(4), 295–405 (2012). https://doi.org/10.1561/1900000020

25. Davis, T.A.: Algorithm 1000: SuiteSparse:GraphBLAS: graph algorithms in the language of sparse linear algebra. ACM Trans. Math. Softw. 45(4), 44:1-44:25 (2019). https://doi.org/10.1145/3322125

26. Dong, G., Su, J.: Incremental maintenance of recursive views using relational calculus/SQL. SIGMOD Rec. 29(1), 44–51 (2000). https://doi.org/10.1145/344788.344808

27. Elekes, M., Antal, J.B., Szárnyas, G.: An analysis of the SIGMOD 2014 programming contest: complex queries on the LDBC social network graph. CoRR arXiv:2010.12243 (2020)

28. Elekes, M., Szárnyas, G.: An incremental GraphBLAS solution for the 2018 TTC Social Media case study. In: GrAPL at IPDPS, pp. 203–206. IEEE (2020). https://doi.org/10.1109/IPDPSW50202.2020.00045

29. Elekes, M., Szárnyas, G.: Incremental view maintenance in graph databases: a case study in Neo4j. In: Proceedings of the 27th PhD mini-symposium. Budapest University of Technology and Economics, Department of Measurement and Information Systems (2020). http://docs.inf.mit.bme.hu/paper-minisy20-elekes/elekes.pdf

30. Erling, O., Averbuch, A., Larriba-Pey, J., Chafi, H., Gubichev, A., Prat-Pérez, A., Pham, M., Boncz, P.A.: The LDBC social network benchmark: interactive workload. In: SIGMOD, pp. 619–630 (2015). https://doi.org/10.1145/2723372.2742786

31. Fan, W., Hu, C., Tian, C.: Incremental graph computations: doable and undoable. In: SIGMOD, pp. 155–169. ACM (2017). https://doi.org/10.1145/3035918.3035944

32. Forgy, C.L.: Rete: a fast algorithm for the many pattern/many object pattern match problem. Artif. Intell. 19(1), 17–37 (1982)

33. Francis, N., et al.: Cypher: an evolving query language for property graphs. In: SIGMOD, pp. 1433–1445. ACM (2018). https://doi.org/10.1145/3183713.3190657

34. García-Dominguez, A.: Hawk solutions to the TTC 2018 Social Media Case. In: García-Dominguez, A., Hinkel, G., Krikava, F. (eds.) Proceedings of the 11th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2018) Federation of Conferences, CEUR Workshop Proceedings. CEUR-WS.org (2018)

35. García-Dominguez, A., Hinkel, G., Krikava, F. (eds.): Proceedings of the 11th Transformation Tool Contest, Co-located with the 2018 Software Technologies: Applications and Foundations, TTC@STAF 2018, Toulouse, France, June 29, 2018, CEUR Work-

shop Proceedings, vol. 2310. CEUR-WS.org (2019). http://ceur-ws.org/Vol-2310

36. Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8(1), 21–43 (2009). https://doi.org/10.1007/s10270-008-0089-9

37. Green, A., et al.: Updating graph databases with Cypher. PVLDB (2019). https://doi.org/10.14778/3352063.3352139. http://www.vldb.org/pvldb/vol12/p2242-green.pdf

38. Griffin, T., Kumar, B.: Algebraic change propagation for semijoin and outerjoin queries. SIGMOD Rec. 27(3), 22–27 (1998). https://doi.org/10.1145/290593.290597

39. Gupta, A., Mumick, I.S., et al.: Maintenance of materialized views: problems, techniques, and applications. IEEE Data Eng. Bull. 18(2), 3–18 (1995)

40. Hammer, M.A., Dunfield, J., Headley, K., Labich, N., Foster, J.S., Hicks, M., Van Horn, D.: Incremental computation with names. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 748–766. ACM (2015)

41. Hammer, M.A., Phang, K.Y., Hicks, M., Foster, J.S.: Adapton: composable, demand-driven incremental computation. SIGPLAN Not. 49(6), 156–166 (2014). https://doi.org/10.1145/2666356.2594324

42. Hartmann, T., Fouquet, F., Jimenez, M., Rouvoy, R., Traon, Y.L.: Analyzing complex data in motion at scale with temporal graphs, pp. 596–601 (2017). https://doi.org/10.18293/SEKE2017-048. http://ksiresearchorg.ipage.com/seke/seke17paper/seke17paper_48.pdf

43. Hedin, G.: Reference attributed grammars. Informatica 24(3), 301 (2000)

44. Hedin, G., Magnusson, E.: JastAdd: an aspect-oriented compiler construction system. Sci. Comput. Program. 47, 37–58 (2003)

45. Hinkel, G.: NMF: A Modeling Framework for the .NET Platform. Technical report, Karlsruhe Institute of Technology, Karlsruhe (2016). http://nbn-resolving.org/urn:nbn:swb:90-537082

46. Hinkel, G.: Implicit incremental model analyses and transformations. Ph.D. thesis, Karlsruhe Institute of Technology (2017)

47. Hinkel, G.: An NMF solution to the Smart Grid case at the TTC 2017. In: García-Dominguez, A., Hinkel, G., Krikava, F. (eds.) Proceedings of the 10th Transformation Tool Contest (TTC 2017), Co-located with the 2017 Software Technologies: Applications and Foundations (STAF 2017), Marburg, Germany, July 21, 2017, CEUR Workshop Proceedings, vol. 2026, pp. 13–17. CEUR-WS.org (2017). http://ceur-ws.org/Vol-2026/paper5.pdf

48. Hinkel, G.: The TTC 2017 outage system case for incremental model views. In: Garcia-Dominguez, A., Hinkel, G., Krikava, F. (eds.) Proceedings of the 10th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2017) Federation of Conferences, CEUR Workshop Proceedings. CEUR-WS.org (2017)

49. Hinkel, G.: An NMF solution to the TTC 2018 Social Media Case. In: Garcia-Dominguez, A., Hinkel, G., Krikava, F. (eds.) Proceedings of the 11th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2018) Federation of Conferences, CEUR Workshop Proceedings. CEUR-WS.org (2018)

50. Hinkel, G.: NMF: a multi-platform modeling framework. In: Rensink, A., Cuadrado, J.S. (eds.) Theory and Practice of Model Transformations: 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–29, 2018. Proceedings. Springer (2018)

51. Hinkel, G.: The TTC 2018 social media case. In: García-Dominguez, A., Hinkel, G., Krikava, F. (eds.) Proceedings of the 11th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2018) Federation
of Conferences, CEUR Workshop Proceedings. CEUR-WS.org (2018)

52. Hinkel, G., Happe, L.: An NMF solution to the TTC train benchmark case. In: Rose, L., Horn, T., Krikava, F. (eds.) Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2015) Federation of Conferences, CEUR Workshop Proceedings, vol. 1524, pp. 142–146. CEUR-WS.org (2015)

53. Jouault, F., Beaudoux, O.: On the use of active operations for incremental bidirectional evaluation of OCL. In: Proceedings of the 15th International Workshop on OCL and Textual Modeling, CEUR Workshop Proceedings, vol. 1512, pp. 35–45. Ottawa, Canada (2015)

54. Jouault, F., Beaudoux, O.: Efficient OCL-based incremental transformations. In: Proceedings of the 16th International Workshop in OCL and Textual Modeling, CEUR Workshop Proceedings, vol. 1756, pp. 121–136. Saint-Malo, France (2016)

55. Jouault, F., Kurtev, I.: Transforming models with ATL. In: Proceedings of the Model Transformations in Practice Workshop at MoDELS 2005, vol. Satellite, pp. 128–138. Springer (2005)

56. Jouault, F., Tisi, M.: Towards incremental execution of atl transformations. In: Tratt, L., Gogolla, M. (eds.) Theory and Practice of Model Transformations, pp. 123–137. Springer, Berlin (2010)

57. Kepner, J., Aaltonen, P., Bader, D.A., Buluç, A., Franchetti, F., Gilbert, J.R., Hutchison, D., Kumar, M., Lumsdaine, A., Meyerhenke, H., McMillan, S., Yang, C., Owens, J.D., Zalewski, M., Mattson, T.G., Moreira, J.E.: Mathematical foundations of the GraphBLAS. In: HPEC, pp. 1–9 (2016). https://doi.org/10.1109/HPEC.2016.7761646

58. Kepner, J., Gilbert, J.R. (eds.): Graph Algorithms in the Language of Linear Algebra, Software, Environments, Tools, vol. 22. SIAM (2011). https://doi.org/10.1137/1.9780898719918

59. Klabnik, S., Nichols, C.: The Rust Programming Language. No Starch Press, San Francisco (2018)

60. Knuth, D.E.: Semantics of context-free languages. Math. Syst. Theory 2(2), 127–145 (1968). https://doi.org/10.1007/BF01692511

61. Kolovos, D.S., Paige, R.F., Polack, F.: The epsilon object language (EOL). In: Model Driven Architecture: Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10–13, 2006, Proceedings, pp. 128–142 (2006). https://doi.org/10.1007/11787044_11

62. Magnusson, E., Hedin, G.: Circular reference attributed grammars: their evaluation and applications. Sci. Comput. Program. 68(1), 21–37 (2007)

63. Martínez, S., Tisi, M., Douence, R.: Reactive model transformation with atl. Sci. Compute. Program. 136, 1–16 (2017). https://doi.org/10.1016/j.scico.2016.08.006

64. Mattson, T., Davis, T.A., Kumar, M., Buluç, A., McMillan, S., Moreira, J.E., Yang, C.: LAGraph: a community effort to collect graph algorithms built on top of the GraphBLAS. In: GrAPL at IPDPS, pp. 276–284 (2019). https://doi.org/10.1109/IPDPSW.2019.00053

65. McSherry, F., Murray, D.G., Isaacs, R., Isard, M.: Differential dataflow. In: CIDR (2013). http://cidrdb.org/cidr2013/Papers/CIDR13_Paper111.pdf

66. Mey, J., Kühn, T., Schöne, R., Aßmann, U.: Reusing static analysis across different domain-specific languages using reference attribute grammars. Art Sci. Eng. Program. (2020). https://doi.org/10.22152/programming-journal.org/2020/4/15

67. Mey, J., Schöne, R., Hedin, G., Söderberg, E., Kühn, T., Fors, N., Öqvist, J., Aßman, U.: Continuous model validation using reference attribute grammars. In: Proceedings of the 11th International Conference on Software Language Engineering (2018)

68. Monge, A.E., Elkan, C.: An efficient domain-independent algorithm for detecting approximately duplicate database records. In: DMKD (1997)

69. Murray, D.G., McSherry, F., Isaacs, R., Isard, M., Barham, P., Abadi, M.: Naiad: a timely dataflow system. In: SIGOPS, pp. 439–455. ACM (2013). https://doi.org/10.1145/2517349.2522738

70. Murray, D.G., McSherry, F., Isard, M., Isaacs, R., Barham, P., Abadi, M.: Incremental, iterative data processing with timely dataflow. Commun. ACM 59(10), 75–83 (2016). https://doi.org/10.1145/2983551

71. Needham, M., Hodler, A.E.: Graph Algorithms: Practical Examples in Apache Spark and Neo4j. O’Reilly Media, Sebastopol (2019)

72. Feldszus, S., Bürger, J., Strüber, D.: Detecting and preventing power outages in a smart grid using emoflon. In: García-Domínguez, A., Hinkel, G., Krikava, F. (eds.) Proceedings of the 10th Transformation Tool Contest (TTC 2017), Co-located with the 2017 Software Technologies: Applications and Foundations (STAF 2017), Marburg, Germany, July 21, 2017, CEUR Workshop Proceedings, vol. 2026, pp. 19–23. CEUR-WS.org (2017). http://ceur-ws.org/Vol-2026/paper17.pdf

73. Pugh, W., Teitelbaum, T.: Incremental computation via function caching. In: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 315–328. ACM (1989)

74. Raasveldt, M., Mühleisen, H.: DuckDB: an embeddable analytical database. In: SIGMOD, pp. 1981–1984. ACM (2019). https://doi.org/10.1145/3299869.3320212

75. Ramalingam, G., Reps, T.: A categorized bibliography on incremental computation. In: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 502–510. ACM (1993)

76. Reiss, S.P.: An approach to incremental compilation. In: Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, SIGPLAN '84, pp. 144–156. ACM, New York, NY, USA (1984). https://doi.org/10.1145/502874.502889

77. Reps, T.: Optimal-time incremental semantic analysis for syntax-directed editors. In: Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '82, pp. 169–176. ACM, New York, NY, USA (1982). https://doi.org/10.1145/582153.582172

78. Schöne, R., Mey, J.: A JastAdd-based solution to the TTC 2018 social media case. In: Garcia-Domínguez, A., Hinkel, G., Krikava, F. (eds.) Proceedings of the 11th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences, CEUR Workshop Proceedings. CEUR-WS.org (2018)

79. Sebaa, A., Tari, A.: Materialized view maintenance: issues, classification, and open challenges. Int. J. Coop. Inf. Syst. 28(1), 19300011–193000159 (2019). https://doi.org/10.1142/S0218843019300018

80. Sedgewick, R., Wayne, K.: Algorithms, 4th edn. Addison-Wesley, Boston (2011)

81. Szárnyas, G.: Query, analysis, and benchmarking techniques for evolving property graphs of software systems. Ph.D. dissertation, Budapest University of Technology and Economics (2019). http://hdl.handle.net/10890/13133

82. Szárnyas, G., Izsó, B., Ráth, I., Varró, D.: The train benchmark: cross-technology performance evaluation of continuous model queries. Softw. Syst. Model. (2017). https://doi.org/10.1007/s10270-016-0571-8

83. Szárnyas, G., Semeráth, O., Ráth, I., Varró, D.: The TTC 2015 train benchmark case for incremental model validation. In: TTC at STAF, pp. 129–141 (2015). http://ceur-ws.org/Vol-1524/paper2.pdf

84. Tarjan, R.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146–160 (1972)

85. Varró, D., Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z.: Road to a reactive and incremental model transformation
mation platform: three generations of the VIATRA framework. Softw. Syst. Model. 15(3), 609–629 (2016). https://doi.org/10.1007/s10270-016-0530-4

86. Vogt, H.H., Swierstra, S.D., Kuiper, M.F.: Higher order attribute grammars. In: PLDI ’89. ACM, New York, NY, USA (1989). https://doi.org/10.1145/73141.74830

87. Waudby, J., Steer, B.A., Prat-Pérez, A., Szárnyas, G.: Supporting dynamic graphs and temporal entity deletions in the LDBC Social Network Benchmark’s data generator. In: GRADES-NDA at SIGMOD, pp. 8:1–8:8. ACM (2020). https://doi.org/10.1145/3398682.3399165

88. Zhang, Y., Azad, A., Hu, Z.: FastSV: a distributed-memory connected component algorithm with fast convergence. In: PPSC, pp. 46–57. SIAM (2020). https://doi.org/10.1137/1.9781611976137.5

89. Zhao, K., Yu, J.X.: All-in-one: graph processing in RDBMSs revisited. In: SIGMOD, pp. 1165–1180. ACM (2017). https://doi.org/10.1145/3035918.3035943

**Publisher's Note** Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

<figure><img src="image_25.png" /></figure>

**Georg Hinkel** received his B.Sc. and M.Sc. degrees in Computer Science from the Karlsruhe Institute of Technology (KIT), in 2011 and 2014, respectively, and the B.Sc. degree in math in 2012. In 2017, he received his Ph.D. degree on implicit incremental model analyses and transformations from the KIT. Currently, he is a Senior Software Technology Engineer at Tecan Software Competence Center GmbH. His research interest covers model-driven engineering, incremental-

ity and medical robotics. He has organized several international workshops and is a reviewer for multiple international journals. He is the lead developer of NMF and has (co)-authored more than 30 peer-reviewed publications.

<figure><img src="image_26.png" /></figure>

**Dr. Antonio Garcia-Dominguez** is a Lecturer in Computer Science at Aston University (United Kingdom). His main research interests are model-driven engineering and software testing, with an interest on the use of non-relational database technologies and AI approaches to deal with increasingly more complex systems. In addition to over 10 papers in peer-reviewed journals and over 40 papers in conferences and workshops, Antonio is a core contributor in several related open source

projects. Some of these projects include the Eclipse Epsilon model management languages and tools, the MuBPEL mutation testing framework for WS-BPEL, or the Eclipse Hawk model indexing framework.

<figure><img src="image_27.png" /></figure>

**René Schöne** is a research assistant and Ph.D. student at the Chair of Software Technology at Technische Universität Dresden. His research and PhD focuses on the application of reference attribute grammars for models@run.time in self-adaptive systems currently within the domain of smart home. Challenges there include adequate modelling of domains, abstraction of and connection to real hardware devices, and efficient analyses in the presence of frequent model updates.

<figure><img src="image_28.png" /></figure>

**Artur Boronat** is a lecturer at the School of Computing and Mathematical Sciences of the University of Leicester (UK). His research interests revolve around: model-driven engineering and agile software development, applications in healthcare and industry 4.0; application of AI technology and formal methods in the intersection of the two areas above. He obtained his Ph.D. degree from the Universitat Politècnica de València (UPV, Spain) in 2007. He has been a visiting researcher at University

of Illinois at Urbana-Champaign (UIUC, USA) and at Universitat Politècnica de Catalunya (UPC, Spain). He has organized several international workshops and is a reviewer for multiple international journals and funding bodies. He has (co)-authored more than 50 peer-reviewed publications and authored several MDE tools, such as YAMTL for model transformations and EMF-Syncer for agile model-driven engineering.

<figure><img src="image_29.png" /></figure>

**Massimo Tisi** is an associate professor in the Department of Computer Science of the Institut Mines-Telecom Atlantique (IMT Atlantique, Nantes, France), and deputy leader of the NaoMod team, LS2N (UMR CNRS 6004). Since 2019 he coordinates the Lowco-mote Marie Curie European Training Network. He has been visiting researcher at McGill University and the National Institute of Informatics (NII) in Japan, and post-doctoral fellow at Inria. He received his PhD degree in Infor-

mation Engineering at Politecnico di Milano (Italy), where he was a member of the Database and Web Technologies group. His research interests revolve around software and system modeling, domain-specific languages and applied logic. He contributes to the design of the ATL model-transformation language and investigates the application of deductive verification techniques to model-driven engineering.
<figure><img src="image_30.png" /></figure>

**Théo Le Calvar** is an associate professor at IMT-Atlantique (France). He received his PhD in Computer Sciences from the University of Angers in France in 2019. He worked as a postdoc in the ERIS team at ESEO in Angers, France and in the GEODES team at Université de Montréal in Canada. His current research interests include incremental model transformation, constraint solving and modeling on the web.

<figure><img src="image_31.png" /></figure>

**Frederic Jouault** is a research associate at ESEO, France. He received his PhD from the University of Nantes before doing a postdoc at the University of Alabama at Birmingham. His research interests involve model engineering, transformation, synchronization, and execution, as well as their application to Domain-Specific Languages (DSLs) and model-based reverse engineering. Frédéric created ATL, a DSL for model-to-model transformation. He is now leading the development of ATL

(language and toolkit) on Eclipse.org, and is in charge of the Eclipse modeling MMT project as well as a member of the modeling PMC.

<figure><img src="image_32.png" /></figure>

**József Marton** is a lecturer in Database Theory at the Faculty of Electrical Engineering and Informatics of the Budapest University of Technology and Economics (Hungary). His research interest covers continuous query processing, continuous data integration from heterogeneous data sources and mapping non-relational data models and queries to relational model and SQL engines. Jozsef also contributes to related open source research and industrial projects.

<figure><img src="image_33.png" /></figure>

**Tamás Nyíri** received his M.Sc. degree in computer science from the Budapest University of Technology and Economics in 2021. In his thesis he investigated incremental execution technologies for graph queries, especially the differential dataflow computational model. Currently, he is working at Cloudera as a software engineer.

<figure><img src="image_34.png" /></figure>

**János Benjamin Antal** is a software engineer. He received his M.Sc. degree in computer science from the Budapest University of Technology and Economics in 2019. As part of his master thesis he contributed to the Linked Data Benchmark Council Social Network Benchmark. Currently, he is working on an in-memory graph database at Memgraph.

<figure><img src="image_35.png" /></figure>

**Márton Elekes** is a Ph.D. student at the Budapest University of Technology and Economics. His research interests include graph databases and software testing. He is a contributor of the LDBC Social Network Benchmark.

<figure><img src="image_36.png" /></figure>

**Gábor Szárnyas** is a postdoctoral researcher. He obtained his Ph.D. in software engineering in 2019, focusing on the intersection of object-oriented graph models and property graphs. He currently works on efficient graph processing techniques, including formulating graph algorithms in the language of linear algebra (GraphBLAS, LAGraph), implementing property graph query engines (openCypher, SQL/PGQ), and designing graph benchmarks. He serves on the steering committee

of the Linked Data Benchmark Council.