FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program