default search action

combined dblp search
author search
venue search
publication search

ask others

17th ACSD 2017: Zaragoza, Spain

> Home > Conferences and Workshops > ACSD

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/acsd/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/2017
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

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/SteffenJMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/SteffenJMP17
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

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/AndreL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/AndreL17
Étienne André, Didier Lime:
Liveness in L/U-Parametric Timed Automata. 9-18
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/LunelBT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/LunelBT17
Simon Lunel, Benoît Boyer, Jean-Pierre Talpin:
Compositional Proofs in Differential Dynamic Logic dL. 19-28
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/Foughali17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/Foughali17
Mohammed Foughali:
Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools. 29-38

Session 2: Compositional Verification

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/Siirtola17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/Siirtola17
Antti Siirtola:
Refinement Checking Parameterised Quorum Systems. 39-48
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/PhanYCGSSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/PhanYCGSSS17
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

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/KhomenkoMSY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/KhomenkoMSY17
Victor Khomenko, Andrey Mokhov, Danil Sokolov, Alex Yakovlev:
Formal Design and Verification of an Asynchronous SRAM Controller. 59-67
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/Beaumont17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/Beaumont17
Jonathan Beaumont:
Plato: A Tool for Behavioural Specification of Asynchronous Circuits. 68-73

Session 4: Circuit Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/TarawnehM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/TarawnehM17
Ghaith Tarawneh, Andrey Mokhov:
Xprova: Formal Verification Tool with Built-in Metastability Modeling. 74-79
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/RafievXIRY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/RafievXIRY17
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

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/MokhovCG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/MokhovCG17
Andrey Mokhov, Jordi Cortadella, Alessandro de Gennaro:
Process Windows. 86-95
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/MikulskiMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/MikulskiMP17
Lukasz Mikulski, Andrey Mokhov, Marcin Piatkowski:
Reduction of Order Structures. 96-105

Session 6: Scheduling of Concurrent Systems

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/Bhagyanath017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/Bhagyanath017
Anoop Bhagyanath, Klaus Schneider:
Exploring the Potential of Instruction-Level Parallelism of Exposed Datapath Architectures with Buffered Processing Units. 106-115
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/GeeraertsGN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/GeeraertsGN17
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

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/JaloyanP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/JaloyanP17
Georges-Axel Jaloyan, Lee Pike:
Lock Optimization for Hoare Monitors in Real-Time Systems. 126-135
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/LinardB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/LinardB17
Alban Linard, Didier Buchs:
Ardoises: Collaborative & Interactive Editing Using Layered Data. 136-145

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.