![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
17th ATVA 2019: Taipei, Taiwan
- Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza:
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Lecture Notes in Computer Science 11781, Springer 2019, ISBN 978-3-030-31783-6
Invited Papers
- Patricia Bouyer:
A Note on Game Theory and Verification. 3-22 - Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
Lazy Abstraction-Based Controller Synthesis. 23-47 - Benjamin Kiesl, Marijn J. H. Heule, Armin Biere
:
Truth Assignments as Conditional Autarkies. 48-64 - Joseph Sifakis:
Can We Trust Autonomous Systems? Boundaries and Risks. 65-78
Cyber-Physical Systems
- Manfred Jaeger
, Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist:
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. 81-97 - Hussein Sibai
, Navid Mokhlesi, Sayan Mitra
:
Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. 98-114 - Étienne André
, Jun Sun
:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. 115-130
Runtime Techniques
- Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic
, Dmitriy Traytel
:
Adaptive Online First-Order Monitoring. 133-150 - Martin Raszyk
, David A. Basin, Srdan Krstic
, Dmitriy Traytel
:
Multi-head Monitoring of Metric Temporal Logic. 151-170 - Martin Kölbl, Stefan Leue:
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. 171-186
Testing
- Dirk Beyer
, Thomas Lemberger
:
Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. 189-208 - Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin:
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. 209-227 - Pavel Parízek
:
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment. 228-245 - Hoang M. Le:
KLUZZER: Whitebox Fuzzing on Top of LLVM. 246-252
Program Analysis
- Ezio Bartocci
, Laura Kovács
, Miroslav Stankovic
:
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. 255-276 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík
, Petr Janku:
Chain-Free String Constraints. 277-293 - Anastasiia Izycheva, Eva Darulova
, Helmut Seidl:
Synthesizing Efficient Low-Precision Kernels. 294-313
Automata
- Christof Löding, Anton Pirogov
:
New Optimizations and Heuristics for Determinization of Büchi Automata. 317-333 - Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
:
Approximate Automata for Omega-Regular Languages. 334-349 - Andrzej S. Murawski, Steven J. Ramsay
, Nikos Tzevelekos:
DEQ: Equivalence Checker for Deterministic Register Automata. 350-356 - Juraj Major, Frantisek Blahoudek
, Jan Strejcek, Miriama Sasaráková, Tatiana Zboncáková:
ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. 357-365
Synthesis
- Jesko Hecking-Harbusch, Niklas O. Metzger:
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems. 369-386 - Rüdiger Ehlers
, Keerthi Adabala:
Reactive Synthesis of Graphical User Interface Glue Code. 387-403 - Jan Kretínský
, Alexander Manta
, Tobias Meggendorfer
:
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. 404-422 - Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. 423-441
Stochastic Systems
- Christel Baier
, Frantisek Blahoudek
, Alexandre Duret-Lutz
, Joachim Klein, David Müller, Jan Strejcek:
Generic Emptiness Check for Fun and Profit. 445-461 - Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný
, Dominik Velan:
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. 462-478 - Jip Spel, Sebastian Junges
, Joost-Pieter Katoen:
Are Parametric Markov Chains Monotonic? 479-496
Model Checking
- Roderick Bloem, Swen Jacobs, Yakir Vizel:
Efficient Information-Flow Verification Under Speculative Execution. 499-514 - Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Data Flows in Concurrent Network Updates. 515-533 - Siham Khoussi, Ayoub Nouri, Junxiao Shi
, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem:
Performance Evaluation of the NDN Data Plane Using Statistical Model Checking. 534-550
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.