dblp.uni-trier.dewww.uni-trier.de

Sergey Berezin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Husam Abu-Haimed [12] [13] [16]
2Clark W. Barrett (Clark Barrett) [14]
3Saddek Bensalem [8]
4Armin Biere [5] [9]
5Sérgio Vale Aguiar Campos [3]
6Jacob Chang [15]
7Edmund M. Clarke [3] [4] [5] [6] [9]
8David L. Dill [10] [11] [12] [13] [15] [16]
9Vijay Ganesh [10] [11]
10Dilian Gurov [2]
11Somesh Jha [6]
12Bruce M. Kapron [2]
13Yassine Lakhnech [8]
14Will Marrero [6]
15Sam Owre [8]
16Adrian Perrig [7]
17Nikolay V. Shilov [1]
18Dawn Xiaodong Song [7]
19Yunshan Zhu [5] [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)