- 2004
- Rajeev Alur:
Games for Formal Design and Verification of Reactive Systems. ATVA 2004: 1 - Konstantine Arkoudas:
Specification, Abduction, and Proof. ATVA 2004: 294-309 - Cyrille Artho, Klaus Havelund, Armin Biere:
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA 2004: 150-164 - Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA 2004: 135-149 - Sébastien Bardin, Alain Finkel:
Composition of Accelerations to Verify Infinite Heterogeneous Systems. ATVA 2004: 248-262 - Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis:
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. ATVA 2004: 487-490 - Tevfik Bultan, Xiang Fu, Jianwen Su:
Tools for Automated Verification of Web Services. ATVA 2004: 8-10 - Wen-Kui Chang, Chun-Yuan Chen:
Integrity-Enhanced Verification Scheme for Software-Intensive Organizations. ATVA 2004: 402-414 - Kai-Hui Chang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo:
A Temporal Assertion Extension to Verilog. ATVA 2004: 499-504 - Anyi Chen, Jian-Ming Wang, Chiu-Han Hsiao:
Verification of WCDMA Protocols and Implementation. ATVA 2004: 470-473 - Ansgar Fehnker, Bruce H. Krogh:
Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA 2004: 263-277 - Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi:
Büchi Complementation Made Tighter. ATVA 2004: 64-78 - I. Gordin, Raya Leviathan, Amir Pnueli:
Validating the Translation of an Industrial Optimizing Compiler. ATVA 2004: 230-247 - Serge Haddad, Jean-Michel Ilié, Kais Klai:
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. ATVA 2004: 196-210 - Pei-Hsin Ho:
Abstraction Refinement. ATVA 2004: 7 - Jean-Pierre Jouannaud:
Theorem Proving Languages for Verification. ATVA 2004: 11-14 - Mark J. Karol, Parameshwaran Krishnan, J. Jenny Li:
Using Overlay Networks to Improve VoIP Reliability. ATVA 2004: 392-401 - Hiroaki Kikuchi:
Rabin Tree and Its Application to Group Key Distribution. ATVA 2004: 384-391 - Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi:
Development of RTOS for PLC Using Formal Methods. ATVA 2004: 479-482 - Orna Kupferman, Gila Morgenstern, Aniello Murano:
Typeness for omega-Regular Automata. ATVA 2004: 324-338 - Robert P. Kurshan:
Evolution of Model Checking into the EDA Industry. ATVA 2004: 2-6 - Gihwon Kwon, Taehoon Lee:
Solving Box-Pushing Games via Model Checking with Optimizations. ATVA 2004: 491-494 - Trong-Yen Lee, Yang-Hsin Fan, Tsung-Hsun Yang, Chia-Chun Tsai, Wen-Ta Lee, Yuh-Shyan Hwang:
RCGES: Retargetable Code Generation for Embedded Systems. ATVA 2004: 415-425 - Te-Chang Lee, Pao-Ann Hsiung:
Mutation Coverage Estimation for Model Checking. ATVA 2004: 354-368 - Tsung Lee, Pen-Ho Yu:
Efficient Representation of Algebraic Expressions. ATVA 2004: 474-478 - Jérôme Leroux:
Disjunctive Invariants for Numerical Systems. ATVA 2004: 93-107 - Tun Li, Yang Guo, Sikun Li:
CLP Based Static Property Checking. ATVA 2004: 495-498 - Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda:
Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets. ATVA 2004: 426-440 - Shaoying Liu:
An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. ATVA 2004: 15-19 - Lin Liu, Jonathan Billington:
Reducing Parametric Automata: A Multimedia Protocol Service Case Study. ATVA 2004: 483-486