ABZ 2024 – 10th International Conference on Rigorous State Based Methods

Organization

Program Chairs

• Elvinia Riccobene, Università degli Studi di Milano, Milano, Italy
• Michael Leuschel, Heinrich-Heine-Universität, Düsseldorf, Germany

Case Study Chairs

• Silvia Bonfanti, University of Bergamo, Bergamo, Italy
• Angelo Gargantini, University of Bergamo, Bergamo, Italy

Workshop/Tutorial Chairs

• Claudio Menghi, University of Bergamo, Bergamo, Italy
• Alexander Raschke, Ulm University, Ulm, Germany

Sponsor Chair

• Claudio Menghi, University of Bergamo, Bergamo, Italy

Doctoral Symposium Chairs

• Philipp Körner, Heinrich-Heine-Universität, Düsseldorf, Germany
• Chiara Braghin, Università degli Studi di Milano, Milano, Italy

Social/Publicity Chairs

• Atif Mashkoor, JKU Linz, Linz, Austria
• Fabian Vu, Heinrich-Heine-Universität, Düsseldorf, Germany

Web Chairs

• Andrea Bombarda, University of Bergamo, Bergamo, Italy
• Mario Lilli, Università degli Studi di Milano, Milano, Italy

Local Chair

• Patrizia Scandurra, University of Bergamo, Bergamo, Italy

Registration Chair

• Silvia Bonfanti, University of Bergamo, Bergamo, Italy

Program Committee

• Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
• Nazareno Aguirre, Universidad Nacional de Río Cuarto, Argentina
• Étienne André, Université Sorbonne Paris Nord, LIPN, CNRS UMR, France
• Paolo Arcaini, National Institute of Informatics, Japan
• Richard Banach, University of Manchester, UK
• Egon Boerger, University of Pisa, Italy
• Chiara Braghin, University of Milan, Italy
• Adam Bryant, Galois Inc., USA
• Michael Butler, University of Southampton, UK
• José Creissac Campos, University of Minho & HASLab/INESC TEC, Portugal
• Maximiliano Cristiá, Universidad Nacional de Rosario, Argentina
• Alcino Cunha, University of Minho, Portugal
• Juergen Dingel, Queen’s University, Ontario
• Catherine Dubois, ENSIIE-Samovar, France
• Guillaume Dupont, IRIT/INPT-ENSEEIHT, France
• Gidon Ernst, LMU Munich, Germany
• Flavio Ferrarotti, Software Competence Centre Hagenberg, Austria
• Mamoun Filali Amine, IRIT CNRS Université Paul Sabatier, France
• Marc Frappier, Université de Sherbrooke, Canada
• Frederic Gervais, Univ Paris Est Creteil, LACL, France
• Vincenzo Gervasi, University of Pisa, Italy
• Stefan Hallerstede, Aarhus University, Denmark
• Klaus Havelund, Jet Propulsion Laboratory, USA
• Thai Son Hoang, University of Southampton, UK
• Fuyuki Ishikawa, National Institute of Informatics, Japan
• Philipp Körner, University of Düsseldorf, Germany
• Olga Kouchnarenko, University of Franche-Comté, France
• Régine Laleau, Paris Est Creteil University, France
• Thierry Lecomte, CLEARSY, France
• Alexei Lisitsa, University of Liverpool, UK
• Frederic Mallet, Université Côte d’Azur, France
• Amel Mammar, TELECOM Sud Paris, France
• Tiziana Margaria, University of Limerick, Ireland
• Atif Mashkoor, Johannes Kepler University, Austria
• Claudio Menghi, University of Bergamo, Italy
• Dominique Mery, Université de Lorraine, LORIA, France
• Stephan Merz, Inria, France
• Rosemary Monahan, Maynooth University, Ireland
• Philipp Paulweber, fiskaly GmbH, Austria
• Andreas Prinz, University of Agder, Norway
• Alexander Raschke, Ulm University, Germany
• Gerhard Schellhorn, Universitaet Augsburg, Germany
• Klaus-Dieter Shewe, Zhejiang University, China
• Neeraj Singh, INPT-ENSEEIHT / IRIT, University of Toulouse, France
• Maurice ter Beek, CNR, Italy
• Laurent Voisin, Systerel, France
• Wolf Zimmermann, Martin Luther University Halle-Wittenberg, Germany