Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 15mDay opening | STAF - Opening Session ECMFA Ralf Laemmel University of Koblenz | ||
09:15 15mDay opening | ECMFA - Opening Session ECMFA | ||
09:30 60mKeynote | Formal Modeling and Verification of Safety-Critical Systems ECMFA Matthias Volk TU Eindhoven | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering | ||
11:00 - 12:30 | |||
11:00 5mDay opening | Welcome OCL | ||
11:05 10mTalk | OCL on Life Support: Can We Revitalize the Community for a Stronger Future? OCL Mauro Dalle Lucca Tosi Luxembourg Institute of Sciences and Technology, Jordi Cabot Luxembourg Institute of Science and Technology | ||
11:15 25mTalk | Sorted collection and map types for OCL OCL Dr Kevin Lano King's College London, Shekoufeh Rahimi University of Roehampton , Zishan Rahman King's College London | ||
11:40 25mTalk | Using LLMs to Extract OCL Specifications from Java and Python Programs: An Empirical Study OCL | ||
12:05 25mTalk | From OCL to JSX: Declarative Constraint Modeling in Modern SaaS Tools OCL Antonio Bucchiarone DISIM, University of L'Aquila, Juri Di Rocco University of L'Aquila, Damiano Di Vincenzo Università degli Studi dell'Aquila, Alfonso Pierantonio | ||
11:00 - 12:30 | GCM Session 1: Bisimulation Checking, Binary Search Trees, Model SynchronizationGCM at M 201 Chair(s): Jens Kosiol Philipps-Universität Marburg | ||
11:00 30mPaper | Implementing Binary Search Trees in GP2 (Work in Progress) GCM File Attached | ||
11:30 30mPaper | Comparing Synchronization Blocks with Double Pushout Synchronization GCM Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany File Attached | ||
12:00 30mPaper | Introducing The Maximum Common Bigraph Problem GCM Kyle Burns University of Glasgow, Michele Sevegnani University of Glasgow, James Trimble University of Glasgow, Ciaran Mcreesh File Attached | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 25mTalk | Verifying OCL Pre/Post Condition using Cyclone OCL | ||
13:55 25mTalk | A New Set of Metrics for Measuring Complexity of OCL Expressions OCL | ||
14:20 25mTalk | Measuring Complexity of Logical Puzzles with Metrics Expressed in OCL OCL | ||
14:45 15mDay closing | Discussion and closing remarks OCL | ||
13:30 - 15:00 | |||
13:30 30mTalk | Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph Rewriting for Testing Domain-specific Models ECMFA Issam Al-Azzoni Al Ain University of Science, United Arab Emirates, Reiko Heckel University of Leicester, Zobia Erum Birmingham City University Link to publication DOI | ||
14:00 30mTalk | Introducing automated testing to video game development via Behaviour-Driven Development ECMFA Link to publication DOI | ||
14:30 30mTalk | Online Model-Based Testing Reusing Multiple Design Models in an Industrial Setting ECMFA Mathijs Schuts TNO-ESI, Jozef Hooman TNO-ESI, Ivan Kurtev Eindhoven University of Technology, Issam Tlili Philips, Erik Oerlemans Philips Link to publication DOI | ||
13:30 - 15:00 | GCM Session 2: Termination of Rewriting, Graph Parsing, Graph FormulasGCM at M 201 Chair(s): Detlef Plump University of York | ||
13:30 30mPaper | Termination of Graph Rewriting using Weighted Type Graphs over Non-well-founded Semirings GCM Qi Qiu Université Grenoble Alpes File Attached | ||
14:00 30mPaper | Systems of Graph Formulas and their Equivalence to Alternating Graph Automata GCM Frank Drewes Umeå universitet, Berthold Hoffmann Universitt Bremen, Mark Minas Universität der Bundeswehr München File Attached | ||
14:30 30mPaper | Parsing Hypergraphs using Context-Free Positional Grammars GCM File Attached | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 17:00 | ECMFA Session 3: Digital twins and data analysisECMFA at M 001 Chair(s): Iván Alfonso Luxembourg Institute of Science and Technology | ||
15:30 30mTalk | Behavioral analysis of a digital twin using logging and model learning ECMFA Gunasekaran Raghavendran Tilburg University, Boudewijn Haverkort University of Twente, Loes Kruger Radboud University Link to publication DOI | ||
16:00 30mTalk | Navigating the trace of executable domain specific languages through a trace domain query language ECMFA Hiba Ajabri Nantes Université, Jean-Marie Mottu Nantes Université, Christian Attiogbe Nantes Université, Pascal Berruet University of Bretagne Sud Link to publication DOI | ||
16:30 30mTalk | Support for Model-Based Data Sovereignty Analysis ECMFA Sanjeev Sun Shakya University of Koblenz, Qusai Ramadan The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, Julian Flake University of Koblenz, Alexander Peikert University of Koblenz Link to publication DOI | ||
15:30 - 17:00 | GCM Session 3: Lightning Talks & Panel Discussion: Graph Transformation and AIGCM at M 201 Chair(s): Reiko Heckel University of Leicester, Leen Lambers Brandenburg University of Technology Cottbus-Senftenberg, Oszkár Semeráth Budapest University of Technology and Economics Lightning talk: 5’ presentation and max. 5’ Q&A Subsequent panel & open discussion | ||
15:30 10mTalk | Pushing the boundary where formal language theory meets AI-assisted reasoning (Lightning Talk) GCM Federico Vastarini University of Salerno | ||
15:40 10mTalk | Toward Safeguarding GenAI with Graph Transformation: Defining an Exchange Format in JSON (Lightning Talk) GCM Lukas Sebastian Hofmann Philipps-Universität Marburg | Universidad Complutense de Madrid, Alexander Lauer Philipps-Universität Marburg, Jose Ignacio Requeno Complutense University of Madrid, Gabriele Taentzer Philipps-Universität Marburg | ||
15:50 10mTalk | Towards Graph-Based Neuro-Symbolic Logic Reasoning to Improve AI Applications (Lightning Talk) GCM Kristóf Marussy Budapest University of Technology and Economics | ||
16:00 60mPanel | Panel & open discussion: Graph Transformation and AI GCM Kristóf Marussy Budapest University of Technology and Economics, Gabriele Taentzer Philipps-Universität Marburg, Federico Vastarini University of Salerno | ||
17:00 - 18:00 | |||
17:00 60mSocial Event | Hike to Güls Socials | ||
18:00 - 20:00 | |||
18:00 2hSocial Event | Weingut Lunnebach Socials | ||
Wed 11 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 11 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 20mDay opening | OOPSLE Welcome OOPSLE | ||
09:20 70mPanel | Opening Discussion OOPSLE | ||
09:00 - 10:30 | |||
09:00 15mDay opening | STAF - Announcements ECMFA | ||
09:15 75mKeynote | Modeling and LLMs in Continuous Software Engineering ECMFA Anne Koziolek Karlsruhe Institute of Technology | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering | ||
11:00 - 12:30 | |||
11:00 60mKeynote | Adressing the "Engineering" in "Software Language Engineering" OOPSLE | ||
12:00 30mPanel | First Keynote Discussion OOPSLE | ||
11:00 - 12:30 | |||
11:00 60mKeynote | Models in Motion: Agile MDE for Continuous Adaptation Agile MDE Artur Boronat University of Leicester | ||
12:00 20mPaper | Model-Driven Engineering in Digital Signal Processing Agile MDE Shirin Hussein University College London (UCL), Sobhan Yassipour Tehrani University College London (UCL) | ||
12:20 10mShort-paper | Bridging Agility and Automation: Enhancing Model-Driven Engineering with LLMs in Scrum Agile MDE Leila Samimi-Dehkordi Assistant professor, Shahrekord University, Iran, Shekoufeh Rahimi University of Roehampton | ||
11:00 - 12:30 | |||
11:00 90mDay opening | Welcome AI4DPS Friedrich Steimann Fernuniversität in Hagen | ||
11:00 90mIndustry talk | Invited Talk: Generative KI in der Verwaltung AI4DPS Stefan Kaufmann Wikimedia Deutschland e. V. | ||
11:00 90mPaper | Nutzung von Large Language Models zur Unterstützung bei der Prozessmodellierung von Verwaltungshandeln in FIM AI4DPS | ||
11:00 90mPaper | KI und BPM als Enabler der Digitalisierung in der Verwaltung AI4DPS | ||
11:00 90mPanel | Discussion AI4DPS | ||
11:00 - 12:30 | |||
11:00 30mTalk | A Metascience Study of the Low-Code Scientific Field ECMFA Mauro Dalle Lucca Tosi Luxembourg Institute of Sciences and Technology, Javier Luis Cánovas Izquierdo Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology Link to publication DOI | ||
11:30 30mTalk | An internal DSL for graphical modeling tools based on GLSP ECMFA Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany, Bodo Igler RheinMain University of Applied Sciences Link to publication DOI | ||
12:00 30mTalk | User Modeling in Model-Driven Engineering: A Systematic Literature Review ECMFA Aaron Conrardy Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology, Alfredo Capozucca University of Luxembourg Link to publication DOI Pre-print | ||
11:00 - 12:30 | |||
11:00 90mKeynote | Keynote: Instantiation Calculus ICGT Research Papers Nicolas Behr CNRS, Université Paris Cité, IRIF | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 60mKeynote | Who will create the languages of the future? (hint: probably not a team of language engineers!) OOPSLE Pre-print | ||
14:30 30mPanel | Second Keynote Discussion OOPSLE | ||
13:30 - 15:00 | |||
13:30 20mPaper | Enhancing Agile Model-Driven Engineering with Automated Formal Verification of BPMN Models Agile MDE | ||
13:50 20mPaper | Comparing LLM-based and MDE-based Code Generation for Agile MDE Agile MDE | ||
14:10 20mPaper | Using LLMs to Extract UML Class Diagrams from Java and Python Programs: An Empirical Study Agile MDE | ||
14:30 20mPaper | Specification and design refactorings for sustainable agile model-driven engineering Agile MDE Dr Kevin Lano King's College London | ||
13:30 - 15:00 | |||
13:30 90mIndustry talk | Invited Talk: From Files to Agents: How Generative AI Transforms Case Handling and Accelerates Citizen-Centric Public Administration AI4DPS Sharam Dadashnia Insiders Technologies | ||
13:30 90mPaper | Supporting Patients in Administrative Form-Filling through Conversational Agents: A Case from an Orthopedic Technology Provider AI4DPS Oliver Klass Universität Koblenz, Fachbereich Informatik, Jakob Ibrahim Universität Koblenz, Fachbereich Informatik, Isabell Straub Universität Koblenz, Fachbereich Informatik, Sachchit Kolekar Universität Koblenz, Fachbereich Informatik, Svenja Bahle Universität Koblenz, Fachbereich Informatik, Maximilian Theiß Universität Koblenz, Fachbereich Informatik, Justin Wecker Universität Koblenz, Fachbereich Informatik, Gil Veith Universität Koblenz, Fachbereich Informatik, Tom Jaeger , Maria Wimmer Universität Koblenz, Fachbereich Informatik | ||
13:30 90mPaper | AI-based and Model-driven Methods to Guide Citizens through Processes in the Public Sector AI4DPS Lukas Netz RWTH Aachen University, Judith Michael University of Regensburg, Bernhard Rumpe RWTH Aachen University | ||
13:30 90mPanel | Discussion AI4DPS | ||
13:30 - 15:00 | |||
13:30 30mTalk | Methodical and Formally Verified Model-Driven Architecture Refactoring ECMFA Lars Fischer Chair of Software Engineering, RWTH Aachen University, Hendrik Kausch RWTH Aachen University, Chair of Software Engineering, Bernhard Rumpe RWTH Aachen University, Max Stachon RWTH Aachen University, Sebastian Stüber RWTH Aachen University, Chair of Software Engineering, Lucas Wollenhaupt Chair of Software Engineering, RWTH Aachen University Link to publication DOI | ||
14:00 30mTalk | On the Use of GPT-4 in the Reverse Engineering of Class Diagrams ECMFA Victor Campanello Chalmers University of Technology, University of Gothenburg, Shariq Shahbaz Chalmers University of Technology, University of Gothenburg, Vladislav Indykov Chalmers | University of Gothenburg, Daniel Strüber Chalmers | University of Gothenburg / Radboud University Link to publication DOI | ||
14:30 30mTalk | Using MDE to support sustainable re-engineering ECMFA Dr Kevin Lano King's College London, Shekoufeh Rahimi University of Roehampton , Zishan Rahman King's College London Link to publication DOI | ||
13:30 - 15:00 | ICGT Session 1: Applications for Program Verification and TestingICGT Research Papers at M 201 Session Chair: Leen Lambers | ||
13:30 30mTalk | Test Case Generation from Graph Transformation Systems using Deep Reinforcement Learning ICGT Research Papers Simin Ghasemi Arak University, Mohammadjavad Mehrabi Arak University, Vahid Rafe City St George’s, University of London, Reiko Heckel University of Leicester, Issam Al-Azzoni Al Ain University of Science, United Arab Emirates | ||
14:00 30mTalk | Fuzzing Graph Database Applications with Graph Transformations ICGT Research Papers Stefania Dumbrava ENSIIE & Télécom SudParis , Melchior Oudemans Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology | ||
14:30 30mTalk | Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems ICGT Research Papers Barbara König University of Duisburg-Essen, Arend Rensink University of Twente, The Netherlands, Lara Stoltenow Universität Duisburg-Essen, Fabian Urrigshardt University of Duisburg-Essen | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 17:00 | |||
15:30 60mKeynote | Let’s Make Abstraction Engineering Fun Again OOPSLE | ||
16:30 30mPanel | Third Keynote Discussion OOPSLE | ||
15:30 - 17:00 | |||
15:30 90mPaper | Toward a national repository of administrative procedures: Web Crawling and Process Modeling with Large Language Models AI4DPS Francesca De Luzi Sapienza Università di Roma, Rome, Italy, Mattia Macrì , Massimo Mecella Università di Roma Sapienza | ||
15:30 90mPaper | Structuring Legal Text as Preparation for Chat-Bot Use AI4DPS | ||
15:30 90mPanel | Discussion AI4DPS | ||
15:30 - 17:00 | |||
15:30 60mDay closing | Closing & Discussions ECMFA | ||
15:30 - 17:00 | ICGT Session 2: Semantics and Static AnalysisICGT Research Papers at M 201 Session Chair: Georg Hinkel | ||
15:30 30mTalk | Termination of Injective DPO Graph Rewriting Systems using Subgraph Counting ICGT Research Papers Qi Qiu Université Claude Bernard Lyon 1 | ||
16:00 30mTalk | Rewriting for Traced Monoidal Closed Categories ICGT Research Papers Alessandro Di Giorgio Tallinn University of Technology, Dan Ghica Huawei Research and University of Birmingham, Fabio Zanasi University College London | ||
16:30 30mTalk | Parallel Rule Application with Doubling Avoidance ICGT Research Papers Hans-Jörg Kreowski University of Bremen, Aaron Lye German Aerospace Center, Institute for the Protection of Maritime Infrastructures | ||
17:00 - 18:00 | |||
17:00 60mMeeting | STAF Closed Steering Committee Meeting ECMFA | ||
18:00 - 19:00 | |||
18:00 60mSocial Event | Altstadtexpress Socials | ||
19:00 - 20:30 | |||
19:00 90mSocial Event | Biergarten am Deutschen Eck Socials | ||
Thu 12 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 12 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 30mKeynote | LLMs for Software Engineering: What does that mean for model-driven software development? LLM4SE Gabriele Taentzer Philipps-Universität Marburg | ||
09:30 30mResearch paper | Provider-Agnostic Knowledge Graph Extraction from User Stories using Large Language Models LLM4SE Thayna Camargo da SIlva , Leen Lambers Brandenburg University of Technology Cottbus-Senftenberg, Sébastien Mosser McMaster University, Kate Revoredo Humboldt-Universität zu Berlin | ||
10:00 30mResearch paper | Model Transformations Using LLMs Out-of-the-Box: Can Accidental Complexity Be Reduced? LLM4SE Gabriel Kazai Mälardalen University, Ronnie Agyeiwaa Osei Mälardalen University, Antonio Cicchetti Mälardalen University, Alessio Bucaioni Mälardalen University | ||
09:00 - 10:30 | |||
09:00 15mDay opening | SLE Welcome SLE G: Görel Hedin Lund University, P: Regina Hebig Universität Rostock, Rostock, Germany, P: Vadim Zaytsev University of Twente | ||
09:15 75mKeynote | A New DSL Textbook in Town! SLE Pre-print | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Consistency in the View-Based Development of Cyber-Physical Systems ICGT Research Papers | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering | ||
11:00 - 12:30 | |||
11:00 30mResearch paper | Large Language Models for Game Development: A Survey on Automated Code Generation LLM4SE Mohammadreza Sharbaf University of Isfahan, Shekoufeh Rahimi University of Roehampton , Alireza Dastmalchi Saei Bilkent University | ||
11:30 30mResearch paper | A Language Workbench Extension to Generate Conversational Interfaces for Domain-Specific Languages LLM4SE Luigi Brandolini IMT Atlantique, LS2N (UMR CNRS 6004), Jean Sebastien Sottet Luxembourg Institute of Science and Technology and University of Luxembourg, Massimo Tisi | ||
12:00 30mResearch paper | AIPyCraft: AI-Assisted Software Development Lifecycle for 6G Blockchain Oracle Validation LLM4SE Antonio Alberti University of Leeds, Alexis Leal Federal Institute of Mato Grosso (Brazil), Ariel Dalla-Costa Universidade do Vale do Rio dos Sinos, Cristiano Both University of Vale do Rio dos Sinos (UNISINOS) | ||
11:00 - 12:30 | ICMM Session 1: Welcome & Paper PresentationsICMM at D 239 Chair(s): Arne Lange Paper presentations of ICMM | ||
11:00 30mFull-paper | Towards Dynamic Views on Heterogeneous Models – The NeoJoin View Definition Language ICMM Lars König Karlsruhe Institute of Technology, Tobias Stickling , Daniel Ritz , Erik Burger Karlsruhe Institute of Technology (KIT) Pre-print | ||
11:30 30mFull-paper | Towards a Unified Model-Based Engineering Framework: Integrating UML Profiles into EMF ICMM | ||
12:00 30mShort-paper | A Process for Continuous Consistency-aware Quality Management ICMM Martin Armbruster Karlsruhe Institute of Technology (KIT), Manar Mazkatli Karlsruhe Institute of Technology, Anne Koziolek Karlsruhe Institute of Technology | ||
11:00 - 12:30 | SLE Session 1: Parsing and Attribute GrammarsSLE at M 001 Chair(s): Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany | ||
11:00 22mTalk | Handling Grammar Cycles in the 1997 Standard ML Definition SLE Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway University of London, UK Pre-print | ||
11:22 22mTalk | Property-based Testing of Attribute Grammars SLE José Nuno Macedo University of Minho, Marcos Viera University of the Republic, Uruguay, João Saraiva HASLab/INESC TEC, University of Minho | ||
11:45 22mTalk | Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars SLE Luke Bessant University of Minnesota, Twin Cities, Eric Van Wyk University of Minnesota, Twin Cities Pre-print | ||
12:07 22mTalk | Boosting Parallel Parsing through Cyclic Operator Precedence Grammars SLE Michele Chiari TU Wien, Michele Giornetta Politecnico di Milano, Dino Mandrioli Politecnico di Milano, Matteo Pradella Politecnico di Milano, Italy Pre-print | ||
11:00 - 12:30 | ICGT Session 4: Graph Properties, Automata and LogicICGT Research Papers at M 201 Session Chair: Detlef Plump | ||
11:00 30mTalk | Granular Conflict Analysis for Transformation Rules with Application Conditions ICGT Research Papers Alexander Lauer Philipps-Universität Marburg, Jens Kosiol Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg | ||
11:30 30mTalk | Specifying and Checking Graph Properties with Alternating Graph Automata ICGT Research Papers Frank Drewes Umeå universitet, Berthold Hoffmann Universitt Bremen, Mark Minas Universität der Bundeswehr München | ||
12:00 30mTalk | Graph Formulas and their Translation to Alternating Graph Automata ICGT Research Papers Frank Drewes Umeå universitet, Berthold Hoffmann Universitt Bremen, Mark Minas Universität der Bundeswehr München | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mResearch paper | On the use of LLMs for Design Pattern Detection in software models LLM4SE Abdeljalil Yassine Université Paris-Saclay, CEA, List, Ansgar Radermacher , Marcos Didonet del Fabro Universidade Federal do Paraná, Chokri Mraidha Université Paris-Saclay, CEA, List | ||
14:00 30mResearch paper | Optimizing Retrieval Augmented Generation for Object Constraint Language LLM4SE Kevin Chenhao Li Technical University of Munich (TUM), Vahid Zolfaghari Technical University of Munich (TUM), Nenad Petrovic Technical University of Munich (TUM), Fengjunjie Pan Technical University of Munich (TUM), Alois Knoll Technical University of Munich Pre-print | ||
14:30 30mResearch paper | Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs LLM4SE Weixing Zhang Chalmers | University of Gothenburg, Regina Hebig Universität Rostock, Rostock, Germany, Daniel Strüber Chalmers | University of Gothenburg / Radboud University | ||
13:30 - 15:00 | |||
13:30 90mKeynote | Consistency Management: Successful Practice Meets Research Needs ICMM Heiko Klare Vector Informatik GmbH | ||
13:30 - 15:00 | SLE Session 2: Language and Framework DesignSLE at M 001 Chair(s): Elizabeth Scott Royal Holloway University of London | ||
13:30 22mTalk | A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries SLE Arkadii Gerasimov RWTH Aachen University, Nico Jansen Software Engineering, RWTH Aachen University, Judith Michael University of Regensburg, Bernhard Rumpe RWTH Aachen University, Sebastian Will RWTH Aachen Link to publication DOI | ||
13:52 22mTalk | TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly SLE José Pedro Ferreira University of Porto, Portugal, João Bispo Faculdade de Engenharia e Universidade do Porto, Susana Lima | ||
14:15 22mTalk | Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization SLE Philipp Riemer Leipzig University, Yury Nikulin University of Turku, Ashley Claymore , Mikhail Barash University of Bergen | ||
14:37 22mTalk | AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support SLE Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany, Alexander Hert RheinMain University of Applied Sciences, Wiesbaden, Germany, Niklas Hettler RheinMain University of Applied Sciences, Wiesbaden, Germany, Kevin Weinert RheinMain University of Applied Sciences, Wiesbaden, Germany | ||
13:30 - 15:00 | ICGT Session 5: Applications for ModelingICGT Research Papers at M 201 Session Chair: Berthold Hoffmann | ||
13:30 30mTalk | Dynamic Graph Rewriting for User State-Based Dialogue Adaption in Real-Time: An Application in Personalized Interview Training ICGT Research Papers Deeksha Adiani Vanderbilt University, Timothy J. Vogus Vanderbilt University, Nilanjan Sarkar Vanderbilt University, Medha Sarkar Middle Tennessee State University | ||
14:00 30mTalk | Graph-transformational Threat Modeling ICGT Research Papers Lars Friederichs German Aerospace Center, Institute for the Protection of Maritime Infrastructures, Aaron Lye German Aerospace Center, Institute for the Protection of Maritime Infrastructures | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 17:00 | |||
15:30 - 17:00 | |||
15:30 25mTalk | Lessons Learned from Developing the MontiCore Language Workbench: Challenges of Modular Language Design SLE Alex Lüpges RWTH Aachen, Nico Jansen Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University | ||
15:55 20mTalk | Integrating Model Checking into a Live Modeling Environment SLE Joeri Exelmans , Ciprian Teodorov ENSTA Bretagne, Hans Vangheluwe University of Antwerp and Flanders Make | ||
16:15 15mAwards | SLE Awards SLE S: Eric Van Wyk University of Minnesota, Twin Cities, Marjan Mernik University of Maribor, P: Regina Hebig Universität Rostock, Rostock, Germany, P: Vadim Zaytsev University of Twente | ||
16:30 30mTalk | SLE MIP Talk SLE | ||
15:30 - 17:00 | |||
15:30 30mTalk | Using deep reinforcement learning to search reachability properties in systems specified through graph transformationtions ICGT Research Papers Link to publication DOI | ||
16:00 30mTalk | Whole test suite generation from graph transformation specifications using ant colony optimization ICGT Research Papers Simin Ghasemi Arak University, Vahid Rafe City St George’s, University of London, Anvar Bahrampour Islamic Azad University, Reiko Heckel University of Leicester Link to publication DOI | ||
17:00 - 18:30 | |||
17:00 90mMeeting | Closed SLE Steering Committee Meeting SLE | ||
19:00 - 21:30 | |||
19:00 2h30mSocial Event | Weindorf Koblenz Socials | ||
Fri 13 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 13 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 15mDay opening | SLE Second Day SLE | ||
09:15 75mKeynote | Can Programming Be Liberated from the Functional Style? SLE | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering | ||
11:00 - 12:30 | TTC Live ContestTTC at D 239 See https://github.com/TransformationToolContest/ttc2025-live/ for the live contest resources; if you want to participate remotely, use https://syddanskuni.zoom.us/j/64808091593?pwd=h8Gc6iCL6PMjRCZr7jithJmNBdOaLZ.1 | ||
11:00 90mKeynote | Live Contest introduction and discussion of solutions TTC | ||
11:00 - 12:30 | SLE Session 4: Debugging and Dynamic CheckingSLE at M 001 Chair(s): Eric Van Wyk University of Minnesota, Twin Cities | ||
11:00 22mTalk | Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages SLE Damian Frölich University of Amsterdam, Tommaso Pacciani , L. Thomas van Binsbergen University of Amsterdam Pre-print | ||
11:22 22mTalk | Dynamic Dependency-Based Purity Checking SLE Anton Risberg Alaküla Lund University, Niklas Fors Lund University, Christoph Reichenbach Lund University Link to publication DOI | ||
11:45 45mPanel | SLE Panel: The Future of SLE SLE Thomas Degueule CNRS, Ralf Lämmel Universität Koblenz, Jeff Smits Delft University of Technology, Friedrich Steimann Fernuniversität in Hagen, Eric Van Wyk University of Minnesota, Twin Cities, Regina Hebig Universität Rostock, Rostock, Germany | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
13:30 - 15:00 | TTC PanelTTC at D 239 Chair(s): Sandra Greiner University of Southern Denmark Do we still need transformation languages in the age of generative AI? If you want to participate remotely, use this link: https://syddanskuni.zoom.us/j/64808091593?pwd=h8Gc6iCL6PMjRCZr7jithJmNBdOaLZ.1 | ||
13:30 90mPanel | Model transformation in the age of generative AI TTC Sandra Greiner University of Southern Denmark, Artur Boronat University of Leicester, Jordi Cabot Luxembourg Institute of Science and Technology, Nils Weidmann , Dr Kevin Lano King's College London, Matthias Tichy Ulm University | ||
13:30 - 15:00 | |||
13:30 22mTalk | Optimize Effect Handling for Tail-resumption with Stack Unwinding SLE | ||
13:52 22mTalk | Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair SLE Aleksandar S. Dimovski Mother Teresa University, Skopje | ||
14:15 22mTalk | (Semantic) Feature Model Differences with (Q)SAT SLE Simone Heisinger JKU Linz, Maximilian Heisinger JKU Linz, Martina Seidl Johannes Kepler University Linz | ||
14:37 22mTalk | Detecting Resource Leaks on Android with Alpakka SLE Gustavo Amorim Santos Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, João Bispo Faculdade de Engenharia e Universidade do Porto Pre-print | ||