Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th 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
a service of 
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.
last updated on 2024-04-18 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
