STAF 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (330)

A Mohammad AbdulazizAbdulaziz, Mohammad Technische Universität MünchenGermany Formal Mathematics: Matching Algorithms as a Case Study
Adekunle AdeyemoAdeyemo, Adekunle United Kingdom Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets
Iván AlfonsoAlfonso, Iván Internet Interdisciplinary Institute, Universitat Oberta de CatalunyaSpain A model-based framework for IoT systems in wastewater treatment plants
Hessa AlfraihiAlfraihi, Hessa Princess Nourah bint Abdulrahman UniversitySaudi Arabia Session Chair of Agile MDE Session 2 (part of Agile MDE) Towards Integrating Machine Learning Models into Mobile Apps using AppCraft Current issues and future prospects for Agile Model-driven engineering Committee Member in Organising Committee within the Agile MDE-track
qasim aliali, qasim Towards a Framework for Visualization and Analysis of Eye Tracking Data for Functional Vision Screening
Shaukat AliAli, Shaukat Simula Research LaboratoryNorway Committee Member in Program Committee within the ECMFA-track
Fahed AlkhabbasAlkhabbas, Fahed Malmö UniversitySweden Committee Member in Program Committee within the MeSS-track
Lyan AlwakeelAlwakeel, Lyan Towards Integrating Machine Learning Models into Mobile Apps using AppCraft
Tiago AmorimAmorim, Tiago University of CologneGermany Simulink bus usage in practice: an empirical study
Ashiq AnjumAnjum, Ashiq University of LeicesterUnited Kingdom Industry Co-Chair in Organizing Committee for STAF 2023 Session Chair of AI4SE Session 2 (part of AI4SE@STAF) Industry Co-Chair in Organizing Committee within the AI4SE@STAF-track
Thibaud AntignacAntignac, Thibaud CNIL (Commission nationale de l’informatique et des libertés)France Context Specification Language for Formal Verification of Consent Properties on Models and Code
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance Symbolic Observation Graph-Based Generation of Test Paths
Mathilde ArnaudArnaud, Mathilde Université Paris-Saclay, CEA, ListFrance Context Specification Language for Formal Verification of Consent Properties on Models and Code
Mehrnoosh AskarpourAskarpour, Mehrnoosh McMaster UniversityCanada Committee Member in Program Committee within the ECMFA-track
Wesley AssunçãoAssunção, Wesley Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, BrazilAustria A flexible operation-based infrastructure for collaborative model-driven engineering
B Ferry BachmannBachmann, Ferry Simulink bus usage in practice: an empirical study
Peter BackemanBackeman, Peter Mälardalen UniversitySweden Committee Member in Program Committee within the TAP-track
Alessandra BagnatoBagnato, Alessandra Softeam Committee Member in Program Committee within the ECMFA-track
Paolo BaldanBaldan, Paolo University of PadovaItaly A Monoidal View on Fixpoint Checks
Richard BanachBanach, Richard University of ManchesterUnited Kingdom Formalisation, Abstraction and Refinement of Bond Graphs
Paulo BarbosaBarbosa, Paulo NUTES, UEPB Committee Member in Program Committee within the HEDA-track
Ankica BarišicBarišic, Ankica Committee Member in Program Committee within the MeSS-track
Konstantinos BarmpisBarmpis, Konstantinos Committee Member in Program Committee within the TTC-track
John BaughBaugh, John North Carolina State UniversityUnited States Formalisation, Abstraction and Refinement of Bond Graphs
Glynn BeekenBeeken, Glynn Gordon Murray Electronics How to Speak Hypercar—Lessons Learned From Developing a Model Based Domain Specific Language to Capture Gordon Murray’s Electronic Architecture
Nicolas BehrBehr, Nicolas CNRS, Université Paris Cité, IRIFFrance Session Chair of ICGT Session 3: Theory (part of ICGT Research Papers) Compositionality of Rewriting Rules with Conditions A living monograph for graph transformation Committee Member in Program Committee within the ICGT Research Papers-track
Thibaut BenjaminBenjamin, Thibaut Université Paris-Saclay, CEA, ListFrance Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking
Mohamed Taha BennaniBennani, Mohamed Taha Universty of Tunis El ManarTunisia Symbolic Observation Graph-Based Generation of Test Paths
Luca BerardinelliBerardinelli, Luca Johannes Kepler University LinzAustria Committee Member in Program committee within the FPVM-track
Markus BertlBertl, Markus Tallinn University of TechnologyEstonia Evaluation of Data Quality in the Estonian National Health Information System for Digital Decision Support
Machiel van der BijlBijl, Machiel van der AxiniNetherlands The effect of MDD/MBT on software development in a SAFe project in the railway industry
Alexander BollBoll, Alexander University of BernSwitzerland Simulink bus usage in practice: an empirical study
Dominik BorkBork, Dominik TU Wien, Vienna, AustriaAustria Committee Member in Program Committee within the MeSS-track
Artur BoronatBoronat, Artur University of LeicesterUnited Kingdom Workshop Chair in Organizing Committee for STAF 2023 Session Chair of TTC Session 1: Opening & Containers to MiniYAML (part of TTC) Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets Case solution - YAMTL and EMF-Syncer Workshop Chair in Workshop Evaluation Committee within the STAF Workshop Proposals-track Co-chair in Organizing Committee within the TTC-track Committee Member in Program Committee within the TTC-track
Paolo BottoniBottoni, Paolo Sapienza University of RomeItaly Steering Committee Member in Steering Committee for ICGT 2023 Committee Member in Program Committee within the ICGT Research Papers-track Committee Member in Journal-First Committee within the ICGT Journal-First-track Committee Member in Program committee within the FPVM-track
Juan Boubeta-PuigBoubeta-Puig, Juan University of CadizSpain Committee Member in Program Committee within the TTC-track
Sylvain BoulméBoulmé, Sylvain Grenoble Alps University / CNRS / Grenoble INP / VERIMAGFrance Testing a Formally Verified Compiler
Erwan BousseBousse, Erwan Nantes UniversitéFrance Protocol-Based Interactive Debugging for Domain-Specific Languages
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Committee Member in Program Committee within the TAP-track
Kristopher BrownBrown, Kristopher Stanford UniversityUnited States Dynamic Tracing: a graphical language for rewriting protocols
Alessio BucaioniBucaioni, Alessio Mälardalen University Committee Member in Program committee within the FPVM-track
Antonio BucchiaroneBucchiarone, Antonio Fondazione Bruno Kessler, Trento, ItalyItaly Committee Member in Program Committee within the MeSS-track
Thomas BuchmannBuchmann, Thomas Technische Hochschule DeggendorfGermany Case solution - BXtenDSL Case solution - BXtenDSL
Lola BurgueñoBurgueño, Lola University of MalagaSpain Committee Member in Program Committee within the ECMFA-track
C Jordi CabotCabot, Jordi Luxembourg Institute of Science and TechnologyLuxembourg A model-based framework for IoT systems in wastewater treatment plants
Graham CampbellCampbell, Graham Fast Rule-Based Graph Programs
Manuel CamposCampos, Manuel Spain Clinical data modeling combining agent-based and epidemiological models
Rubén Campos-LópezCampos-López, Rubén Universidad Autónoma de MadridSpain Model-Driven Engineering for Augmented Reality
Carlos CanalCanal, Carlos University of Málaga Modeling Urban Digital Twins over the Cloud-to-Thing Continuum
Bernardo Canovas-SeguraCanovas-Segura, Bernardo University of MurciaSpain Clinical data modeling combining agent-based and epidemiological models
Harold CastroCastro, Harold Department of Systems and Computing Engineering, Universidad de los Andes, ColombiaColombia A model-based framework for IoT systems in wastewater treatment plants
Kevin ChalmersChalmers, Kevin University of RoehamptonUnited Kingdom Committee Member in Program Committee within the Agile MDE-track
Vincenzo CianciaCiancia, Vincenzo Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALYItaly Committee Member in Program Committee within the HEDA-track
Antonio CicchettiCicchetti, Antonio Mälardalen UniversitySweden Committee Member in Program Committee within the ECMFA-track
Federico CiccozziCiccozzi, Federico Mälardalen UniversitySweden Committee Member in Program Committee within the ECMFA-track Committee Member in Program committee within the FPVM-track
Matteo CiminiCimini, Matteo University of Massachusetts LowellUnited States Session Chair of TAP Session 6: Abstraction and Refinement (part of TAP) Testing Languages with a Languages-as-databases Approach
Mickael ClavreulClavreul, Mickael Case introduction - Incremental MTL vs. GPLs: Class into Relational Database Schema
Myriam ClouetClouet, Myriam Université Paris-Saclay, CEA, ListFrance Context Specification Language for Formal Verification of Consent Properties on Models and Code
Alessandro ColantoniColantoni, Alessandro Johannes Kepler University LinzAustria Model-Driven Engineering for Augmented Reality
Benoit CombemaleCombemale, Benoit University of Rennes, Inria, CNRS, IRISAFrance Committee Member in Program Committee within the ECMFA-track
Andrea CorradiniCorradini, Andrea Steering Committee Member in Steering Committee for ICGT 2023 Session Chair of GCM Session 2 (part of GCM) Session Chair of GCM Session 2 (part of GCM) PC Member in Program Committee within the GCM-track Committee Member in Program Committee within the ICGT Research Papers-track
Brian CourtehouteCourtehoute, Brian Fast Rule-Based Graph Programs
Matthew CoyleCoyle, Matthew Case solution - Incremental ATL
Roy CroleCrole, Roy University of Leicester Social Chair in Organizing Committee for STAF 2023
Javier Luis Cánovas IzquierdoCánovas Izquierdo, Javier Luis IN3 - UOCSpain Committee Member in Program Committee within the MeSS-track Committee Member in Program Committee within the Agile MDE-track
D Alfonso de la Vegade la Vega, Alfonso Universidad de CantabriaSpain Committee Member in Program Committee within the Agile MDE-track
Juan de Larade Lara, Juan Autonomous University of MadridSpain Session Chair of ECMFA Session 2: Industrial and Applications (part of ECMFA) Model-Driven Engineering for Augmented Reality Committee Member in Program Committee within the ICGT Research Papers-track Committee Member in Steering Committee within the TTC-track Committee Member in Program committee within the FPVM-track
Martina De SanctisDe Sanctis, Martina Gran Sasso Science InstituteItaly Organization Co-chair in Organizing Committee within the MeSS-track Committee Member in Program committee within the FPVM-track
Julien DeAntoniDeAntoni, Julien Committee Member in Program Committee within the MeSS-track
Jörg DeselDesel, Jörg Fernuniversität in HagenGermany Symbolic Observation Graph-Based Generation of Test Paths
Saadia DhouibDhouib, Saadia CEA LISTFrance Bridging the Gap between SysML and OPC UA Information Models for Industry 4.0
Daniele Di PompeoDi Pompeo, Daniele University of L'AquilaItaly Committee Member in Program committee within the FPVM-track
Davide Di RuscioDi Ruscio, Davide University of L'AquilaItaly Committee Member in Program Committee within the ECMFA-track Committee Member in Program Committee within the MeSS-track Committee Member in Steering Committee within the TTC-track Committee Member in Program committee within the FPVM-track
Amleto Di SalleDi Salle, Amleto European University of RomeItaly Organizing Chair in Organizing Committee within the FPVM-track Web Chair in Web Chair within the FPVM-track
Gayo DialloDiallo, Gayo University of Bordeaux Committee Member in Program Committee within the HEDA-track
Justin DiamondDiamond, Justin University of BaselSwitzerland Towards Efficient Boltzmann Sampling with Graph Generative Models and Constraints
Zinovy DiskinDiskin, Zinovy McMasterCanada Committee Member in Program Committee within the ECMFA-track
Adwoa DonyinaDonyina, Adwoa University of New HavenUnited States Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformation
Silvia DoñateDoñate, Silvia Depuración de Aguas del MediterráneoSpain A model-based framework for IoT systems in wastewater treatment plants
Dirk DraheimDraheim, Dirk Tallinn University of TechnologyEstonia Evaluation of Data Quality in the Estonian National Health Information System for Digital Decision Support
Frank DrewesDrewes, Frank Umeå universitetSweden Finite Automata for Efficient Graph Recognition
Catherine DuboisDubois, Catherine ENSIIE Paris-Evry Session Chair of TAP Session 3: Formal Models (part of TAP) Committee Member in Workshop Evaluation Committee within the STAF Workshop Proposals-track
Dominique DuvalDuval, Dominique Université Grenoble AlpesFrance A Rule-Based Procedure for Graph Query Solving
E Rachid EchahedEchahed, Rachid University of Grenoble - CNRSFrance Session Chair of ICGT Session 8: Tools & Applications (part of ICGT Research Papers) A Rule-Based Procedure for Graph Query Solving PC Member in Program Committee within the GCM-track Committee Member in Program Committee within the ICGT Research Papers-track
Richard EggertEggert, Richard University of Duisburg-EssenGermany A Monoidal View on Fixpoint Checks
Alexander EgyedEgyed, Alexander Johannes Kepler University LinzAustria A flexible operation-based infrastructure for collaborative model-driven engineering
Sebastian EhmesEhmes, Sebastian Technical University of Darmstadt, Real-Time Systems LabGermany Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
Jörg EndrullisEndrullis, Jörg Vrije Universiteit AmsterdamNetherlands Fuzzy Presheaves are Quasitoposes Termination of Graph Transformation Systems using Weighted Subgraph Counting
Josselin EnetEnet, Josselin Nantes UniversitéFrance Protocol-Based Interactive Debugging for Domain-Specific Languages
Daniel EngelEngel, Daniel Open University Of The NetherlandsNetherlands BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries
Gregor EngelsEngels, Gregor Paderborn UniversityGermany Steering Committee Member in Steering Committee for ICGT 2023 Committee Member in Program Committee within the ECMFA-track
Eduard Paul EnoiuEnoiu, Eduard Paul Mälardalen UniversitySweden Committee Member in Program Committee within the TAP-track
F Maribel FernandezFernandez, Maribel King's College LondonUnited Kingdom Session Chair of STAF Keynote / ICGT Session 1 (part of STAF Keynotes) ICGT Conference Closing ICGT Conference Opening PC Chair in Program Committee within the ICGT Research Papers-track PC Chair in Journal-First Committee within the ICGT Journal-First-track
Nicolas FerryFerry, Nicolas Université Côte d'AzurFrance Organization Co-chair in Organizing Committee within the MeSS-track
Diego FirmenichFirmenich, Diego Universidad Nacional de la PatagoniaArgentina Committee Member in Program Committee within the MeSS-track
Lukas FischerFischer, Lukas Software Competence Center Hagenberg GmbHAustria Committee Member in Program Committee within the HEDA-track
Lars FritscheFritsche, Lars TU Darmstadt, Germany Advanced Consistency Restoration with Higher-Order Short-Cut Rules
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee within the TAP-track
G Fabio GadducciGadducci, Fabio University of Pisa Specification and Verification of a Linear-time Temporal Logic for Graph Transformation PC Member in Program Committee within the GCM-track
Hubert GaravelGaravel, Hubert Committee Member in Steering Committee within the TTC-track
Antonio Garcia-DominguezGarcia-Dominguez, Antonio University of YorkUnited Kingdom Session Chair of TTC Session 3: Incremental Class to Relational (part of TTC) Session Chair of TTC Session 4: Deliberation, Awards, & Closing (part of TTC) Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific Languages Case introduction - Asymmetric and Directed Bidirectional Transformation for Container Orchestrations Case solution - Epsilon Co-chair in Organizing Committee within the TTC-track Committee Member in Program Committee within the TTC-track
Jose García-AlonsoGarcía-Alonso, Jose Universidad de ExtremaduraSpain Committee Member in Program Committee within the HEDA-track
Antonio GarmendiaGarmendia, Antonio Universidad Autónoma de MadridSpain Model-Driven Engineering for Augmented Reality
Atle GeitungGeitung, Atle Western Norway University of Applied SciencesNorway Analyzing Eye Tracking Data using Symbolic Aggregate Approximation
Sebastian GerardGerard, Sebastian CEA Saclay - NanoInnovFrance Committee Member in Program Committee within the ECMFA-track
Dan GhicaGhica, Dan Huawei Research and University of BirminghamUnited Kingdom Syntactic trinitarianism: terms, graphs, diagrams
Holger GieseGiese, Holger Hasso Plattner Institute, University of PotsdamGermany Steering Committee Member in Steering Committee for ICGT 2023 Committee Member in Program Committee within the ICGT Research Papers-track
Samuele GiussaniGiussani, Samuele Linnaeus UniversitySweden A Semi-Decentralized Self-Adaptive IoT Architecture for Energy Efficiency in Smart Households
Martin GogollaGogolla, Martin Database Systems Group, University of BremenGermany Steering Committee Member in Steering Committee for STAF 2023 Steering Committee Member in Steering Committee for ECMFA 2023 Proving Properties of Operation Contracts with Test Scenarios
Léo GourdinGourdin, Léo Université Grenoble Alpes, VerimagFrance Testing a Formally Verified Compiler
Jeff GrayGray, Jeff University of Alabama Committee Member in Program Committee within the ECMFA-track
Joel GreenyerGreenyer, Joel FHDW HannoverGermany Committee Member in Program Committee within the ECMFA-track
Sandra GreinerGreiner, Sandra University of Bern, SwitzerlandSwitzerland Case introduction - Incremental MTL vs. GPLs: Class into Relational Database Schema Extending single- to multi-variant model transformations by trace-based propagation of variability annotations
Thomas GschwindGschwind, Thomas IBM Research Lab ZurichSwitzerland Steering Committee Member in Steering Committee for STAF 2023 Steering Committee Member in Steering Committee for ECMFA 2023
Esther GuerraGuerra, Esther Universidad Autónoma de MadridSpain Model-Driven Engineering for Augmented Reality Committee Member in Program Committee within the ECMFA-track
Dilian GurovGurov, Dilian KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the TAP-track
Yann-Gaël GuéhéneucGuéhéneuc, Yann-Gaël Concordia University and Polytechnique MontréalCanada Committee Member in Program Committee within the MeSS-track
Abel GómezGómez, Abel Universitat Oberta de CatalunyaSpain A model-based framework for IoT systems in wastewater treatment plants
H Rainer HaasHaas, Rainer Linz Center of Mechatronics GmbHAustria A flexible operation-based infrastructure for collaborative model-driven engineering
Lars HamannHamann, Lars HAW HamburgGermany Proving Properties of Operation Contracts with Test Scenarios
Russ HarmerHarmer, Russ CNRSFrance Session Chair of ICGT Session 4: Graph Transformation Properties (part of ICGT Research Papers) A living monograph for graph transformation Committee Member in Program Committee within the ICGT Research Papers-track
Markus HatlemHatlem, Markus University of BergenNorway Intelligent Tracing and Process Improvement of Pathology workflows using Character Recognition
Leo HatvaniHatvani, Leo Mälardalen UniversitySweden Web Chair in Web Chair within the TAP-track
Howard HaughtonHaughton, Howard Holistic Risk Solutions LtdUnited Kingdom MathOCL: a domain-specific language for financial modelling Committee Member in Program Committee within the Agile MDE-track
Reiko HeckelHeckel, Reiko University of LeicesterUnited Kingdom General Chair in Organizing Committee for STAF 2023 Steering Committee Member in Steering Committee for STAF 2023 Steering Committee Chair in Steering Committee for ICGT 2023 Steering Committee Member in Steering Committee for ECMFA 2023 Panel Discussion: Challenges and opportunities for AI in Software Engineering Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformation Graph Rewriting for Graph Neural Networks ICGT Conference Closing PC Member in Program Committee within the GCM-track Committee Member in Program Committee within the ICGT Research Papers-track Committee Member in Journal-First Committee within the ICGT Journal-First-track Committee Member in Workshop Evaluation Committee within the STAF Workshop Proposals-track Committee Member in Steering Committee within the TTC-track
Tobias HeindelHeindel, Tobias Heliax Technologies GmbHGermany PC Chair in Program Committee within the GCM-track
Ilona HeldalHeldal, Ilona Western Norway University of Applied SciencesNorway Analyzing Eye Tracking Data using Symbolic Aggregate Approximation Towards a Framework for Visualization and Analysis of Eye Tracking Data for Functional Vision Screening
Carsten G. HelgesenHelgesen, Carsten G. Western Norway University of Applied SciencesNorway Session Chair of HEDA Session 3 - Panel presentaion and discussion (part of HEDA) Analyzing Eye Tracking Data using Symbolic Aggregate Approximation Towards a Framework for Visualization and Analysis of Eye Tracking Data for Functional Vision Screening
Edvin HeracHerac, Edvin Johannes Kepler UniversityAustria A flexible operation-based infrastructure for collaborative model-driven engineering
Thomas T. HildebrandtHildebrandt, Thomas T. University of CopenhagenDenmark Committee Member in Program Committee within the HEDA-track
Georg HinkelHinkel, Georg Germany Session Chair of TTC Session 2: KMEHR to FHIR (part of TTC) Case solution - NMF Case solution - NMF Co-chair in Organizing Committee within the TTC-track Committee Member in Program Committee within the TTC-track
Berthold HoffmannHoffmann, Berthold Universität BremenGermany Finite Automata for Efficient Graph Recognition PC Member in Program Committee within the GCM-track
Fazilat HojajiHojaji, Fazilat Research fellow, Lero - the Science Foundation Ireland Research Centre for Software,University of LimerickIreland Committee Member in Program Committee within the Agile MDE-track
Falk HowarHowar, Falk TU Dortmund UniversityGermany Committee Member in Program Committee within the TAP-track
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Committee Member in Program Committee within the TAP-track
Aurélie HuraultHurault, Aurélie IRIT - ENSEEIHTFrance Certified Logic-Based Explainable AI -- The Case of Monotonic Classifiers
Reiner HähnleHähnle, Reiner Technical University of DarmstadtGermany Committee Member in Program Committee within the TAP-track
Stefan HöppnerHöppner, Stefan Ulm UniversityGermany Case introduction - Incremental MTL vs. GPLs: Class into Relational Database Schema
I Ludovico IovinoIovino, Ludovico Gran Sasso Science Institute, L'Aquila, ItalyItaly Committee Member in Program Committee within the ECMFA-track Organizing Chair in Organizing Committee within the FPVM-track
J Dirk JanssensJanssens, Dirk University of Antwerp, Belgium Steering Committee Member in Steering Committee for ICGT 2023
Frédéric JouaultJouault, Frédéric ERIS Team, ESEO , France Case solution - Cheptre Case solution - Incremental ATL Case introduction - Incremental MTL vs. GPLs: Class into Relational Database Schema Committee Member in Program Committee within the MeSS-track
Jose M. JuarezJuarez, Jose M. University of MurciaSpain Clinical data modeling combining agent-based and epidemiological models
K Wolfram KahlKahl, Wolfram McMaster UniversityCanada Committee Member in Program Committee within the ICGT Research Papers-track
Kristian Juha Ismo KankainenKankainen, Kristian Juha Ismo Tallinn University of TechnologyEstonia Evaluation of Data Quality in the Estonian National Health Information System for Digital Decision Support
Marten KaskKask, Marten Tallinn University of TechnologyEstonia Maintaining data integrity in Electronic Health Records with Hyperledger Fabric
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Committee Member in Program Committee within the TAP-track
Timo KehrerKehrer, Timo University of BernSwitzerland Simulink bus usage in practice: an empirical study
Steven KellyKelly, Steven MetaCaseUnited Kingdom Committee Member in Program committee within the FPVM-track
Jörg KienzleKienzle, Jörg McGill University, CanadaCanada Session Chair of ECMFA Session 4: Model Differencing and Merging (part of ECMFA) Concern-Oriented Use Cases
Denisse KimKim, Denisse University of MurciaSpain Clinical data modeling combining agent-based and epidemiological models
Kais KlaiKlai, Kais Universit Paris 13France Symbolic Observation Graph-Based Generation of Test Paths
Toomas KlementiKlementi, Toomas Tallinn University of TechnologyEstonia Maintaining data integrity in Electronic Health Records with Hyperledger Fabric
Stefan KlikovitsKlikovits, Stefan Johannes Kepler University, LinzAustria Session Chair of MeSS Session 1 (part of MeSS) Session Chair of MeSS Session 2 (part of MeSS) Workshop presentation and Welcome Wrap up session Committee Member in Program Committee within the MeSS-track
Sahar KokalyKokaly, Sahar General MotorsCanada Committee Member in Program Committee within the ECMFA-track
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific Languages Committee Member in Program Committee within the ECMFA-track Committee Member in Steering Committee within the TTC-track Committee Member in Program committee within the FPVM-track
Konstantin KorovinKorovin, Konstantin University of Manchester Committee Member in Program Committee within the TAP-track
Jens KosiolKosiol, Jens Universität KasselGermany Session Chair of GCM Session 1 (part of GCM) Session Chair of GCM Session 3 (part of GCM) GCM Opening Advanced Consistency Restoration with Higher-Order Short-Cut Rules Finding the Right Way to Rome: Effect-oriented Graph Transformation PC Chair in Program Committee within the GCM-track
Laura KovacsKovacs, Laura Vienna University of Technology (TU Wien)Austria Committee Member in Program Committee within the TAP-track
Maximilian KratzKratz, Maximilian Technical University of Darmstadt, Real-Time Systems LabGermany Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
Hans-Jörg KreowskiKreowski, Hans-Jörg University of Bremen Steering Committee Member in Steering Committee for ICGT 2023 Moving a Derivation Along a Derivation Preserves the Spine
Jean KrivineKrivine, Jean CNRSFrance Compositionality of Rewriting Rules with Conditions
Tim KräuterKräuter, Tim Western Norway University of Applied SciencesNorway Towards behavioral consistency in multi-modeling Formalization and analysis of BPMN using graph transformation systems
Thomas KuehneKuehne, Thomas Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the ECMFA-track
Sabine KuskeKuske, Sabine University of BremenGermany Moving a Derivation Along a Derivation Preserves the Spine
Craig KuziemskyKuziemsky, Craig MacEwan UniversityCanada Committee Member in Program Committee within the HEDA-track
Barbara KönigKönig, Barbara University of Duisburg-Essen Steering Committee Member in Steering Committee for ICGT 2023 A Monoidal View on Fixpoint Checks PC Member in Program Committee within the GCM-track Committee Member in Program Committee within the ICGT Research Papers-track
Harald KönigKönig, Harald University of Applied Sciences, FHDW Hannover and Western Norway University of Applied SciencesGermany Towards behavioral consistency in multi-modeling Formalization and analysis of BPMN using graph transformation systems
Thomas KühnKühn, Thomas Martin-Luther-University Halle-WittenbergGermany Evaluating Model Differencing for the Consistency Preservation of State-based Views
L Leen LambersLambers, Leen BTU Cottbus SenftenbergGermany Steering Committee Member in Steering Committee for ICGT 2023 PC Member in Program Committee within the GCM-track Committee Member in Program Committee within the ICGT Research Papers-track
Yngve LamoLamo, Yngve Western Norway University of Applied SciencesNorway Session Chair of HEDA Session 2 (part of HEDA) Panel presentations Panel discussion on the current status and future direction of health data modelling, interoperability and analytics Towards behavioral consistency in multi-modeling Formalization and analysis of BPMN using graph transformation systems Committee Member in Program Committee within the ICGT Research Papers-track Committee Member in Program Committee within the HEDA-track
Ryan LanguayLanguay, Ryan McGill UniversityCanada Concern-Oriented Use Cases
Dr Kevin LanoLano, Dr Kevin King's College LondonUnited Kingdom Towards Integrating Machine Learning Models into Mobile Apps using AppCraft Using MDE with the Clean Architecture MathOCL: a domain-specific language for financial modelling Case solution - UML-RSDS Case introduction - Program abstraction by transformation: Abstraction of Visual Basic to UML Committee Member in Organising Committee within the Agile MDE-track
Andrea LarettoLaretto, Andrea Tallinn University of TechnologyEstonia Specification and Verification of a Linear-time Temporal Logic for Graph Transformation
Kim LarsenLarsen, Kim Aalborg UniversityDenmark Symbolic, Statistical and Randomized Engines in UPPAAL
Théo Le CalvarLe Calvar, Théo IMT Atlantique, LS2N (UMR CNRS 6004)France Case solution - Incremental ATL Case introduction - Incremental MTL vs. GPLs: Class into Relational Database Schema Committee Member in Program Committee within the TTC-track
Olivier LebeltelLebeltel, Olivier Université Grenoble Alpes, CNRS, VerimagFrance Testing a Formally Verified Compiler
Friedemann LehLeh, Friedemann Haukeland University HospitalNorway Intelligent Tracing and Process Improvement of Pathology workflows using Character Recognition
Matthias LenkLenk, Matthias NetAppGermany Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific Languages
Martin LeuckerLeucker, Martin University of LübeckGermany Session Chair of HEDA Session 1 (part of HEDA) Panel presentations Panel discussion on the current status and future direction of health data modelling, interoperability and analytics Committee Member in Program Committee within the HEDA-track
Markus LillLill, Markus University of BaselSwitzerland Towards Efficient Boltzmann Sampling with Graph Generative Models and Constraints
Achim LindtLindt, Achim RWTH Aachen University, Chair of Software EngineeringGermany CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration
Zhiming LiuLiu, Zhiming Southwest University Committee Member in Program Committee within the HEDA-track
Florian LorberLorber, Florian Aalborg UniversityDenmark Committee Member in Program Committee within the TAP-track
Aaron LyeLye, Aaron University of BremenGermany Moving a Derivation Along a Derivation Preserves the Spine
M Wendy MacCaullMacCaull, Wendy Co-chair in Organizing Committee within the HEDA-track
Adam MachowczykMachowczyk, Adam University of LeicesterUnited Kingdom Digital Communication Chair in Organizing Committee for STAF 2023 Graph Rewriting for Graph Neural Networks
Ian MackieMackie, Ian University of SussexUnited Kingdom Graph Edit Distance for Interaction Net Rewrite Rules
Luciano MarchezanMarchezan, Luciano A flexible operation-based infrastructure for collaborative model-driven engineering
Joao Marques-SilvaMarques-Silva, Joao IRIT, CNRS, ToulouseFrance Certified Logic-Based Explainable AI -- The Case of Monotonic Classifiers
Timo MattMatt, Timo University Duisburg-EssenGermany A Monoidal View on Fixpoint Checks
Frank McQuadeMcQuade, Frank Bloc Digital AI and the Evolving Software Engineering Requirements of Industrial Digital Twins Panel Discussion: Challenges and opportunities for AI in Software Engineering
Mehdi MehtarizadehMehtarizadeh, Mehdi King’s College LondonUnited Kingdom Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets
Philipp MenzelMenzel, Philipp Technical University of DarmstadtGermany Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
Dominique MeryMery, Dominique Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, FranceFrance Committee Member in Program Committee within the HEDA-track
Judith MichaelMichael, Judith RWTH Aachen UniversityGermany Committee Member in Program Committee within the MeSS-track
Marino MiculanMiculan, Marino University of UdineItaly PC Member in Program Committee within the GCM-track
Mark MinasMinas, Mark Universität der Bundeswehr MünchenGermany Finite Automata for Efficient Graph Recognition PC Member in Program Committee within the GCM-track
Stefan MitschMitsch, Stefan Carnegie Mellon University, USAUnited States Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars
David MonniauxMonniaux, David CNRS/VERIMAGFrance Testing a Formally Verified Compiler
Ugo MontanariMontanari, Ugo University of Pisa Steering Committee Member in Steering Committee for ICGT 2023
Deshen MoodleyMoodley, Deshen University of Cape TownSouth Africa Committee Member in Program Committee within the HEDA-track
Nathalie MorenoMoreno, Nathalie Modeling Urban Digital Twins over the Cloud-to-Thing Continuum
Mohamed MosbahMosbah, Mohamed University of Bordeaux Steering Committee Member in Steering Committee for ICGT 2023
Sébastien MosserMosser, Sébastien McMaster UniversityCanada Organization Co-chair in Organizing Committee within the MeSS-track Committee Member in Program committee within the FPVM-track
Paula MuñozMuñoz, Paula A Conceptual Architecture for Building Digital Twins
Adrian MöllerMöller, Adrian TU Darmstadt, Germany Advanced Consistency Restoration with Higher-Order Short-Cut Rules
N Manfred NaglNagl, Manfred RWTH Aachen UniversityGermany Steering Committee Member in Steering Committee for ICGT 2023
Nico NausNaus, Nico Virginia TechUnited States Session Chair of TAP Session 4: Model-based test generation (part of TAP) Low-level Reachability Analysis based on Formal Logic
Phu NguyenNguyen, Phu SINTEFNorway Keynote presentation - MDS4IoT: Access Control for Edge-based Data Sharing and towards Security Orchestration Committee Member in Program Committee within the MeSS-track
Quang-Duy NguyenNguyen, Quang-Duy Université Paris-Saclay, CEA, ListFrance Bridging the Gap between SysML and OPC UA Information Models for Industry 4.0
Brian NielsenNielsen, Brian Aalborg University, Denmark Committee Member in Program Committee within the TAP-track
Joost NoppenNoppen, Joost University of East Anglia Current issues and future prospects for Agile Model-driven engineering
Jakob NordströmNordström, Jakob University of Copenhagen and Lund University Committee Member in Program Committee within the TAP-track
O Hanen OchiOchi, Hanen EFREIFrance Symbolic Observation Graph-Based Generation of Test Paths
Fernando OrejasOrejas, Fernando Universitat Politècnica de Catalunya, Spain Steering Committee Member in Steering Committee for ICGT 2023 Committee Member in Program Committee within the ICGT Research Papers-track Committee Member in Journal-First Committee within the ICGT Journal-First-track
Roy OverbeekOverbeek, Roy Vrije Universiteit AmsterdamNetherlands Fuzzy Presheaves are Quasitoposes Termination of Graph Transformation Systems using Weighted Subgraph Counting
P Tommaso PadoanPadoan, Tommaso University of Padova A Monoidal View on Fixpoint Checks
Richard PaigePaige, Richard McMaster UniversityCanada Steering Committee Chair in Steering Committee for STAF 2023 Steering Committee Member in Steering Committee for ECMFA 2023 Committee Member in Program Committee within the ECMFA-track Committee Member in Program Committee within the ECMFA-track
Francesco Parisi-PresicceParisi-Presicce, Francesco Sapienza University of RomeItaly Steering Committee Member in Steering Committee for ICGT 2023
Patrizio PelliccionePelliccione, Patrizio Gran Sasso Science Institute, L'Aquila, ItalyItaly Committee Member in Program Committee within the TAP-track
kelly Garces PernettPernett, kelly Garces Universidad de los Andes , Bogotá, ColombiaColombia A model-based framework for IoT systems in wastewater treatment plants
Luigia PetrePetre, Luigia Åbo Akademi University Committee Member in Program Committee within the TAP-track
Liam PeytonPeyton, Liam University of OttawaCanada Committee Member in Program Committee within the HEDA-track
John PfaltzPfaltz, John University of VirginiaUnited States Steering Committee Member in Steering Committee for ICGT 2023
Alfonso PierantonioPierantonio, Alfonso Università degli Studi dell'AquilaItaly Committee Member in Program Committee within the ECMFA-track Organizing Chair in Organizing Committee within the FPVM-track
Jakob PietronPietron, Jakob Ulm UniversityGermany One-Way Model Transformations in the Context of the Technology-Roadmapping Tool IRIS
Gunnar PihoPiho, Gunnar Tallinn University of TechnologyEstonia Evaluation of Data Quality in the Estonian National Health Information System for Digital Decision Support Maintaining data integrity in Electronic Health Records with Hyperledger Fabric Panel presentations Panel discussion on the current status and future direction of health data modelling, interoperability and analytics Committee Member in Program Committee within the HEDA-track
Detlef PlumpPlump, Detlef University of YorkUnited Kingdom Steering Committee Member in Steering Committee for ICGT 2023 Session Chair of GCM Session 1 (part of GCM) Session Chair of ICGT Session 5: Blue Skies & Journal-First (part of ICGT Research Papers) Random Graph Generation in Context-Free Graph Languages Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem Fast Rule-Based Graph Programs PC Member in Program Committee within the GCM-track Committee Member in Program Committee within the ICGT Research Papers-track
Hartmut PohlheimPohlheim, Hartmut Simulink bus usage in practice: an empirical study
Chris PoskittPoskitt, Chris Singapore Management UniversitySingapore Web Chair in Organizing Committee for STAF 2023 Session Chair of ICGT Session 7: Keynote & Journal-First (part of ICGT Research Papers) ICGT Conference Closing ICGT Conference Opening PC Chair in Program Committee within the ICGT Research Papers-track PC Chair in Journal-First Committee within the ICGT Journal-First-track
Nicolas PouillardPouillard, Nicolas Case solution - Cheptre
Nika PrairiePrairie, Nika McGill UniversityCanada Concern-Oriented Use Cases
Ionut PredoaiaPredoaia, Ionut University of YorkUnited Kingdom Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific Languages
Virgile PrevostoPrevosto, Virgile CEA Tech ListFrance Session Chair of TAP Session 5: Keynote (part of TAP) TAP Conference Opening PC Chair in Program Committee Chairs within the TAP-track
Sam ProcterProcter, Sam Carnegie Mellon Software Engineering InstituteUnited States The OSATE Slicer: Graph-Based Reachability for Architectural Models
Frederic ProstProst, Frederic Université Grenoble AlpesFrance A Rule-Based Procedure for Graph Query Solving
Violet Ka I PunPun, Violet Ka I Western Norway University of Applied Sciences Session Chair of HEDA Session 3 - Panel presentaion and discussion (part of HEDA) Co-chair in Organizing Committee within the HEDA-track
R Fazle RabbiRabbi, Fazle University of BergenNorway Intelligent Tracing and Process Improvement of Pathology workflows using Character Recognition Committee Member in Program Committee within the HEDA-track
Shekoufeh RahimiRahimi, Shekoufeh University of Roehampton Case introduction - Program abstraction by transformation: Abstraction of Visual Basic to UML Committee Member in Organising Committee within the Agile MDE-track
Raman RamsinRamsin, Raman Sharif University of TechnologyIran Committee Member in Program Committee within the Agile MDE-track
Jannik RauRau, Jannik Ulm UniversityGermany Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis
Binoy RavindranRavindran, Binoy Virginia TechUnited States Low-level Reachability Analysis based on Formal Logic BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries
Luciana RebeloRebelo, Luciana GSSIItaly Committee Member in Program Committee within the MeSS-track
Nikolaus RegnatRegnat, Nikolaus Siemens AGGermany Committee Member in Program committee within the FPVM-track
Manfred ReichertReichert, Manfred Ulm UniversityGermany Committee Member in Program Committee within the HEDA-track
Fadwa RekikRekik, Fadwa SofteamFrance Bridging the Gap between SysML and OPC UA Information Models for Industry 4.0
Arend RensinkRensink, Arend University of Twente, The NetherlandsNetherlands Steering Committee Member in Steering Committee for ICGT 2023 Session Chair of ICGT Session 2: Specification and Verification (part of ICGT Research Papers) Committee Member in Program Committee within the ICGT Research Papers-track Committee Member in Journal-First Committee within the ICGT Journal-First-track
Leila RibeiroRibeiro, Leila Universidade Federal do Rio Grande do Sul (UFRGS)Brazil Steering Committee Member in Steering Committee for ICGT 2023 Committee Member in Program Committee within the ICGT Research Papers-track
David RicherbyRicherby, David University of EssexUnited Kingdom Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis
Jan Oliver RingertRingert, Jan Oliver Bauhaus-University WeimarGermany On Implementing Open World Semantic Differencing for Class Diagrams
Juri Di RoccoRocco, Juri Di University of L'AquilaItaly Committee Member in Program committee within the FPVM-track
Peeter RossRoss, Peeter Tallinn University of TechnologyEstonia Evaluation of Data Quality in the Estonian National Health Information System for Digital Decision Support Maintaining data integrity in Electronic Health Records with Hyperledger Fabric Committee Member in Program Committee within the HEDA-track
Aloïs RossetRosset, Aloïs Vrije Universiteit AmsterdamNetherlands Fuzzy Presheaves are Quasitoposes
Alireza RouhiRouhi, Alireza Azarbaijan Shahdid Madani UniversityIran Committee Member in Program Committee within the Agile MDE-track
Grzegorz RozenbergRozenberg, Grzegorz University of Leiden Steering Committee Member in Steering Committee for ICGT 2023
Bernhard RumpeRumpe, Bernhard RWTH Aachen UniversityGermany CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration On Implementing Open World Semantic Differencing for Class Diagrams Committee Member in Program Committee within the ECMFA-track
Adrian RutleRutle, Adrian Western Norway University of Applied Sciences Towards behavioral consistency in multi-modeling Formalization and analysis of BPMN using graph transformation systems
Adrian RutleRutle, Adrian Bergen University College , Norway Committee Member in Program Committee within the ECMFA-track
S Leila Samimi-DehkordiSamimi-Dehkordi, Leila Assistant professor, Shahrekord University, IranIran Committee Member in Program Committee within the Agile MDE-track
Jin SanoSano, Jin Waseda UniversityJapan Implementing the λGT Language: A Functional Language with Graphs as First-Class Data
Shinya SatoSato, Shinya Ibaraki UniversityJapan Graph Edit Distance for Interaction Net Rewrite Rules
Timur SağlamSağlam, Timur Karlsruhe Institute of Technology (KIT)Germany Evaluating Model Differencing for the Consistency Preservation of State-based Views
Ansgar ScherpScherp, Ansgar Ulm UniversityGermany Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis
Sven SchneiderSchneider, Sven Hasso-Plattner-Institut, Universität Potsdam Germany PC Member in Program Committee within the GCM-track
Marc SchooldermanSchoolderman, Marc Radboud University NijmegenNetherlands Low-level Reachability Analysis based on Formal Logic
Andy SchürrSchürr, Andy TU Darmstadt, GermanyGermany Steering Committee Member in Steering Committee for ICGT 2023 Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description) Advanced Consistency Restoration with Higher-Order Short-Cut Rules Committee Member in Program Committee within the ECMFA-track Committee Member in Program Committee within the ICGT Research Papers-track
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Session Chair of STAF Keynote / TAP Session 1 (part of STAF Keynotes) TAP Conference Opening PC Chair in Program Committee Chairs within the TAP-track
Bran SelicSelic, Bran Malina Software CorporationCanada Committee Member in Program Committee within the ECMFA-track
Avi ShakedShaked, Avi University of Oxford, UK Current issues and future prospects for Agile Model-driven engineering
Julien SignolesSignoles, Julien Université Paris-Saclay, CEA, ListFrance Session Chair of TAP Session 2: Low-level code verification (part of TAP) Context Specification Language for Formal Verification of Consent Properties on Models and Code Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking
Florian SihlerSihler, Florian Ulm UniversityGermany One-Way Model Transformations in the Context of the Technology-Roadmapping Tool IRIS
Pawel SobocinskiSobocinski, Pawel Tallinn University of Technology Committee Member in Program Committee within the ICGT Research Papers-track
Hui SongSong, Hui SINTEF DigitalNorway Committee Member in Program Committee within the MeSS-track
Romina SpalazzeseSpalazzese, Romina Malmö UniversitySweden Committee Member in Program Committee within the MeSS-track
David SpivakSpivak, David Topos InstituteUnited States Dynamic Tracing: a graphical language for rewriting protocols
Max StachonStachon, Max RWTH Aachen UniversityGermany CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration On Implementing Open World Semantic Differencing for Class Diagrams
Alin StefanescuStefanescu, Alin Committee Member in Program Committee within the MeSS-track
Megan StraussStrauss, Megan Carnegie Mellon UniversityUnited States Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars
Daniel StrüberStrüber, Daniel Chalmers \| University of Gothenburg / Radboud UniversitySweden Finding the Right Way to Rome: Effect-oriented Graph Transformation
Sebastian StüberStüber, Sebastian RWTH Aachen University, Chair of Software EngineeringGermany CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration
Patrick StünkelStünkel, Patrick Intelligent Tracing and Process Improvement of Pathology workflows using Character Recognition Towards behavioral consistency in multi-modeling
Gerson SunyéSunyé, Gerson Nantes UniversityFrance Protocol-Based Interactive Debugging for Domain-Specific Languages
Neslihan SuzenSuzen, Neslihan University of LeicesterUnited Kingdom Industry Co-Chair in Organizing Committee for STAF 2023 Session Chair of AI4SE Session 1 (part of AI4SE@STAF) Industry Co-Chair in Organizing Committee within the AI4SE@STAF-track
Jesús Sánchez CuadradoSánchez Cuadrado, Jesús Universidad de MurciaSpain Session Chair of ECMFA Session 1: Tools and Modularity (part of ECMFA) Session Chair of ECMFA Session 6: Model Consistency and Collaboration (part of ECMFA) ECMFA Conference Opening Co-chair in Program Committee within the ECMFA-track Committee Member in Program Committee within the TTC-track
Robert SöldnerSöldner, Robert University of YorkUnited Kingdom Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem
T Gabriele TaentzerTaentzer, Gabriele Philipps-Universität MarburgGermany Steering Committee Member in Steering Committee for ICGT 2023 Finding the Right Way to Rome: Effect-oriented Graph Transformation Committee Member in Program Committee within the ECMFA-track Committee Member in Program Committee within the ICGT Research Papers-track
Sahar TahviliTahvili, Sahar Ericsson ABSweden Committee Member in Program Committee within the TAP-track
Y.C. TayTay, Y.C. National University of SingaporeSingapore Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection
Marc ThatcherThatcher, Marc University of SussexUnited Kingdom A high-level functional programming language for interaction nets Graph Edit Distance for Interaction Net Rewrite Rules
Matthias TichyTichy, Matthias Ulm University, Germany One-Way Model Transformations in the Context of the Technology-Roadmapping Tool IRIS Committee Member in Program Committee within the ECMFA-track
Matthias TichyTichy, Matthias Committee Member in Program Committee within the MeSS-track
Matthias TichyTichy, Matthias Ulm University, Germany Committee Member in Program committee within the FPVM-track
Massimo TisiTisi, Massimo IMT Atlantique, LS2N (UMR CNRS 6004)France Protocol-Based Interactive Debugging for Domain-Specific Languages
Juha-Pekka TolvanenTolvanen, Juha-Pekka MetaCaseFinland Committee Member in Program Committee within the ECMFA-track Organizing Chair in Organizing Committee within the FPVM-track
lorenzo Toro-GálvezToro-Gálvez, lorenzo Modeling Urban Digital Twins over the Cloud-to-Thing Continuum
Davide TrottaTrotta, Davide University of PisaItaly Specification and Verification of a Linear-time Temporal Logic for Graph Transformation
Javier TroyaTroya, Javier Universidad de Málaga, SpainSpain Session Chair of Agile MDE Session 1 (part of Agile MDE)
Javier TroyaTroya, Javier Modeling Urban Digital Twins over the Cloud-to-Thing Continuum
Javier TroyaTroya, Javier Universidad de Málaga, SpainSpain A Conceptual Architecture for Building Digital Twins Committee Member in Program Committee within the ECMFA-track Committee Member in Program Committee within the MeSS-track Committee Member in Organising Committee within the Agile MDE-track
U Kazunori UedaUeda, Kazunori Waseda UniversityJapan Session Chair of ICGT Session 6: Applications (part of ICGT Research Papers) Implementing the λGT Language: A Functional Language with Graphs as First-Class Data Committee Member in Program Committee within the ICGT Research Papers-track
Mattias UlbrichUlbrich, Mattias KITGermany KeY: A Verification Platform For Java
V Karthik VaidhyanathanVaidhyanathan, Karthik IIIT HyderabadIndia Committee Member in Program Committee within the MeSS-track
Antonio VallecilloVallecillo, Antonio University of Málaga, SpainSpain Steering Committee Member in Steering Committee for STAF 2023 Steering Committee Member in Steering Committee for ECMFA 2023 Session Chair of ECMFA Session 3: Domain-Specific Languages (part of ECMFA) Using ChatGPT for Software Modelling. Current Status and Future Opportunities Panel Discussion: Challenges and opportunities for AI in Software Engineering A Conceptual Architecture for Building Digital Twins Committee Member in Program Committee within the ECMFA-track
Pieter Van GorpVan Gorp, Pieter Eindhoven University of Technology, The NetherlandsNetherlands Steering Committee Member in Steering Committee for STAF 2023 Steering Committee Member in Steering Committee for ECMFA 2023
Daniel VarroVarro, Daniel Linköping University / McGill UniversitySweden Committee Member in Program Committee within the ECMFA-track
Gergely VarróVarró, Gergely Independent Committee Member in Program Committee within the TTC-track
Federico VastariniVastarini, Federico University of YorkUnited Kingdom Random Graph Generation in Context-Free Graph Languages
Freek VerbeekVerbeek, Freek Open University of the Netherlands, The NetherlandsNetherlands Low-level Reachability Analysis based on Formal Logic BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries
Jan VitekVitek, Jan Northeastern UniversityUnited States Steering Committee Member in Steering Committee for STAF 2023 Steering Committee Member in Steering Committee for ECMFA 2023
Andreas VogelsangVogelsang, Andreas University of CologneGermany Simulink bus usage in practice: an empirical study
W Dennis WagelaarWagelaar, Dennis Case introduction - The TTC 2023 KMEHR to FHIR case
Neil WalkinshawWalkinshaw, Neil University of SheffieldUnited Kingdom Committee Member in Program Committee within the TAP-track
Yves WauteletWautelet, Yves KU LeuvenBelgium Current issues and future prospects for Agile Model-driven engineering Committee Member in Program Committee within the Agile MDE-track
Jens WeberWeber, Jens University of Victoria Steering Committee Member in Steering Committee for ICGT 2023 Committee Member in Program Committee within the ICGT Research Papers-track
Heike WehrheimWehrheim, Heike University of Oldenburg Committee Member in Program Committee within the TAP-track
Bernhard WestfechtelWestfechtel, Bernhard University of Bayreuth Steering Committee Member in Steering Committee for ICGT 2023 Extending single- to multi-variant model transformations by trace-based propagation of variability annotations
Jan Willem WittlerWillem Wittler, Jan Karlsruhe Institute of TechnologyGermany Evaluating Model Differencing for the Consistency Preservation of State-based Views
Manuel WimmerWimmer, Manuel JKU LinzAustria Committee Member in Program Committee within the ECMFA-track Organization Co-chair in Organizing Committee within the MeSS-track Committee Member in Steering Committee within the TTC-track Committee Member in Program committee within the FPVM-track
Aljoscha WindhorstWindhorst, Aljoscha University of BremenGermany Moving a Derivation Along a Derivation Preserves the Spine
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark How I lost my faith (in language technology research)? There and back again.
X Li XiaXia, Li National University of SingaporeSingapore Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection
Y Bian YangYang, Bian Norwegian University of Science and TechnologyNorway Committee Member in Program Committee within the HEDA-track
Kaiyuan YangYang, Kaiyuan University of ZurichSwitzerland Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection
Sobhan Yassipour TehraniYassipour Tehrani, Sobhan University College London (UCL) Using MDE with the Clean Architecture MathOCL: a domain-specific language for financial modelling Committee Member in Program Committee within the Agile MDE-track
Z Bahman ZamaniZamani, Bahman University of IsfahanIran Committee Member in Program Committee within the Agile MDE-track
Carlos Zapata-CarratalaZapata-Carratala, Carlos Wolfram Institute / Society for Multidisciplinary and Fundamental ResearchSpain Hypergraph Rewriting and Higher-Arity Algebra
Vadim ZaytsevZaytsev, Vadim University of Twente, NetherlandsNetherlands Committee Member in Program Committee within the ECMFA-track
Haiyan ZhaoZhao, Haiyan Peking UniversityChina Committee Member in Program Committee within the ECMFA-track
Athanasios ZolotasZolotas, Athanasios Committee Member in Program Committee within the ECMFA-track
Steffen ZschalerZschaler, Steffen King's College LondonUnited Kingdom Session Chair of STAF Keynote / ECMFA Session 5 (part of STAF Keynotes) Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets ECMFA Conference Opening Finding the Right Way to Rome: Effect-oriented Graph Transformation Co-chair in Program Committee within the ECMFA-track Committee Member in Steering Committee within the TTC-track

STAF 2023 Contributors

Results (330)

Tracks

Co-hosted Conferences

Workshops

Contests