ECMFA 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (151)

A Faima AbbasiAbbasi, Faima Luxembourg Institute of Science and Technology and University of LuxembourgLuxembourg Semantic Drift Management in Digital Twins
Iván AlfonsoAlfonso, Iván Luxembourg Institute of Science and TechnologyLuxembourg Committee Member in Program Committee within the ECMFA-track
Hessa AlfraihiAlfraihi, Hessa Princess Nourah bint Abdulrahman UniversitySaudi Arabia Committee Member in Program Committee within the ECMFA-track
Lissette AlmonteAlmonte, Lissette Universidad Autónoma de MadridSpain EMF-Kaizen: an intelligent assistant for domain-specific modelling and meta-modelling
Uwe AßmannAßmann, Uwe TU Dresden, GermanyGermany Investigating Novice Modelers’ Intuitive Consistency Notions for the Case of Compositional Models
Colin AtkinsonAtkinson, Colin University of Mannheim Supporting OWL-Style Reasoning over UML-Style Models via Endogenous OWL Overlays
B Jean-Philippe BabauBabau, Jean-Philippe Lab-STICC / UBO Session Chair of Digital Twins and Cyber-Physical Systems (part of ECMFA) Weaving executable models and code for software development
Önder BaburBabur, Önder Wageningen University & Research Session Chair of Welcome and opening (part of ECMFA) Session Chair of Transformations (part of ECMFA) Program Chair in Organizing Committee within the ECMFA-track
Alessandra BagnatoBagnato, Alessandra SofteamFrance Committee Member in Program Committee within the ECMFA-track
Fabien BaligandBaligand, Fabien Université Paris-Saclay, CEA List, Palaiseau LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamodeling
Pascal BannerotBannerot, Pascal Université Paris-Saclay, CEA List, Palaiseau LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamodeling
Bernhard BeckertBeckert, Bernhard Karlsruhe Institute of Technology Investigating Novice Modelers’ Intuitive Consistency Notions for the Case of Compositional Models
Anish BhobeBhobe, Anish Telecom Paris Policy-Driven Change Management in Model Based Systems Engineering
Lina BilalBilal, Lina Université de RennesFrance Model-Based Development of Digital Twins in Industry 4.0
Mireille Blay-FornarinoBlay-Fornarino, Mireille Université Nice Sophia Antipolis, I3SFrance A Model-Driven Approach To Support The Understanding Of Machine Learning Pipelines
Mireille Blay-FornarinoBlay-Fornarino, Mireille Université Côte d'Azur; CNRSFrance Committee Member in Program Committee within the ECMFA-track
Dominique BlouinBlouin, Dominique LTCI Lab, Telecom Paris, Institute Polytechnique de ParisFrance Policy-Driven Change Management in Model Based Systems Engineering
Julie BonnailBonnail, Julie Université Paris-Saclay, CEA List, Palaiseau LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamodeling
Dominik BorkBork, Dominik TU Wien, Vienna, AustriaAustria Session Chair of Language Models (part of ECMFA) Committee Member in Program Committee within the ECMFA-track
Artur BoronatBoronat, Artur University of LeicesterUnited Kingdom Committee Member in Program Committee within the ECMFA-track
Miriam BossBoss, Miriam Karlsruhe Institute of Technology (KIT)Germany CoCoPath: Concolic Exploration of Consistency-Preserving Paths
Erwan BousseBousse, Erwan Nantes UniversitéFrance Session Chair of Testing and Benchmarking (part of ECMFA) Committee Member in Program Committee within the ECMFA-track
Erik BurgerBurger, Erik Karlsruhe Institute of Technology (KIT)Germany A Unified Model-driven Framework for Co-Designing System Architecture and Safety Analysis in Cyber-Physical Systems Language Design of the NeoJoin View Definition Language
C Eric CariouCariou, Eric Lab-STICC UMR6285, Université de Brest Weaving executable models and code for software development
Stéphanie ChallitaChallita, Stéphanie University of Rennes / IRISAFrance Sock: A Clock-Based Modeling Language to Specify Secure Periodic Real-Time Tasks
Haowei ChengCheng, Haowei Waseda UniversityJapan LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages
Federico CiccozziCiccozzi, Federico Mälardalen UniversitySweden Committee Member in Program Committee within the ECMFA-track
Robert ClarisóClarisó, Robert Universitat Oberta de CatalunyaSpain Committee Member in Program Committee within the ECMFA-track
Loek CleophasCleophas, Loek Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)Netherlands Committee Member in Program Committee within the ECMFA-track
Philippe ColletCollet, Philippe University of Nice A Model-Driven Approach To Support The Understanding Of Machine Learning Pipelines
Benoit CombemaleCombemale, Benoit Inria, Univ Rennes, CNRS, IRISAFrance Sock: A Clock-Based Modeling Language to Specify Secure Periodic Real-Time Tasks Model-Based Development of Digital Twins in Industry 4.0
D Fatima DanashDanash, Fatima Université Paris-Saclay, CEA, List, F-91120, Palaiseau, France Product Digital Twin Ontology: A Pivot for Bridging Asset Administration Shell–based and Ontology-based Digital Product Passports
Can André DautelDautel, Can André Institute of Aircraft Systems (ILS), University of Stuttgart Achieving Traceability and Reproducibility for Heterogenous MBSE Processes using Ontology-Based Orchestration
Juan de Larade Lara, Juan Autonomous University of MadridSpain EMF-Kaizen: an intelligent assistant for domain-specific modelling and meta-modelling
Brian DetlorDetlor, Brian McMaster University Capturing and Organizing Reusable Interaction Practices Using Justification and Feature Models
Davide Di RuscioDi Ruscio, Davide University of L'AquilaItaly Committee Member in Program Committee within the ECMFA-track
Amleto Di SalleDi Salle, Amleto Gran Sasso Science Institute, L'Aquila, ItalyItaly Structural-Semantic Clustering for Architectural Models
Marcos Didonet Del FabroDidonet Del Fabro, Marcos CEA-List, Université Paris-SaclayFrance LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamodeling Hybrid Collaborative Modeling: Problem Analysis, Requirements, and Architectural Principles
E Romina EramoEramo, Romina University of TeramoItaly Committee Member in Program Committee within the ECMFA-track
F Rebeka FarkasFarkas, Rebeka Budapest University of Technology and Economics Assessing the Scalability of Graph Predicate Evaluation with Large Language Models
Bahareh FatemiFatemi, Bahareh University of Bergen Modeling Dynamic Processes with Ontological Grounding: A Case Study in Conflict Analysis
Kevin FeichtingerFeichtinger, Kevin Karlsruhe Institute of Technology (KIT) Investigating Novice Modelers’ Intuitive Consistency Notions for the Case of Compositional Models
Attila FicsorFicsor, Attila Budapest University of Technology and Economics From Constraints to Commands: Graph Pattern Differentiation in 4-Valued First-Order Logic
Dirk FriedenbergerFriedenberger, Dirk Hasso-Plattner-Institut Achieving Traceability and Reproducibility for Heterogenous MBSE Processes using Ontology-Based Orchestration
G Antonio Garcia-DominguezGarcia-Dominguez, Antonio University of YorkUnited Kingdom Committee Member in Program Committee within the ECMFA-track
Antonio GarmendiaGarmendia, Antonio Universidad Autónoma de MadridSpain An Interpreter-Based Execution Framework for IEC 61499 Function Block Networks
Denise GeiskkovitchGeiskkovitch, Denise McMaster University Capturing and Organizing Reusable Interaction Practices Using Justification and Feature Models
Sebastien GerardGerard, Sebastien IRT Jules Verne Hybrid Collaborative Modeling: Problem Analysis, Requirements, and Architectural Principles
Martin GogollaGogolla, Martin Committee Member in Steering Committee within the ECMFA-track
Thomas GschwindGschwind, Thomas IBM Research Lab ZurichSwitzerland Committee Member in Steering Committee within the ECMFA-track
Esther GuerraGuerra, Esther Universidad Autónoma de MadridSpain EMF-Kaizen: an intelligent assistant for domain-specific modelling and meta-modelling Committee Member in Program Committee within the ECMFA-track
Shilpi GuptaGupta, Shilpi University of MannheimGermany Supporting OWL-Style Reasoning over UML-Style Models via Endogenous OWL Overlays
H Nathan HagelHagel, Nathan Karlsruhe Institute of Technology (KIT)Germany LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages
Veit HagenmeyerHagenmeyer, Veit Karlsruhe Institute of Technology (KIT) Language Design of the NeoJoin View Definition Language
Regina HebigHebig, Regina Universität Rostock, Rostock, GermanyGermany Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution
Reiko HeckelHeckel, Reiko University of LeicesterUnited Kingdom Committee Member in Steering Committee within the ECMFA-track
Jonas HenschelHenschel, Jonas TU Chemnitz Achieving Traceability and Reproducibility for Heterogenous MBSE Processes using Ontology-Based Orchestration
Georg HinkelHinkel, Georg RheinMain University of Applied Sciences, Wiesbaden, GermanyGermany Session Chair of Consistency and Composition (part of ECMFA)
I Ludovico IovinoIovino, Ludovico Gran Sasso Science Institute, L'Aquila, ItalyItaly Structural-Semantic Clustering for Architectural Models Committee Member in Program Committee within the ECMFA-track
J Ankit JhaJha, Ankit Maynooth UniversityIreland Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification
Bowen JiangJiang, Bowen Karlsruhe Institute of Technology CoCoPath: Concolic Exploration of Consistency-Preserving Paths Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages
Benedikt JutzJutz, Benedikt Karlsruhe Institute of Technology (KIT)Germany LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages
Jean-Marc JézéquelJézéquel, Jean-Marc Univ Rennes, IUF, INRIA, CNRS, IRISAFrance Model-Based Development of Digital Twins in Industry 4.0
K Karl KegelKegel, Karl Technische Universität DresdenGermany Investigating Novice Modelers’ Intuitive Consistency Notions for the Case of Compositional Models
Djamel Eddine KhelladiKhelladi, Djamel Eddine CNRS, IRISA, University of RennesFrance Session Chair of Welcome and opening (part of ECMFA)
Kalvin Thuan-Phong KhuuKhuu, Kalvin Thuan-Phong McMaster University, McSCert Capturing and Organizing Reusable Interaction Practices Using Justification and Feature Models
Alexander KocherKocher, Alexander Karlsruhe Institute of Technology (KIT) Language Design of the NeoJoin View Definition Language
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Committee Member in Program Committee within the ECMFA-track
Olga KouchnarenkoKouchnarenko, Olga Femto-ST / Université de Franche-Comté Module-based Modelling and Assessment of Modular Robots w.r.t. Energy Efficiency
Anne KoziolekKoziolek, Anne Karlsruhe Institute of TechnologyGermany CoCoPath: Concolic Exploration of Consistency-Preserving Paths LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages Language Design of the NeoJoin View Definition Language
Lars KönigKönig, Lars Karlsruhe Institute of Technology (KIT)Germany Language Design of the NeoJoin View Definition Language
L Nicolas LacroixLacroix, Nicolas Université Côte d'Azur, I3S A Model-Driven Approach To Support The Understanding Of Machine Learning Pipelines
Leen LambersLambers, Leen Brandenburg University of Technology Cottbus-SenftenbergGermany Committee Member in Program Committee within the ECMFA-track
Yngve LamoLamo, Yngve Western Norway University of Applied SciencesNorway Modeling Dynamic Processes with Ontological Grounding: A Case Study in Conflict Analysis Committee Member in Program Committee within the ECMFA-track
Arne LangeLange, Arne Karlsruhe Institute of Technology (KIT)Germany LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages
Frédéric LassabeLassabe, Frédéric Université Marie et Louis Pasteur, FEMTO-ST Institute UMR 6174 CNRS, France Module-based Modelling and Assessment of Modular Robots w.r.t. Energy Efficiency
Tianhai LiuLiu, Tianhai Karlsruhe Institute of Technology (KIT), and aicas GmbHGermany A Unified Model-driven Framework for Co-Designing System Architecture and Safety Analysis in Cyber-Physical Systems
M Azam MahdipourMahdipour, Azam McMaster Centre for Software CertificationCanada Incremental Task-Driven Composition of Heterogeneous Software Models for Legacy System Maintenance
Leonardo MarianiMariani, Leonardo University of Milano-BicoccaItaly Structural-Semantic Clustering for Architectural Models
Kristóf MarussyMarussy, Kristóf Budapest University of Technology and EconomicsHungary From Constraints to Commands: Graph Pattern Differentiation in 4-Valued First-Order Logic Assessing the Scalability of Graph Predicate Evaluation with Large Language Models
Judith MichaelMichael, Judith University of RegensburgGermany Session Chair of System Engineering (part of ECMFA) Committee Member in Program Committee within the ECMFA-track
Muhammad Asim MinhasMinhas, Muhammad Asim Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131 Karlsruhe, Germany A Unified Model-driven Framework for Co-Designing System Architecture and Safety Analysis in Cyber-Physical Systems
Rosemary MonahanMonahan, Rosemary Ireland Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification
Sébastien MosserMosser, Sébastien McMaster UniversityCanada A Model-Driven Approach To Support The Understanding Of Machine Learning Pipelines Incremental Task-Driven Composition of Heterogeneous Software Models for Legacy System Maintenance Capturing and Organizing Reusable Interaction Practices Using Justification and Feature Models
Chokri MraidhaMraidha, Chokri Université Paris-Saclay, CEA, List Product Digital Twin Ontology: A Pivot for Bridging Asset Administration Shell–based and Ontology-based Digital Product Passports
N Antonios NaguibNaguib, Antonios Université Marie et Louis Pasteur, FEMTO-ST Institute UMR CNRS 6174, France Module-based Modelling and Assessment of Modular Robots w.r.t. Energy Efficiency
Quang-Duy NguyenNguyen, Quang-Duy Université Paris-Saclay, CEA, ListFrance Product Digital Twin Ontology: A Pivot for Bridging Asset Administration Shell–based and Ontology-based Digital Product Passports
Joost NoppenNoppen, Joost Applied Research, British Telecommunications plc.United Kingdom Committee Member in Program Committee within the ECMFA-track
O Monalisha OjhaOjha, Monalisha University of Mannheim Supporting OWL-Style Reasoning over UML-Style Models via Endogenous OWL Overlays
Léo OlivierOlivier, Léo CEA-List, Université Paris-Saclay Hybrid Collaborative Modeling: Problem Analysis, Requirements, and Architectural Principles
Andreas L OpdahlOpdahl, Andreas L University of BergenNorway Modeling Dynamic Processes with Ontological Grounding: A Case Study in Conflict Analysis
P Richard PaigePaige, Richard McMaster UniversityCanada Committee Member in Steering Committee within the ECMFA-track Committee Member in Program Committee within the ECMFA-track
Vera PantelicPantelic, Vera McMaster Centre for Software Certification Incremental Task-Driven Composition of Heterogeneous Software Models for Legacy System Maintenance
Inez Anna PappPapp, Inez Anna Budapest University of Technology and Economics From Constraints to Commands: Graph Pattern Differentiation in 4-Valued First-Order Logic
Romain PascualPascual, Romain MICS, CentraleSupélec, Université Paris-SaclayFrance Investigating Novice Modelers’ Intuitive Consistency Notions for the Case of Compositional Models
Laurent PautetPautet, Laurent Télécom Paris, Institut Polytechnique de Paris Policy-Driven Change Management in Model Based Systems Engineering
Quentin PerezPerez, Quentin INSA RennesFrance Model-Based Development of Digital Twins in Industry 4.0
Alfonso PierantonioPierantonio, Alfonso Università degli Studi dell'AquilaItaly Committee Member in Program Committee within the ECMFA-track
Anne-Marie Pinna-DéryPinna-Déry, Anne-Marie I3S Capturing and Organizing Reusable Interaction Practices Using Justification and Feature Models
Lukas PirlPirl, Lukas Hasso Plattner Institute Achieving Traceability and Reproducibility for Heterogenous MBSE Processes using Ontology-Based Orchestration
Andreas PolzePolze, Andreas Hasso-Plattner-Institute at University Potsdam Achieving Traceability and Reproducibility for Heterogenous MBSE Processes using Ontology-Based Orchestration
James Pontes MirandaPontes Miranda, James CEA LISTFrance LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamodeling
Frederic PreciosoPrecioso, Frederic Laboratoire I3S UMR UNS-CNRS 7271France A Model-Driven Approach To Support The Understanding Of Machine Learning Pipelines
Cedric PruskiPruski, Cedric Luxembourg Institute of Science and Technology and University of LuxembourgLuxembourg Semantic Drift Management in Digital Twins
R Fazle RabbiRabbi, Fazle University of BergenNorway Modeling Dynamic Processes with Ontological Grounding: A Case Study in Conflict Analysis
Ansgar RadermacherRadermacher, Ansgar Université Paris-Saclay, CEA List, Palaiseau LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamodeling
Shyam RavichandranRavichandran, Shyam McMaster University Capturing and Organizing Reusable Interaction Practices Using Justification and Feature Models
Jefferson Ivan RengifoRengifo, Jefferson Ivan Universidad Autónoma de Madrid EMF-Kaizen: an intelligent assistant for domain-specific modelling and meta-modelling
Arend RensinkRensink, Arend University of Twente, The NetherlandsNetherlands Disjunction Composition of BDD Transition Systems for Model-Based Testing
Ralf ReussnerReussner, Ralf KITGermany A Unified Model-driven Framework for Co-Designing System Architecture and Safety Analysis in Cyber-Physical Systems
Ralf ReussnerReussner, Ralf Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)Germany LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages Language Design of the NeoJoin View Definition Language
Ralf ReussnerReussner, Ralf KITGermany Investigating Novice Modelers’ Intuitive Consistency Notions for the Case of Compositional Models
Hugo RichardRichard, Hugo Lab-STICC / UBO Weaving executable models and code for software development
Roberto Rodriguez-EcheverriaRodriguez-Echeverria, Roberto University of ExtremaduraSpain Committee Member in Program Committee within the ECMFA-track
María Belén RodríguezRodríguez, María Belén University of Twente PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
Maria Teresa RossiRossi, Maria Teresa University of Milano Bicocca, ItalyItaly Structural-Semantic Clustering for Architectural Models
Adrian RutleRutle, Adrian Western Norway University of Applied SciencesNorway Modeling Dynamic Processes with Ontological Grounding: A Case Study in Conflict Analysis
S Mohammad SadeghiSadeghi, Mohammad University of Mannheim Supporting OWL-Style Reasoning over UML-Style Models via Endogenous OWL Overlays
Houari SahraouiSahraoui, Houari DIRO, Université de MontréalCanada Session Chair of Domain-Specific Modeling Languages (part of ECMFA)
Jean Sebastien SottetSebastien Sottet, Jean Luxembourg Institute of Science and Technology and University of LuxembourgLuxembourg Semantic Drift Management in Digital Twins
Oszkár SemeráthSemeráth, Oszkár Budapest University of Technology and EconomicsHungary Session Chair of Language Models (part of ECMFA) From Constraints to Commands: Graph Pattern Differentiation in 4-Valued First-Order Logic Assessing the Scalability of Graph Predicate Evaluation with Large Language Models
Rahul SharmaSharma, Rahul Karlsruhe Institute of TechnologyGermany Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages
Arnab SINHASINHA, Arnab Université Paris-Saclay, CEA, List, F-91120, Palaiseau, France Product Digital Twin Ontology: A Pivot for Bridging Asset Administration Shell–based and Ontology-based Digital Product Passports
Davide SoldatiSoldati, Davide University of Milano-Bicocca Structural-Semantic Clustering for Architectural Models
Mauro SonzogniSonzogni, Mauro University of Milano-Bicocca Structural-Semantic Clustering for Architectural Models
Tobias SticklingStickling, Tobias Karlsruhe Institute of Technology (KIT) Language Design of the NeoJoin View Definition Language
Daniel StrüberStrüber, Daniel Chalmers \| University of Gothenburg / Radboud UniversitySweden Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution Committee Member in Program Committee within the ECMFA-track
Terru StübingerStübinger, Terru Karlsruhe Institut für Technologie Investigating Novice Modelers’ Intuitive Consistency Notions for the Case of Compositional Models
Kunal SuriSuri, Kunal Université Paris-Saclay, CEA List, Palaiseau LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamodeling
Jesús Sánchez CuadradoSánchez Cuadrado, Jesús Universidad de MurciaSpain Committee Member in Program Committee within the ECMFA-track
T Gabriele TaentzerTaentzer, Gabriele Philipps-Universität MarburgGermany Session Chair of Ontologies (part of ECMFA)
Matthias TichyTichy, Matthias Ulm UniversityGermany Committee Member in Program Committee within the ECMFA-track
Massimo TisiTisi, Massimo IMT Atlantique, LS2N (UMR CNRS 6004)France Session Chair of Welcome and opening (part of ECMFA) Program Chair in Organizing Committee within the ECMFA-track
Juha-Pekka TolvanenTolvanen, Juha-Pekka MetaCaseFinland Committee Member in Program Committee within the ECMFA-track
Thi Dinh TranTran, Thi Dinh Gran Sasso Science InstituteItaly Structural-Semantic Clustering for Architectural Models
Javier TroyaTroya, Javier ITIS Software, University of MalagaSpain Committee Member in Program Committee within the ECMFA-track
U Mattias UlbrichUlbrich, Mattias KITGermany CoCoPath: Concolic Exploration of Consistency-Preserving Paths
V Petra van den Bosvan den Bos, Petra University of Twente, The NetherlandsNetherlands PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing Disjunction Composition of BDD Transition Systems for Model-Based Testing
Mark van den Brandvan den Brand, Mark Eindhoven University of TechnologyNetherlands From Software Language Engineering to Digital Twin Engineering Committee Member in Keynote within the ECMFA-track
Pieter Van GorpVan Gorp, Pieter Eindhoven University of Technology, The NetherlandsNetherlands Committee Member in Steering Committee within the ECMFA-track
Jan VitekVitek, Jan Northeastern UniversityUnited States Committee Member in Steering Committee within the ECMFA-track
W Thomas WeberWeber, Thomas Karlsruhe Institute of Technology (KIT)Germany CoCoPath: Concolic Exploration of Consistency-Preserving Paths
P.J. WhiteWhite, P.J. SETU Capturing and Organizing Reusable Interaction Practices Using Justification and Feature Models
Bianca WiesmayrWiesmayr, Bianca Ulm UniversityGermany An Interpreter-Based Execution Framework for IEC 61499 Function Block Networks
Manuel WimmerWimmer, Manuel JKU LinzAustria An Interpreter-Based Execution Framework for IEC 61499 Function Block Networks Committee Member in Program Committee within the ECMFA-track
Hao WuWu, Hao Maynooth UniversityIreland Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification
Z Tannaz ZameniZameni, Tannaz University of TwenteNetherlands Disjunction Composition of BDD Transition Systems for Model-Based Testing
Weixing ZhangZhang, Weixing Karlsruhe Institute of Technology (KIT)Germany CoCoPath: Concolic Exploration of Consistency-Preserving Paths Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages
Haiyan ZhaoZhao, Haiyan Peking UniversityChina Committee Member in Program Committee within the ECMFA-track
Alois ZoitlZoitl, Alois LIT CPS Lab, Johannes Kepler University Linz An Interpreter-Based Execution Framework for IEC 61499 Function Block Networks
Ç Hüseyin Kemâl ÇakmakÇakmak, Hüseyin Kemâl Karlsruhe Institute of Technology (KIT) Language Design of the NeoJoin View Definition Language

ECMFA 2026 Contributors

Results (151)

Tracks

STAF 2026