share record
persistent URL:
Marisa Llorens , Javier Oliver : Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets. ATVA 2004 : 310-323 share record
persistent URL:
Robi Malik , David Streader , Steve Reeves : Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. ATVA 2004 : 120-134 share record
persistent URL:
Tarek Mhamdi , Sofiène Tahar : Providing Automated Verification in HOL Using MDGs. ATVA 2004 : 278-293 share record
persistent URL:
Atsushi Moritomo , Kiyoharu Hamaguchi , Toshinobu Kashiwabara : Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas. ATVA 2004 : 108-119 share record
persistent URL:
Shougo Ogata , Tatsuhiro Tsuchiya , Tohru Kikuno : SAT-Based Verification of Safe Petri Nets. ATVA 2004 : 79-92 export record
dblp key:
conf/atva/PradubsuwunYM04 share record
persistent URL:
Denduang Pradubsuwun , Tomohiro Yoneda , Chris J. Myers : Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits. ATVA 2004 : 339-353 share record
persistent URL:
Kairong Qian , Albert Nymeyer : Abstraction-Based Model Checking Using Heuristical Refinement. ATVA 2004 : 165-178 share record
persistent URL:
Abdur Rakib , Oleg Parshin , Stephan Thesing , Reinhard Wilhelm : Component-Wise Instruction-Cache Behavior Prediction. ATVA 2004 : 211-229 share record
persistent URL:
Claudio de la Riva , Javier Tuya : Modular Model Checking of Software Specifications with Simultaneous Environment Generation. ATVA 2004 : 369-383 share record
persistent URL:
ShengYu Shen , Ying Qin , Sikun Li : Localizing Errors in Counterexample with Iteratively Witness Searching. ATVA 2004 : 456-469 share record
persistent URL:
David Sinclair , David Gray , Geoff W. Hamilton : Synthesising Attacks on Cryptographic Protocols. ATVA 2004 : 49-63 share record
persistent URL:
Bai Su , Wenhui Zhang : Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity. ATVA 2004 : 34-48 share record
persistent URL:
Tadaaki Tanimoto , Suguru Sasaki , Akio Nakata , Teruo Higashino : A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. ATVA 2004 : 179-195 share record
persistent URL:
Fang Wang , Sofiène Tahar , Otmane Aït Mohamed : First-Order LTL Model Checking Using MDGs. ATVA 2004 : 441-455 share record
persistent URL:
Fang Yu , Bow-Yaw Wang : Toward Unbounded Model Checking for Region Automata. ATVA 2004 : 20-33 share record
persistent URL:
Farn Wang : Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings. Lecture Notes in Computer Science 3299, Springer 2004 , ISBN 3-540-23610-4 [contents]