ICGT 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (49)

A Deeksha AdianiAdiani, Deeksha Vanderbilt UniversityUnited States Dynamic Graph Rewriting for User State-Based Dialogue Adaption in Real-Time: An Application in Personalized Interview Training
Issam Al-AzzoniAl-Azzoni, Issam Al Ain University of Science, United Arab EmiratesUnited Arab Emirates Test Case Generation from Graph Transformation Systems using Deep Reinforcement Learning
B Anvar BahrampourBahrampour, Anvar Islamic Azad University Whole test suite generation from graph transformation specifications using ant colony optimization
Nicolas BehrBehr, Nicolas CNRS, Université Paris Cité, IRIFFrance Committee Member in Program Committee for ICGT 2025 Keynote: Instantiation Calculus
Paolo BottoniBottoni, Paolo Sapienza University of RomeItaly Steering Committee Member in Steering Committee for ICGT 2025
Erik BurgerBurger, Erik Consistency in the View-Based Development of Cyber-Physical Systems
C Andrea CorradiniCorradini, Andrea University of PisaItaly Steering Committee Member in Steering Committee for ICGT 2025 Committee Member in Program Committee for ICGT 2025
D Alessandro Di GiorgioDi Giorgio, Alessandro Tallinn University of TechnologyEstonia Rewriting for Traced Monoidal Closed Categories
Frank DrewesDrewes, Frank Umeå universitetSweden Specifying and Checking Graph Properties with Alternating Graph Automata Graph Formulas and their Translation to Alternating Graph Automata
Stefania DumbravaDumbrava, Stefania ENSIIE & Télécom SudParis France Fuzzing Graph Database Applications with Graph Transformations
E Jörg EndrullisEndrullis, Jörg Vrije Universiteit AmsterdamNetherlands Co-chair in Program Committee for ICGT 2025
F Lars FriederichsFriederichs, Lars German Aerospace Center, Institute for the Protection of Maritime InfrastructuresGermany Graph-transformational Threat Modeling
G Fabio GadducciGadducci, Fabio University of Pisa Committee Member in Program Committee for ICGT 2025
Simin GhasemiGhasemi, Simin Arak UniversityIran Whole test suite generation from graph transformation specifications using ant colony optimization Test Case Generation from Graph Transformation Systems using Deep Reinforcement Learning
Dan GhicaGhica, Dan Huawei Research and University of BirminghamUnited Kingdom Rewriting for Traced Monoidal Closed Categories
Holger GieseGiese, Holger Hasso Plattner Institute, University of PotsdamGermany Steering Committee Member in Steering Committee for ICGT 2025
Raffaela GronerGroner, Raffaela Chalmers \| University of GothenburgSweden Committee Member in Program Committee for ICGT 2025
H Reiko HeckelHeckel, Reiko University of LeicesterUnited Kingdom Steering Committee Chair in Steering Committee for ICGT 2025 Committee Member in Program Committee for ICGT 2025 Whole test suite generation from graph transformation specifications using ant colony optimization Test Case Generation from Graph Transformation Systems using Deep Reinforcement Learning
Berthold HoffmannHoffmann, Berthold Universitt BremenGermany Specifying and Checking Graph Properties with Alternating Graph Automata Graph Formulas and their Translation to Alternating Graph Automata
K Jens KosiolKosiol, Jens Philipps-Universität MarburgGermany Committee Member in Program Committee for ICGT 2025 Granular Conflict Analysis for Transformation Rules with Application Conditions
Hans-Jörg KreowskiKreowski, Hans-Jörg University of BremenGermany Steering Committee Member in Steering Committee for ICGT 2025 Parallel Rule Application with Doubling Avoidance
Jean KrivineKrivine, Jean CNRSFrance Committee Member in Program Committee for ICGT 2025
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Fuzzing Graph Database Applications with Graph Transformations
Barbara KönigKönig, Barbara University of Duisburg-EssenGermany Steering Committee Member in Steering Committee for ICGT 2025 Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems
Harald KönigKönig, Harald FHDW HannoverGermany Committee Member in Program Committee for ICGT 2025
L Leen LambersLambers, Leen Brandenburg University of Technology Cottbus-SenftenbergGermany Steering Committee Member in Steering Committee for ICGT 2025
Leen LambersLambers, Leen Committee Member in Program Committee for ICGT 2025
Alexander LauerLauer, Alexander Philipps-Universität MarburgGermany Granular Conflict Analysis for Transformation Rules with Application Conditions
Aaron LyeLye, Aaron German Aerospace Center, Institute for the Protection of Maritime InfrastructuresGermany Parallel Rule Application with Doubling Avoidance Graph-transformational Threat Modeling
M Mohammadjavad MehrabiMehrabi, Mohammadjavad Arak UniversityIran Using deep reinforcement learning to search reachability properties in systems specified through graph transformationtions Test Case Generation from Graph Transformation Systems using Deep Reinforcement Learning
Mark MinasMinas, Mark Universität der Bundeswehr MünchenGermany Specifying and Checking Graph Properties with Alternating Graph Automata Graph Formulas and their Translation to Alternating Graph Automata
O Fernando OrejasOrejas, Fernando Universitat Politècnica de CatalunyaSpain Steering Committee Member in Steering Committee for ICGT 2025
Melchior OudemansOudemans, Melchior Delft University of TechnologyNetherlands Fuzzing Graph Database Applications with Graph Transformations
P Detlef PlumpPlump, Detlef University of YorkUnited Kingdom Steering Committee Member in Steering Committee for ICGT 2025 Committee Member in Program Committee for ICGT 2025
Q Qi QiuQiu, Qi Université Claude Bernard Lyon 1France Termination of Injective DPO Graph Rewriting Systems using Subgraph Counting
R Vahid RafeRafe, Vahid City St George’s, University of LondonUnited Kingdom Using deep reinforcement learning to search reachability properties in systems specified through graph transformationtions Whole test suite generation from graph transformation specifications using ant colony optimization Test Case Generation from Graph Transformation Systems using Deep Reinforcement Learning
Arend RensinkRensink, Arend University of Twente, The NetherlandsNetherlands Steering Committee Member in Steering Committee for ICGT 2025 Committee Member in Program Committee for ICGT 2025 Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems
S Medha SarkarSarkar, Medha Middle Tennessee State UniversityUnited States Dynamic Graph Rewriting for User State-Based Dialogue Adaption in Real-Time: An Application in Personalized Interview Training
Nilanjan SarkarSarkar, Nilanjan Vanderbilt UniversityUnited States Dynamic Graph Rewriting for User State-Based Dialogue Adaption in Real-Time: An Application in Personalized Interview Training
Andy SchürrSchürr, Andy TU Darmstadt, Germany Committee Member in Program Committee for ICGT 2025
Lara StoltenowStoltenow, Lara Universität Duisburg-EssenGermany Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems
Daniel StrüberStrüber, Daniel Chalmers \| University of Gothenburg / Radboud UniversitySweden Committee Member in Program Committee for ICGT 2025
T Gabriele TaentzerTaentzer, Gabriele Philipps-Universität MarburgGermany Steering Committee Member in Steering Committee for ICGT 2025 Committee Member in Program Committee for ICGT 2025 Granular Conflict Analysis for Transformation Rules with Application Conditions
Matthias TichyTichy, Matthias Ulm UniversityGermany Co-chair in Program Committee for ICGT 2025
U Fabian UrrigshardtUrrigshardt, Fabian University of Duisburg-EssenGermany Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems
V Timothy J. VogusVogus, Timothy J. Vanderbilt UniversityUnited States Dynamic Graph Rewriting for User State-Based Dialogue Adaption in Real-Time: An Application in Personalized Interview Training
W Jens WeberWeber, Jens University of Victoria Steering Committee Member in Steering Committee for ICGT 2025 Committee Member in Program Committee for ICGT 2025
Z Fabio ZanasiZanasi, Fabio University College LondonUnited Kingdom Rewriting for Traced Monoidal Closed Categories
Steffen ZschalerZschaler, Steffen King's College LondonUnited Kingdom Committee Member in Program Committee for ICGT 2025