Programme
All times are listed for CEST (Central European Summer Time)
Monday June 13
DisCoTec Workshops
- CoMinDs (classroom 2): Go to the programme page.
- FOCODILE (classroom 1): Go to the programme page.
DisCoTec Tutorials
| Time | Blockchain Track (Sagrestia) | Verification Track (Cappella Guinigi) |
|---|---|---|
| 10.50 - 11.00 | welcome | welcome |
| 11.00 - 12.30 | Smart contracts in Bitcoin and BitML | An introduction to Spatial Logics and Spatial Model Checking |
| 12.30 - 14.00 | lunch break | lunch break |
| 14.00 - 15.30 | The ΔQ Systems Development Paradigm | A Gentle Adventure Mechanising Message Passing Concurrency Systems |
| 15.30 - 16.00 | coffee break | coffee break |
| 16.00 - 17.30 | ChorChain: a Model-driven Approach for Trusted Execution of Multi-party Business Processes on Blockchain | - |
| 19.00 - 20.00 | Welcome reception (Sala Canova) | Welcome reception (Sala Canova) |
Tuesday June 14
Conference Talks
Wednesday June 15
Conference Talks
Thursday June 16
Conference Talks
Friday June 17
DisCoTec Workshops
- BlockTee (Refettorio): Go to the programme page.
- ICE (Cappella Guinigi): Go to the programme page.
DisCoTec Invited Talk (Cappella Guinigi)
FORTE Invited Speaker
(session chair: Mohammad Mousavi)
- 30+ years of FORTE research: a personal perspective
by Muffy Calder
Coordination Invited Speaker
(session chair: Marjan Sirjani)
- Formal Methods for Socio-Technical Security (Formal and Automated Analysis of Security Ceremonies)
by Luca Viganò
DAIS Invited Speaker
(session chair: Spyros Voulgaris )
- Challenges in automated measurement of pedestrian dynamics
by Maarten van Steen
DisCoTec Best Papers (Cappella Guinigi)
(session chair: Maurice ter Beek)
Coordination Best Paper
- A Monitoring Tool for Linear-Time μHML
by Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza and Anna Ingólfsdóttir
DAIS Best Paper
- Rebop: Reputation-based Incentives in Committee-based Blockchains
by Arian Baloochestani, Leander Jehl and Hein Meling
FORTE Best Paper
- Traits: Correctness-by-Construction for Free by
Tobias Runge, Alex Potanin, Thomas Thüm and Ina Schaefer
DisCoTec Artefacts (Cappella Guinigi)
(session chair: Maurice ter Beek)
- Opening and presentation of the EAPLS Artefact Badges
by Ferruccio Damiani - The Science of Computer Programming track on Original Software Publications
by Mohammad Mousavi - Announcement of DisCoTec best tool award winners
by Maurice ter Beek - Birds of a Feather session on software artefacts and replication issues
moderated by Ferruccio Damiano, David Eyers, and Anna Philippou - Artefact demonstrations
Coordination programme
Session 1: Timed, Probabilistic, and Collective Systems
(session chair: Mirko Viroli)
- MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
by Wang Yi, Morteza Mohaqeqi and Susanne Graf - A Sound Up-to-n,delta Bisimilarity for PCTL
by Massimo Bartoletti, Maurizio Murgia and Roberto Zunino - Sibilla: A Tool for Reasoning about Collective Systems
by Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman and Michele Loreti
Session 2: Aggregate Computing
(session chair: Emilio Tuosto)
- Extensible 3D Simulation of Aggregated Systems with FCPP
by Giorgio Audrito, Luigi Rapetta and Gianluca Torta - Towards Reinforcement Learning-based Aggregate Computing
by Gianluca Aguzzi, Roberto Casadei and Mirko Viroli - Space-fluid Adaptive Sampling: a Field-based, Self-organising Approach
by Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli and Franco Zambonelli
Session 3: Processes and Languages
(session chair: Michele Loreti)
- Formal Choreographic Languages
by Franco Barbanera, Ivan Lanese and Emilio Tuosto - A Model of Actors and Grey Failures
by Laura Bocchi, Julien Lange, Simon Thompson and A. Laura Voinea - Soft Concurrent Constraint Programming with Local Variables
by Laura Bussi, Fabio Gadducci and Francesco Santini
Session 4: Runtime Verification, Monitor Synthesis, and Microservices
(session chair: Narges Khakpour)
- A Synthesis Tool for Optimal Monitors in a Branching-Time Setting
by Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen and Jasmine Xuereb - Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs
by Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti and Florian Rademacher
DAIS programme
Session 1: Blockchains & Cryptocurrencies
(session chair: Marcelo Pasin)
- Evaluating Blockchain Application Requirements and their Satisfaction in Hyperledger Fabric
by Sadok Ben Toumia, Christian Berger and Hans P. Reiser - Using SGX for Meta-Transactions Support in Ethereum DApps
by Emanuel Onica and Ciprian Amariei - Understanding Cryptocoins Trends Correlations (Work-in-Progress Paper)
by Pasquale De Rosa and Valerio Schiavoni
Session 2: Fault Tolerance
(session chair: Valerio Schiavoni)
- Lesser Evil: Embracing Failure to Protect Overall System Availability
by Viktória Fördős and Alexandre Jorge Barbosa Rodrigues - Failure Root Cause Analysis for Microservices, Explained
by Jacopo Soldani, Stefano Forti and Antonio Brogi
Session 3: Trusted Execution, Deep Learning, and IoT
(session chair: Claudio Antares Mezzina)
- Attestation Mechanisms for Trusted Execution Environments Demystified
by Jämes Ménétrey, Christian Göttel, Anum Khurshid, Marcelo Pasin, Pascal Felber, Valerio Schiavoni and Shahid Raza - Accelerate Model Parallel Deep Learning Training Using Effective Graph Traversal Order in Device Placement
by Tianze Wang, Amir H. Payberah, Desta Haileselassie Hagos and Vladimir Vlassov - Analysis of the impact of IoT protocols and interaction patterns on energy consumption for IoT consumer applications
by Rodrigo Canek, Chantal Taconet and Pedro Borges
Session 4: Elastic and Scalable Systems
(session chair: Arian Baloochestani)
- The HDFS Replica Placement Policies: a comparative experimental investigation
by Rhauani Fazul and Patrícia Pitthan - An Elastic and Scalable Topic-based Pub/Sub System using Deep Reinforcement Learning
Thanos Giannakopoulos and Vana Kalogeraki
FORTE programme
Session 1: Process Calculi and Session Types
(session chair: Anna Philippou)
- Encodability Criteria for Quantum Based Systems
by Anna Schmitt, Kirstin Peters and Yuxin Deng - The Reversible Temporal Process Language
by Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina and Shoji Yuen - Fault-Tolerant Multiparty Session Types
by Kirstin Peters, Uwe Nestmann and Christoph Wagner
Session 2: Monitoring and Program Verification
(session chair: Claudio Antares Mezzina)
- Monitoring Hyperproperties with Circuits (Short paper)
by Elli Anastasiadi, Luca Aceto, Antonis Achilleos and Adrian Francalanza - Offline and Online Monitoring of scattered uncertain logs using uncertain linear dynamical systems
by Bineet Ghosh and Étienne André - Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives
by German Vidal
Session 3: State-space reduction
(session chair: Étienne André)
- LTL under reductions with weaker conditions than stutter-invariance
by Yann Thierry-Mieg, Emmanuel Paviot-Adet, Etienne Renault and Denis Poitrenaud - Effective Reductions of Mealy Machines
by Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz and Adrien Pommellet
Session 4: Verification and Semantics
(session chair: Adrian Francalanza)
- Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies using mCRL2
by Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe and Tim Willemse - Branch-Well-Structured Transition Systems and Extensions
by Benedikt Bollig, Alain Finkel and Amrita Suresh - Co-engineering safety-security using statistical model checking (Journal - First)
by Rajesh Kumar, Rohan Kela, Siddhant Singh and Bhavesh Narra
DisCoTec Best Artefacts
(session chair: Maurice ter Beek)
Coordination Best Artefact
- Extensible 3D Simulation of Aggregated Systems with FCPP
by Giorgio Audrito, Luigi Rapetta and Gianluca Torta
DAIS Best Artefact
- Failure Root Cause Analysis for Microservices, Explained
by Jacopo Soldani, Stefano Forti and Antonio Brogi
FORTE Best Artefact
- Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies using mCRL2
by Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe and Tim Willemse