The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sergey Berezin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Husam Abu-Haimed, Sergey Berezin, David L. Dill
    Strengthening Invariants by Symbolic Consistency Testing. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:407-419 [Conf]
  2. Clark W. Barrett, Sergey Berezin
    CVC Lite: A New Implementation of the Cooperating Validity Checker Category B. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:515-518 [Conf]
  3. Jacob Chang, Sergey Berezin, David L. Dill
    Using Interface Refinement to Integrate Formal Verification into the Design Cycle. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:122-134 [Conf]
  4. Husam Abu-Haimed, Sergey Berezin, David L. Dill
    Semi-formal Verification of Memory Systems by Symbolic Simulation. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:158-163 [Conf]
  5. Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke
    Compositional Reasoning in Model Checking. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:81-102 [Conf]
  6. Sergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu
    Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:369-386 [Conf]
  7. Vijay Ganesh, Sergey Berezin, David L. Dill
    Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2002, pp:171-186 [Conf]
  8. Husam Abu-Haimed, David L. Dill, Sergey Berezin
    A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:145-152 [Conf]
  9. Sergey Berezin, Nikolay V. Shilov
    An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:47-55 [Conf]
  10. Edmund M. Clarke, Sergey Berezin
    Model Checking: Historical Perspective and Example (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:18-24 [Conf]
  11. Sergey Berezin, Vijay Ganesh, David L. Dill
    An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:521-536 [Conf]
  12. Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre
    Incremental Verification by Abstraction. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:98-112 [Conf]
  13. Dilian Gurov, Sergey Berezin, Bruce M. Kapron
    A modal mu-calculus and a proof system for value passing processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:5, n:, pp:- [Journal]
  14. Sergey Berezin, Edmund M. Clarke, Armin Biere, Yunshan Zhu
    Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:20, n:2, pp:159-186 [Journal]
  15. Dawn Xiaodong Song, Sergey Berezin, Adrian Perrig
    Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2001, v:9, n:1/2, pp:47-74 [Journal]

  16. Model checking algorithms for the µ-calculus. [Citation Graph (, )][DBLP]


  17. Aspects of bandwidth scheduling in WiMAX subscriber station. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.017secs
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