The SCEAS System
Navigation Menu

Conferences in DBLP

Computer Aided Verification (CAV) (cav)
1999 (conf/cav/1999)

  1. David L. Dill
    Alternative Approaches to Hardware Verification (abstract). [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:1- [Conf]
  2. Joseph Sifakis
    The Compositional Specification of Timed Systems - A Tutorial. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:2-7 [Conf]
  3. Rajeev Alur
    Timed Automata. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:8-22 [Conf]
  4. Zohar Manna, Henny Sipma
    Verification of Parameterized Systems by Dynamic Induction on Diagrams. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:25-41 [Conf]
  5. Ed Brinksma
    Formal Methods for Conformance Testing: Theory Can Be Practical. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:44-45 [Conf]
  6. Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu
    Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:60-71 [Conf]
  7. Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz
    Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:72-83 [Conf]
  8. S. Ramesh, Purandar Bhaduri
    Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:84-95 [Conf]
  9. Béatrice Bérard, Laurent Fribourg
    Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:96-107 [Conf]
  10. Thierry Jéron, Pierre Morel
    Test Generation Derived from Model-Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:108-121 [Conf]
  11. Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli
    Latency Insensitive Protocols. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:123-133 [Conf]
  12. Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson
    Handling Global Conditions in Parameterized System Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:134-145 [Conf]
  13. Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech
    Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:146-159 [Conf]
  14. Satyaki Das, David L. Dill, Seungjoon Park
    Experience with Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:160-171 [Conf]
  15. Orna Kupferman, Moshe Y. Vardi
    Model Checking of Safety Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:172-183 [Conf]
  16. Rom Langerak, Ed Brinksma
    A Complete Finite Prefix for Process Algebra. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:184-195 [Conf]
  17. Ching-Tsun Chou
    The Mathematical Foundation fo Symbolic Trajectory Evaluation. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:196-207 [Conf]
  18. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    Assume-Guarantee Refinement Between Different Time Scales. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:208-221 [Conf]
  19. Roderick Bloem, Kavita Ravi, Fabio Somenzi
    Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:222-235 [Conf]
  20. Kousha Etessami
    Stutter-Invariant Languages, omega-Automata, and Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:236-248 [Conf]
  21. Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi
    Improved Automata Generation for Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:249-260 [Conf]
  22. Marius Bozga, Oded Maler
    On the Representation of Probabilities over Structured Domains. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:261-273 [Conf]
  23. Glenn Bruns, Patrice Godefroid
    Model Checking Partial State Spaces with 3-Valued Temporal Logics. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:274-287 [Conf]
  24. John Matthews, John Launchbury
    Elementary Microarchitecture Algebra. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:288-300 [Conf]
  25. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:301-315 [Conf]
  26. Jørn Lind-Nielsen, Henrik Reif Andersen
    Stepwise CTL Model Checking of State/Event Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:316-327 [Conf]
  27. Bwolen Yang, Reid G. Simmons, Randal E. Bryant, David R. O'Hallaron
    Optimizing Symbolic Model Checking for Constraint-Rich Models. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:328-340 [Conf]
  28. Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
    Efficient Timed Reachability Analysis Using Clock Difference Diagrams. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:341-353 [Conf]
  29. Marcelo Glusman, Shmuel Katz
    Mechanizing Proofs of Computation Equivalence. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:354-367 [Conf]
  30. Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers
    Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:369-379 [Conf]
  31. Per Bjesse
    Automatic Verification of Combinatorial and Pipelined FFT. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:380-393 [Conf]
  32. Kedar S. Namjoshi, Robert P. Kurshan
    Efficient Analysis of Cyclic Definitions. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:394-405 [Conf]
  33. Nils Klarlund
    A Theory of Restrictions for Logics and Automata. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:406-417 [Conf]
  34. Vamsi Boppana, Sreeranga P. Rajan, Koichiro Takayama, Masahiro Fujita
    Model Checking Based on Sequential ATPG. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:418-430 [Conf]
  35. Marc Spielmann
    Automatic Verification of Abstract State Machines. [Citation Graph (1, 0)][DBLP]
    CAV, 1999, pp:431-442 [Conf]
  36. Hassen Saïdi, Natarajan Shankar
    Abstract and Model Check While You Prove. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:443-454 [Conf]
  37. Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
    Deciding Equality Formulas by Small Domains Instantiations. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:455-469 [Conf]
  38. Randal E. Bryant, Steven M. German, Miroslav N. Velev
    Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:470-482 [Conf]
  39. Peter Buchholz, Peter Kemper
    A Toolbox for the Analysis of Discrete Event Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:483-486 [Conf]
  40. Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle
    TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:487-490 [Conf]
  41. David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
    Java Bytecode Verification by Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:491-494 [Conf]
  42. Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri
    NUSMV: A New Symbolic Model Verifier. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:495-499 [Conf]
  43. Johann Schumann
    PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:500-504 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002