Abstract is missing.
- Incremental Construction of Realizable ChoreographiesSarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor. 1-19 [doi]
- Formal Assurance for Cooperative Intelligent Autonomous AgentsSiddhartha Bhattacharyya, Thomas C. Eskridge, Natasha A. Neogi, Marco M. Carvalho, Milton Stafford. 20-36 [doi]
- Ghosts for Lists: A Critical Module of Contiki Verified in Frama-CAllan Blanchard, Nikolai Kosmatov, Frédéric Loulergue. 37-53 [doi]
- An Executable Formal Framework for Safety-Critical Human MultitaskingGiovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky. 54-69 [doi]
- Simpler Specifications and Easier Proofs of Distributed Algorithms Using History VariablesSaksham Chand, Yanhong A. Liu. 70-86 [doi]
- Don't Miss the End: Preventing Unsafe End-of-File ComparisonsCharles Zhuo Chen, Werner Dietl. 87-94 [doi]
- An Efficient Rewriting Framework for Trace Coverage of Symmetric SystemsFlavio M. de Paula, Arvind Haran, Brad Bingham. 95-112 [doi]
- Verification of Fault-Tolerant Protocols with SallyBruno Dutertre, Dejan Jovanovic, Jorge A. Navas. 113-120 [doi]
- Output Range Analysis for Deep Feedforward Neural NetworksSouradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari. 121-138 [doi]
- Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model CheckingYassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar. 139-156 [doi]
- Twenty Percent and a Few Days - Optimising a Bitcoin Majority AttackAnsgar Fehnker, Kaylash Chaudhary. 157-163 [doi]
- An Even Better Approach - Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and AnalysisAnsgar Fehnker, Kaylash Chaudhary, Vinay Mehta. 164-178 [doi]
- Towards a Formal Safety Framework for TrajectoriesMarco A. Feliú, Mariano M. Moscato. 179-184 [doi]
- Static Value Analysis of Python Programs by Abstract InterpretationAymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné. 185-202 [doi]
- Model-Based Testing for General Stochastic TimeMarcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga. 203-219 [doi]
- Strategy Synthesis for Autonomous Agents Using PRISMRuben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman. 220-236 [doi]
- The Use of Automated Theory Formation in Support of Hazard AnalysisAndrew Ireland, Maria Teresa Llano, Simon Colton. 237-243 [doi]
- Distributed Model Checking Using ProBPhilipp Körner, Jens Bendisposto. 244-260 [doi]
- Optimal Storage of Combinatorial State SpacesAlfons Laarman. 261-279 [doi]
- Stubborn Transaction ReductionAlfons Laarman. 280-298 [doi]
- Certified Foata Normalization for Generalized TracesHendrik Maarand, Tarmo Uustalu. 299-314 [doi]
- On the Timed Analysis of Big-Data ApplicationsFrancesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi. 315-332 [doi]
- Tuning Permissiveness of Active Safety Monitors for Autonomous SystemsLola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren. 333-348 [doi]
- Sound Black-Box Checking in the LearnLibJeroen Meijer, Jaco van de Pol. 349-366 [doi]
- Model-Checking Task Parallel Programs for Data-RaceRadha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy. 367-382 [doi]
- Consistency of Property Specification Patterns with Boolean and Constrained Numerical SignalsMassimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto. 383-398 [doi]
- Automatic Generation of DO-178 Test ProceduresCésar Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels. 399-415 [doi]
- Using Test Ranges to Improve Symbolic ExecutionRui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang. 416-434 [doi]
- Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with ExtrusionMiguel Romero 0005, Camilo Rocha. 435-451 [doi]
- Experience Report: Application of Falsification Methods on the UxAS SystemCumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios E. Fainekos, Sriram Sankaranarayanan. 452-459 [doi]
- MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical SystemsAndrás Vörös, Márton Búr, István Ráth, Ákos Horváth, Zoltán Micskei, László Balogh, Bálint Hegyi, Benedek Horváth, Zsolt Mázló, Dániel Varró. 460-467 [doi]