| Authors | Title | Paper | Talk |
|---|
| Natasha Fernandes, Mark Dras and Annabelle McIver | Processing text for privacy: An information flow perspective |  | |
| Kim Guldstrand Larsen, Florian Lorber and Brian Nielsen | 20 Years of Real Real Time Model Validation | | |
| Keyvan Azadbakht, Frank De Boer and Erik de Vink | Deadlock Detection for Actor-based Coroutines | | Jul 15 09:00 |
| Arthur Américo, Mario S. Alvim and Annabelle McIver | An Algebraic Approach for Reasoning About Information Flow | | Jul 15 09:30 |
| Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin and Zhiwu Xu | Towards `Verifying' a Water Treatment System | | Jul 15 10:00 |
| Florent Avellaneda and Alexandre Petrenko | FSM Inference from Long Traces | | Jul 15 12:00 |
| Davide Giacomo Cavezza, Dalal Alrajeh and Andras Gyorgy | A Weakness Measure for GR(1) Formulae | | Jul 15 15:00 |
| Simon Busard and Charles Pecheur | Producing Explanations for Rich Logics | | Jul 15 16:00 |
| Thomas Ferrère | The Compound Interest in Relaxing Punctuality | | Jul 15 16:30 |
| Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl and David Garlan | IPL: An Integration Property Language for Multi-Model Cyber-Physical Systems | | Jul 15 17:00 |
| Raúl Pardo, Cesar Sanchez and Gerardo Schneider | Timed Epistemic Knowledge Bases for Social Networks | | Jul 15 17:30 |
| Giovanni Bacci, Kim Guldstrand Larsen, Nicolas Markey, Patricia Bouyer-Decitre, Uli Fahrenberg and Pierre-Alain Reynier | Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty | | Jul 16 10:00 |
| Ian J. Hayes and Larissa Meinicke | Encoding fairness in a synchronous concurrent program algebra | | Jul 16 11:00 |
| Robert Colvin and Graeme Smith | A wide-spectrum language for verification of programs on weak memory models | | Jul 16 11:30 |
| Daniel Fava, Martin Steffen and Volker Stolz | Operational Semantics of a Weak Memory Model with Channel Synchronization | | Jul 16 12:00 |
| Signe Geisler and Anne E. Haxthausen | Stepwise Development and Model Checking of a Distributed Interlocking System - using RAISE | | Jul 16 11:00 |
| Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang and Kai Huang | Resource-aware Design for Reliable Autonomous Applications with Multiple Periods | | Jul 16 11:30 |
| Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez and Thomas Rambow | Verifying Auto-Generated C Code from Simulink | | Jul 16 12:00 |
| Andrea Vandin, Maurice H. Ter Beek, Axel Legay and Alberto Lluch Lafuente | QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems | | Jul 16 16:00 |
| Thomas Letan, Yann Régis-Gianas, Pierre Chifflier and Guillaume Hiet | Modular Verification of Programs with Effects and Effect Handlers in Coq | | Jul 16 16:30 |
| Heiko Becker, Pavel Panchekha, Eva Darulova and Zachary Tatlock | Combining Tools for Optimization and Analysis of Floating-Point Computations | | Jul 16 17:00 |
| Laura Titolo, Mariano Moscato, Cesar Munoz, Aaron Dutle and Francois Bobot | A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm | | Jul 16 17:30 |
| Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Abraham and Joost-Pieter Katoen | Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations | | Jul 16 16:00 |
| Claudio Menghi, Sergio Garcia, Patrizio Pelliccione and Jana Tumova | Multi-Robot LTL Planning Under Uncertainty | | Jul 16 16:30 |
| Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan and André Platzer | Vector Barrier Certificates and Comparison Systems | | Jul 16 17:00 |
| Hana Chockler, Shibashis Guha and Orna Kupferman | Timed Vacuity | | Jul 16 17:30 |
| Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan and Jianye Hao | Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning | | Jul 17 09:00 |
| Dhriti Khanna, Subodh Sharma, César Rodríguez and Rahul Purandare | Dynamic Symbolic Verification of MPI Programs | | Jul 17 09:30 |
| Sander de Putter and Anton Wijs | To Compose, Or Not to Compose, That is the Question: An Analysis of Compositional State Space Generation | | Jul 17 10:00 |
| Gavin Lowe | View abstraction for systems with component identities | | Jul 17 12:00 |
| Fuyuan Zhang, Yongwang Zhao, David Sanan, Yang Liu, Alwen Tiu, Shang-Wei Lin and Jun Sun | Compositional Reasoning for Shared-variable Concurrent Programs | | Jul 17 14:00 |
| Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen and Louis-Marie Traonouez | Statistical Model Checking of LLVM Code | | Jul 17 14:30 |
| Elvira Albert, Miguel Gomez-Zamalloa, Albert Rubio, Matteo Sammartino and Alexandra Silva | SDN-Actors: Modeling and Verification of SDN Programs | | Jul 17 17:00 |
| Sorawee Porncharoenwase, Tim Nelson and Shriram Krishnamurthi | CompoSAT: Specification-Guided Coverage for Model Finding | | Jul 17 16:00 |
| Chuchu Fan, Zhenqi Huang and Sayan Mitra | Approximate Partial Order Reduction | | Jul 17 16:30 |
| Cosimo Laneve | A lightweight deadlock analysis for programs with threads and reentrant locks | | Jul 17 15:00 |
| Alessandro Cimatti, Ivan Stojic and Stefano Tonetta | Formal Specification and Verification of Dynamic Parametrized Architectures | | Jul 17 17:30 |
| Cesar Munoz, Anthony Narkawicz and Aaron Dutle | From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems | | Jul 17 09:00 |
| Arne Boralv | Interlocking Design Automation using Prover Trident | | Jul 17 09:30 |
| Joerg Brauer and Uwe Schulze | Model-Based Testing for Avionics Systems | | Jul 17 10:00 |
| Daniel Kaestner, Laurent Mauborgne and Christian Ferdinand | On Software Safety, Security, and Abstract Interpretation | | Jul 17 14:00 |
| Pavel Avgustinov, Kevin Backhouse and Man Yue Mo | Variant analysis with QL | | Jul 17 14:30 |
| Ernie Cohen | Object-Oriented Security Proofs | | Jul 17 15:00 |
| Nikolaj Bjorner | Z3 and SMT in Industrial R&D | | Jul 17 16:00 |
| Tewodros A. Beyene and Harald Ruess | Evidential and Continuous Integration of Software Verification Tools | | Jul 17 16:30 |
| Thierry Lecomte | Disruptive Innovations for the Development and the Deployment of Fault-Free Software | | Jul 17 17:00 |