default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th 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
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.
last updated on 2026-08-03 00:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
