ACSD

Publications

2019

Philippas Tsigas
Lock-free Concurrent Data Structures and How to Model their Performance. ACSD (2019)
Paolo Felli, Massimiliano de Leoni, Marco Montali
Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions. ACSD (2019)
Farbod Taymouri, Josep Carmona
Structural Computation of Alignments of Business Processes Over Partial Orders. ACSD (2019)
Jean-Luc Béchennec, Didier Lime, Olivier H. Roux
Control of DES with Urgency, Avoidability and Ineluctability. ACSD (2019)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints. ACSD (2019)
Markus Anders, Klaus Schneider
A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units. ACSD (2019)
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Parametric Analyses of Attack-Fault Trees. ACSD (2019)
Nicolas Melot, Christoph W. Kessler, Patrick Eitschberger, Jörg Keller
Co-Optimizing Core Allocation, Mapping and DVFS in Streaming Programs with Moldable Tasks for Energy Efficient Execution on Manycore Architectures. ACSD (2019)
19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019 ACSD (2019)
Stanislavs Golubcovs, Andrey Mokhov, Alex Bystrov, Danil Sokolov, Alex Yakovlev
Generalised Asynchronous Arbiter. ACSD (2019)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph. ACSD (2019)
Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software. ACSD (2019)

2018

2017

2016