Abstract is missing.
- Lock-free Concurrent Data Structures and How to Model their PerformancePhilippas Tsigas. 1-2 [doi]
- Generalised Asynchronous ArbiterStanislavs Golubcovs, Andrey Mokhov, Alex Bystrov, Danil Sokolov, Alex Yakovlev. 3-12 [doi]
- Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity ConstraintsÉtienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens. 13-22 [doi]
- Towards Parallel Verification of Concurrent Systems using the Symbolic Observation GraphHiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari. 23-32 [doi]
- Parametric Analyses of Attack-Fault TreesÉtienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga. 33-42 [doi]
- Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded SoftwareKeryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau. 43-52 [doi]
- A Formal Semantics of Exposed Datapath Architectures with Buffered Processing UnitsMarkus Anders, Klaus Schneider 0001. 53-62 [doi]
- Co-Optimizing Core Allocation, Mapping and DVFS in Streaming Programs with Moldable Tasks for Energy Efficient Execution on Manycore ArchitecturesNicolas Melot, Christoph W. Kessler, Patrick Eitschberger, Jörg Keller 0001. 63-72 [doi]
- Structural Computation of Alignments of Business Processes Over Partial OrdersFarbod Taymouri, Josep Carmona. 73-81 [doi]
- Soundness Verification of Decision-Aware Process Models with Variable-to-Variable ConditionsPaolo Felli, Massimiliano de Leoni, Marco Montali. 82-91 [doi]
- Control of DES with Urgency, Avoidability and IneluctabilityJean-Luc Béchennec, Didier Lime, Olivier H. Roux. 92-101 [doi]