International Symposium on Automated Technology for Verification and Analysis

ATVA

CORE rank

CORE rank (raw)

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
2004	Validating the Translation of an Industrial Optimizing Compiler.	I. Gordin, Raya Leviathan, Amir Pnueli
2004	Bchi Complementation Made Tighter.	Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi
2004	Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study.	Ansgar Fehnker, Bruce H. Krogh
2004	Verification of WCDMA Protocols and Implementation.	Anyi Chen, Jian-Ming Wang, Chiu-Han Hsiao
2004	A Temporal Assertion Extension to Verilog.	Kai-Hui Chang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo
2004	Integrity-Enhanced Verification Scheme for Software-Intensive Organizations.	Wen-Kui Chang, Chun-Yuan Chen
2004	Tools for Automated Verification of Web Services.	Tevfik Bultan, Xiang Fu, Jianwen Su
2004	Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems.	Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
2004	Exploiting Symmetries for Testing Equivalence in the Spi Calculus.	Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2004	Composition of Accelerations to Verify Infinite Heterogeneous Systems.	Sbastien Bardin, Alain Finkel
2004	Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors.	Cyrille Artho, Klaus Havelund, Armin Biere
2004	Specification, Abduction, and Proof.	Konstantine Arkoudas
2004	Games for Formal Design and Verification of Reactive Systems.	Rajeev Alur

Other A*/A conferences filed under the same field of research.