FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
FM FMCOMPLETE

Editors: Jan Peleska, Klaus Havelund and Bill Roscoe

AuthorsTitlePaperTalk
Natasha Fernandes, Mark Dras and Annabelle McIverProcessing text for privacy: An information flow perspective
Kim Guldstrand Larsen, Florian Lorber and Brian Nielsen20 Years of Real Real Time Model Validation
Keyvan Azadbakht, Frank De Boer and Erik de VinkDeadlock Detection for Actor-based CoroutinesJul 15 09:00
Arthur Américo, Mario S. Alvim and Annabelle McIverAn Algebraic Approach for Reasoning About Information FlowJul 15 09:30
Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin and Zhiwu XuTowards `Verifying' a Water Treatment SystemJul 15 10:00
Florent Avellaneda and Alexandre Petrenko FSM Inference from Long TracesJul 15 12:00
Davide Giacomo Cavezza, Dalal Alrajeh and Andras GyorgyA Weakness Measure for GR(1) FormulaeJul 15 15:00
Simon Busard and Charles PecheurProducing Explanations for Rich LogicsJul 15 16:00
Thomas FerrèreThe Compound Interest in Relaxing PunctualityJul 15 16:30
Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl and David GarlanIPL: An Integration Property Language for Multi-Model Cyber-Physical SystemsJul 15 17:00
Raúl Pardo, Cesar Sanchez and Gerardo SchneiderTimed Epistemic Knowledge Bases for Social NetworksJul 15 17:30
Giovanni Bacci, Kim Guldstrand Larsen, Nicolas Markey, Patricia Bouyer-Decitre, Uli Fahrenberg and Pierre-Alain ReynierOptimal and Robust Controller Synthesis Using Energy Timed Automata with UncertaintyJul 16 10:00
Ian J. Hayes and Larissa MeinickeEncoding fairness in a synchronous concurrent program algebraJul 16 11:00
Robert Colvin and Graeme SmithA wide-spectrum language for verification of programs on weak memory modelsJul 16 11:30
Daniel Fava, Martin Steffen and Volker StolzOperational Semantics of a Weak Memory Model with Channel SynchronizationJul 16 12:00
Signe Geisler and Anne E. HaxthausenStepwise Development and Model Checking of a Distributed Interlocking System - using RAISEJul 16 11:00
Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang and Kai HuangResource-aware Design for Reliable Autonomous Applications with Multiple PeriodsJul 16 11:30
Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez and Thomas RambowVerifying Auto-Generated C Code from SimulinkJul 16 12:00
Andrea Vandin, Maurice H. Ter Beek, Axel Legay and Alberto Lluch LafuenteQFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable SystemsJul 16 16:00
Thomas Letan, Yann Régis-Gianas, Pierre Chifflier and Guillaume HietModular Verification of Programs with Effects and Effect Handlers in CoqJul 16 16:30
Heiko Becker, Pavel Panchekha, Eva Darulova and Zachary TatlockCombining Tools for Optimization and Analysis of Floating-Point ComputationsJul 16 17:00
Laura Titolo, Mariano Moscato, Cesar Munoz, Aaron Dutle and Francois BobotA Formally Verified Floating-Point Implementation of the Compact Position Reporting AlgorithmJul 16 17:30
Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Abraham and Joost-Pieter KatoenFormal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and RecommendationsJul 16 16:00
Claudio Menghi, Sergio Garcia, Patrizio Pelliccione and Jana TumovaMulti-Robot LTL Planning Under UncertaintyJul 16 16:30
Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan and André PlatzerVector Barrier Certificates and Comparison SystemsJul 16 17:00
Hana Chockler, Shibashis Guha and Orna KupfermanTimed VacuityJul 16 17:30
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan and Jianye HaoFalsification of Cyber-Physical Systems Using Deep Reinforcement LearningJul 17 09:00
Dhriti Khanna, Subodh Sharma, César Rodríguez and Rahul PurandareDynamic Symbolic Verification of MPI ProgramsJul 17 09:30
Sander de Putter and Anton WijsTo Compose, Or Not to Compose, That is the Question: An Analysis of Compositional State Space GenerationJul 17 10:00
Gavin LoweView abstraction for systems with component identitiesJul 17 12:00
Fuyuan Zhang, Yongwang Zhao, David Sanan, Yang Liu, Alwen Tiu, Shang-Wei Lin and Jun SunCompositional Reasoning for Shared-variable Concurrent ProgramsJul 17 14:00
Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen and Louis-Marie TraonouezStatistical Model Checking of LLVM CodeJul 17 14:30
Elvira Albert, Miguel Gomez-Zamalloa, Albert Rubio, Matteo Sammartino and Alexandra SilvaSDN-Actors: Modeling and Verification of SDN ProgramsJul 17 17:00
Sorawee Porncharoenwase, Tim Nelson and Shriram KrishnamurthiCompoSAT: Specification-Guided Coverage for Model FindingJul 17 16:00
Chuchu Fan, Zhenqi Huang and Sayan MitraApproximate Partial Order ReductionJul 17 16:30
Cosimo LaneveA lightweight deadlock analysis for programs with threads and reentrant locksJul 17 15:00
Alessandro Cimatti, Ivan Stojic and Stefano TonettaFormal Specification and Verification of Dynamic Parametrized ArchitecturesJul 17 17:30
Cesar Munoz, Anthony Narkawicz and Aaron DutleFrom Formal Requirements to Highly Assured Software for Unmanned Aircraft SystemsJul 17 09:00
Arne BoralvInterlocking Design Automation using Prover TridentJul 17 09:30
Joerg Brauer and Uwe SchulzeModel-Based Testing for Avionics SystemsJul 17 10:00
Daniel Kaestner, Laurent Mauborgne and Christian FerdinandOn Software Safety, Security, and Abstract InterpretationJul 17 14:00
Pavel Avgustinov, Kevin Backhouse and Man Yue MoVariant analysis with QLJul 17 14:30
Ernie CohenObject-Oriented Security ProofsJul 17 15:00
Nikolaj BjornerZ3 and SMT in Industrial R&DJul 17 16:00
Tewodros A. Beyene and Harald RuessEvidential and Continuous Integration of Software Verification ToolsJul 17 16:30
Thierry LecomteDisruptive Innovations for the Development and the Deployment of Fault-Free SoftwareJul 17 17:00