Abstract is missing.
- Incremental Inductive Verification of Parameterized Timed SystemsTobias Isenberg. 1-9 [doi]
- Stop It, and Be Stubborn!Antti Valmari. 10-19 [doi]
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing AutomataAla-Eddine Ben Salem, Mohamed Graiet. 20-29 [doi]
- When Do We (Not) Need Complex Assume-Guarantee Rules?Antti Tapani Siirtola, Stavros Tripakis, Keijo Heljanko. 30-39 [doi]
- Unfolding Based Minimal Test Suites for Testing Multithreaded ProgramsHernán Ponce de Leon, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza. 40-49 [doi]
- Building a Symbolic Model Checker from Formal Language DescriptionEdmundo López Bóbeda, Maximilien Colange, Didier Buchs. 50-59 [doi]
- Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-TestingFerenc Bujtor, Lev Sorokin, Walter Vogler. 60-69 [doi]
- Multi-valued Abstraction Using Lattice OperationsStefan Vijzelaar, Wan Fokkink. 70-79 [doi]
- Non-interference in Partial Order ModelsBéatrice Bérard, Loïc Hélouët, John Mullins. 80-89 [doi]
- Task-FIFO Co-scheduling of Streaming Applications on MPSoCs with Predictable Memory HierarchyQi Tang, Twan Basten, Marc Geilen, Sander Stuijk, Ji-Bo Wei. 90-99 [doi]
- A Heuristic Algorithm for Deriving Compact Models of Processor Instruction SetsAlessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov. 100-109 [doi]
- Order Graphs and Cross-Layer Parametric Significance-Driven ModellingAshur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander Romanovsky, Alex Yakovlev. 110-119 [doi]
- Preserving Partial Order Runs in Parametric Time Petri NetsÉtienne André, Thomas Chatain, Cesar Rodriguez. 120-129 [doi]
- Strongly Generalized Soundness of Time Workflow NetsHanifa Boucheneb, Kamel Barkaoui. 130-139 [doi]
- A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive ScenariosJaime Arias, Myriam Desainte-Catherine, Camilo Rueda. 140-151 [doi]