ATVA 2018: INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS

A
Adabala, Keerthi	A Fragment of Linear Temporal Logic for Universal Very Weak Automata
Albert, Elvira	EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
Althoff, Matthias	A Formally Verified Motion Planners for Autonomous Vehicles
Ashok, Pranav	Continuous-Time Markov Decisions based on Partial Exploration
B
Bang, Lucas	Information Leakage in Arbiter Protocols
Baranowski, Marek	Verifying Rust Programs with SMACK
Barrett, Clark	DeepSafe: A Data-driven Approach for Assessing Robustness of Neural Networks
Bartocci, Ezio	Signal Convolution Logic
Basin, David	Optimal Proofs for Linear Temporal Logic on Lasso Words
Bendík, Jaroslav	Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
Benes, Nikola	Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
Bensalem, Saddek	SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems
Bhatt, Bhargav	Optimal Proofs for Linear Temporal Logic on Lasso Words
Bjorner, Nikolaj	Z3 to the power of Azure and Azure to the power of Z3 Recent advances in SMT Recent advances in SMT (cont'd)
Bloem, Roderick	Reactive Synthesis of Register Transducers
Boigelot, Bernard	Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces
Bollig, Benedikt	Round-Bounded Control of Parameterized Systems
Bortolussi, Luca	Signal Convolution Logic
Bozga, Marius	SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems
Bultan, Tevfik	Information Leakage in Arbiter Protocols
Butkova, Yuliya	Continuous-Time Markov Decisions based on Partial Exploration
C
Cerna, Ivana	Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
Chen, Mingshuai	What’s to come is still unsure: Synthesizing controllers resilient to delayed interaction
Chen, Yu-Ting	Robustness Testing of Intermediate Verifiers
Cheng, Chih-Hong	Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems
Chistikov, Dmitry	Bisimilarity Distances for Approximate Differential Privacy
Cubuktepe, Murat	Synthesis in pMDPs: A Tale of 1001 Parameters
D
Dellabani, Mahieddine	SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems
Dimitrova, Rayna	Maximum Realizability for Linear Temporal Logic Specifications
E
Ehlers, Rüdiger	A Fragment of Linear Temporal Logic for Universal Very Weak Automata
F
Finkbeiner, Bernd	Bounded Synthesis of Reactive Programs MGHyper: Checking Satisfiability of HyperLTL formulas beyond the exists-forall Fragment
Fränzle, Martin	What’s to come is still unsure: Synthesizing controllers resilient to delayed interaction
Furia, Carlo A.	Robustness Testing of Intermediate Verifiers
G
Gainer, Paul	Accelerated Model Checking of Parametric Markov Chains
Gerstacker, Carsten	Bounded Synthesis of Reactive Programs
Ghasemi, Mahsa	Maximum Realizability for Linear Temporal Logic Specifications
Gopinath, Divya	DeepSafe: A Data-driven Approach for Assessing Robustness of Neural Networks
Gordillo, Pablo	EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
Grosu, Radu	Neural State Classification for Hybrid Systems
Grumberg, Orna	Modular Verification of Concurrent Programs via Sequential Model Checking
Gurfinkel, Arie	Quantifiers on Demand
Gutierrez, Julian	EVE: A Tool for Temporal Equilibrium Analysis
H
Hahn, Christopher	MGHyper: Checking Satisfiability of HyperLTL formulas beyond the exists-forall Fragment
Hahn, Ernst Moritz	Accelerated Model Checking of Parametric Markov Chains
Hans, Tobias	MGHyper: Checking Satisfiability of HyperLTL formulas beyond the exists-forall Fragment
Hasuo, Ichiro	Ranking and Repulsing Supermartingales for Approximating Reachability
He, Shaobo	Verifying Rust Programs with SMACK
Hermanns, Holger	Continuous-Time Markov Decisions based on Partial Exploration
Heule, Marijn	Z3 to the power of Azure and Azure to the power of Z3
Holik, Lukas	Simulation Algorithms for Symbolic Automata
Huang, Chung-Hao	Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems
Huang, Zixin	PSense: Automatic Sensitivity Analysis for Probabilistic Programs
I
Immler, Fabian	A Formally Verified Motion Planners for Autonomous Vehicles
J
Jacobs, Swen	A Symbolic Algorithm for Lazy Synthesis of Eager Strategies
Jagtap, Pushpak	Temporal Logic Verification of Stochastic Systems Using Barrier Certificates
Jansen, Nils	Synthesis in pMDPs: A Tale of 1001 Parameters
Jayaraman, Karthick	Z3 to the power of Azure and Azure to the power of Z3
Junges, Sebastian	Synthesis in pMDPs: A Tale of 1001 Parameters
K
Katoen, Joost-Pieter	Synthesis in pMDPs: A Tale of 1001 Parameters
Katz, Guy	DeepSafe: A Data-driven Approach for Assessing Robustness of Neural Networks
Khalimov, Ayrat	Reactive Synthesis of Register Transducers
Klein, Felix	Bounded Synthesis of Reactive Programs
Kretinsky, Jan	Continuous-Time Markov Decisions based on Partial Exploration
Kretinsky, Jan	Owl: A Library for \omega-Words, Automata, and LTL
Kumar, Rahul	Z3 to the power of Azure and Azure to the power of Z3
L
Legay, Axel	SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems
Lehaut, Mathieu	Round-Bounded Control of Parameterized Systems
Lengal, Ondrej	Simulation Algorithms for Symbolic Automata
Li, Yangjia	What’s to come is still unsure: Synthesizing controllers resilient to delayed interaction
Lin, Anthony	Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
Livshits, Benjamin	EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
M
Maderbacher, Benedikt	Reactive Synthesis of Register Transducers
Mainz, Isabelle	Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces
Majumdar, Rupak	Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
McMahan, Joseph	Information Leakage in Arbiter Protocols
Mediouni, Braham Lotfi	SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems
Meggendorfer, Tobias	Owl: A Library for \omega-Words, Automata, and LTL
Misailovic, Sasa	PSense: Automatic Sensitivity Analysis for Probabilistic Programs
Murawski, Andrzej	Bisimilarity Distances for Approximate Differential Privacy
N
Najib, Muhammad	EVE: A Tool for Temporal Equilibrium Analysis
Nazier Mosaad, Peter	What’s to come is still unsure: Synthesizing controllers resilient to delayed interaction
Nenzi, Laura	Signal Convolution Logic
Nouri, Ayoub	SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems
O
Oyabu, Yuichiro	Ranking and Repulsing Supermartingales for Approximating Reachability
P
Paoletti, Nicola	Neural State Classification for Hybrid Systems
Pasareanu, Corina	DeepSafe: A Data-driven Approach for Assessing Robustness of Neural Networks Symbolic Execution and Probabilistic Reasoning Symbolic Execution and Probabilistic Reasoning (cont'd)
Perelli, Giuseppe	EVE: A Tool for Temporal Equilibrium Analysis
Phan, Dung	Neural State Classification for Hybrid Systems
Purser, David	Bisimilarity Distances for Approximate Differential Privacy
R
Rakamaric, Zvonimir	Verifying Rust Programs with SMACK
Rasin, Dan	Modular Verification of Concurrent Programs via Sequential Model Checking
Rizaldi, Albert	A Formally Verified Motion Planners for Autonomous Vehicles
Rubio, Albert	EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
S
Sakr, Mouhammad	A Symbolic Algorithm for Lazy Synthesis of Eager Strategies
Schewe, Sven	Accelerated Model Checking of Parametric Markov Chains
Schürmann, Bastian	A Formally Verified Motion Planners for Autonomous Vehicles
Sergey, Ilya	EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
Seshia, Sanjit	Towards Verified Artificial Intelligence Formal Methods, Machine Learning, and Cyber-Physical Systems Formal Methods, Machine Learning, and Cyber-Physical Systems (contd)
Sherwood, Timothy	Information Leakage in Arbiter Protocols
Shoham, Sharon	Modular Verification of Concurrent Programs via Sequential Model Checking Quantifiers on Demand
Sickert, Salomon	Owl: A Library for \omega-Words, Automata, and LTL
Silvetti, Simone	Signal Convolution Logic
Smolka, Scott	Neural State Classification for Hybrid Systems
Soudjani, Sadegh	Temporal Logic Verification of Stochastic Systems Using Barrier Certificates
Stoller, Scott	Neural State Classification for Hybrid Systems
Sznajder, Nathalie	Round-Bounded Control of Parameterized Systems
Síč, Juraj	Simulation Algorithms for Symbolic Automata
T
Takisaka, Toru	Ranking and Repulsing Supermartingales for Approximating Reachability
Topcu, Ufuk	Synthesis in pMDPs: A Tale of 1001 Parameters Maximum Realizability for Linear Temporal Logic Specifications
Traytel, Dmitriy	Optimal Proofs for Linear Temporal Logic on Lasso Words
Tsiskaridze, Nestan	Information Leakage in Arbiter Protocols
U
Urabe, Natsuki	Ranking and Repulsing Supermartingales for Approximating Reachability
V
Veanes, Margus	Simulation Algorithms for Symbolic Automata
Vizel, Yakir	Quantifiers on Demand
Vojnar, Tomas	Simulation Algorithms for Symbolic Automata
W
Wang, Zhenbang	PSense: Automatic Sensitivity Analysis for Probabilistic Programs
Wooldridge, Michael	EVE: A Tool for Temporal Equilibrium Analysis
Y
Yasuoka, Hirotoshi	Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems
Z
Zamani, Majid	Temporal Logic Verification of Stochastic Systems Using Barrier Certificates
Zhan, Naijun	What’s to come is still unsure: Synthesizing controllers resilient to delayed interaction
Zhang, Timothy	Neural State Classification for Hybrid Systems

Disclaimer | Powered by EasyChair Smart Program