- 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: 176-198 - Mohammad Afzal, Ashutosh Gupta, S. Akshay:
Using Counterexamples to Improve Robustness Verification in Neural Networks. ATVA (1) 2023: 422-443 - Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic:
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. ATVA (1) 2023: 357-379 - Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller:
pymwp: A Static Analyzer Determining Polynomial Growth Bounds. ATVA 2023: 263-275 - Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider:
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. ATVA 2023: 276-287 - Kenny Ballou, Elena Sherman:
Minimally Comparing Relational Abstract Domains. ATVA 2023: 159-175 - Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells:
Model Checking Strategies from Synthesis over Finite Traces. ATVA (1) 2023: 227-247 - David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel:
Correct and Efficient Policy Monitoring, a Retrospective. ATVA (1) 2023: 3-30 - Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber:
Checking and Sketching Causes on Temporal Sequences. ATVA 2023: 314-327 - Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin:
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. ATVA (1) 2023: 203-223 - Calvin Chau, Jan Kretínský, Stefanie Mohr:
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. ATVA (1) 2023: 401-421 - Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen:
Better Predicates and Heuristics for Improved Commutativity Synthesis. ATVA 2023: 93-113 - Rafael Dewes, Rayna Dimitrova:
Compositional High-Quality Synthesis. ATVA (1) 2023: 334-354 - Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang:
Lightweight Verification of Hyperproperties. ATVA 2023: 3-25 - Derek Egolf, Stavros Tripakis:
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. ATVA (1) 2023: 270-291 - Kasper Engelen, Guillermo A. Pérez, Shrisha Rao:
Graph-Based Reductions for Parametric and Weighted MDPs. ATVA (1) 2023: 137-157 - Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing:
Reactive Synthesis of Smart Contract Control Flows. ATVA (1) 2023: 248-269 - Bernd Finkbeiner, Florian Kohn, Malte Schledjewski:
Leveraging Static Analysis: An IDE for RTLola. ATVA 2023: 251-262 - Amit Gurung, Masaki Waga, Kohei Suenaga:
Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. ATVA (1) 2023: 33-52 - Arnd Hartmanns, Bram Kohlen, Peter Lammich:
Fast Verified SCCs for Probabilistic Model Checking. ATVA (1) 2023: 181-202 - Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun:
On the Difficulty of Intersection Checking with Polynomial Zonotopes. ATVA 2023: 51-71 - Oscar H. Ibarra, Ian McQuillan:
On the Containment Problem for Deterministic Multicounter Machine Models. ATVA (1) 2023: 74-94 - J. S. Sajiv Kumar, Raghavan Komondoor:
Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation. ATVA (1) 2023: 292-311 - 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: 237-250 - Yong Li, Sven Schewe, Qiyi Tang:
A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages. ATVA (1) 2023: 53-73 - Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang:
Scenario Approach for Parametric Markov Models. ATVA (1) 2023: 158-180 - Simon Lutz, Daniel Neider, Rajarshi Roy:
Specification Sketching for Linear Temporal Logic. ATVA 2023: 26-48 - Morgan McColl, Callum McColl, René Hexel:
Automatic Verification of High-Level Executable Models Running on FPGAs. ATVA 2023: 217-234 - Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra:
RTAEval: A Framework for Evaluating Runtime Assurance Logic. ATVA 2023: 302-313 - Dhruv Nevatia, Benjamin Monmege:
An Automata Theoretic Characterization of Weighted First-Order Logic. ATVA (1) 2023: 115-133
