Automating Proof Rules for Probabilistic Programs
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
On-the-Fly Verification: Advancements in Dependency Graphs
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
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
Navigating the growing field of research on AI for software testing – taxonomy and survey
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
Neural synthesis for verification and control of stochastic systems - certificates and abstractions
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
Noam Shenwald and Orna Kupferman
Raphaël Berthon, Joost-Pieter Katoen and Zihan Zhou
Laurent Doyen, Pranshu Gaba and Shibashis Guha
Linear Temporal Logic with Standpoint Modalities
Nicolaj Østerby Jensen, Kim Guldstrand Larsen, Didier Lime and Jiri Srba
Hsi-Ming Ho, S Krishna, Khushraj Madnani, Rupak Majumdar and Paritosh Pandya
Daniel Hirschkoff, Iwan Quémerais and Davide Sangiorgi
Rob van Glabbeek, Bas Luttik and Myrthe Spronck
Towards categorical quantum concurrency theory
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
Yangluo Zheng
Wojciech Czerwiński and Łukasz Orlikowski
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
Noam Zilberstein, Daniele Gorla and Alexandra Silva
Mario Bravetti, Luca Padovani and Gianluigi Zavattaro
Laura Bocchi, Andy King, Maurizio Murgia and Simon Thompson