The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Conferences in DBLP

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

  1. Gerard J. Holzmann
    Software Analysis and Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:1-16 [Conf]
  2. Lintao Zhang, Sharad Malik
    The Quest for Efficient Boolean Satisfiability Solvers. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:17-36 [Conf]
  3. Patrick Cousot, Radhia Cousot
    On Abstraction in Software Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:37-56 [Conf]
  4. Thomas A. Henzinger
    The Symbolic Approach to Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:57- [Conf]
  5. Wolfgang Thomas
    Infinite Games and Verification (Extended Abstract of a Tutorial). [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:58-64 [Conf]
  6. Sharon Barner, Daniel Geist, Anna Gringauze
    Symbolic Localization Reduction with Reconstruction Layering and Backtracking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:65-77 [Conf]
  7. Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia
    Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:78-92 [Conf]
  8. Sharon Barner, Orna Grumberg
    Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:93-106 [Conf]
  9. Amir Pnueli, Jessie Xu, Lenore D. Zuck
    Liveness with (0, 1, infty)-Counter Abstraction. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:107-122 [Conf]
  10. Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan
    Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:123-136 [Conf]
  11. Patrice Godefroid, Radha Jagadeesan
    Automatic Abstraction Using Generalized Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:137-150 [Conf]
  12. Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham
    Property Checking via Structural Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:151-165 [Conf]
  13. Sriram K. Rajamani, Jakob Rehof
    Conformance Checking for Models of Asynchronous Message Passing Software. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:166-179 [Conf]
  14. Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia
    A Modular Checker for Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:180-194 [Conf]
  15. Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers
    Automatic Derivation of Timing Constraints by Failure Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:195-208 [Conf]
  16. Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant
    Deciding Separation Formulas with SAT. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:209-222 [Conf]
  17. Håkan L. S. Younes, Reid G. Simmons
    Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:223-235 [Conf]
  18. Clark W. Barrett, David L. Dill, Aaron Stump
    Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:236-249 [Conf]
  19. Kenneth L. McMillan
    Applying SAT Methods in Unbounded Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:250-264 [Conf]
  20. Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman
    SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:265-279 [Conf]
  21. Jesse D. Bingham, Alan J. Hu
    Semi-formal Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:280-294 [Conf]
  22. Marco Bozzano, Giorgio Delzanno
    Algorithmic Verification of Invalidation-Based Protocols. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:295-308 [Conf]
  23. Christian Jacobi 0002
    Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:309-323 [Conf]
  24. Yannick Chevalier, Laurent Vigneron
    Automated Unbounded Verification of Security Protocols. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:324-337 [Conf]
  25. Rajeev Alur, Michael McDougall, Zijiang Yang
    Exploiting Behavioral Hierarchy for Efficient Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:338-342 [Conf]
  26. Marius Bozga, Susanne Graf, Laurent Mounier
    IF-2.0: A Validation Environment for Component-Based Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:343-348 [Conf]
  27. Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron
    The AVISS Security Protocol Analysis Tool. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:349-353 [Conf]
  28. Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
    SPeeDI - A Verification Tool for Polygonal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:354-358 [Conf]
  29. Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
    NuSMV 2: An OpenSource Tool for Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:359-364 [Conf]
  30. Eugene Asarin, Thao Dang, Oded Maler
    The d/dt Tool for Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:365-370 [Conf]
  31. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Model Checking Linear Properties of Prefix-Recognizable Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:371-385 [Conf]
  32. Tatiana Rybina, Andrei Voronkov
    Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:386-400 [Conf]
  33. Walter Hartong, Lars Hedrich, Erich Barke
    On Discrete Modeling and Model Checking for Nonlinear Analog Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:401-413 [Conf]
  34. Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
    Synchronous and Bidirectional Component Interfaces. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:414-427 [Conf]
  35. Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang
    Interface Compatibility Checking for Software Modules. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:428-441 [Conf]
  36. Michael Colón, Henny Sipma
    Practical Methods for Proving Program Termination. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:442-454 [Conf]
  37. Li Tan, Rance Cleaveland
    Evidence-Based Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:455-470 [Conf]
  38. Gianpiero Cabodi, Sergio Nocco, Stefano Quer
    Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:471-484 [Conf]
  39. Mitra Purandare, Fabio Somenzi
    Vacuum Cleaning CTL Formulae. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:485-499 [Conf]
  40. Aaron Stump, Clark W. Barrett, David L. Dill
    CVC: A Cooperating Validity Checker. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:500-504 [Conf]
  41. Marsha Chechik, Arie Gurfinkel, Benet Devereux
    chi-Chek: A Multi-valued Model-Checker. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:505-509 [Conf]
  42. Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
    PathFinder: A Tool for Design Exploration. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:510-514 [Conf]
  43. Dennis Dams, William Hesse, Gerard J. Holzmann
    Abstracting C with abC. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:515-520 [Conf]
  44. Alex Groce, Doron Peled, Mihalis Yannakakis
    AMC: An Adaptive Model Checker. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:521-525 [Conf]
  45. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer
    Temporal-Safety Proofs for Systems Code. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:526-538 [Conf]
  46. Ahmed Bouajjani, Tayssir Touili
    Extrapolating Tree Transformations. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:539-554 [Conf]
  47. Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso
    Regular Tree Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:555-568 [Conf]
  48. Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün
    Compressing Transitions for Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:569-581 [Conf]
  49. Victor Khomenko, Maciej Koutny, Walter Vogler
    Canonical Prefixes of Petri Net Unfoldings. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:582-595 [Conf]
  50. Stefan Blom, Jaco van de Pol
    State Space Reduction by Proving Confluence. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:596-609 [Conf]
  51. Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi
    Fair Simulation Minimization. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:610-624 [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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002