The SCEAS System
| |||||||

## Search the dblp DataBase
Sergey Berezin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - Edmund M. Clarke, Sergey Berezin
**Model Checking: Historical Perspective and Example (Extended Abstract).**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1998, pp:18-24 [Conf] - 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] - Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre
**Incremental Verification by Abstraction.**[Citation Graph (0, 0)][DBLP] TACAS, 2001, pp:98-112 [Conf] - 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] - 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] - 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] **Model checking algorithms for the µ-calculus.**[Citation Graph (, )][DBLP]**Aspects of bandwidth scheduling in WiMAX subscriber station.**[Citation Graph (, )][DBLP]
Search in 0.022secs, Finished in 0.023secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |