FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program