ATVA

Publications

2023

Omer Rappoport, Orna Grumberg, Yakir Vizel
Structure-Guided Solution of Constrained Horn Clauses. ATVA (2023)
Morgan McColl, Callum McColl, René Hexel
Automatic Verification of High-Level Executable Models Running on FPGAs. ATVA (2023)
Simon Lutz, Daniel Neider, Rajarshi Roy
Specification Sketching for Linear Temporal Logic. ATVA (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. ATVA (2023)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber
Checking and Sketching Causes on Temporal Sequences. ATVA (2023)
Kenny Ballou, Elena Sherman
Minimally Comparing Relational Abstract Domains. ATVA (2023)
Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun
On the Difficulty of Intersection Checking with Polynomial Zonotopes. ATVA (2023)
Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen
Better Predicates and Heuristics for Improved Commutativity Synthesis. ATVA (2023)
Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. ATVA (2023)
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
Lightweight Verification of Hyperproperties. ATVA (2023)
Dimitrios Thanos, Tim Coopmans, Alfons Laarman
Fast Equivalence Checking of Quantum Circuits of Clifford Gates. ATVA (2023)
Zitong Zhou, Zixin Huang, Sasa Misailovic
AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference. ATVA (2023)
Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas
Automated Property Directed Self Composition. ATVA (2023)
Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
RTAEval: A Framework for Evaluating Runtime Assurance Logic. ATVA (2023)
Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov
AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. ATVA (2023)
Steffan Christ Sølvsten, Jaco van de Pol
Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. ATVA (2023)
Bernd Finkbeiner, Florian Kohn, Malte Schledjewski
Leveraging Static Analysis: An IDE for RTLola. ATVA (2023)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
pymwp: A Static Analyzer Determining Polynomial Growth Bounds. ATVA (2023)

2022

volume 13505, 2022

Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings ATVA 13505 (2022)

2021

volume 12971, 2021

Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings ATVA 12971 (2021)