- Christof Löding, Anton Pirogov
:
New Optimizations and Heuristics for Determinization of Büchi Automata. ATVA 2019: 317-333 - Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasaráková, Tatiana Zboncáková:
ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. ATVA 2019: 357-365 - Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos:
DEQ: Equivalence Checker for Deterministic Register Automata. ATVA 2019: 350-356 - Pavel Parízek:
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment. ATVA 2019: 228-245 - 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. ATVA 2019: 209-227 - Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel:
Multi-head Monitoring of Metric Temporal Logic. ATVA 2019: 151-170 - Hussein Sibai, Navid Mokhlesi, Sayan Mitra:
Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. ATVA 2019: 98-114 - Joseph Sifakis:
Can We Trust Autonomous Systems? Boundaries and Risks. ATVA 2019: 65-78 - Jip Spel, Sebastian Junges, Joost-Pieter Katoen:
Are Parametric Markov Chains Monotonic? ATVA 2019: 479-496 - 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 [contents] - 2018
- Keerthi Adabala, Rüdiger Ehlers:
A Fragment of Linear Temporal Logic for Universal Very Weak Automata. ATVA 2018: 335-351 - Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey:
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. ATVA 2018: 513-520 - Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský:
Continuous-Time Markov Decisions Based on Partial Exploration. ATVA 2018: 317-334 - Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric:
Verifying Rust Programs with SMACK. ATVA 2018: 528-535 - David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel:
Optimal Proofs for Linear Temporal Logic on Lasso Words. ATVA 2018: 37-55 - Jaroslav Bendík, Ivana Cerná, Nikola Benes:
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. ATVA 2018: 143-159 - Bernard Boigelot, Isabelle Mainz:
Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. ATVA 2018: 284-299 - Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder:
Round-Bounded Control of Parameterized Systems. ATVA 2018: 370-386 - Yuting Chen, Carlo A. Furia:
Robustness Testing of Intermediate Verifiers. ATVA 2018: 91-108 - Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan:
What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. ATVA 2018: 56-74 - Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka:
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. ATVA 2018: 126-142 - Dmitry Chistikov, Andrzej S. Murawski, David Purser:
Bisimilarity Distances for Approximate Differential Privacy. ATVA 2018: 194-210 - Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA 2018: 160-176 - Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu:
Maximum Realizability for Linear Temporal Logic Specifications. ATVA 2018: 458-475 - Bernd Finkbeiner, Christopher Hahn, Tobias Hans:
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists *\forall * ∃ ∗ ∀ ∗ Fragment. ATVA 2018: 521-527 - Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Accelerated Model Checking of Parametric Markov Chains. ATVA 2018: 300-316 - Carsten Gerstacker, Felix Klein, Bernd Finkbeiner:
Bounded Synthesis of Reactive Programs. ATVA 2018: 441-457 - Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett:
DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. ATVA 2018: 3-19 - Arie Gurfinkel, Sharon Shoham, Yakir Vizel:
Quantifiers on Demand. ATVA 2018: 248-266 - Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
EVE: A Tool for Temporal Equilibrium Analysis. ATVA 2018: 551-557
