Abstract is missing.
- Software Security: A Formal Perspective - (Notes for a Talk)Martín Abadi. 1-5 [doi]
- Formal Methods in the Wild: Trains, Planes, & AutomobileAsaf Degani. 6 [doi]
- Who Are We, and What Are We Doing Here?Alan Wassyng. 7-9 [doi]
- Automata Learning through Counterexample Guided Abstraction RefinementFides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager. 10-27 [doi]
- Julienne: A Trace Slicer for Conditional Rewrite TheoriesMaría Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero. 28-32 [doi]
- IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling ProblemsÉtienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat. 33-36 [doi]
- Maximal and Compositional Pattern-Based Loop InvariantsMaria Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango. 37-51 [doi]
- A Formal Approach to Autonomous Vehicle CoordinationMikael Asplund, Atif Manzoor, Mélanie Bouroche, Siobhán Clarke, Vinny Cahill. 52-67 [doi]
- Quantified Event Automata: Towards Expressive and Efficient Runtime MonitorsHoward Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard. 68-84 [doi]
- Decentralised LTL MonitoringAndreas Klaus Bauer, Yliès Falcone. 85-100 [doi]
- Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process AlgebraSoufiene Benkirane, Rachel Norman, Erin Scott, Carron Shankland. 101-115 [doi]
- A Certified Constraint Solver over Finite DomainsMatthieu Carlier, Catherine Dubois, Arnaud Gotlieb. 116-131 [doi]
- Collaborative Verification and Testing with Explicit AssumptionsMaria Christakis, Peter Müller, Valentin Wüstholz. 132-146 [doi]
- TLA + ProofsDenis Cousineau 0002, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto. 147-154 [doi]
- The Modal Transition System Control ProblemNicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel. 155-170 [doi]
- When Structural Refinement of Components Keeps Temporal Properties over ReconfigurationsJulien Dormoy, Olga Kouchnarenko, Arnaud Lanoix. 171-186 [doi]
- Error InvariantsEvren Ermis, Martin Schäf, Thomas Wies. 187-201 [doi]
- Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD ConstructionMathieu Giorgino, Martin Strecker. 202-216 [doi]
- A Formal Framework for Modelling Coercion Resistance and Receipt FreenessJames Heather, Steve Schneider. 217-231 [doi]
- Using Time to Add Order to Distributed TestingRobert M. Hierons, Mercedes G. Merayo, Manuel Núñez. 232-246 [doi]
- A Verification Toolkit for Numerical Transition Systems - Tool PaperHossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer. 247-251 [doi]
- Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid SystemsTaylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel Dudley, Richard Scott Erwin. 252-266 [doi]
- Executing Formal Semantics with the K ToolDavid Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu. 267-271 [doi]
- Automatic Compositional Verification of Timed SystemsShang-Wei Lin, Yang Liu, Jun Sun 0001, Jin Song Dong, Étienne André. 272-276 [doi]
- Applying Software Model Checking Techniques for Behavioral UML ModelsOrna Grumberg, Yael Meller, Karen Yorav. 277-292 [doi]
- Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility TestingYasuhiko Minamide, Shunsuke Mori. 293-307 [doi]
- Theory and Techniques for Synthesizing Efficient Breadth-First Search AlgorithmsSrinivas Nedunuri, Douglas R. Smith, William R. Cook. 308-325 [doi]
- Improved BDD-Based Discrete Analysis of Timed SystemsTruong Khanh Nguyen, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yan Liu. 326-340 [doi]
- Experience Report on Designing and Developing Control Components Using Formal MethodsAmmar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever. 341-355 [doi]
- Automatic Dimensional Analysis of Cyber-Physical SystemsSam Owre, Indranil Saha, Natarajan Shankar. 356-371 [doi]
- Validating B, Z and TLA + Using ProB and KodkodDaniel Plagge, Michael Leuschel. 372-386 [doi]
- From Hoare Logic to Matching Logic ReachabilityGrigore Rosu, Andrei Stefanescu. 387-402 [doi]
- Distribution of Modal Transition SystemsGerman E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer. 403-417 [doi]
- Efficient Malware Detection Using Model-CheckingFu Song, Tayssir Touili. 418-433 [doi]
- Formalization of Incremental Simplex Algorithm by Stepwise RefinementMirko Spasic, Filip Maric. 434-449 [doi]
- VMC: A Tool for Product Variability AnalysisMaurice H. ter Beek, Franco Mazzanti, Aldi Sulova. 450-454 [doi]
- Specification-Based Test Repair Using a Lightweight Formal MethodGuowei Yang, Sarfraz Khurshid, Miryung Kim. 455-470 [doi]
- A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial ExampleHengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen. 471-485 [doi]