default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th ACSD 2019: Aachen, Germany
- 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019. IEEE 2019, ISBN 978-1-7281-3843-5
Keynote
- Philippas Tsigas
:
Lock-free Concurrent Data Structures and How to Model their Performance. 1-2
Session 1: Arbitration
- Stanislavs Golubcovs, Andrey Mokhov, Alex Bystrov, Danil Sokolov, Alex Yakovlev:
Generalised Asynchronous Arbiter. 3-12
Session 2: Synthesis and Verification
- Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens:
Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints. 13-22 - Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari:
Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph. 23-32 - Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga:
Parametric Analyses of Attack-Fault Trees. 33-42
Session 3: Dataflow and Parallel Computing
- Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau:
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software. 43-52 - Markus Anders, Klaus Schneider:
A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units. 53-62 - 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. 63-72
Session 4: Processes
- Farbod Taymouri, Josep Carmona:
Structural Computation of Alignments of Business Processes Over Partial Orders. 73-81 - Paolo Felli, Massimiliano de Leoni, Marco Montali:
Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions. 82-91 - Jean-Luc Béchennec, Didier Lime, Olivier H. Roux:
Control of DES with Urgency, Avoidability and Ineluctability. 92-101
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-10 18:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
