Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 18 JulDisplayed time zone: London change
Tue 18 Jul
Displayed time zone: London change
09:15 - 10:30 | GCM Session 1GCM at Willow Chair(s): Jens Kosiol Universität Kassel, Detlef Plump University of York Remote Participants: Zoom Link, YouTube Livestream | ||
09:15 15mDay opening | GCM Opening GCM Jens Kosiol Universität Kassel | ||
09:30 30mTalk | Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description) GCM P: Maximilian Kratz Technical University of Darmstadt, Real-Time Systems Lab, Sebastian Ehmes Technical University of Darmstadt, Real-Time Systems Lab, Philipp Menzel Technical University of Darmstadt, Andy Schürr TU Darmstadt, Germany Media Attached File Attached | ||
10:00 30mTalk | Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformation GCM File Attached | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break Social | ||
11:00 - 12:30 | STAF Keynote / TAP Session 1Keynotes / TAP Research Papers / ECMFA Technical Track / ICGT Research Papers at Oak Chair(s): Cristina Seceleanu Mälardalen University Remote Participants: Zoom Link, YouTube Livestream | ||
11:00 15mDay opening | TAP Conference Opening TAP Research Papers | ||
11:15 75mKeynote | Symbolic, Statistical and Randomized Engines in UPPAAL Keynotes Kim Larsen Aalborg University | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Social | ||
13:30 - 15:00 | TAP Session 2: Low-level code verificationTAP Research Papers at Oak Chair(s): Julien Signoles Université Paris-Saclay, CEA, List Remote Participants: Zoom Link | ||
13:30 30mTalk | BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries TAP Research Papers P: Daniel Engel Open University Of The Netherlands, Freek Verbeek Open University of the Netherlands, The Netherlands, Binoy Ravindran Virginia Tech DOI Pre-print File Attached | ||
14:00 30mTalk | Low-level Reachability Analysis based on Formal Logic TAP Research Papers P: Nico Naus Virginia Tech, Freek Verbeek Open University of the Netherlands, The Netherlands, Marc Schoolderman Radboud University Nijmegen, Binoy Ravindran Virginia Tech DOI Pre-print | ||
14:30 30mTalk | Testing a Formally Verified Compiler TAP Research Papers P: David Monniaux CNRS/VERIMAG, Léo Gourdin Université Grenoble Alpes, Verimag, Sylvain Boulmé Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, Olivier Lebeltel Université Grenoble Alpes, CNRS, Verimag DOI Pre-print | ||
13:30 - 15:00 | GCM Session 2GCM at Willow Chair(s): Andrea Corradini Remote Participants: Zoom Link, YouTube Livestream | ||
13:30 30mTalk | Hypergraph Rewriting and Higher-Arity Algebra GCM P: Carlos Zapata-Carratala Wolfram Institute / Society for Multidisciplinary and Fundamental Research | ||
14:00 30mTalk | Graph Edit Distance for Interaction Net Rewrite Rules GCM P: Ian Mackie University of Sussex, Shinya Sato Ibaraki University, Marc Thatcher University of Sussex | ||
14:30 30mTalk | Dynamic Tracing: a graphical language for rewriting protocols GCM | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break Social | ||
15:30 - 16:30 | TAP Session 3: Formal ModelsTAP Research Papers at Oak Chair(s): Catherine Dubois ENSIIE Paris-Evry Remote Participants: Zoom Link | ||
15:30 30mTalk | Certified Logic-Based Explainable AI -- The Case of Monotonic Classifiers TAP Research Papers DOI File Attached | ||
16:00 30mTalk | Context Specification Language for Formal Verification of Consent Properties on Models and Code TAP Research Papers P: Myriam Clouet Université Paris-Saclay, CEA, List, Thibaud Antignac CNIL (Commission nationale de l’informatique et des libertés), Mathilde Arnaud Université Paris-Saclay, CEA, List, Julien Signoles Université Paris-Saclay, CEA, List DOI File Attached | ||
15:30 - 17:00 | GCM Session 3GCM at Willow Chair(s): Jens Kosiol Universität Kassel Remote Participants: Zoom Link, YouTube Livestream | ||
15:30 7mTalk | A high-level functional programming language for interaction nets GCM | ||
15:38 7mTalk | Finite Automata for Efficient Graph Recognition GCM Frank Drewes Umeå universitet, Berthold Hoffmann Universität Bremen, P: Mark Minas Universität der Bundeswehr München | ||
15:45 7mTalk | Towards Efficient Boltzmann Sampling with Graph Generative Models and Constraints GCM | ||
15:53 7mTalk | Random Graph Generation in Context-Free Graph Languages GCM | ||
16:00 60mOther | Open Discussion GCM | ||
18:00 - 19:00 | |||
18:00 60mSocial Event | Welcome Reception Social | ||
Wed 19 JulDisplayed time zone: London change
Wed 19 Jul
Displayed time zone: London change
09:00 - 10:15 | STAF Keynote / ICGT Session 1Keynotes / TAP Research Papers / ECMFA Technical Track / ICGT Research Papers at Oak Chair(s): Maribel Fernandez King's College London Remote Participants: Zoom Link, YouTube Livestream | ||
09:00 15mDay opening | ICGT Conference Opening ICGT Research Papers File Attached | ||
09:15 60mKeynote | Syntactic trinitarianism: terms, graphs, diagrams Keynotes Dan Ghica Huawei Research and University of Birmingham Pre-print | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break Social | ||
11:00 - 12:30 | MeSS Session 1MeSS at Chestnut Chair(s): Stefan Klikovits Johannes Kepler University, Linz Remote Participants: Zoom Link | ||
11:00 15mDay opening | Workshop presentation and Welcome MeSS Stefan Klikovits Johannes Kepler University, Linz File Attached | ||
11:15 45mKeynote | Keynote presentation - MDS4IoT: Access Control for Edge-based Data Sharing and towards Security Orchestration MeSS Phu Nguyen SINTEF | ||
12:00 30mTalk | A Semi-Decentralized Self-Adaptive IoT Architecture for Energy Efficiency in Smart Households MeSS Samuele Giussani Linnaeus University | ||
11:00 - 12:30 | ICGT Session 2: Specification and VerificationICGT Research Papers at Oak Chair(s): Arend Rensink University of Twente, The Netherlands Remote Participants: Zoom Link, YouTube Livestream | ||
11:00 30mTalk | Specification and Verification of a Linear-time Temporal Logic for Graph Transformation ICGT Research Papers Fabio Gadducci University of Pisa, P: Andrea Laretto Tallinn University of Technology, Davide Trotta University of Pisa DOI Pre-print File Attached | ||
11:30 30mTalk | Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser TheoremICGT Best Theory Paper ICGT Research Papers DOI | ||
12:00 30mTalk | Formalisation, Abstraction and Refinement of Bond Graphs ICGT Research Papers DOI | ||
11:15 - 12:45 | TAP Session 4: Model-based test generationTAP Research Papers at Willow Chair(s): Nico Naus Virginia Tech Remote Participants: Zoom Link | ||
11:15 30mTalk | Symbolic Observation Graph-Based Generation of Test Paths TAP Research Papers P: Kais Klai Universit Paris 13, Mohamed Taha Bennani Universty of Tunis El Manar, Jaime Arias CNRS; LIPN; Université Sorbonne Paris Nord, Jörg Desel Fernuniversität in Hagen, Hanen Ochi EFREI DOI File Attached | ||
11:45 30mTalk | Testing Languages with a Languages-as-databases ApproachTAP Best Paper TAP Research Papers DOI | ||
12:15 30mTalk | Proving Properties of Operation Contracts with Test Scenarios TAP Research Papers DOI | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Social | ||
13:30 - 15:00 | MeSS Session 2MeSS at Chestnut Chair(s): Stefan Klikovits Johannes Kepler University, Linz Remote Participants: Zoom Link | ||
13:30 30mTalk | Modeling Urban Digital Twins over the Cloud-to-Thing Continuum MeSS | ||
14:00 30mTalk | A Conceptual Architecture for Building Digital Twins MeSS P: Paula Muñoz , Javier Troya Universidad de Málaga, Spain, Antonio Vallecillo University of Málaga, Spain | ||
14:30 30mDay closing | Wrap up session MeSS Stefan Klikovits Johannes Kepler University, Linz | ||
13:30 - 15:00 | ICGT Session 3: TheoryICGT Research Papers at Oak Chair(s): Nicolas Behr CNRS, Université Paris Cité, IRIF Remote Participants: Zoom Link, YouTube Livestream | ||
13:30 30mTalk | A Monoidal View on Fixpoint Checks ICGT Research Papers Paolo Baldan University of Padova, P: Richard Eggert University of Duisburg-Essen, Barbara König University of Duisburg-Essen, Timo Matt University Duisburg-Essen, Tommaso Padoan University of Padova DOI Pre-print | ||
14:00 30mTalk | Fuzzy Presheaves are Quasitoposes ICGT Research Papers P: Aloïs Rosset Vrije Universiteit Amsterdam, Roy Overbeek Vrije Universiteit Amsterdam, Jörg Endrullis Vrije Universiteit Amsterdam DOI File Attached | ||
14:30 30mTalk | Moving a Derivation Along a Derivation Preserves the Spine ICGT Research Papers P: Hans-Jörg Kreowski University of Bremen, Sabine Kuske University of Bremen, Aaron Lye University of Bremen, Aljoscha Windhorst University of Bremen DOI | ||
13:45 - 15:15 | TAP Session 5: KeynoteKeynotes at Willow Chair(s): Virgile Prevosto CEA Tech List Remote Participants: Zoom Link | ||
13:45 90mKeynote | KeY: A Verification Platform For Java Keynotes Mattias Ulbrich KIT | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break Social | ||
15:30 - 17:00 | ICGT Session 4: Graph Transformation PropertiesICGT Research Papers / ICGT Journal-First at Oak Chair(s): Russ Harmer CNRS Remote Participants: Zoom Link, YouTube Livestream | ||
15:30 30mTalk | Finding the Right Way to Rome: Effect-oriented Graph Transformation ICGT Research Papers P: Jens Kosiol Universität Kassel, Daniel Strüber Chalmers | University of Gothenburg / Radboud University, Gabriele Taentzer Philipps-Universität Marburg, Steffen Zschaler King's College London DOI Pre-print File Attached | ||
16:00 30mTalk | Termination of Graph Transformation Systems using Weighted Subgraph CountingNominated for Best Paper ICGT Research Papers DOI Pre-print File Attached | ||
16:30 30mTalk | Extending single- to multi-variant model transformations by trace-based propagation of variability annotations ICGT Journal-First DOI File Attached | ||
15:45 - 16:45 | TAP Session 6: Abstraction and RefinementTAP Research Papers at Willow Chair(s): Matteo Cimini University of Massachusetts Lowell Remote Participants: Zoom Link | ||
15:45 30mTalk | Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion CheckingTAP Best Paper TAP Research Papers P: Thibaut Benjamin Université Paris-Saclay, CEA, List, Julien Signoles Université Paris-Saclay, CEA, List DOI | ||
16:15 30mTalk | Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars TAP Research Papers DOI | ||
17:15 - 22:30 | STAF Excursion & BanquetSocial | ||
17:15 1h45mSocial Event | Excursion to St Mary de Castro Social | ||
19:00 3h30mDinner | Banquet at Bistrot Pierre Social | ||
Thu 20 JulDisplayed time zone: London change
Thu 20 Jul
Displayed time zone: London change
09:00 - 10:30 | TTC Session 1: Opening & Containers to MiniYAMLTTC at Chestnut Chair(s): Artur Boronat University of Leicester Access the session using this MS teams link. | ||
09:00 10mDay opening | TTC Welcome TTC | ||
09:10 15mTalk | Case introduction - Program abstraction by transformation: Abstraction of Visual Basic to UML TTC Pre-print | ||
09:25 15mTalk | Case introduction - Asymmetric and Directed Bidirectional Transformation for Container Orchestrations TTC Pre-print | ||
09:40 15mTalk | Case solution - BXtenDSL TTC Pre-print Media Attached | ||
09:55 15mTalk | Case solution - NMF TTC Pre-print Media Attached | ||
10:10 20mTalk | Case solution - YAMTL and EMF-Syncer TTC Pre-print Media Attached | ||
09:00 - 10:30 | Agile MDE Session 1Agile MDE at Douglas Fir Chair(s): Javier Troya Universidad de Málaga, Spain Remote Participants: Zoom Link | ||
09:00 40mKeynote | The effect of MDD/MBT on software development in a SAFe project in the railway industry Agile MDE Machiel van der Bijl Axini | ||
09:40 20mTalk | Towards Integrating Machine Learning Models into Mobile Apps using AppCraft Agile MDE P: Lyan Alwakeel , Dr Kevin Lano King's College London, Hessa Alfraihi Princess Nourah bint Abdulrahman University File Attached | ||
10:00 30mTalk | MathOCL: a domain-specific language for financial modelling Agile MDE P: Howard Haughton Holistic Risk Solutions Ltd, Sobhan Yassipour Tehrani University College London (UCL), Dr Kevin Lano King's College London File Attached | ||
09:00 - 10:30 | ICGT Session 5: Blue Skies & Journal-FirstICGT Research Papers / ICGT Journal-First at Willow Chair(s): Detlef Plump University of York Remote Participants: Zoom Link, YouTube Livestream | ||
09:00 30mTalk | A living monograph for graph transformation ICGT Research Papers DOI File Attached | ||
09:30 30mTalk | Graph Rewriting for Graph Neural NetworksNominated for Best Paper ICGT Research Papers DOI File Attached | ||
10:00 30mTalk | Compositionality of Rewriting Rules with Conditions ICGT Journal-First DOI Media Attached | ||
09:30 - 10:45 | ECMFA Session 1: Tools and ModularityECMFA Technical Track at Oak Chair(s): Jesús Sánchez Cuadrado Universidad de Murcia Remote Participants: Zoom Link | ||
09:30 15mDay opening | ECMFA Conference Opening ECMFA Technical Track | ||
09:45 30mTalk | Concern-Oriented Use Cases ECMFA Technical Track P: Ryan Languay McGill University, Nika Prairie McGill University, Jörg Kienzle McGill University, Canada DOI File Attached | ||
10:15 30mTalk | The OSATE Slicer: Graph-Based Reachability for Architectural Models ECMFA Technical Track DOI Pre-print File Attached | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break Social | ||
11:00 - 12:30 | TTC Session 2: KMEHR to FHIRTTC at Chestnut Chair(s): Georg Hinkel Access the session using this MS teams link. | ||
11:00 15mTalk | Case introduction - The TTC 2023 KMEHR to FHIR case TTC Pre-print Media Attached | ||
11:15 15mTalk | Case solution - Epsilon TTC Pre-print Media Attached | ||
11:30 15mTalk | Case solution - Incremental ATL TTC Frédéric Jouault ERIS Team, ESEO , France, P: Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004), Matthew Coyle Pre-print Media Attached | ||
11:45 15mTalk | Case solution - UML-RSDS TTC Pre-print Media Attached | ||
12:00 30mMeeting | Deliberation - Asymmetric and Directed Bidirectional Transformation for Container Orchestrations, KMEHR to FHIR TTC | ||
11:00 - 12:30 | Agile MDE Session 2Agile MDE at Douglas Fir Chair(s): Hessa Alfraihi Princess Nourah bint Abdulrahman University Remote Participants: Zoom Link | ||
11:00 30mTalk | Using MDE with the Clean Architecture Agile MDE File Attached | ||
11:30 30mPanel | Current issues and future prospects for Agile Model-driven engineering Agile MDE C: Hessa Alfraihi Princess Nourah bint Abdulrahman University, Avi Shaked University of Oxford, UK, Yves Wautelet KU Leuven, Joost Noppen University of East Anglia | ||
11:00 - 12:30 | ICGT Session 6: ApplicationsICGT Research Papers at Willow Chair(s): Kazunori Ueda Waseda University Remote Participants: Zoom Link, YouTube Livestream | ||
11:00 30mTalk | A Rule-Based Procedure for Graph Query Solving ICGT Research Papers Dominique Duval Université Grenoble Alpes, P: Rachid Echahed University of Grenoble - CNRS, Frederic Prost Université Grenoble Alpes DOI | ||
11:30 30mTalk | Formalization and analysis of BPMN using graph transformation systemsICGT Best Applications Paper ICGT Research Papers P: Tim Kräuter Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences, Harald König University of Applied Sciences, FHDW Hannover and Western Norway University of Applied Sciences, Yngve Lamo Western Norway University of Applied Sciences DOI Pre-print File Attached | ||
12:00 30mTalk | Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection ICGT Research Papers P: Kaiyuan Yang University of Zurich, Li Xia National University of Singapore, Y.C. Tay National University of Singapore DOI Pre-print | ||
11:15 - 12:45 | ECMFA Session 2: Industrial and ApplicationsECMFA Technical Track at Oak Chair(s): Juan de Lara Autonomous University of Madrid Remote Participants: Zoom Link | ||
11:15 30mTalk | A model-based framework for IoT systems in wastewater treatment plants ECMFA Technical Track P: Iván Alfonso Internet Interdisciplinary Institute, Universitat Oberta de Catalunya, Abel Gómez Universitat Oberta de Catalunya, Silvia Doñate Depuración de Aguas del Mediterráneo, kelly Garces Pernett Universidad de los Andes , Bogotá, Colombia, Harold Castro Department of Systems and Computing Engineering, Universidad de los Andes, Colombia, Jordi Cabot Luxembourg Institute of Science and Technology DOI | ||
11:45 30mTalk | Bridging the Gap between SysML and OPC UA Information Models for Industry 4.0 ECMFA Technical Track DOI File Attached | ||
12:15 30mTalk | Simulink bus usage in practice: an empirical study ECMFA Technical Track P: Tiago Amorim University of Cologne, Alexander Boll University of Bern, Ferry Bachmann , Timo Kehrer University of Bern, Andreas Vogelsang University of Cologne, Hartmut Pohlheim DOI Pre-print | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Social | ||
13:30 - 15:00 | TTC Session 3: Incremental Class to RelationalTTC at Chestnut Chair(s): Antonio Garcia-Dominguez University of York Access the session using this MS teams link. | ||
13:30 15mTalk | Case introduction - Incremental MTL vs. GPLs: Class into Relational Database Schema TTC P: Sandra Greiner University of Bern, Switzerland, Stefan Höppner Ulm University, Frédéric Jouault ERIS Team, ESEO , France, Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004), Mickael Clavreul Pre-print | ||
13:45 15mTalk | Case solution - BXtenDSL TTC Pre-print Media Attached | ||
14:00 15mTalk | Case solution - NMF TTC Pre-print Media Attached | ||
14:15 15mTalk | Case solution - Cheptre TTC Pre-print Media Attached | ||
14:30 30mMeeting | Deliberation - Incremental MTLs vs. GPLs TTC | ||
13:30 - 15:00 | ICGT Session 7: Keynote & Journal-FirstICGT Journal-First / Keynotes at Willow Chair(s): Chris Poskitt Singapore Management University Remote Participants: Zoom Link, YouTube Livestream | ||
13:30 60mKeynote | Formal Mathematics: Matching Algorithms as a Case Study Keynotes Mohammad Abdulaziz Technische Universität München File Attached | ||
14:30 30mTalk | Fast Rule-Based Graph Programs ICGT Journal-First DOI | ||
13:45 - 15:15 | ECMFA Session 3: Domain-Specific LanguagesECMFA Technical Track at Oak Chair(s): Antonio Vallecillo University of Málaga, Spain Remote Participants: Zoom Link | ||
13:45 30mTalk | Model-Driven Engineering for Augmented Reality ECMFA Technical Track Rubén Campos-López Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, P: Juan de Lara Autonomous University of Madrid, Alessandro Colantoni Johannes Kepler University Linz, Antonio Garmendia Universidad Autónoma de Madrid DOI Pre-print Media Attached | ||
14:15 30mTalk | Protocol-Based Interactive Debugging for Domain-Specific LanguagesNominated for Best Paper ECMFA Technical Track P: Josselin Enet Nantes Université, Erwan Bousse Nantes Université, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Gerson Sunyé Nantes University DOI | ||
14:45 30mTalk | Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific LanguagesNominated for Best Paper ECMFA Technical Track P: Ionut Predoaia University of York, Dimitris Kolovos University of York, Matthias Lenk NetApp, Antonio Garcia-Dominguez University of York DOI | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break Social | ||
15:30 - 17:00 | TTC Session 4: Deliberation, Awards, & ClosingTTC at Chestnut Chair(s): Antonio Garcia-Dominguez University of York Access the session using this MS teams link. | ||
15:30 30mMeeting | Final round of deliberation and award preparation TTC | ||
16:00 30mAwards | Awards TTC | ||
16:30 30mLive Q&A | Reflection and open discussion TTC | ||
15:30 - 17:15 | ICGT Session 8: Tools & ApplicationsICGT Research Papers at Willow Chair(s): Rachid Echahed University of Grenoble - CNRS Remote Participants: Zoom Link, YouTube Livestream | ||
15:30 30mTalk | Implementing the λGT Language: A Functional Language with Graphs as First-Class Data ICGT Research Papers DOI File Attached | ||
16:00 30mTalk | Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis ICGT Research Papers DOI Pre-print | ||
16:30 30mTalk | Advanced Consistency Restoration with Higher-Order Short-Cut Rules ICGT Research Papers P: Lars Fritsche TU Darmstadt, Germany, Jens Kosiol Universität Kassel, Adrian Möller TU Darmstadt, Germany, Andy Schürr TU Darmstadt, Germany DOI | ||
17:00 15mDay closing | ICGT Conference Closing ICGT Research Papers Maribel Fernandez King's College London, Reiko Heckel University of Leicester, Chris Poskitt Singapore Management University | ||
15:45 - 17:15 | ECMFA Session 4: Model Differencing and MergingECMFA Technical Track at Oak Chair(s): Jörg Kienzle McGill University, Canada Remote Participants: Zoom Link | ||
15:45 30mTalk | CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration ECMFA Technical Track Achim Lindt RWTH Aachen University, Chair of Software Engineering, Bernhard Rumpe RWTH Aachen University, P: Max Stachon RWTH Aachen University, Sebastian Stüber RWTH Aachen University, Chair of Software Engineering DOI File Attached | ||
16:15 30mTalk | On Implementing Open World Semantic Differencing for Class Diagrams ECMFA Technical Track Jan Oliver Ringert Bauhaus-University Weimar, Bernhard Rumpe RWTH Aachen University, P: Max Stachon RWTH Aachen University DOI File Attached | ||
16:45 30mTalk | Evaluating Model Differencing for the Consistency Preservation of State-based ViewsECMFA Best Paper ECMFA Technical Track Jan Willem Wittler Karlsruhe Institute of Technology, P: Timur Sağlam Karlsruhe Institute of Technology (KIT), Thomas Kühn Martin-Luther-University Halle-Wittenberg Link to publication DOI Media Attached File Attached | ||
Fri 21 JulDisplayed time zone: London change
Fri 21 Jul
Displayed time zone: London change
09:00 - 10:30 | STAF Keynote / ECMFA Session 5Keynotes / TAP Research Papers / ECMFA Technical Track / ICGT Research Papers at Oak Chair(s): Steffen Zschaler King's College London Remote Participants: Zoom Link, YouTube Livestream | ||
09:00 90mKeynote | How I lost my faith (in language technology research)? There and back again. Keynotes Andrzej Wąsowski IT University of Copenhagen, Denmark | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break Social | ||
11:00 - 12:30 | AI4SE Session 1AI4SE@STAF at Chestnut Chair(s): Neslihan Suzen University of Leicester Remote Participants: Zoom Link | ||
11:00 60mTalk | AI and the Evolving Software Engineering Requirements of Industrial Digital Twins AI4SE@STAF Frank McQuade Bloc Digital | ||
12:00 30mTalk | How to Speak Hypercar—Lessons Learned From Developing a Model Based Domain Specific Language to Capture Gordon Murray’s Electronic Architecture AI4SE@STAF Glynn Beeken Gordon Murray Electronics | ||
11:00 - 12:30 | ECMFA Session 6: Model Consistency and CollaborationECMFA Technical Track at Oak Chair(s): Jesús Sánchez Cuadrado Universidad de Murcia Remote Participants: Zoom Link | ||
11:00 30mTalk | A flexible operation-based infrastructure for collaborative model-driven engineering ECMFA Technical Track P: Edvin Herac Johannes Kepler University, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Luciano Marchezan , Rainer Haas Linz Center of Mechatronics GmbH, Alexander Egyed Johannes Kepler University Linz DOI | ||
11:30 30mTalk | One-Way Model Transformations in the Context of the Technology-Roadmapping Tool IRIS ECMFA Technical Track P: Florian Sihler Ulm University, Matthias Tichy Ulm University, Germany, Jakob Pietron Ulm University DOI File Attached | ||
12:00 30mTalk | Towards behavioral consistency in multi-modeling ECMFA Technical Track P: Tim Kräuter Western Norway University of Applied Sciences, Harald König University of Applied Sciences, FHDW Hannover and Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences, Yngve Lamo Western Norway University of Applied Sciences, Patrick Stünkel DOI Pre-print | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Social | ||
13:30 - 15:00 | AI4SE Session 2AI4SE@STAF at Chestnut Chair(s): Ashiq Anjum University of Leicester Remote Participants: Zoom Link | ||
13:30 60mTalk | Using ChatGPT for Software Modelling. Current Status and Future Opportunities AI4SE@STAF Antonio Vallecillo University of Málaga, Spain | ||
14:30 30mPanel | Panel Discussion: Challenges and opportunities for AI in Software Engineering AI4SE@STAF Frank McQuade Bloc Digital , Antonio Vallecillo University of Málaga, Spain, Reiko Heckel University of Leicester | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break Social | ||
15:30 - 17:00 | HEDA Session 3 - Panel presentaion and discussionHEDA at Willow Chair(s): Carsten G. Helgesen Western Norway University of Applied Sciences, Violet Ka I Pun Western Norway University of Applied Sciences Remote Participants: Zoom Link | ||
15:30 60mTalk | Panel presentations HEDA P: Yngve Lamo Western Norway University of Applied Sciences, P: Martin Leucker University of Lübeck, P: Gunnar Piho Tallinn University of Technology | ||
16:30 30mPanel | Panel discussion on the current status and future direction of health data modelling, interoperability and analytics HEDA P: Yngve Lamo Western Norway University of Applied Sciences, P: Martin Leucker University of Lübeck, P: Gunnar Piho Tallinn University of Technology | ||