Abstract is missing.
- Modelling and Verification for Swarm RoboticsAna Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro 0002, Jon Timmis. 1-19 [doi]
- On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with StakeholdersDavide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari. 20-29 [doi]
- Reasoning About JML: Differences Between KeY and OpenJMLJan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten. 30-46 [doi]
- Design and Verification of Restart-Robust Industrial Control SoftwareDimitri Bohlender, Stefan Kowalewski. 47-68 [doi]
- Efficiently Characterizing the Undefined Requests of a Rule-Based SystemZheng Cheng, Jean-Claude Royer, Massimo Tisi. 69-88 [doi]
- Study of Integrating Random and Symbolic Testing for Object-Oriented SoftwareMarko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric. 89-109 [doi]
- Making Linearizability Compositional for Partially Ordered ExecutionsSimon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick. 110-129 [doi]
- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSADaniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell. 130-150 [doi]
- A Precise Pictorial Language for Array InvariantsJohannes Eriksson, Masoumeh Parsa, Ralph-Johan Back. 151-160 [doi]
- Robotics and Integrated Formal Methods: Necessity Meets OpportunityMarie Farrell, Matt Luckcuck, Michael Fisher 0001. 161-171 [doi]
- Formal Modelling of Software Defined NetworkingVashti Galpin. 172-193 [doi]
- Resource-Aware Virtually Timed AmbientsEinar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito. 194-213 [doi]
- Stateful Behavioral Types for Active ObjectsEduard Kamburjan, Tzu-Chun Chen. 214-235 [doi]
- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMCEun-Young Kang, Dongrui Mu, Li Huang. 236-254 [doi]
- Facilitating the Implementation of Distributed Systems with Heterogeneous InteractionsSalwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone. 255-274 [doi]
- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSminPhilipp Körner, Michael Leuschel, Jeroen Meijer. 275-295 [doi]
- Towards a Formal Notion of Impact Metric for Cyber-Physical AttacksRuggero Lanotte, Massimo Merro, Simone Tini. 296-315 [doi]
- Task Planning with OMT: An Application to Production LogisticsFrancesco Leofante, Erika Ábrahám, Armando Tacchella. 316-325 [doi]
- Branching Temporal Logic of Calls and Returns for Pushdown SystemsHuu-Vu Nguyen, Tayssir Touili. 326-345 [doi]
- Repair and Generation of Formal Models Using SynthesisJoshua Schmidt, Sebastian Krings, Michael Leuschel. 346-366 [doi]
- Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems"Hendrik Simon, Stefan Kowalewski. 367-376 [doi]
- Formalisation of SysML/KAOS Goal Assignments with B System Component DecompositionsSteve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel. 377-397 [doi]
- Analysing AWN-Specifications Using mCRL2 (Extended Abstract)Rob J. van Glabbeek, Peter Höfner, Djurre van der Wal. 398-418 [doi]