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)
2005 (conf/cav/2005)

  1. George C. Necula, Sumit Gulwani
    Randomized Algorithms for Program Analysis and Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:1- [Conf]
  2. Bob Bentley
    Validating a Modern Microprocessor. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:2-4 [Conf]
  3. Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
    Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:5-19 [Conf]
  4. Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump
    SMT-COMP: Satisfiability Modulo Theories Competition. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:20-23 [Conf]
  5. Shuvendu K. Lahiri, Thomas Ball, Byron Cook
    Predicate Abstraction via Symbolic Decision Procedures. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:24-38 [Conf]
  6. Ranjit Jhala, Kenneth L. McMillan
    Interpolant-Based Transition Relation Approximation. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:39-51 [Conf]
  7. Corina S. Pasareanu, Radek Pelánek, Willem Visser
    Concrete Model Checking with Abstract Matching and Refinement. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:52-66 [Conf]
  8. Thomas Ball, Orna Kupferman, Greta Yorsh
    Abstraction for Falsification. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:67-81 [Conf]
  9. Ishai Rabinovitz, Orna Grumberg
    Bounded Model Checking of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:82-97 [Conf]
  10. Keijo Heljanko, Tommi A. Junttila, Timo Latvala
    Incremental and Complete Bounded Model Checking for Full PLTL. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:98-111 [Conf]
  11. Anubhav Gupta, Ofer Strichman
    Abstraction Refinement for Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:112-124 [Conf]
  12. Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip
    Symmetry Reduction in SAT-Based Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:125-138 [Conf]
  13. Yichen Xie, Alexander Aiken
    Saturn: A SAT-Based Tool for Bug Detection. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:139-143 [Conf]
  14. Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
    JVer: A Java Verifier. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:144-147 [Conf]
  15. Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby
    Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:148-152 [Conf]
  16. Sharon Barner, Ziv Glazberg, Ishai Rabinovitz
    Wolf - Bug Hunter for Concurrent Software Using Formal Methods. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:153-157 [Conf]
  17. Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum
    Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:158-163 [Conf]
  18. Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau
    The ComFoRT Reasoning Framework. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:164-169 [Conf]
  19. Roope Kaivola
    Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:170-184 [Conf]
  20. Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck
    Formal Verification of Backward Compatibility of Microcode. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:185-198 [Conf]
  21. David Monniaux
    Compositional Analysis of Floating-Point Linear Numerical Filters. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:199-212 [Conf]
  22. Eric Vecchié, Robert de Simone
    Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:213-225 [Conf]
  23. Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem
    Program Repair as a Game. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:226-238 [Conf]
  24. Amitabha Roy 0002, K. Gopinath
    Improved Probabilistic Models for 802.11 Protocol Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:239-252 [Conf]
  25. Håkan L. S. Younes
    Probabilistic Verification for "Black-Box" Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:253-265 [Conf]
  26. Koushik Sen, Mahesh Viswanathan, Gul Agha
    On Statistical Model Checking of Stochastic Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:266-280 [Conf]
  27. Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron
    The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:281-285 [Conf]
  28. Julien Olivain, Jean Goubault-Larrecq
    The Orchids Intrusion Detection Tool. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:286-290 [Conf]
  29. Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck
    TVOC: A Translation Validator for Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:291-295 [Conf]
  30. Byron Cook, Daniel Kroening, Natasha Sharygina
    Cogent: Accurate Theorem Proving for Program Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:296-300 [Conf]
  31. Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar
    F-Soft: Software Verification Platform. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:301-306 [Conf]
  32. Orly Meir, Ofer Strichman
    Yet Another Decision Procedure for Equality Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:307-320 [Conf]
  33. Robert Nieuwenhuis, Albert Oliveras
    DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:321-334 [Conf]
  34. Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani
    Efficient Satisfiability Modulo Theories via Delayed Theory Combination. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:335-349 [Conf]
  35. Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
    Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:350-363 [Conf]
  36. Marcelo d'Amorim, Grigore Rosu
    Efficient Monitoring of omega-Languages. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:364-378 [Conf]
  37. Michael Benedikt, Angela Bonifati, Sergio Flesca, Avinash Vyas
    Verification of Tree Updates for Optimization. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:379-393 [Conf]
  38. Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
    Expand, Enlarge and Check... Made Efficient. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:394-407 [Conf]
  39. Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck
    IIV: An Invisible Invariant Verifier. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:408-412 [Conf]
  40. Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan
    Action Language Verifier, Extended. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:413-417 [Conf]
  41. Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux
    Romeo: A Tool for Analyzing Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:418-423 [Conf]
  42. Enric Pastor, Marco A. Peña, Marc Solé
    TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:424-428 [Conf]
  43. Håkan L. S. Younes
    Ymer: A Statistical Model Checker. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:429-433 [Conf]
  44. Akash Lal, Thomas W. Reps, Gogul Balakrishnan
    Extended Weighted Pushdown Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:434-448 [Conf]
  45. Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards
    Incremental Algorithms for Inter-procedural Analysis of Safety Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:449-461 [Conf]
  46. Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot
    A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:462-475 [Conf]
  47. Scott McPeak, George C. Necula
    Data Structure Specifications via Local Equality Axioms. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:476-490 [Conf]
  48. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
    Linear Ranking with Reachability. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:491-504 [Conf]
  49. Vineet Kahlon, Franjo Ivancic, Aarti Gupta
    Reasoning About Threads Communicating via Locks. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:505-518 [Conf]
  50. Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
    Abstraction Refinement via Inductive Learning. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:519-533 [Conf]
  51. Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati
    Automated Assume-Guarantee Reasoning for Simulation Conformance. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:534-547 [Conf]
  52. Rajeev Alur, P. Madhusudan, Wonhong Nam
    Symbolic Compositional Verification by Learning Assumptions. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:548-562 [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