![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
19th 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.