Vandrehallen
Stakladen
Stakladen
Session chair: TBA
Automating Proof Rules for Probabilistic Programs
Stakladen
Chair: Orna Grumberg
Francois Laroussinie and Nicolas Markey
Sarah Winter and Martin Zimmermann
Bharat Adsul, Paul Gastin and Shantanu Kulkarni
Paolo Baldan, Roberto Bruni, Francesco Ranzato and Diletta Rigo
M2
Timo P. Gros, Arnd Hartmanns, Ivo Hoese, Joshua Meyer, Nicola J. Müller and Verena Wolf
Patrick Wienhöft, Tobias Meggendorfer and Maximilian Weininger
Gabriel Dengler, Carlos E. Budde, Laura Carnevali and Arnd Hartmanns
Olivier Bouët-Willaumez, Adrien Le Coënt, Benoit Barbot and Nihal Pekergin
Vandrehallen
Stakladen
Chair: Wan Fokkink
On-the-Fly Verification: Advancements in Dependency Graphs
M2
Abhinav Garg, Madhavan Mukund, Adwitee Roy, B Srivathsan and Gautham Viswanathan
Benoit Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, Marco Esposito and Dejan Nickovic
Stakladen
Chair: Marielle Stoelinga
Caroline Lemke and Benjamin Bisping Galois
Véronique Bruyère, Jean-Francois Raskin, Alexis Reynouard and Marie Van Den Bogaard
Pete Austin, Sougata Bose, Nicolas Mazzocchi and Patrick Totzke
M2
Xavier Allamigeon, Pascal Capetillo and Stéphane Gaubert
Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke and Paula Herber
Jun Liu and Maxwell Fitzsimmons
Stakladen
Chair: Christel Baier
Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay and Ichiro Hasuo
S. Akshay, Ouldouz Neysari and Đorđe Žikelić
Hannah Mertens, Tim Quatmann and Joost-Pieter Katoen
M2
Lukas Wildberger, Anja Hamscher and Jens B. Schmitt
Fabian Michel and Markus Siegle
Andrea Marin, Diletta Olliaro, Sabina Rossi and Daniel Sadoc Menasche
Salling Rooftop
Stakladen
Navigating the growing field of research on AI for software testing – taxonomy and survey
Stakladen
Chair: Rob van Glabbeek
Rowin Versteeg, Valentina Castiglioni and Bas Luttik
Jan Friso Groote and David N. Jansen
Emily Vlasman, James Worrell, Anto Nanah Ji and Franck van Breugel
Tiange Liu, Alwen Tiu and Ross Horne
M2
Lina Gerlach, Christof Löding and Erika Abraham
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Jaco van de Pol and Laure Petrucci
Oliver Schön, Sofie Haesaert and Sadegh Soudjani
Alireza Nadali, Ashutosh Trivedi and Majid Zamani
M1
Stefan Hallerstede, Robby, John Hatcliff, Jason Belt and David Hardin
Lukas Armborst, Dirk Beyer, Marieke Huisman and Marian Lingsch-Rosenfeld
Niklas van de Sand and Marcus Völker
Christel Baier, Rio Klatt, Sascha Klüppelholz and Johannes Lehmann
Vandrehallen
Stakladen
Chair: TBA
Neural synthesis for verification and control of stochastic systems - certificates and abstractions
Stakladen
Chair: Joost-Pieter Katoen
Frédéric Herbreteau, Sarah Larroze and Igor Walukiewicz
Mohammad Hossein Khoshechin Jorshari, Michalis Kokologiannakis, Rupak Majumdar and Srinidhi Nagendra
Romain Delpy, Anca Muscholl and Grégoire Sutre
M2
Tobias Gürtler and Benjamin Lucien Kaminski
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger and Patrick Wienhöft
Sebastiaan Brand, Arend-Jan Quist, Richard M.K. van Dijk and Alfons Laarman
M1
Émilie Thomé, Christine Tasson and Xavier Denis
Tiago Sequeira and André Pedro
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Denis Vreshtazi, Alessandro Borselli, Maria Rosaria Cefaloni and Lucio Rota
Stakladen
Chair: Martin Zimmermann
Noam Shenwald and Orna Kupferman
Raphaël Berthon, Joost-Pieter Katoen and Zihan Zhou
Laurent Doyen, Pranshu Gaba and Shibashis Guha
M2
Véronique Bruyère, Bharat Garhewal, Guillermo Perez, Gaëtan Staquet and Frits Vaandrager
Wolffhardt Schwabe, Paul Kogel and Sabine Glesner
Paolo Ballarini, Pierre Cry, Andras Horvath and Pascale Legall
M1
Felix Schaber, Atif Mashkoor and Michael Leuschel
Janis Kröger, Ingo Stierand and Martin Fränzle
Stakladen
Chair: Patricia Bouyer
Linear Temporal Logic with Standpoint Modalities
M2
Thi Kim Nhung Dang, Benedikt Peterseim, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga
Andrea Esposito, Alessandro Aldini and Marco Bernardo
M1
Adrian Beers, Jore Booy, Jan Friso Groote, Johan van den Bogaard and Mark Bouwman
Stefan HallerstedeRobby, John Hatcliff, Jason Belt and David Hardin
Stakladen
Chair: Frits Vaandrager
Nicolaj Østerby Jensen, Kim Guldstrand Larsen, Didier Lime and Jiri Srba
Hsi-Ming Ho, S Krishna, Khushraj Madnani, Rupak Majumdar and Paritosh Pandya
M2
Runtime Safety for Learning-Enabled Cyber-Physical Systems: From Predictive Monitoring to Adaptive Shielding
M1
Federico Bonafini, Roberto Cavada, Alessandro Cimatti, Guillermo, Gomez and Stefano Tonetta
Andreas Brandhøj, Tobias Worm Bøgedal, René Rydhof Hansen,Kim Larsen and Danny Poulsen
Stakladen
Chair: Jan Friso Groote
Daniel Hirschkoff, Iwan Quémerais and Davide Sangiorgi
Rob van Glabbeek, Bas Luttik and Myrthe Spronck
M2
Gaspard Fougea, Serge Haddad, Lina Ye, Shreyas Jain and Alain Finkel
Lorenz Winkler and Laura Kovács
M1
An Overview of Sound and Modest Approaches to Quantitative Model Checking from Sea to Space
Vandrehallen
Art museum ARoS
Stakladen
Chair: Jaco van de Pol
Towards categorical quantum concurrency theory
Stakladen
Chair: Kim Larsen
Leo Henry, Thomas Neele, Mohammad Mousavi and Matteo Sammartino
Frits Vaandrager and Ivo Melse
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn and S Krishna
Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke and Di-De Yen
Vandrehallen
Stakladen
Chair: Jiri Srba
Yangluo Zheng
Wojciech Czerwiński and Łukasz Orlikowski
Stakladen
Chair: Pedro D'Argenio
Luca Aceto, Antonis Achilleos, Ducan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingolfsdottir and Karoliina Lehtinen
Thomas Henzinger, Pavol Kebis, Nicolas Mazzocchi and N. Ege Saraç
Thomas Møller Grosen, Sean Kauffman, Kim G. Larsen and Martin Zimmermann
Stakladen
Chair: Patricia Bouyer
Noam Zilberstein, Daniele Gorla and Alexandra Silva
Mario Bravetti, Luca Padovani and Gianluigi Zavattaro
Laura Bocchi, Andy King, Maurizio Murgia and Simon Thompson