WADT 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (42)

B Kevin BatzBatz, Kevin Cornell UniversityUnited States Committee Member in Programme Committee for WADT 2026 Committee Member in Program Committee within the WADT -track
Harry BryantBryant, Harry Swansea University Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box
C Andrea CorradiniCorradini, Andrea University of PisaItaly Committee Member in Steering Committee within the WADT -track
D Besik DunduaDundua, Besik Institute of Applied Mathematics, Tbilisi State University A Formal Framework for Synchronized Drone Swarms with Belief-Based Reinforcement
F Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom Heterogeneous Specification via Institutions for Event-B and Temporal Logic
Michael FisherFisher, Michael University of Manchester, UKUnited Kingdom Heterogeneous Specification via Institutions for Event-B and Temporal Logic
Richard FlynnFlynn, Richard Maynooth University Heterogeneous Specification via Institutions for Event-B and Temporal Logic
G Marcus GerholdGerhold, Marcus University of Twente, The Netherlands Weighted Attribute Grammars: Reconciling Weighted and Attribute Grammars
H Bassam HelalHelal, Bassam Swansea University Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box
Till HofmannHofmann, Till RWTH Aachen University Committee Member in Programme Committee for WADT 2026 Committee Member in Program Committee within the WADT -track
I Antonio IglesiasIglesias, Antonio Universidad San Jorge ReTA: Modeling Reconfigurable Timed Automata
K Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany Committee Member in Programme Committee for WADT 2026 Temporal Predicate Transformers: A Preliminary Study Co-chair in Organizers within the WADT -track Committee Member in Steering Committee within the WADT -track Program Co-Chair in Program Committee within the WADT -track
Alexander KnappKnapp, Alexander Committee Member in Programme Committee for WADT 2026 Committee Member in Steering Committee within the WADT -track Committee Member in Program Committee within the WADT -track
L Demetre LabadzeLabadze, Demetre Kutaisi International UniversityGeorgia A Formal Framework for Synchronized Drone Swarms with Belief-Based Reinforcement
Andrew LawrenceLawrence, Andrew Siemens Mobility Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box
Martin LeuckerLeucker, Martin University of LübeckGermany Committee Member in Programme Committee for WADT 2026 Committee Member in Steering Committee within the WADT -track Committee Member in Program Committee within the WADT -track
Carlos Gustavo Lopez PomboLopez Pombo, Carlos Gustavo Universidad Nacional de Rio Negro Committee Member in Steering Committee within the WADT -track
Michele LoretiLoreti, Michele University of CamerinoItaly Committee Member in Steering Committee within the WADT -track
M Alexandre MadeiraMadeira, Alexandre University of AveiroPortugal Committee Member in Programme Committee for WADT 2026 ReTA: Modeling Reconfigurable Timed Automata Structured Specification in Many Logic Modal Logic Committee Member in Steering Committee within the WADT -track Committee Member in Program Committee within the WADT -track
Manuel A. MartinsMartins, Manuel A. University of AveiroPortugal ReTA: Modeling Reconfigurable Timed Automata Structured Specification in Many Logic Modal Logic
Christoph MathejaMatheja, Christoph DTUDenmark Committee Member in Programme Committee for WADT 2026 Committee Member in Program Committee within the WADT -track
Rosemary MonahanMonahan, Rosemary Ireland Committee Member in Programme Committee for WADT 2026 Heterogeneous Specification via Institutions for Event-B and Temporal Logic
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Committee Member in Program Committee within the WADT -track
Till MossakowskiMossakowski, Till Osnabrück UniversityGermany Committee Member in Steering Committee within the WADT -track
O Micheal OlawaleOlawale, Micheal Swansea University Software Quality Assurance via Testing-Inspired Formal Verification of Liveness Properties
P James PowerPower, James Maynooth UniversityIreland Heterogeneous Specification via Institutions for Event-B and Temporal Logic
José ProençaProença, José CISTER & Faculty of Sciences, University of PortoPortugal ReTA: Modeling Reconfigurable Timed Automata
R Francesca RandoneRandone, Francesca TU Wien Committee Member in Program Committee within the WADT -track
Markus RoggenbachRoggenbach, Markus Swansea University, Swansea, UK Co-chair in Programme Committee for WADT 2026 Software Quality Assurance via Testing-Inspired Formal Verification of Liveness Properties Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box Co-chair in Organizers within the WADT -track Committee Member in Organizers within the WADT -track Committee Member in Organizers within the WADT -track Committee Member in Steering Committee within the WADT -track Program Co-Chair in Program Committee within the WADT -track
S Edward SabinusSabinus, Edward Martin-Luther-University Halle-Wittenberg Feasible Morphism of Polymorphism and Partial Operations to Many-sorted Algebra with Constructors
Monika SeisenbergerSeisenberger, Monika Swansea University Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box
Anton SetzerSetzer, Anton Swansea University Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box
T Max TschaikowskiTschaikowski, Max IMT Institute for Advanced Studies Lucca, Italy Committee Member in Programme Committee for WADT 2026 Committee Member in Steering Committee within the WADT -track Committee Member in Program Committee within the WADT -track
V Lena VerschtVerscht, Lena Saarland University; RWTH Aachen University; Germany Temporal Predicate Transformers: A Preliminary Study
W Cheng-Hui WengWeng, Cheng-Hui Nagoya UniversityJapan Algebraic Specification of Card-Based Cryptographic Protocols in Rocq
Tom WernerWerner, Tom Siemens Mobility Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box
Uwe WolterWolter, Uwe University of BergenNorway A Journey from Conditional Equations to Nested Open Sketch Implications
Ānrán WángWáng, Ānrán Saarland University Temporal Predicate Transformers: A Preliminary Study
Z Fabio ZanasiZanasi, Fabio University College London Committee Member in Programme Committee for WADT 2026 Committee Member in Program Committee within the WADT -track
Vadim ZaytsevZaytsev, Vadim University of TwenteNetherlands Weighted Attribute Grammars: Reconciling Weighted and Attribute Grammars
Wolf ZimmermannZimmermann, Wolf Martin-Luther-University Halle-WittenbergGermany Feasible Morphism of Polymorphism and Partial Operations to Many-sorted Algebra with Constructors
Ö Peter ÖlveczkyÖlveczky, Peter University of OsloNorway Committee Member in Programme Committee for WADT 2026 A Formal Framework for Synchronized Drone Swarms with Belief-Based Reinforcement Committee Member in Program Committee within the WADT -track

WADT 2026 Contributors

Results (42)

Tracks

STAF 2026