Programme

Time GMT+2 (Amsterdam, Berlin, Bern, Brussels, Budapest, Madrid, Oslo, Paris, Prague, Rome, Sofia, Stockholm, Vienna, Warsaw)


Thursday, October 28, 2021
13:00 – 15:00 – Session 1 (Modelling & Composition)

Component-based Approach Combining UML and BIP for Rigorous System Design.
Salim Chehida, Saddek Bensalem and Abdelhakim Baouya.

Composable Partial Multiparty Session Types.
Claude Stolze, Marino Miculan and Pietro Di Gianantonio.

A Canonical Algebra of Open Transition Systems.
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini and Pawel Sobocinski.

Corinne, a Tool for the Composition of Choreography Automata.
Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese and Emilio Tuosto.

15:15 – 16:30 – Session 2 (Invited Talk)

Parametric and Interval Model Checking – Recent Advances and Applications.
Radu Calinescu


Friday, October 29, 2021
13:00 – 15:00 – Session 3 (Verification)

Specification and Verification of Parametric Systems with Recursive Architectures.
Marius Bozga and Radu Iosif.

A linear parallel algorithm to compute bisimulation and relational coarsest partitions.
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma and Anton Wijs.

Automated Generation of Initial Configurations for Testing Component Systems.
Frederic Dadeau, Jean-Philippe Gros and Olga Kouchnarenko.

Monitoring Distributed Component-Based Systems.
Yliès Falcone, Hosein Nazarpour, Saddek Bensalem and Marius Bozga.

15:15 – 16:30 – Session 4 (Invited Talk)

Learning Assumptions for Verifying Cryptographic Protocols Compositionally.
Corina Pasareanu

Comments are closed.