THURSDAY – June 27, 2019 – ACSD
Download Program Booklet here!
Download the Conference-USB-Stick here!
The ACSD conference is co-located with the 40th International Conference on Applications and Theory of Petri Nets and Concurrency
(Petri Nets 2019) and shares the invited lectures.
09:00–10:00 Session Chair: – Room Club Lounge 1
Invited talk ACSD (Shared ACSD and Petri nets)
Philippas Tsigas – Lock-free Data Sharing in Concurrent Software Systems
(Petri nets will stay in Club Lounge 1, ACSD moves to Press Conference Room.)
10:00–10:30 Arbitration (Press Conference Room) (Session Chair: Jörg Keller)
Stanislavs Golubcovs, Andrey Mokhov, Alex Bystrov, Danil Sokolov and Alex Yakovlev – Generalised Asynchronous Arbiter
11:00–12:30 Synthesis and Verification (Press Conference Room) (Session Chair: Wojciech Penczek)
- Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray and David Lesens – Scheduling Synthesis for a Launcher Flight Control Using ParametricStopwatch Automata
- Hiba Ouni, Kais Klai, Chiheb Ameur Abid and Belhassen Zouari – Towards Parallel Verification of Concurrent Systems Using the Symbolic Observation Graph
- Étienne André, Didier Lime, Mathias Ramparison and Mariëlle Stoelinga – Parametric Analyses of Attack-fault Trees
13:30–15:00 Dataflow and Parallel Computing (Session Chair: Laure Petrucci)
- Keryan Didier, Albert Cohen, Adrien Gauffriau and Dumitru Potop Butucaru – Sheep in Wolf’s Clothing: Implementation Models for Data-flow Multi-threaded Software
- Markus Anders and Klaus Schneider – A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units
- Nicolas Melot, Christoph Kessler, Patrick Eitschberger and Jörg Keller – Co-optimizing Core Allocation, Mapping and DVFS in Streaming Programs with Moldable Tasks for Energy Efficient Execution on Manycore Architectures
15:30–17:00 Processes (Session Chair: Stefan Haar)
- Farbod Taymouri and Josep Carmona – Structural Computation of Alignments of Business Processes over Partial Orders
- Paolo Felli, Massimiliano de Leoni and Marco Montali – Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions
- Jean-Luc Béchennec, Didier Lime and Olivier H. Roux – Control of DES with Urgency, Avoidability and Ineluctability
Download Program Booklet here!
Download the Conference-USB-Stick here!
