![](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
17th ACSD 2017: Zaragoza, Spain
- 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-2867-6
Keynote
- Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol:
Property-Preserving Generation of Tailored Benchmark Petri Nets. 1-8
Session 1: Verification of Timed Systems
- Étienne André, Didier Lime
:
Liveness in L/U-Parametric Timed Automata. 9-18 - Simon Lunel, Benoît Boyer, Jean-Pierre Talpin:
Compositional Proofs in Differential Dynamic Logic dL. 19-28 - Mohammed Foughali:
Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools. 29-38
Session 2: Compositional Verification
- Antti Siirtola
:
Refinement Checking Parameterised Quorum Systems. 39-48 - Dung T. Phan
, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller:
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. 49-58
Session 3: Asynchronous Systems
- Victor Khomenko, Andrey Mokhov, Danil Sokolov, Alex Yakovlev:
Formal Design and Verification of an Asynchronous SRAM Controller. 59-67 - Jonathan Beaumont:
Plato: A Tool for Behavioural Specification of Asynchronous Circuits. 68-73
Session 4: Circuit Analysis
- Ghaith Tarawneh, Andrey Mokhov:
Xprova: Formal Verification Tool with Built-in Metastability Modeling. 74-79 - Ashur Rafiev, Fei Xia, Alexei Iliasov, Alexander B. Romanovsky
, Alexandre Yakovlev:
Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework. 80-85
Session 5: Models of Concurrency
- Andrey Mokhov, Jordi Cortadella, Alessandro de Gennaro:
Process Windows. 86-95 - Lukasz Mikulski
, Andrey Mokhov, Marcin Piatkowski
:
Reduction of Order Structures. 96-105
Session 6: Scheduling of Concurrent Systems
- Anoop Bhagyanath, Klaus Schneider:
Exploring the Potential of Instruction-Level Parallelism of Exposed Datapath Architectures with Buffered Processing Units. 106-115 - Gilles Geeraerts, Joël Goossens, Thi-Van-Anh Nguyen:
A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks. 116-125
Session 7: Shared Memory Concurrency
- Georges-Axel Jaloyan, Lee Pike:
Lock Optimization for Hoare Monitors in Real-Time Systems. 126-135 - Alban Linard, Didier Buchs:
Ardoises: Collaborative & Interactive Editing Using Layered Data. 136-145
![](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.