- Kim G. Larsen
, Marius Mikucionis, Marco Muñiz, Jirí Srba:
Urgent Partial Order Reduction for Extended Timed Automata. ATVA 2020: 179-195 - Dejan Nickovic, Tomoya Yamaguchi:
RTAMT: Online Robustness Monitors from STL. ATVA 2020: 564-571 - Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck:
Verified Textbook Algorithms - A Biased Survey. ATVA 2020: 25-53 - Martin Raszyk, David A. Basin, Dmitriy Traytel:
Multi-head Monitoring of Metric Dynamic Logic. ATVA 2020: 233-250 - Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet:
Practical "Paritizing" of Emerson-Lei Automata. ATVA 2020: 127-143 - Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger:
Eliminating Message Counters in Threshold Automata. ATVA 2020: 196-212 - Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi:
Boosting Sequential Consistency Checking Using Saturation. ATVA 2020: 360-376 - Dang Van Hung, Oleg Sokolsky:
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings. Lecture Notes in Computer Science 12302, Springer 2020, ISBN 978-3-030-59151-9 [contents] - 2019
- Dirk Beyer, Thomas Lemberger:
Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. ATVA 2019: 189-208 - Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel:
Adaptive Online First-Order Monitoring. ATVA 2019: 133-150 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku:
Chain-Free String Constraints. ATVA 2019: 277-293 - Étienne André, Jun Sun:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. ATVA 2019: 115-130 - Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek:
Generic Emptiness Check for Fun and Profit. ATVA 2019: 445-461 - Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. ATVA 2019: 255-276 - Roderick Bloem, Swen Jacobs, Yakir Vizel:
Efficient Information-Flow Verification Under Speculative Execution. ATVA 2019: 499-514 - Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. ATVA 2019: 423-441 - Patricia Bouyer:
A Note on Game Theory and Verification. ATVA 2019: 3-22 - Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan:
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. ATVA 2019: 462-478 - Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Approximate Automata for Omega-Regular Languages. ATVA 2019: 334-349 - Rüdiger Ehlers, Keerthi Adabala:
Reactive Synthesis of Graphical User Interface Glue Code. ATVA 2019: 387-403 - Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Data Flows in Concurrent Network Updates. ATVA 2019: 515-533 - Jesko Hecking-Harbusch, Niklas O. Metzger:
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems. ATVA 2019: 369-386 - Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
Lazy Abstraction-Based Controller Synthesis. ATVA 2019: 23-47 - Anastasiia Izycheva, Eva Darulova, Helmut Seidl:
Synthesizing Efficient Low-Precision Kernels. ATVA 2019: 294-313 - 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. ATVA 2019: 81-97 - 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. ATVA 2019: 534-550 - Benjamin Kiesl, Marijn J. H. Heule, Armin Biere:
Truth Assignments as Conditional Autarkies. ATVA 2019: 48-64 - Martin Kölbl, Stefan Leue:
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. ATVA 2019: 171-186 - Jan Kretínský, Alexander Manta, Tobias Meggendorfer:
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. ATVA 2019: 404-422 - Hoang M. Le:
KLUZZER: Whitebox Fuzzing on Top of LLVM. ATVA 2019: 246-252
