Sergey Berezin

2006
16	EE	Husam 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
15	EE	Jacob Chang, Sergey Berezin, David L. Dill: Using Interface Refinement to Integrate Formal Verification into the Design Cycle. CAV 2004: 122-134
14	EE	Clark W. Barrett, Sergey Berezin: CVC Lite: A New Implementation of the Cooperating Validity Checker Category B. CAV 2004: 515-518
2003
13	EE	Husam Abu-Haimed, Sergey Berezin, David L. Dill: Strengthening Invariants by Symbolic Consistency Testing. CAV 2003: 407-419
12	EE	Husam Abu-Haimed, Sergey Berezin, David L. Dill: Semi-formal Verification of Memory Systems by Symbolic Simulation. CHARME 2003: 158-163
11	EE	Sergey Berezin, Vijay Ganesh, David L. Dill: An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. TACAS 2003: 521-536
2002
10	EE	Vijay 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
8	EE	Yassine 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
5	EE	Sergey 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
4	EE	Edmund M. Clarke, Sergey Berezin: Model Checking: Historical Perspective and Example (Extended Abstract). TABLEAUX 1998: 18-24
1997
3	EE	Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke: Compositional Reasoning in Model Checking. COMPOS 1997: 81-102
1996
2	EE	Dilian 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

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

Colors in the list of coauthors