International Symposium on Automated Technology for Verification and Analysis
ATVA
B
CORE rank
CORE rank (raw)
B
Fields of research
Software Engineering
Papers indexed
738
2004–2025
Papers per year
200445 peak2025
Most published authors
ATVA papers
738 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2025 | Inductive Generalization in Reinforcement Learning from Specifications. | Vignesh Subramanian, Rohit Kushwah, Subhajit Roy, Suguman Bansal |
| 2025 | Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games. | Kittiphon Phalakarn, Yun Chen Tsai, Ichiro Hasuo |
| 2025 | Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy. | Jordan Peper, Yan Miao, Sayan Mitra, Ivan Ruchkin |
| 2025 | Control Closure Certificates. | Vishnu Murali, Mohammed Adib Oumer, Majid Zamani |
| 2025 | Learning Event-Recording Automata Passively. | Anirban Majumdar, Sayan Mukherjee, Jean-Franois Raskin |
| 2025 | Learning Verified Monitors for Hidden Markov Models. | Luko van der Maas, Sebastian Junges |
| 2025 | Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification. | Yuke Liao, Blaise Genest, Kuldeep S. Meel, Shaan Aryaman |
| 2025 | Energy Games with Weight Uncertainty. | Orna Kupferman, Naama Shamash Halevy |
| 2025 | Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models. | Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia |
| 2025 | Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains. | Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges |
| 2025 | TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets. | Bruno Maria Ren Gonzalez, Peter Gjl Jensen, Stefan Schmid, Jir Srba, Martin Zimmermann |
| 2025 | Componentwise Automata Learning for System Integration. | Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo |
| 2025 | Efficient Dynamic Shielding for Parametric Safety Specifications. | Davide Corsi, Kaushik Mallik, Andoni Rodrguez, Csar Snchez |
| 2025 | PolyQEnt: A Polynomial Quantified Entailment Solver. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic |
| 2025 | Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE. | Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2025 | Data Structures for Finite Downsets of Natural Vectors: Theory and Practice. | Michal Cadilhac, Vanessa Flgel, Guillermo A. Prez, Shrisha Rao |
| 2025 | Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing. | Sebastiaan Brand, Alfons Laarman |
| 2025 | Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-Like Certificates. | Ludovico Battista, Stefano Tonetta |
| 2025 | Antarbhukti: Verifying Correctness of PLC Software During System Evolution. | Soumyadip Bandyopadhyay, Santonu Sarkar |
| 2025 | Quantitative Strategy Templates. | Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2025 | Prompt Runtime Enforcement. | Ayush Anand, Loc Germerie Guizouarn, Thierry Jron, Sayan Mukherjee, Srinivas Pinisetty, Ocan Sankur |
| 2024 | Leveraging Program Structure for Test Case Generation. | Ilia Zlatkin, Grigory Fedyukovich |
| 2024 | Query Learning Bounds for Advice and Nominal Automata. | Kevin Zhou |
| 2024 | Hedge Automata Revisited: Transforming Texts to and from XML. | Akihisa Yamada, Jrmy Dubut, Takeshi Tsukada |
| 2024 | Deep-Reinforcement-Learning-Based Design Space Exploration for Time-Sensitive Networking. | Yu-Cheng Wu, I-Ching Tseng, Chung-Wei Lin |
1–25 of 738← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems