Abstract is missing.
- An Active Learning Approach to the Falsification of Black Box Cyber-Physical SystemsSimone Silvetti, Alberto Policriti, Luca Bortolussi. 3-17 [doi]
- Modelling and Verification of Timed Robotic ControllersPedro Ribeiro 0002, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis. 18-33 [doi]
- Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOLSven Linker. 34-49 [doi]
- Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOLAlbert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow. 50-66 [doi]
- Making Whiley Boogie!Mark Utting, David J. Pearce, Lindsay Groves. 69-84 [doi]
- Complexity Analysis for Java with AProVEFlorian Frohn, Jürgen Giesl. 85-101 [doi]
- The VerCors Tool Set: Verification of Parallel and Concurrent SoftwareStefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn. 102-110 [doi]
- An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLsFerruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer. 111-126 [doi]
- Generalised Test Tables: A Practical Specification Language for Reactive SystemsBernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl. 129-144 [doi]
- Transient and Steady-State Statistical Analysis for Discrete Event SimulatorsStephen Gilmore, Daniël Reijsbergen, Andrea Vandin. 145-160 [doi]
- Algebraic Compilation of Safety-Critical Java BytecodeJames Baxter, Ana Cavalcanti. 161-176 [doi]
- Task-Node Mapping in an Arbitrary Computer Network Using SMT SolverAndrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Lüdtke. 177-191 [doi]
- Analysis of Synchronisations in Stateful Active ObjectsLudovic Henrio, Cosimo Laneve, Vincenzo Mastandrea. 195-210 [doi]
- BTS: A Tool for Formal Component-Based DevelopmentDalay Israel de Almeida Pereira, Marcel Vinicius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva. 211-226 [doi]
- Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model CheckingStavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas. 227-242 [doi]
- Synthesizing Coalitions for Multi-agent GamesWei Ji, Farn Wang, Peng Wu. 243-259 [doi]
- Hoare-Style Reasoning from Multiple ContractsOlaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi. 263-278 [doi]
- A New Invariant Rule for the Analysis of Loops with Non-standard Control FlowsDominic Steinhöfel, Nathan Wasser. 279-294 [doi]
- Triggerless Happy - Intermediate Verification with a First-Order ProverYuting Chen, Carlo A. Furia. 295-311 [doi]
- SemSlice: Exploiting Relational Verification for Automatic Program SlicingBernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich. 312-319 [doi]
- VBPMN: Automated Verification of BPMN Processes (Tool Paper)Ajay Krishna, Pascal Poizat, Gwen Salaün. 323-331 [doi]
- How Well Can I Secure My System?Barbara Kordy, Wojciech Widel. 332-347 [doi]
- MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class DiagramsHao Wu. 348-356 [doi]
- Formal Verification of CNL Health RecommendationsFahrurrozi Rahman, Juliana Küster Filipe Bowles. 357-371 [doi]
- Modular Verification of Order-Preserving Write-Back CachesJörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif. 375-390 [doi]
- Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani. 391-406 [doi]
- Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication ModulesJoão F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke. 407-421 [doi]
- Verification of STAR-Vote and Evaluation of FDR and ProVerifMurat Moran, Dan S. Wallach. 422-436 [doi]