ABZ 2025 – 11th International Conference on Rigorous State Based Methods

Organization

Program Chairs

• Michael Leuschel, Heinrich-Heine-Universität, Germany
• Fuyuki Ishikawa, National Institute of Informatics, Tokyo, Japan

Case Study Chairs

• Fabian Vu, Heinrich-Heine-Universität, Germany

Workshop/Tutorial Chairs

Sponsor Chair

Doctoral Symposium Chairs

• Asieh Salehi Fathabadi, University of Southampton, UK
• Philipp Körner, Heinrich-Heine-Universität, Germany

Publicity/Social/Web Chairs

• Jan Gruteser, Heinrich-Heine-Universität, Germany
• Fabian Vu, Heinrich-Heine-Universität, Germany

Local Chair

Registration Chair

Program Committee

• Yamine Ait Ameur, ENSEEIHT, France
• Toshiaki Aoki, JAIST, Japan
• Paolo Arcaini, National Institute of Informatics, Japan
• Richard Banach, University of Manchester, UK
• Silvia Bonfanti, University of Bergramo, Italy
• Chiara Braghin, University of Milan, Italy
• Maximiliano Cristiá, Universidad Nacional de Rosario, Argentina
• Alcino Cunha, University of Minho, Portugal
• Catherine Dubois, ENSIIE, France
• Guillaume Dupont, ENSEEIHT, France
• Marie Farell, University of Manchester, UK
• Flavio Ferrarotti, Software Competence Centre Hagenberg, Austria
• Marc Frappier, Université de Sherbrooke, Canada
• Angelo Gargantini, University of Bergamo, Italy
• Uwe Glässer, Simon Fraser University, Canada
• Stefan Hallerstede, Aarhus University, Denmark
• Thai Son Hoang, University of Southampton, UK
• Akram Idani, Univ. Grenoble Alpes, VERIMAG lab, France
• Fuyuki Ishikawa, National Institute of Informatics, Japan
• Ensuk Kang, Carnegie Mellon University, USA
• Tsutomu Kobayashi, Japan Aerospace Exploration Agency, Japan
• Philipp Körner, University of Düsseldorf, Germany
• Igor Konnov, Austria
• Régine Laleau, Paris Est Creteil University, France
• Thierry Lecomte, CLEARSY, France
• Michael Leuschel, University of Düsseldorf, Germany
• Frederic Mallet, Université Côte d’Azur, France
• Atif Mashkoor, Johannes Kepler University, Austria
• Dominique Mery, Université de Lorraine, LORIA, France
• Stephan Merz, Inria, France
• Alexander Raschke, Ulm University, Germany
• Elvinia Riccobene, University of Milan, Italy
• Asieh Salehi Fathabadi, University of Southampton, UK
• Patrizia Scandurra, University of Bergamo, Italy
• Gerhard Schellhorn, Universitaet Augsburg, Germany
• Klaus-Dieter Schewe, Zhejiang University, China
• Emil Sekerinski, McMaster University, Canda
• Neeraj Singh, ENSEEIHT, France
• Maurice ter Beek, CNR, Italy
• Laurent Voisin, Systerel, France
• Hillel Wayne, USA