ATVA2019: 17TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS

A
Abdulla, Parosh Aziz	Chain Free String Constraints [Best Paper Award Candidate]
Adabala, Keerthi	Reactive Synthesis of Graphical User Interface Glue Code
André, Étienne	Parametric Timed Model Checking for Guaranteeing Timed Opacity
Atig, Mohamed Faouzi	Chain Free String Constraints [Best Paper Award Candidate]
B
Baier, Christel	Generic Emptiness Check for Fun and Profit
Bartocci, Ezio	Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
Basin, David	Adaptive Online First-Order Monitoring Multi-Head Monitoring of Metric Temporal Logic
Battou, Abdella	Performance Evaluation of NDN Data Plane Using Statistical Model Checking
Benmohamed, Lotfi	Performance Evaluation of NDN Data Plane Using Statistical Model Checking
Bensalem, Saddek	Performance Evaluation of NDN Data Plane Using Statistical Model Checking
Beyer, Dirk	Conditional Testing: Off-the-Shelf Combination of Test-Case Generators
Biere, Armin	Truth Assignments as Conditional Autarkies Conflict-Driven Clause Learning
Blahoudek, František	Generic Emptiness Check for Fun and Profit LTL3TELA: Small Deterministic or Nondeterministic Automata from LTL
Bloem, Roderick	Efficient Information-Flow Verification under Speculative Execution
Bonakdarpour, Borzoo	Program Repair for Hyperproperties [Best Paper Award Candidate]
Bouyer-Decitre, Patricia	Game Theory in Verification A Tutorial in Game Theory for Verification
Brazdil, Tomas	Deciding Fast Termination for Probabilistic VASS with Nondeterminism
Brix, Frederik	Adaptive Online First-Order Monitoring
C
Chatterjee, Krishnendu	Deciding Fast Termination for Probabilistic VASS with Nondeterminism
D
Darulova, Eva	Synthesizing Efficient Low-Precision Kernels
Dimitrova, Rayna	Approximate Automata for Omega-regular Languages
Duret-Lutz, Alexandre	Generic Emptiness Check for Fun and Profit
E
Ehlers, Rüdiger	Reactive Synthesis of Graphical User Interface Glue Code
F
Filliben, James J.	Performance Evaluation of NDN Data Plane Using Statistical Model Checking
Finkbeiner, Bernd	Model Checking Data Flows in Concurrent Network Updates Approximate Automata for Omega-regular Languages Program Repair for Hyperproperties [Best Paper Award Candidate]
G
Gieseking, Manuel	Model Checking Data Flows in Concurrent Network Updates
Guldstrand Larsen, Kim	Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs
H
H. Pham, Long	Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation
Hecking-Harbusch, Jesko	Model Checking Data Flows in Concurrent Network Updates Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems
Holik, Lukas	Chain Free String Constraints [Best Paper Award Candidate]
I
Izycheva, Anastasiia	Synthesizing Efficient Low-Precision Kernels
J
Jacobs, Swen	Efficient Information-Flow Verification under Speculative Execution
Jaeger, Manfred	Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs
Janků, Petr	Chain Free String Constraints [Best Paper Award Candidate]
Jensen, Peter Gjøl	Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs
Junges, Sebastian	Are Parametric Markov Chains Monotonic?
K
Katoen, Joost-Pieter	Are Parametric Markov Chains Monotonic?
Khoussi, Siham	Performance Evaluation of NDN Data Plane Using Statistical Model Checking
Klein, Joachim	Generic Emptiness Check for Fun and Profit
Kovacs, Laura	Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
Kretinsky, Jan	Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis [Best Paper Award Candidate]
Krstic, Srdjan	Adaptive Online First-Order Monitoring Multi-Head Monitoring of Metric Temporal Logic
Kucera, Antonin	Deciding Fast Termination for Probabilistic VASS with Nondeterminism
Kölbl, Martin	An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking
L
Le, Hoang M.	KLUZZER: Whitebox Fuzzing on top of LLVM
Le, Quang Loc	Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation
Legay, Axel	Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs
Lemberger, Thomas	Conditional Testing: Off-the-Shelf Combination of Test-Case Generators
Leue, Stefan	An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking
Löding, Christof	New Optimizations and Heuristics for Determinization of Büchi Automata
M
Major, Juraj	LTL3TELA: Small Deterministic or Nondeterministic Automata from LTL
Majumdar, Rupak	Lazy Abstraction-Based Controller Synthesis Theoretical Foundations of Random Testing
Manta, Alexander	Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis [Best Paper Award Candidate]
Meggendorfer, Tobias	Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis [Best Paper Award Candidate]
Metzger, Niklas	Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems
Mitra, Sayan	Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification [Best Paper Award Candidate]
Mokhlesi, Navid	Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification [Best Paper Award Candidate]
Murawski, Andrzej	DEQ : Equivalence Checker for Deterministic Register Automata
Müller, David	Generic Emptiness Check for Fun and Profit
N
Nouri, Ayoub	Performance Evaluation of NDN Data Plane Using Statistical Model Checking
Novotný, Petr	Deciding Fast Termination for Probabilistic VASS with Nondeterminism
O
Olderog, Ernst-Ruediger	Model Checking Data Flows in Concurrent Network Updates
P
Parizek, Pavel	BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment
Phan, Quoc-Sang	Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation
Phi Diep, Bui	Chain Free String Constraints [Best Paper Award Candidate]
Pirogov, Anton	New Optimizations and Heuristics for Determinization of Büchi Automata
Q
Qin, Shengchao	Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation
R
Ramsay, Steven	DEQ : Equivalence Checker for Deterministic Register Automata
Raszyk, Martin	Multi-Head Monitoring of Metric Temporal Logic
S
Sasaráková, Miriama	LTL3TELA: Small Deterministic or Nondeterministic Automata from LTL
Schneider, Joshua	Adaptive Online First-Order Monitoring
Sedwards, Sean	Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs
Seidl, Helmut	Synthesizing Efficient Low-Precision Kernels
Shi, Junxiao	Performance Evaluation of NDN Data Plane Using Statistical Model Checking
Sibai, Hussein	Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification [Best Paper Award Candidate]
Sifakis, Joseph	In Search of a Foundation for Next Generation Autonomous Systems
Spel, Jip	Are Parametric Markov Chains Monotonic?
Stankovic, Miroslav	Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
Strejček, Jan	Generic Emptiness Check for Fun and Profit LTL3TELA: Small Deterministic or Nondeterministic Automata from LTL
Sun, Jun	Parametric Timed Model Checking for Guaranteeing Timed Opacity Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation
T
Taankvist, Jakob Haahr	Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs
Torfah, Hazem	Approximate Automata for Omega-regular Languages
Traytel, Dmitriy	Adaptive Online First-Order Monitoring Multi-Head Monitoring of Metric Temporal Logic
Tzevelekos, Nikos	DEQ : Equivalence Checker for Deterministic Register Automata
V
Velan, Dominik	Deciding Fast Termination for Probabilistic VASS with Nondeterminism
Vizel, Yakir	Efficient Information-Flow Verification under Speculative Execution
Z
Zbončáková, Tatiana	LTL3TELA: Small Deterministic or Nondeterministic Automata from LTL

Disclaimer | Powered by EasyChair Smart Program