![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
15th ACSD 2015: Brussels, Belgium
- 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
- Tobias Isenberg:
Incremental Inductive Verification of Parameterized Timed Systems. 1-9 - Antti Valmari:
Stop It, and Be Stubborn! 10-19 - Ala-Eddine Ben Salem, Mohamed Graiet:
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata. 20-29
Verification
- Antti Siirtola
, Stavros Tripakis
, Keijo Heljanko
:
When Do We (Not) Need Complex Assume-Guarantee Rules? 30-39 - 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 - Edmundo López Bóbeda, Maximilien Colange, Didier Buchs:
Building a Symbolic Model Checker from Formal Language Description. 50-59
Semantics
- Ferenc Bujtor, Lev Sorokin, Walter Vogler:
Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing. 60-69 - Stefan Vijzelaar, Wan J. Fokkink
:
Multi-valued Abstraction Using Lattice Operations. 70-79 - Béatrice Bérard, Loïc Hélouët, John Mullins:
Non-interference in Partial Order Models. 80-89
Processors
- 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 - Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov:
A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. 100-109 - 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
- Étienne André
, Thomas Chatain, César Rodríguez:
Preserving Partial Order Runs in Parametric Time Petri Nets. 120-129 - Hanifa Boucheneb, Kamel Barkaoui:
Strongly Generalized Soundness of Time Workflow Nets. 130-139
Tools and Applications
- Jaime Arias
, Myriam Desainte-Catherine, Camilo Rueda
:
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios. 140-151
![](https://dblp.uni-trier.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.