-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
185 lines (185 loc) · 64.4 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
<!DOCTYPE html> <!--[if IE 8]><html lang="en" class="ie8"> <![endif]--> <!--[if IE 9]><html lang="en" class="ie9"> <![endif]--> <!--[if !IE]><!--><html lang="en"> <!--<![endif]--><head><title>Artur Boronat</title><!-- Meta --><meta charset="utf-8"><meta http-equiv="X-UA-Compatible" content="IE=edge"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="description" content="Artur Boronat's web page'"> <!-- Favicon --><link rel="shortcut icon" href="favicon.ico"> <!-- Global CSS --><link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css" integrity="sha384-BVYiiSIFeK1dGmJRAkycuHAHRg32OmUcww7on3RYdg4Va+PmSTsz/K68vbdEjh4u" crossorigin="anonymous"> <!-- Icons --> <!-- Font Awesome --><link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.5.0/css/all.css" integrity="sha384-B4dIYHKNBt8Bc12p+WXckhzcICo0wtJAoU8YZTY5qE0Id1GSseTk6S+L3BlXeVIU" crossorigin="anonymous"> <!-- Academicons --><link rel="stylesheet" href="https://cdn.rawgit.com/jpswalsh/academicons/master/css/academicons.min.css"> <!-- Local CSS --><link id="theme-style" rel="stylesheet" href="/assets/css/main.css"> <!-- Javascript --> <!-- <script src="https://code.jquery.com/jquery-3.3.1.min.js" integrity="sha256-FgpCb/KJQlLNfOu91ta32o/NMZxltwRo8QtmkMRdAu8=" crossorigin="anonymous"></script> --> <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/2.1.3/jquery.min.js"></script> <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js" integrity="sha384-Tc5IQib027qvyjSMfHjOMaLkfuWVxZxUPnCJA7l2mCWNIpG9mGCD8wGNIcPD7Txa" crossorigin="anonymous"></script> <!-- custom js --> <script type="text/javascript" src="/assets/js/main.js"></script> <!--Citation Index Presentation Scripts, first script sets username for API url --> <script>var user = ""</script> <!-- Analytics --> <script> (function (i, s, o, g, r, a, m) { i['GoogleAnalyticsObject'] = r; i[r] = i[r] || function () { (i[r].q = i[r].q || []).push(arguments) }, i[r].l = 1 * new Date(); a = s.createElement(o), m = s.getElementsByTagName(o)[0]; a.async = 1; a.src = g; m.parentNode.insertBefore(a, m) })(window, document, 'script', '//www.google-analytics.com/analytics.js', 'ga'); ga('create', 'UA-78418237-1', 'auto'); ga('send', 'pageview'); </script></head><body> <!-- source: https://gridbyexample.com/patterns/header-asmany-footer/ --><div class="container-fluid"><header class="header"><nav class="navbar navbar-inverse navbar-fixed-top" role="navigation"><div class="container"><div class="navbar-header"> <a class="navbar-brand" href="/">Artur Boronat</a> <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#bs-example-navbar-collapse-1"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button></div><!-- Collect the nav links, forms, and other content for toggling --><div class="collapse navbar-collapse" id="bs-example-navbar-collapse-1"><ul class="nav navbar-nav navbar-right"><li class="nav-item dropdown"> <a href="#" class="dropdown-toggle top-nav-menu" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">Research <span class="caret"></span></a><ul class="dropdown-menu"><li><a class="nav-link" href="/research-interests/">Research Interests</a></li><li><a class="nav-link" href="/page-research-themes">Research Themes & Software</a></li><li><a class="nav-link" href="/funded-opportunities">Funded Opportunities for Students</a></li><!--<li><a class="nav-link" href="/phd-topics/">PhD topics - Join!</a></li>--><li role="separator" class="divider"></li><li><a class="nav-link" href="/publications">Publications</a></li><li><a class="nav-link" href="/page-research-projects">Research Projects</a></li><li><a class="nav-link" href="/page-research-events">Professional Activities</a></li><li><a class="nav-link" href="/page-research-themes">PhD Students</a></li></ul></li><li class="nav-item dropdown"> <a href="#" class="dropdown-toggle top-nav-menu" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">Teaching & Admin<span class="caret"></span></a><ul class="dropdown-menu"><li><a class="nav-link" href="/page-taught-modules">Taught Modules</a></li><li><a class="nav-link" href="/page-student-projects">Student Projects</a></li><li role="separator" class="divider"></li><li><a class="nav-link" href="">Admin Roles</a></li></ul></li><li><a class="nav-item top-nav-menu" href="/posts">News</a></li></ul></div></div></nav></header><div class="row" style="padding-top:20px;"><div class="col-md-6"><div class="row"><div class="col-md-12"><section class="section themes-section"><h2 class="section-title"> <span class="fa-stack fa-xs"> <i class="fas fa-address-card fa-stack-2x"></i> <!-- <i class="fas fa-address-card fa-stack-1x fa-inverse"></i> --> </span> About me</h2><div class="container-fluid box"> <img class="box-image" width="250" align="left" src="/assets/images/artur2022.jpg" alt="profile picture"><div class="box-text"><p>Associate Professor at the <a href="https://le.ac.uk/informatics">School of Computing and Mathematical Sciences</a>, <a href="https://le.ac.uk/">University of Leicester</a>, UK.</p><p>European Doctorate in Computer Science.</p><p>Senior Fellow of the Higher Education Academy.</p><hr/><p>Artur is an associate professor at the School of Computing and Mathematical Sciences of the University of Leicester (UK). He obtained his BSc degree in Computer Science in 2002 (Ingeniero en Informática), with an award from Bancaixa/Bancaja for the final year project on data migration. He wrote his Master thesis <a href="https://en.wikipedia.org/wiki/Master_of_Advanced_Studies#Spain">DEA</a> in 2004 and obtained his Ph.D. degree in Computer Science in 2007 (<a href="https://en.wikipedia.org/wiki/Doctorate#Spain">Doctor Cum Laude</a>) from the <a href="http://www.upv.es/index-en.html">Technical University of València (UPV)</a>. He has been a visiting researcher at University of Illinois at Urbana-Champaign (UIUC, USA) and at Universitat Politècnica de Catalunya (UPC, Spain). In 2007, he joined the University of Leicester (UK) as lecturer. Since 2018, he is Director of Undergraduate Programmes (Computer Science and Software Engineering).</p><p>His <a href="research-interests">research interests (click to expand)</a> revolve around:</p><ul><li>agile software development for the cloud using JVM technology and applications in healthcare and industry 4.0;</li><li>design and implementation of DSLs using model-driven software development and type theory;</li><li>application of AI technology and formal methods in the intersection of the two areas above.</li></ul><p>Artur has secured funding from Innovate UK for developing manufacturing software infrastructure in the food industry (2018-2019). He is the technical lead of the Informatics team in the ESA-funded project <a href="https://le.ac.uk/news/2019/april/29-space-technology">Personalised Space Technology Exercise Platform (P-STEP)</a> (2021-2023).</p><p>He is a founding member of the EPSRC-funded <a href="https://www.mde-network.org/">MDENet: the expert network for Model-Driven Engineering</a>. His current h-index is 14 (Scopus), 15.05 (ResearchGate), 20 (Google Scholar).</p></div><h4 class="box-title">Contact information:</h4><div class="contact-container container-block"><p>Office 610, Ken Edwards Building<br/> School of Computing and Mathematical Sciences, University of Leicester<br/> University Rd, Leicester, LE1 7RH, UK</p></div><h4 class="box-title">On social media:</h4><div class="contact-container container-block"><ul class="list-unstyled contact-list"><li class="email"><i class="fas fa-envelope"></i> <!-- <a href="mailto:<img src="assets/images/email.png" alt="email address" height="20" />"><img src="assets/images/email.png" alt="email address" height="20" /></a> --> <img src="assets/images/email.png" alt="email address" height="20" /></li><li class="website"><i class="fas fa-globe-americas"></i> <a href="http://le.ac.uk/people/artur-boronat" target="_blank">le.ac.uk/people/artur-boronat</a></li><li class="orcid"><i class="ai ai-orcid"></i> <a href="http://orcid.org/0000-0003-2024-1736" target="_blank">0000-0003-2024-1736</a></li><li class="dblp"><i class="ai ai-dblp"></i> <a href="https://dblp.uni-trier.de/pers/hd/b/Boronat:Artur" target="_blank">dblp</a></li><li class="slideshare"><i class="fab fa-slideshare"></i> <a href="https://www.slideshare.net/aboronat" target="_blank">slideshare</a></li><li class="github"><i class="fab fa-github"></i> <a href="http://github.com/arturboronat" target="_blank">arturboronat</a></li><li class="twitter"><i class="fab fa-twitter"></i> <a href="https://twitter.com/@arturboronat" target="_blank">@arturboronat</a></li><li class="linkedin"><i class="fab fa-linkedin"></i> <a href="https://linkedin.com/in/artur-boronat-6649585" target="_blank">linkedin</a></li><li class="google-scholar"><i class="ai ai-google-scholar-square ai-1x"></i> <a href="https://scholar.google.com/citations?user=aboronat" target="_blank">Google scholar</a></li></ul></div><!--//contact-container--></div></div><div class="col-md-12"><section class="section events-section"><h2 class="section-title"> <span class="fa-stack fa-xs"> <i class="fas fa-calendar-alt fa-stack-2x"></i> <!-- <i class="fas fa-code fa-stack-1x fa-inverse"></i> --> </span> <a href="page-research-events">Professional Activities <label class="glyphicon glyphicon-new-window"/></a></h2><h4 class="box-title">2025</h4><div class="container-fluid box"> <a href=https://etaps.org/><img class="box-image" width="100" align="right" src="/assets/images/logo-etaps.png" alt="event logo" /></a><h4 class="box-title"> Co-chair of <a href=https://etaps.org/>28th International Conference on Fundamental Approaches to Software Engineering (FASE 2025)</a></h4><div class="box-text"><p>Part of European joint conferences on theory and practice of software (ETAPS 2025)</p></div></div><h4 class="box-title">2024</h4><div class="container-fluid box"> <a href=https://conf.researchr.org/home/staf-2024/ecmfa-2024><img class="box-image" width="100" align="right" src="/assets/images/logo-ecmfa-2024.jpg" alt="event logo" /></a><h4 class="box-title"> Programme Committee of <a href=https://conf.researchr.org/home/staf-2024/ecmfa-2024>20th European Conference on Modelling Foundations and Applications (ECMFA 2024)</a></h4><div class="box-text"><p>Part of Software Technologies: Applications and Foundations (STAF 2024)</p></div></div><div class="container-fluid box"> <a href=http://research.ie/funding/><img class="box-image" width="100" align="right" src="/assets/images/logo-irish-rc.png" alt="event logo" /></a><h4 class="box-title"> Remote reviewer of <a href=http://research.ie/funding/>Irish Research Council - postgraduate/postdoctoral programmes 2023/2024</a></h4><div class="box-text"></div></div><h4 class="box-title">2023</h4><div class="container-fluid box"> <a href=https://www.transformation-tool-contest.eu/><img class="box-image" width="100" align="right" src="/assets/images/logo-ttc.png" alt="event logo" /></a><h4 class="box-title"> Co-chair of <a href=https://www.transformation-tool-contest.eu/>15th Transformation Tool Contest (TTC 2023)</a></h4><div class="box-text"><p>Part of the Software Technologies: Applications and Foundations (STAF) federated conferences.</p></div></div><div class="container-fluid box"> <a href=https://conf.researchr.org/track/models-2023/models-2023-tools-and-demonstrations><img class="box-image" width="100" align="right" src="/assets/images/logo-models2023.png" alt="event logo" /></a><h4 class="box-title"> Programme Committee of <a href=https://conf.researchr.org/track/models-2023/models-2023-tools-and-demonstrations>MoDELS (Tools & Demonstrations)</a></h4><div class="box-text"><p>Model Driven Engineering Languages and Systems</p></div></div><div class="container-fluid box"> <a href=https://www.transformation-tool-contest.eu/><img class="box-image" width="100" align="right" src="/assets/images/logo-staf23.png" alt="event logo" /></a><h4 class="box-title"> Workshop chair of <a href=https://www.transformation-tool-contest.eu/>Software Technologies - Applications and Foundations (STAF 2023)</a></h4><div class="box-text"><p>Software Technologies: Applications and Foundations (STAF) workshops.</p></div></div><div class="container-fluid box"> <a href=https://www.jot.fm/><img class="box-image" width="100" align="right" src="/assets/images/logo-jot.png" alt="event logo" /></a><h4 class="box-title"> Reviewer of <a href=https://www.jot.fm/>Journal of Object Technology</a></h4><div class="box-text"></div></div><div class="container-fluid box"> <a href=http://www.sosym.org/people/><img class="box-image" width="100" align="right" src="/assets/images/logo-sosym.png" alt="event logo" /></a><h4 class="box-title"> Reviewer of <a href=http://www.sosym.org/people/>International Journal on Software and Systems Modeling (SoSyM)</a></h4><div class="box-text"></div></div><div class="container-fluid box"> <a href=https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming><img class="box-image" width="100" align="right" src="/assets/images/logo-jlamp.jpg" alt="event logo" /></a><h4 class="box-title"> Reviewer of <a href=https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming>Journal of Logical and Algebraic Methods in Programming</a></h4><div class="box-text"><p>Elsevier</p></div></div><div class="container-fluid box"><h4 class="box-title"> Reviewer of <a href=https://www.springer.com/journal/10115>Journal of Knowledge and Information Systems</a></h4><div class="box-text"><p>Springer</p></div></div><div class="container-fluid box"><h4 class="box-title"> Reviewer of <a href=https://www.sciencedirect.com/journal/science-of-computer-programming>Journal of Science of Computing Programming</a></h4><div class="box-text"><p>Elsevier</p></div></div><div class="container-fluid box"> <a href=http://research.ie/funding/><img class="box-image" width="100" align="right" src="/assets/images/logo-irish-rc.png" alt="event logo" /></a><h4 class="box-title"> Remote reviewer of <a href=http://research.ie/funding/>Irish Research Council - postgraduate/postdoctoral programmes 2023/2024</a></h4><div class="box-text"></div></div><h4 class="box-title">2022</h4><div class="container-fluid box"> <a href=https://www.jot.fm/><img class="box-image" width="100" align="right" src="/assets/images/logo-jot.png" alt="event logo" /></a><h4 class="box-title"> Reviewer of <a href=https://www.jot.fm/>Journal of Object Technology</a></h4><div class="box-text"></div></div><div class="container-fluid box"> <a href=https://mde-network.com/symposium-dec-22/><img class="box-image" width="100" align="right" src="/assets/images/logo-mdenet.png" alt="event logo" /></a><h4 class="box-title"> Co-author in talk of <a href=https://mde-network.com/symposium-dec-22/>MDENet Annual symposium</a></h4><div class="box-text"><p>MDENet: the EPSRC expert network on MDE</p></div></div><div class="container-fluid box"> <a href=https://conf.researchr.org/track/models-2022/models-2022-tools---demonstrations><img class="box-image" width="100" align="right" src="/assets/images/logo-models22.jpg" alt="event logo" /></a><h4 class="box-title"> Programme Committee of <a href=https://conf.researchr.org/track/models-2022/models-2022-tools---demonstrations>MoDELS (Tools & Demonstrations)</a></h4><div class="box-text"><p>Model Driven Engineering Languages and Systems</p></div></div><div class="container-fluid box"> <a href=https://mde-network.com/><img class="box-image" width="100" align="right" src="/assets/images/logo-mdenet.png" alt="event logo" /></a><h4 class="box-title"> Participant of <a href=https://mde-network.com/>MDENet thematic workshop on Systems Engineering</a></h4><div class="box-text"><p>MDENet: the EPSRC expert network on MDE</p></div></div><div class="container-fluid box"> <a href=https://mde-network.com/><img class="box-image" width="100" align="right" src="/assets/images/logo-mdenet.png" alt="event logo" /></a><h4 class="box-title"> Panel Member of <a href=https://mde-network.com/>MDENet student showcase competition</a></h4><div class="box-text"><p>MDENet: the EPSRC expert network on MDE</p></div></div><div class="container-fluid box"> <a href=https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming><img class="box-image" width="100" align="right" src="/assets/images/logo-jlamp.jpg" alt="event logo" /></a><h4 class="box-title"> Reviewer of <a href=https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming>Journal of Logical and Algebraic Methods in Programming</a></h4><div class="box-text"><p>Elsevier</p></div></div><div class="container-fluid box"> <a href=https://www.springer.com/journal/10664><img class="box-image" width="100" align="right" src="/assets/images/logo-emse.jpg" alt="event logo" /></a><h4 class="box-title"> Reviewer of <a href=https://www.springer.com/journal/10664>International Journal on Empirical Software Engineering</a></h4><div class="box-text"><p>Springer</p></div></div><div class="container-fluid box"> <a href=https://www.irif.fr/~greta/event/2022-feb-25/><img class="box-image" width="100" align="right" src="/assets/images/greta.jpg" alt="event logo" /></a><h4 class="box-title"> Invited talk of <a href=https://www.irif.fr/~greta/event/2022-feb-25/>Software Reuse in Modeling Language Engineering using Structural and Behavioural Model Subtyping with OCL Constraints</a></h4><div class="box-text"><p>GReTA - Graph Transformation Theory and Applications</p></div></div><div class="container-fluid box"> <a href=https://www.ciencia.gob.es/Ministerio/mision-y-organizacion/Entidades-Adscritas/agencia-estatal-de-Investigacion-aei.html><img class="box-image" width="100" align="right" src="/assets/images/logo-aei.jpg" alt="event logo" /></a><h4 class="box-title"> External reviewer of <a href=https://www.ciencia.gob.es/Ministerio/mision-y-organizacion/Entidades-Adscritas/agencia-estatal-de-Investigacion-aei.html>Agencia Estatal de Investigación, Ministerio de Ciencia e Innovación (Spain)</a></h4><div class="box-text"><p>Red.es. Proyectos investigación IA y otras tecnologías digitales y su integración 2021</p></div></div><div class="container-fluid box"> <a href=http://research.ie/funding/><img class="box-image" width="100" align="right" src="/assets/images/logo-irish-rc.png" alt="event logo" /></a><h4 class="box-title"> Remote reviewer of <a href=http://research.ie/funding/>Irish Research Council - postgraduate programme 2021/2022</a></h4><div class="box-text"></div></div></section><!--//section--></div><div class="col-md-12"><section class="section modules-section"><h2 class="section-title"> <span class="fa-stack fa-xs"> <i class="fas fa-graduation-cap fa-stack-2x"></i> <!-- <i class="fas fa-graduation-cap fa-stack-1x fa-inverse"></i> --> </span> Teaching & Admin</h2><div class="container-fluid box"><h4 class="box-title"><a href="page-taught-modules">Taught modules <label class="glyphicon glyphicon-new-window"/></a></h4><div class="box-text"><ul style="list-style-type: square; padding-left: 15px;"><li>Convenor of CO4217/CO7217 - Agile Cloud Automation (2022/2023)<p>MSc - 15 credits <!-- - 229 students --></p></li></ul></div></div><div class="container-fluid box"><h4 class="box-title"><a href="page-student-projects">Supervised projects <label class="glyphicon glyphicon-new-window"/></a></h4><!--<div class="box-text"><ul style="list-style-type: square; padding-left: 15px;"><li>Supervisor of Sharif, Ibraheem, Unity 2D Action (2022/23)<p>BSc Computer Science - CO3201 Computer Science Project (45 credits)</p></li><li>Supervisor of Johncock, Connor, Automated wedding planner system (2022/23)<p>BSc Computer Science - CO3201 Computer Science Project (45 credits)</p></li><li>Supervisor of Jagpal, Aron, Android app for managing daily tasks (2022/23)<p>BSc Computer Science - CO3201 Computer Science Project (45 credits)</p></li><li>Supervisor of Dipaklal, Ashish, Android game with augmented reality (2021/22)<p>BSc Computer Science - CO3201 Computer Science Project (45 credits)</p></li><li>Supervisor of Khan, Isaam, Augmented Reality Tetris Game (2021/22)<p>BSc Computer Science - CO3201 Computer Science Project (45 credits)</p></li><li>Second marker of Adebowale, Anjola, Blockchain platform for research data sharing (2021/22)<p>BSc Computer Science - CO3201 Computer Science Project (45 credits)</p></li><li>Second marker of Rahman, Khadeim, A web-based affective task planner (2021/22)<p>BSc Computer Science - CO3201 Computer Science Project (45 credits)</p></li><li>Supervisor of Osinowo, Jadesola, A tool for managing software projects (2021/22)<p>BSc Software Engineering - CO3202 Enterpreneurial Project (45 credits)</p></li><li>Supervisor of Sarmad, Hamzah, Android Game with Augmented Reality (2021/22)<p>BSc Software Engineering - CO3202 Enterpreneurial Project (45 credits)</p></li><li>Supervisor of Sarwari, Sayed, Smart Shopping Trolley (2021/22)<p>BSc Software Engineering - CO3202 Enterpreneurial Project (45 credits)</p></li><li>Supervisor of Singh, Taran, A web-based application for managing chronic patient health (2021/22)<p>BSc Software Engineering - CO3202 Enterpreneurial Project (45 credits)</p></li><li>Supervisor of Singh, Taran, A web-based application for managing chronic patient health (2021/22)<p>BSc Software Engineering - Enterpreneurial Project (45 credits)</p></li><li>Supervisor of Egiz, Amir, Implementing Domain Specific Language (DSL) for Aircraft Maintenance Field (2021/22)<p>MSc Distance Learning - CO7501 Individual Project (90 credits)</p></li><li>Supervisor of Polisetty Venkatasubba, Manikanta, TBC (2021/22)<p>MSc - CO7201 Individual Project - Spring (60 credits)</p></li><li>Supervisor of Jacob, Divya, YAMTL playground (2021/22)<p>MSc - CO7201 Individual Project - Spring (60 credits)</p></li><li>Supervisor of Unnava, Sai Sri Teja, Recovering conceptual models from source code (2021/22)<p>MSc - CO7201 Individual Project - Spring (60 credits)</p></li><li>Supervisor of Kaliannan, Suvitha, Identifying and visualizing pollution hotspots (2021/22)<p>MSc - CO7201 Individual Project - Spring (60 credits)</p></li><li>Supervisor of Basi, Mansimran Kaur, Android game with augmented reality (2020/21)<p>BSc final project (45 credits)</p></li><li>Supervisor of Nama, Aishwarya, Smart Shopping Trolley (Entrepreneurial Project) (2020/21)<p>BSc final project (45 credits)</p></li><li>Supervisor of Robinson-Voss, Tyler, Smart Shopping Trolley (2020/21)<p>BSc final project (45 credits)</p></li><li>Supervisor of Wasay, Tamseel, Smart Shopping Trolley (2020/21)<p>BSc final project (45 credits)</p></li><li>Second marker of Bekoe, Rrshai, The Automated Wedding Planner System (2020/21)<p>BSc final project (45 credits)</p></li><li>Second marker of Puri, Sameen, A data driven tennis match predictor (2020/21)<p>BSc final project (45 credits)</p></li><li>Supervisor of Tutorial (10 students), Software testing in web applications (2020/21)<p>MSc CO7210 Semester 2 (Personal and Group Skills) (15 credits)</p></li><li>Supervisor of Bettaney, Joshua, Smart Shopping Trolley (2019/20)<p>BSc final project (60 credits)</p></li><li>Supervisor of Butenas, Mantas, Smart Shopping Trolley (2019/20)<p>BSc final project (60 credits)</p></li><li>Supervisor of Johnson, Matthew, An Application for Operational Services (2019/20)<p>BSc final project (60 credits)</p></li><li>Supervisor of Smith, Holly, Monitoring and Testing Production Services (2019/20)<p>BSc final project (60 credits)</p></li><li>Supervisor of Toopchi, Pouria, Smart Shopping Trolley (2019/20)<p>BSc final project (60 credits)</p></li><li>Second marker of Blackwell, Eddie, Football Second Screen Application (2019/20)<p>BSc final project (60 credits)</p></li><li>Second marker of Carroll, Sean, A vault mobile app (2019/20)<p>BSc final project (60 credits)</p></li><li>Second marker of Chen, Sihan, A web-based affective task activity planner (2019/20)<p>BSc final project (60 credits)</p></li><li>Second marker of Hopkinson, Joseph, Startup project (2019/20)<p>BSc final project (60 credits)</p></li><li>Second marker of Nash, Ryan, Startup project: mining sentiments (2019/20)<p>BSc final project (60 credits)</p></li><li>Supervisor of Kaur, Gursheen, Domain Specific Language to manage React components to facilitate their reuse (2019/20)<p>MSc final project (60 credits)</p></li><li>Supervisor of Shahid, Sarjeel, Repository mining (2019/20)<p>MSc final project (60 credits)</p></li><li>Second marker of Ren, Zeyu, Synthesis framework based robot (2019/20)<p>MSc final project Spring (60 credits)</p></li><li>Second marker of Sun, Qi, Stock trading market algorithms (2019/20)<p>MSc final project Spring (60 credits)</p></li><li>Supervisor of Tutorial (7 students), Low code development (2019/20)<p>MSc CO7210 Semester 2 (Personal and Group Skills) (15 credits)</p></li></ul></div>--></div><div class="container-fluid box"><h4 class="box-title"><a href="page-student-projects">Admin Roles</a></h4><div class="box-text"><ul style="list-style-type: square; padding-left: 15px;"><li><b>BSc Director</b>, 2018 - 2023<p>Coordination of modules in undergraduate programmes 'Computer Science', 'Software Engineering' and BSc part (three first years) of 'MComp'.</p></li></ul></div></div></section><!--//section--></div></div></div><div class="col-md-6"><div class="col-md-12"><section class="section themes-section"><h2 class="section-title"> <span class="fa-stack fa-xs"> <i class="fas fa-code fa-stack-2x"></i> <!-- <i class="fas fa-code fa-stack-1x fa-inverse"></i> --> </span> <a href="page-research-themes/">Research Themes & Software <label class="glyphicon glyphicon-new-window"/></a></h2><div class="container-fluid box"><div class="container-fluid" style="padding-left: 0px;"> <a href=https://arturboronat.github.io/funded-opportunities/><img class="box-image" width="150" height="125" align="left" src="/assets/images/articles/do-a-phd.png" alt="research theme picture" /></a><h4 class="box-title"> <a href=https://arturboronat.github.io/funded-opportunities/>Funded opportunities <label class="glyphicon glyphicon-new-window"/></a></h4><div class="box-text"><p>For those currenly looking for research-oriented opportunities and willing to work in model-driven engineering, AI/ML and healtcare.</p></div></div><div> <!-- with jekyll-scholar: see readme.md --></div></div><!--//item--><div class="container-fluid box"><div class="container-fluid" style="padding-left: 0px;"> <a href=https://arturboronat.github.io/emf-syncer><img class="box-image" width="150" height="125" align="left" src="/assets/images/icon-emf-syncer.png" alt="research theme picture" /></a><h4 class="box-title"> <a href=https://arturboronat.github.io/emf-syncer>EMF-Syncer <label class="glyphicon glyphicon-new-window"/></a></h4><div class="box-text"><p>EMF-Syncer facilitates the adoption of Model-Driven Engineering techniques, and EMF-supported tooling, in JVM programs.</p></div></div><div> <!-- with jekyll-scholar: see readme.md --><ol class="bibliography"><li><span id="BoronatASE19">Boronat, A. (2019). Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling. <i>Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, CA, November 11-15</i>.</span><div id="BoronatASE19-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#BoronatASE19-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="glyphicon glyphicon-cloud-download fa-lg" href="/assets/pubs/2019-boronat-ase.pdf"></a></li><li><a class="fab fa-slideshare fa-lg" href="https://www.slideshare.net/aboronat/codefirst-modeldriven-engineeringon-the-agile-adoption-of-mde"></a></li></ul><pre id="BoronatASE19-bibtex" class="pre pre-scrollable collapse">@inproceedings{BoronatASE19,
author = {Boronat, Artur},
title = {Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling},
booktitle = {Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, CA, November 11-15},
year = {2019},
publisher = {{ACM}},
webdownload = {2019-boronat-ase.pdf},
slideshare = {https://www.slideshare.net/aboronat/codefirst-modeldriven-engineeringon-the-agile-adoption-of-mde}
}
</pre></div></li></ol><ol class="bibliography"><li><span id="Boronat-2020-ttc20">Boronat, A. (2020). EMF-Syncer solution to TTC 2020 round-trip migration case. <i>Joint Proceedings of the 13th and 14th Tool Transformation Contests</i>, <i>3089</i>. http://ceur-ws.org/Vol-3089/ttc20_paper2_Boronat.pdf</span><div id="Boronat-2020-ttc20-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#Boronat-2020-ttc20-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="glyphicon glyphicon-cloud-download fa-lg" href="/assets/pubs/2020-boronat-ttc.pdf"></a></li><li><a class="ai ai-open-access ai-2x" href="http://ceur-ws.org/Vol-3089/ttc20_paper2_Boronat.pdf"></a></li></ul><pre id="Boronat-2020-ttc20-bibtex" class="pre pre-scrollable collapse">@article{Boronat-2020-ttc20,
author = {Boronat, Artur},
title = {EMF-Syncer solution to {TTC} 2020 round-trip migration case},
publisher = {CEUR Workshop Proceedings},
journal = {Joint Proceedings of the 13th and 14th Tool Transformation Contests},
year = {2020},
issn = {1613-0073},
volume = {3089},
webdownload = {2020-boronat-ttc.pdf},
url = {http://ceur-ws.org/Vol-3089/ttc20_paper2_Boronat.pdf}
}
</pre></div></li></ol></div></div><!--//item--><div class="container-fluid box"><div class="container-fluid" style="padding-left: 0px;"> <a href=https://arturboronat.github.io/yamtl><img class="box-image" width="150" height="125" align="left" src="/assets/images/yamtl-icon.png" alt="research theme picture" /></a><h4 class="box-title"> <a href=https://arturboronat.github.io/yamtl>YAMTL <label class="glyphicon glyphicon-new-window"/></a></h4><div class="box-text"><p>YAMTL is an EMF-based model-to-model transformation engine whose transformations are defined with an internal DSL of Xtend. The main strenghts of the language are its interoperability with Java, its expressiveness and its performance. YAMTL model transformation can also be executed incrementally.</p></div></div><div> <!-- with jekyll-scholar: see readme.md --><ol class="bibliography"><li><span id="yamtl">Boronat, A. (2018). Expressive and Efficient Model Transformation with an Internal DSL of Xtend. <i>Proceedings of the 21th ACM/IEEE International Conference on MoDELS</i>, 78–88.</span><div id="yamtl-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#yamtl-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="ai ai-doi ai-lg" href="https://doi.org/10.1145/3239372.3239386"></a></li><li><a class="glyphicon glyphicon-cloud-download fa-lg" href="/assets/pubs/2018-boronat-models.pdf"></a></li><li><a class="fab fa-slideshare fa-lg" href="https://www.slideshare.net/aboronat/expressive-and-efficient-model-transformation-with-an-internal-dsl-of-xtend"></a></li></ul><pre id="yamtl-bibtex" class="pre pre-scrollable collapse">@inproceedings{yamtl,
author = {Boronat, Artur},
title = {Expressive and Efficient Model Transformation with an Internal DSL of Xtend},
booktitle = {Proceedings of the 21th {ACM/IEEE} International Conference on MoDELS},
publisher = {ACM},
year = {2018},
pages = {78--88},
webdoi = {https://doi.org/10.1145/3239372.3239386},
webdownload = {2018-boronat-models.pdf},
slideshare = {https://www.slideshare.net/aboronat/expressive-and-efficient-model-transformation-with-an-internal-dsl-of-xtend}
}
</pre></div></li></ol><ol class="bibliography"><li><span id="2020-boronat-sttt">Boronat, A. (2020). Incremental execution of rule-based model transformation. <i>International Journal on Software Tools for Technology Transfer</i>, <i>1433-2787</i>.</span><div id="2020-boronat-sttt-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#2020-boronat-sttt-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="ai ai-doi ai-lg" href="https://doi.org/10.1007/s10009-020-00583-y"></a></li><li><a class="glyphicon glyphicon-cloud-download fa-lg" href="/assets/pubs/2020-boronat-sttt.pdf"></a></li></ul><pre id="2020-boronat-sttt-bibtex" class="pre pre-scrollable collapse">@article{2020-boronat-sttt,
author = {Boronat, Artur},
title = {Incremental execution of rule-based model transformation},
publisher = {Springer},
journal = {International Journal on Software Tools for Technology Transfer},
year = {2020},
volume = {1433-2787},
webdoi = {https://doi.org/10.1007/s10009-020-00583-y},
webdownload = {2020-boronat-sttt.pdf}
}
</pre></div></li></ol><ol class="bibliography"><li><span id="BoronatFASE19">Boronat, A. (2019). Offline Delta-Driven Model Transformation with Dependency Injection. <i>FASE 2019</i>, <i>11424</i>, 134–150.</span><div id="BoronatFASE19-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#BoronatFASE19-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="ai ai-doi ai-lg" href="https://doi.org/10.1007/978-3-030-16722-6"></a></li><li><a class="glyphicon glyphicon-cloud-download fa-lg" href="/assets/pubs/2019-boronat-fase.pdf"></a></li><li><a class="fab fa-slideshare fa-lg" href="https://www.slideshare.net/aboronat/offline-deltadriven-model-transformation-with-dependency-injection"></a></li></ul><pre id="BoronatFASE19-bibtex" class="pre pre-scrollable collapse">@inproceedings{BoronatFASE19,
author = {Boronat, Artur},
title = {Offline Delta-Driven Model Transformation with Dependency Injection},
booktitle = {{FASE} 2019},
pages = {134--150},
year = {2019},
series = {LNCS},
volume = {11424},
publisher = {Springer},
webdoi = {https://doi.org/10.1007/978-3-030-16722-6},
webdownload = {2019-boronat-fase.pdf},
slideshare = {https://www.slideshare.net/aboronat/offline-deltadriven-model-transformation-with-dependency-injection}
}
</pre></div></li></ol><ol class="bibliography"><li><span id="2021-ttc18-sosym">Hinkel, G., García-Domínguez, A., Schöne, R., Boronat, A., Tisi, M., Calvar, T. L., Jouault, F., Marton, J., Nyíri, T., Antal, J. B., Elekes, M., & Szárnyas, G. (2021). A cross-technology benchmark for incremental graph queries. <i>Software and Systems Modeling</i>, <i>1619-1374</i>. https://doi.org/10.1007/s10270-021-00927-5</span><div id="2021-ttc18-sosym-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#2021-ttc18-sosym-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="ai ai-doi ai-lg" href="https://doi.org/10.1007/s10270-021-00927-5"></a></li><li><a class="glyphicon glyphicon-cloud-download fa-lg" href="/assets/pubs/2022-hinkel-ttc18-sosym.pdf"></a></li><li><a class="ai ai-open-access ai-2x" href="https://doi.org/10.1007/s10270-021-00927-5"></a></li></ul><pre id="2021-ttc18-sosym-bibtex" class="pre pre-scrollable collapse">@article{2021-ttc18-sosym,
author = {Hinkel, Georg and Garc\'{i}a-Dom\'{i}nguez, Antonio and Sch\"{o}ne, Ren\'{e} and Boronat, Artur and Tisi, Massimo and Calvar, Th\'{e}o Le and Jouault, Fr\'{e}d\'{e}ric and Marton, J\'{o}zsef and Ny\'{i}ri, Tam\'{a}s and Antal, J\'{a}nos Benjamin and Elekes, M\'{a}rton and Sz\'{a}rnyas, G\'{a}bor},
title = {A cross-technology benchmark for incremental graph queries},
publisher = {Springer},
journal = {Software and Systems Modeling},
year = {2021},
volume = {1619-1374},
webdoi = {https://doi.org/10.1007/s10270-021-00927-5},
url = {https://doi.org/10.1007/s10270-021-00927-5},
webdownload = {2022-hinkel-ttc18-sosym.pdf}
}
</pre></div></li></ol><ol class="bibliography"><li><span id="BoronatTTC18">Boronat, A. (2018). YAMTL Solution to the TTC 2018 Social Media Case. In Garcı́a-Domı́nguez Antonio, G. Hinkel, & F. Krikava (Eds.), <i>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.</i> (Vol. 2310, pp. 65–78). CEUR-WS.org.</span><div id="BoronatTTC18-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#BoronatTTC18-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="glyphicon glyphicon-cloud-download fa-lg" href="/assets/pubs/2018-boronat-ttc.pdf"></a></li></ul><pre id="BoronatTTC18-bibtex" class="pre pre-scrollable collapse">@inproceedings{BoronatTTC18,
author = {Boronat, Artur},
title = {{{YAMTL}} Solution to the {TTC} 2018 Social Media Case},
booktitle = {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.},
pages = {65--78},
year = {2018},
editor = {Garc{\'{\i}}a{-}Dom{\'{\i}}nguez, Antonio and Hinkel, Georg and Krikava, Filip},
volume = {2310},
publisher = {CEUR-WS.org},
webdownload = {2018-boronat-ttc.pdf}
}
</pre></div></li></ol><ol class="bibliography"><li><span id="2019-boronat-ttc-tt2bdd">Boronat, A. (2019). YAMTL Solution to the TTC 2019 TT2BDD Case. In Garcı́a-Domı́nguez Antonio, G. Hinkel, & F. Krikava (Eds.), <i>Proceedings of the 12th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2019) federation of conferences: Vol. pending</i>. CEUR-WS.org.</span><div id="2019-boronat-ttc-tt2bdd-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#2019-boronat-ttc-tt2bdd-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="glyphicon glyphicon-cloud-download fa-lg" href="/assets/pubs/2019-boronat-ttc-tt2bdd.pdf"></a></li></ul><pre id="2019-boronat-ttc-tt2bdd-bibtex" class="pre pre-scrollable collapse">@inproceedings{2019-boronat-ttc-tt2bdd,
author = {Boronat, Artur},
title = {{YAMTL} {S}olution to the {TTC} 2019 {TT2BDD} {C}ase},
booktitle = {Proceedings of the 12th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2019) federation of conferences},
year = {2019},
editor = {Garc{\'{\i}}a{-}Dom{\'{\i}}nguez, Antonio and Hinkel, Georg and Krikava, Filip},
volume = {pending},
publisher = {CEUR-WS.org},
webdownload = {2019-boronat-ttc-tt2bdd.pdf}
}
</pre></div></li></ol><ol class="bibliography"><li><span id="2019-boronat-ttc-bib2doc">Boronat, A. (2019). YAMTL Solution to the TTC 2019 BibtexToDocbook Case. In Garcı́a-Domı́nguez Antonio, G. Hinkel, & F. Krikava (Eds.), <i>Proceedings of the 12th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2019) federation of conferences: Vol. pending</i>. CEUR-WS.org.</span><div id="2019-boronat-ttc-bib2doc-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#2019-boronat-ttc-bib2doc-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="glyphicon glyphicon-cloud-download fa-lg" href="/assets/pubs/2019-boronat-ttc-bib2doc.pdf"></a></li></ul><pre id="2019-boronat-ttc-bib2doc-bibtex" class="pre pre-scrollable collapse">@inproceedings{2019-boronat-ttc-bib2doc,
author = {Boronat, Artur},
title = {{YAMTL} {S}olution to the {TTC} 2019 {B}ibtex{T}o{D}ocbook {C}ase},
booktitle = {Proceedings of the 12th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2019) federation of conferences},
year = {2019},
editor = {Garc{\'{\i}}a{-}Dom{\'{\i}}nguez, Antonio and Hinkel, Georg and Krikava, Filip},
volume = {pending},
publisher = {CEUR-WS.org},
webdownload = {2019-boronat-ttc-bib2doc.pdf}
}
</pre></div></li></ol><ol class="bibliography"><li><span id="Boronat-2021-ttc21">Boronat, A. (2021). Incremental execution of relational transformation specifications in YAMTL: a case with laboratory workflows. <i>Joint Proceedings of the 13th and 14th Tool Transformation Contests</i>, <i>3089</i>. http://ceur-ws.org/Vol-3089/ttc21_paper7_labflow_Boronat_solution.pdf</span><div id="Boronat-2021-ttc21-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#Boronat-2021-ttc21-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="glyphicon glyphicon-cloud-download fa-lg" href="/assets/pubs/2021-boronat-ttc.pdf"></a></li><li><a class="ai ai-open-access ai-2x" href="http://ceur-ws.org/Vol-3089/ttc21_paper7_labflow_Boronat_solution.pdf"></a></li></ul><pre id="Boronat-2021-ttc21-bibtex" class="pre pre-scrollable collapse">@article{Boronat-2021-ttc21,
author = {Boronat, Artur},
title = {Incremental execution of relational transformation specifications in YAMTL: a case with laboratory workflows},
publisher = {CEUR Workshop Proceedings},
journal = {Joint Proceedings of the 13th and 14th Tool Transformation Contests},
year = {2021},
issn = {1613-0073},
volume = {3089},
webdownload = {2021-boronat-ttc.pdf},
url = {http://ceur-ws.org/Vol-3089/ttc21_paper7_labflow_Boronat_solution.pdf}
}
</pre></div></li></ol><ol class="bibliography"><li><span id="Boronat-ttc20-21-proceedings">Joint Proceedings of the 13th and 14th Tool Transformation Contests. (2022). In A. Boronat, A. García-Domínguez, & G. Hinkel (Eds.), <i>The TTC pandemic proceedings with CEUR-WS co-located with Software Technologies: Applications and Foundations (STAF 2021), Virtual Event, Bergen, Norway, July 17, 2020 and June 25, 2021.</i> (Vol. 3089). CEUR Workshop Proceedings. http://ceur-ws.org/Vol-3089/</span><div id="Boronat-ttc20-21-proceedings-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#Boronat-ttc20-21-proceedings-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="ai ai-open-access ai-2x" href="http://ceur-ws.org/Vol-3089/"></a></li></ul><pre id="Boronat-ttc20-21-proceedings-bibtex" class="pre pre-scrollable collapse">@proceedings{Boronat-ttc20-21-proceedings,
editor = {Boronat, Artur and Garc\'{i}a-Dom\'{i}nguez, Antonio and Hinkel, Georg},
title = {Joint Proceedings of the 13th and 14th Tool Transformation Contests},
booktitle = {The TTC pandemic proceedings with CEUR-WS co-located with Software Technologies: Applications and Foundations (STAF 2021), Virtual Event, Bergen, Norway, July 17, 2020 and June 25, 2021.},
publisher = {CEUR Workshop Proceedings},
venue = {Virtual Event, Bergen, Norway},
year = {2022},
volume = {3089},
url = {http://ceur-ws.org/Vol-3089/}
}
</pre></div></li></ol><ol class="bibliography"><li><span id="hinkel2022_ttc18_sosym">Hinkel, G., García-Domínguez, A., Schöne, R., Boronat, A., Tisi, M., Calvar, T. L., Jouault, F., Marton, J., Nyı́ri Tamás, Antal, J. B., Elekes, M., & Szárnyas, G. (2022). A Cross-Technology Benchmark for Incremental Graph Queries. <i>Softw. Syst. Model.</i>, <i>21</i>(2), 755–804. https://doi.org/10.1007/s10270-021-00927-5</span><div id="hinkel2022_ttc18_sosym-materials"><ul class="nav nav-pills"><li><a data-toggle="collapse" href="#hinkel2022_ttc18_sosym-abstract">Abstract</a></li><li><a ass="btn" data-toggle="collapse" href="#hinkel2022_ttc18_sosym-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="ai ai-open-access ai-2x" href="https://doi.org/10.1007/s10270-021-00927-5"></a></li></ul><p id="hinkel2022_ttc18_sosym-abstract" class="collapse">To cope with the increased complexity of systems, models are used to capture what is considered the essence of a system. Such models are typically represented as a graph, which is queried to gain insight into the modelled system. Often, the results of these queries need to be adjusted according to updated requirements and are therefore a subject of maintenance activities. It is thus necessary to support writing model queries with adequate languages. However, in order to stay meaningful, the analysis results need to be refreshed as soon as the underlying models change. Therefore, a good execution speed is mandatory in order to cope with frequent model changes. In this paper, we propose a benchmark to assess model query technologies in the presence of model change sequences in the domain of social media. We present solutions to this benchmark in a variety of 11 different tools and compare them with respect to explicitness of incrementalization, asymptotic complexity and performance.</p><pre id="hinkel2022_ttc18_sosym-bibtex" class="pre pre-scrollable collapse">@article{hinkel2022_ttc18_sosym,
author = {Hinkel, Georg and Garc\'{i}a-Dom\'{i}nguez, Antonio and Sch\"{o}ne, Ren\'{e} and Boronat, Artur and Tisi, Massimo and Calvar, Th\'{e}o Le and Jouault, Fr\'{e}d\'{e}ric and Marton, J\'{o}zsef and Ny\'{\i}ri, Tam\'{a}s and Antal, J\'{a}nos Benjamin and Elekes, M\'{a}rton and Sz\'{a}rnyas, G\'{a}bor},
title = {A Cross-Technology Benchmark for Incremental Graph Queries},
year = {2022},
issue_date = {Apr 2022},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
volume = {21},
number = {2},
issn = {1619-1366},
url = {https://doi.org/10.1007/s10270-021-00927-5},
doi = {10.1007/s10270-021-00927-5},
journal = {Softw. Syst. Model.},
month = apr,
pages = {755–804},
numpages = {50},
keywords = {Model-driven engineering, Incremental computing, Graph queries, Graph databases, Performance benchmark, Incremental queries, Graph analytics, relational databases}
}
</pre></div></li></ol></div></div><!--//item--><div class="container-fluid box"><div class="container-fluid" style="padding-left: 0px;"> <a href=https://mde-subtyping.github.io/web/><img class="box-image" width="150" height="125" align="left" src="/assets/images/mde-subtyping-icon.png" alt="research theme picture" /></a><h4 class="box-title"> <a href=https://mde-subtyping.github.io/web/>MDE-subtyping <label class="glyphicon glyphicon-new-window"/></a></h4><div class="box-text"><p>Our tool facilitates the reuse of model management operations that are defined for metamodel specifications, which consist of an EMF metamodel together with its well-formedness constraints (in OCL). Specifically, our tool infers whether two metamodel specifications, whose metamodels and constraints need not be related a priori, are compatible.</p></div></div><div> <!-- with jekyll-scholar: see readme.md --><ol class="bibliography"><li><span id="BoronatSLE17">Boronat, A. (2017). Structural model subtyping with OCL constraints. <i>Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017</i>, 194–205.</span><div id="BoronatSLE17-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#BoronatSLE17-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="ai ai-doi ai-lg" href="https://doi.org/10.1145/3136014.3136026"></a></li><li><a class="glyphicon glyphicon-cloud-download fa-lg" href="/assets/pubs/2017-boronat-sle.pdf"></a></li><li><a class="fab fa-slideshare fa-lg" href="https://www.slideshare.net/aboronat/structural-model-subtyping-with-ocl-constraints"></a></li></ul><pre id="BoronatSLE17-bibtex" class="pre pre-scrollable collapse">@inproceedings{BoronatSLE17,
author = {Boronat, Artur},
title = {Structural model subtyping with {OCL} constraints},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2017, Vancouver, BC, Canada,
October 23-24, 2017},
pages = {194--205},
year = {2017},
publisher = {{ACM}},
webdoi = {https://doi.org/10.1145/3136014.3136026},
webdownload = {2017-boronat-sle.pdf},
slideshare = {https://www.slideshare.net/aboronat/structural-model-subtyping-with-ocl-constraints}
}
</pre></div></li></ol><ol class="bibliography"><li><span id="boronat2022_reuse">Boronat, A. (2022). Safe reuse in modelling language engineering using model subtyping with OCL constraints. <i>Softw. Syst. Model.</i> https://doi.org/10.1007/s10270-022-01028-7</span><div id="boronat2022_reuse-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#boronat2022_reuse-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="ai ai-doi ai-lg" href="https://doi.org/10.1007/s10270-022-01028-7"></a></li><li><a class="ai ai-open-access ai-2x" href="https://doi.org/10.1007/s10270-022-01028-7"></a></li></ul><pre id="boronat2022_reuse-bibtex" class="pre pre-scrollable collapse">@article{boronat2022_reuse,
author = {Boronat, Artur},
journal = {Softw. Syst. Model.},
title = {Safe reuse in modelling language engineering using model subtyping with OCL constraints},
issn = {1619-1374},
year = {2022},
url = {https://doi.org/10.1007/s10270-022-01028-7},
webdoi = {https://doi.org/10.1007/s10270-022-01028-7}
}
</pre></div></li></ol></div></div><!--//item--><div class="container-fluid box"><div class="container-fluid" style="padding-left: 0px;"> <a href=https://fma-atl.github.io/><img class="box-image" width="150" height="125" align="left" src="/assets/images/fma-atl-icon.png" alt="research theme picture" /></a><h4 class="box-title"> <a href=https://fma-atl.github.io/>FMA-ATL <label class="glyphicon glyphicon-new-window"/></a></h4><div class="box-text"><p>FMA-ATL is an executable formalization of a large excerpt of the model transformation language ATL in Maude, which uses EMF and ATL as front-end languages.</p></div></div><div> <!-- with jekyll-scholar: see readme.md --><ol class="bibliography"><li><span id="icmt17">Boronat, A. (2017). Experimentation with a Big-Step Semantics for ATL Model Transformations. <i>ICMT</i>, <i>10374</i>, 3–18.</span><div id="icmt17-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#icmt17-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="ai ai-doi ai-lg" href="http://dx.doi.org/10.1007/978-3-319-61473-1_1"></a></li><li><a class="glyphicon glyphicon-cloud-download fa-lg" href="/assets/pubs/2017-boronat-icmt.pdf"></a></li><li><a class="fab fa-slideshare fa-lg" href="https://www.slideshare.net/aboronat/experimentation-with-a-bigstep-semantics-for-atl-model-transformations"></a></li></ul><pre id="icmt17-bibtex" class="pre pre-scrollable collapse">@inproceedings{icmt17,
author = {Boronat, Artur},
title = {{E}xperimentation with a {B}ig-{S}tep {S}emantics for {ATL} {M}odel {T}ransformations},
booktitle = {ICMT},
volume = {10374},
pages = {3--18},
publisher = {Springer},
series = {LNCS},
year = {2017},
webdoi = {http://dx.doi.org/10.1007/978-3-319-61473-1_1},
webdownload = {2017-boronat-icmt.pdf},
slideshare = {https://www.slideshare.net/aboronat/experimentation-with-a-bigstep-semantics-for-atl-model-transformations}
}
</pre></div></li></ol><ol class="bibliography"><li><span id="icmt18">Boronat, A. (2018). A Formal Framework for Prototyping Executable Semantics in ATL. In A. Rensink & J. S. Cuadrado (Eds.), <i>ICMT</i> (pp. 157–172). LNCS.</span><div id="icmt18-materials"><ul class="nav nav-pills"><li><a ass="btn" data-toggle="collapse" href="#icmt18-bibtex">BibTeX <label class="glyphicon glyphicon-collapse-down"/></a></li><li><a class="ai ai-doi ai-lg" href="https://doi.org/10.1007/978-3-319-93317-7_8"></a></li><li><a class="glyphicon glyphicon-cloud-download fa-lg" href="/assets/pubs/2018-boronat-icmt.pdf"></a></li><li><a class="fab fa-slideshare fa-lg" href="https://www.slideshare.net/aboronat/a-formal-framework-for-prototyping-executable-semantics-in-atl"></a></li></ul><pre id="icmt18-bibtex" class="pre pre-scrollable collapse">@inproceedings{icmt18,
author = {Boronat, Artur},
editor = {Rensink, Arend and Cuadrado, Jes{\'u}s S{\'a}nchez},
title = {{A} {F}ormal {F}ramework for {P}rototyping {E}xecutable {S}emantics in {ATL}},
booktitle = {ICMT},
year = {2018},
publisher = {LNCS},
pages = {157--172},
webdoi = {https://doi.org/10.1007/978-3-319-93317-7_8},
webdownload = {2018-boronat-icmt.pdf},
slideshare = {https://www.slideshare.net/aboronat/a-formal-framework-for-prototyping-executable-semantics-in-atl}
}
</pre></div></li></ol></div></div><!--//item--></section><!--//section--></div><div class="col-md-12"><section class="section posts-section"><h2 class="section-title"> <span class="fa-stack fa-xs"> <i class="fas fa-newspaper fa-stack-2x"></i> </span> <a href="/posts">Articles and News <label class="glyphicon glyphicon-new-window"/></a></h2><div class="container-fluid box"> <!-- <img class="center" src="/assets/images/under-construction.gif"/> --> <a href=/research-interests/><img class="box-image" width="150" height="125" align="left" src="/assets/images/articles/do-a-phd.png" alt="post picture" /></a><h4 class="box-title"> <a href=/research-interests/>Research Interests <label class="glyphicon glyphicon-new-window"/></a></h4><div class="box-text"><p>I have a keen interest in learning how to engineer <strong>trustworthy software systems</strong>, particularly data-centric ones. In my research, this interest has led me to develop a number of tools that automate software development and analysis tasks in <strong>Model-Driven Engineering (MDE)</strong>:</p><ul><li><a href="https://arturboronat.github.io/yamtl">YAMTL</a>: an expressive model-to-model transformation language that is offered as an internal domain-specific language (DSL) of Java/Xtend. Ideal to do research in <a href="https://link.springer.com/article/10.1007/s10270-021-00970-2">low-code software development</a> from an MDE perspective.</li><li><a href="https://arturboronat.github.io/emf-syncer">EMF-Syncer</a>: ideal to do research in <a href="https://link.springer.com/article/10.1007/s10270-018-00712-x">models@runtime</a> and <a href="https://dl.acm.org/doi/10.1109/TSE.2016.2610424">software (co-)evolution (of metamodels and their models)</a>.</li><li><a href="https://mde-subtyping.github.io/web/">MDE-Subtyping</a>: ideal to do research in software modeling & verification, including software reuse in language engineering, and human-in-the loop AI-modeling assistants.</li></ul></div></div><div class="container-fluid box"> <!-- <img class="center" src="/assets/images/under-construction.gif"/> --> <a href=/data-discovery-rare-diseases-award/><img class="box-image" width="150" height="125" align="left" src="/assets/images/articles/cafevariome.jpg" alt="post picture" /></a><h4 class="box-title"> <a href=/data-discovery-rare-diseases-award/>An AI-powered DSML for Data Discovery for Rare Diseases <label class="glyphicon glyphicon-new-window"/></a></h4><div class="box-text"><p><a href="https://www.cafevariome.org/">Café Variome</a> is a flexible, web-based, data-discovery tool that offers a query language for checking the existence of biomedical data held in a federation of heterogenous data sources of rare diseases. Currently, there is a growing need for user-friendly graphical interfaces that are web-based to assist such researchers look for cohorts of patients, across widely heterogenous data sources. In this project, we pursue the design of a domain-specific modelling language (DSML) and the development of a proof-of-concept no-code development platform that will empower rare disease medical researchers by means of MDE productivity tools and AI-enabled optimization techniques.</p><p>From the point of view of MDE, we are interested in applying metamodeling technology for designing and developing the no-code environment for the DSML, which will employ optimization techniques as part of the semantics of the DSML. With the application of MDE technology in this setting, we expect to achieve quick adaption of the implementation of query interfaces to new user requirements, and the exploitation of AI techniques for query optimization.</p><p>We are <strong>looking for candidates</strong> to fill a <strong>funded part-time job</strong> opportunity <strong>from June 2022 for six months</strong>. Interested candidates should be capable software engineers, with knowledge on model-driven engineering (or being eager to learn it), and with an interest in doing research in software engineering. Interested candidates should 👉 <a href="mailto:[email protected]">send me an email</a> 👈 with</p><ul><li>subject <strong>DSML opportunity</strong>,</li><li>a brief explanation of why you are a good fit for the post,</li><li>your CV as an attached PDF.</li></ul><p>This project is a (seedcorn fund) award from the <a href="https://mde-network.com/">EPSRC network MDENet</a>, in a collaboration with the <a href="https://le.ac.uk/health-data-research">Bioinformatics and Health Data science</a> group and the Department of Informatics of King’s College.</p></div></div><div class="container-fluid box"> <!-- <img class="center" src="/assets/images/under-construction.gif"/> --> <a href=/emf-syncer/><img class="box-image" width="150" height="125" align="left" src="/assets/images/icon-emf-syncer.png" alt="post picture" /></a><h4 class="box-title"> <a href=/emf-syncer/>EMF-Syncer: from Java snapshots to EMF data views and back-again <label class="glyphicon glyphicon-new-window"/></a></h4><div class="box-text"><p>The EMF-Syncer facilitates the adoption of Model-Driven Engineering (MDE) techniques, implemented atop the Eclipse Modeling Framework (EMF), in JVM programs following an agile software development approach. Given a JVM program implementing some domain model, the EMF-Syncer automatically extracts in-memory snapshots of the system as EMF model instances enabling the application of EMF-based MDE tools and techniques.</p><p>EMF-Syncer supports the notion of view models, where a (view) model is constructed from the program and is populated from program snapshots directly, without having to rely on a pre-process stage of obtaining models, before creating views.</p><p>Any modification to the model instance can be synced back automatically to the Java program.</p></div></div><div class="container-fluid box"> <!-- <img class="center" src="/assets/images/under-construction.gif"/> --> <a href=/yamtl-imt-study/><img class="box-image" width="150" height="125" align="left" src="/assets/images/articles/rabbit-time-square.jpg" alt="post picture" /></a><h4 class="box-title"> <a href=/yamtl-imt-study/>YAMTL: the fastest engine for incremental model transformations <label class="glyphicon glyphicon-new-window"/></a></h4><div class="box-text"><p><a href="https://yamtl.github.io">YAMTL</a> is found to be the fastest incremental model transformation tool, in general, for dealing with complex transformations between AADL models, according to a recent independent industrial case study:</p><p><em>Hana Mkaouar, Dominique Blouin & Etienne Borde. A benchmark of incremental model transformation tools based on an industrial case study with AADL. Software and Systems Modeling (2022). <a href="https://link.springer.com/article/10.1007/s10270-022-00989-z">https://link.springer.com/article/10.1007/s10270-022-00989-z</a></em></p></div></div><div class="container-fluid box"> <!-- <img class="center" src="/assets/images/under-construction.gif"/> --> <a href=/yamtl-lowcomote/><img class="box-image" width="150" height="125" align="left" src="/assets/images/yamtl-icon.png" alt="post picture" /></a><h4 class="box-title"> <a href=/yamtl-lowcomote/>Invited talk: Managing model-to-model transformations at scale with YAMTL <label class="glyphicon glyphicon-new-window"/></a></h4><div class="box-text"><p><strong>Abstract:</strong> Model-to-model transformations play a useful role in low-code software development, including the specification and development of model compilers, consistency maintainers and software (co-)evolution. YAMTL is an EMF-based model-to-model transformation engine whose transformations are defined with an internal DSL of Xtend. The main strenghts of the language are its interoperability with Java, its expressiveness and its performance. In this talk, I will present the YAMTL language with use cases that showcase some of its features from a scalability perspective.</p><p><strong>Bio:</strong> Artur is a lecturer at the School of Informatics of the University of Leicester (UK). He obtained his BSc degree in Computer Science in 2002 (Ingeniero en Informática), with an award from Bancaixa/Bancaja for the final year project on data migration. He wrote his Master thesis (DEA) in 2004 and obtained his Ph.D. degree in Computer Science in 2007 (Doctor Cum Laude) from the Technical University of València (UPV). He has been a visiting researcher at University of Illinois at Urbana-Champaign (UIUC, USA) and at Universitat Politècnica de Catalunya (UPC, Spain). In 2007, he joined the University of Leicester (UK) as lecturer. Since 2018, he is Director of Undergraduate Programmes (Computer Science and Software Engineering). His research interests revolve around: agile software development for the cloud using JVM technology and applications in healthcare and industry 4.0; design and implementation of DSLs using model-driven software development and type theory; application of AI technology and formal methods in the intersection of the areas above. Artur has secured funding from Innovate UK for developing manufacturing software infrastructure in the food industry (2018-2019). He is the technical lead of the Informatics team in the ESA-funded project P-STEP (2021-2023). He is a founding member of the EPSRC-funded MDENet: the expert network for Model-Driven Engineering.</p><p><strong>Venue:</strong> Scalable Management of Low-Code artefacts Workshop, part of the 5th Network Event of the European <a href="https://www.lowcomote.eu/">Lowcomote network</a>.</p><p><strong>Date:</strong> 14 April 2021</p></div></div><div class="container-fluid box"> <!-- <img class="center" src="/assets/images/under-construction.gif"/> --> <a href=/yamtl-and-java/><img class="box-image" width="150" height="125" align="left" src="/assets/images/yamtl-icon.png" alt="post picture" /></a><h4 class="box-title"> <a href=/yamtl-and-java/>YAMTL: Enabling Model Transformation from Java/Xtend <label class="glyphicon glyphicon-new-window"/></a></h4><div class="box-text"><p><a href="https://modeling-languages.com/yamtl-model-transformation-java-xtend/">New article</a> on <a href="https://arturboronat.info/yamtl">YAMTL</a> summarising advantages of using YAMTL from JVM programs at <a href="https://modeling-languages.com/yamtl-model-transformation-java-xtend/">modelling-languages.com</a>.</p></div></div><div class="container-fluid box"> <!-- <img class="center" src="/assets/images/under-construction.gif"/> --> <a href=/yamtl/><img class="box-image" width="150" height="125" align="left" src="/assets/images/yamtl-icon.png" alt="post picture" /></a><h4 class="box-title"> <a href=/yamtl/>YAMTL: Yet Another Model Transformation Language <label class="glyphicon glyphicon-new-window"/></a></h4><div class="box-text"><p><strong><a href="https://yamtl.github.io/">Yet Another Model Transformation Language (YAMTL)</a></strong> is an expressive model-to-model transformation language that is offered as an internal domain-specific language (DSL) of Java/Xtend. YAMTL was found to be the <strong>fastest incremental model transformation tool</strong>, in general, for dealing with complex transformations between AADL models according to <a href="https://link.springer.com/article/10.1007/s10270-022-00989-z">independent industrial case study</a>. YAMTL is available as an IDE-agnostic Java dependency that augments the Java ecosystem with model analysis and model transformation capabilities that are not yet available in the latest version of Java. YAMTL transformations can be developed, debugged and analysed using the preferred Java IDE of choice and they can build upon existing Java dependencies in order to automate complex tasks. YAMTL operates on models defined with the <a href="https://www.eclipse.org/modeling/emf/">Eclipse Modeling Framework</a>.</p></div></div></section></div></div></div><!--<footer class="footer">My footer</footer>--></div><footer class="footer"><div class="text-center"> <small class="copyright"> Created in 2023 by <a href="https://arturboronat.info">Artur Boronat</a>. Powered by <a href="https://jekyllrb.com" rel="nofollow">Jekyll</a>.</small></div></footer><!-- Javascript --> <!-- <script src="https://code.jquery.com/jquery-3.3.1.min.js" integrity="sha256-FgpCb/KJQlLNfOu91ta32o/NMZxltwRo8QtmkMRdAu8=" crossorigin="anonymous"></script> <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js" integrity="sha384-BVYiiSIFeK1dGmJRAkycuHAHRg32OmUcww7on3RYdg4Va+PmSTsz/K68vbdEjh4u" crossorigin="anonymous"></script> --> <!-- custom js --> <script type="text/javascript" src="/assets/js/main.js"></script> <!--Citation Index Presentation Scripts, first script sets username for API url --> <script>var user = ""</script> <!-- Analytics --> <script> (function (i, s, o, g, r, a, m) { i['GoogleAnalyticsObject'] = r; i[r] = i[r] || function () { (i[r].q = i[r].q || []).push(arguments) }, i[r].l = 1 * new Date(); a = s.createElement(o), m = s.getElementsByTagName(o)[0]; a.async = 1; a.src = g; m.parentNode.insertBefore(a, m) })(window, document, 'script', '//www.google-analytics.com/analytics.js', 'ga'); ga('create', 'UA-78418237-1', 'auto'); ga('send', 'pageview'); </script></body></html>