Abstract is missing.
- Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience ReportDilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman. 3-18 [doi]
- Verifying Event-Based Timing Constraints by Translation into Presburger FormulaeBjörn Lisper. 19-33 [doi]
- Query Checking for Linear Temporal LogicSamuel Huang, Rance Cleaveland. 34-48 [doi]
- Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil PlatformsHallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima. 51-65 [doi]
- Model-Based Testing for Asynchronous SystemsAlexander Graf-Brill, Holger Hermanns. 66-82 [doi]
- Information Leakage as a Scheduling ResourceFabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay. 83-99 [doi]
- A Unified Formalism for Monoprocessor Schedulability Analysis Under UncertaintyÉtienne André. 100-115 [doi]
- CRutoN: Automatic Verification of a Robotic Assistant's BehavioursPaul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster. 119-133 [doi]
- Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State InformationFelipe J. Montana, Jun Liu, Tony J. Dodd. 134-149 [doi]
- Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic SpecificationsFelipe J. Montana, Jun Liu, Tony J. Dodd. 150-164 [doi]
- Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open ProblemsThibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. 165-181 [doi]
- Learning-Based Testing the Sliding Window Behavior of TCP ImplementationsPaul Fiterau-Brostean, Falk Howar. 185-200 [doi]
- Optimizing Feature Interaction DetectionAlessandro Fantechi, Stefania Gnesi, Laura Semini. 201-216 [doi]
- Formalising the Dezyne Modelling Language in mCRL2Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse. 217-233 [doi]