default search action

combined dblp search
author search
venue search
publication search

ask others

15th ACSD 2015: Brussels, Belgium

> 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/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/2015
15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7882-6

Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/Isenberg15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/Isenberg15
Tobias Isenberg:
Incremental Inductive Verification of Parameterized Timed Systems. 1-9
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/Valmari15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/Valmari15
Antti Valmari:
Stop It, and Be Stubborn! 10-19
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/SalemG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/SalemG15
Ala-Eddine Ben Salem, Mohamed Graiet:
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata. 20-29

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/SiirtolaTH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/SiirtolaTH15
Antti Siirtola, Stavros Tripakis, Keijo Heljanko:
When Do We (Not) Need Complex Assume-Guarantee Rules? 30-39
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/LeonSKHE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/LeonSKHE15
Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza:
Unfolding Based Minimal Test Suites for Testing Multithreaded Programs. 40-49
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/BobedaCB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BobedaCB15
Edmundo López Bóbeda, Maximilien Colange, Didier Buchs:
Building a Symbolic Model Checker from Formal Language Description. 50-59

Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/BujtorSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BujtorSV15
Ferenc Bujtor, Lev Sorokin, Walter Vogler:
Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing. 60-69
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/VijzelaarF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/VijzelaarF15
Stefan Vijzelaar, Wan J. Fokkink:
Multi-valued Abstraction Using Lattice Operations. 70-79
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/BerardHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BerardHM15
Béatrice Bérard, Loïc Hélouët, John Mullins:
Non-interference in Partial Order Models. 80-89

Processors

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/TangBGSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/TangBGSW15
Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk, Ji-Bo Wei:
Task-FIFO Co-scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy. 90-99
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/GennaroSM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/GennaroSM15
Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov:
A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. 100-109
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/RafievXIGARY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/RafievXIGARY15
Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alex Yakovlev:
Order Graphs and Cross-Layer Parametric Significance-Driven Modelling. 110-119

Petri Net Extensions

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/AndreCR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/AndreCR15
Étienne André, Thomas Chatain, César Rodríguez:
Preserving Partial Order Runs in Parametric Time Petri Nets. 120-129
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/BouchenebB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BouchenebB15
Hanifa Boucheneb, Kamel Barkaoui:
Strongly Generalized Soundness of Time Workflow Nets. 130-139

Tools and Applications

- view
  authority control:
- export record
  dblp key:
  - conf/acsd/AriasDR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/AriasDR15
Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda:
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios. 140-151

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.