Sergey Berezin

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 7

Top Topics

Subjective Probabilities

Text Summarization

Information Technology

Top Venues

J. Approx. Theory

Publications

Sergey Berezin, Reza Farahbakhsh, Noël Crespi
On the definition of toxicity in NLP. CoRR (2023)
Sergey Berezin, Reza Farahbakhsh, Noël Crespi
No offence, Bert - I insult only humans! Multiple addressees sentence-level attack on toxicity detection neural network. CoRR (2023)
Sergey Berezin, Tatiana Batura
Named Entity Inclusion in Abstractive Text Summarization. CoRR (2023)
Sergey Berezin, Reza Farahbakhsh, Noël Crespi
No offence, Bert - I insult only humans! Multilingual sentence-level attack on toxicity detection networks. EMNLP (Findings) (2023)
Sergey Berezin, Tatiana Batura
Named Entity Inclusion in Abstractive Text Summarization. SDP@COLING (2022)
Sergey Berezin, Eugene Strahov
Gap probability for products of random matrices in the critical regime. J. Approx. Theory 274 (2022)
Zara Ahmed, David Benqué, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov
Bringing LTL Model Checking to Biologists. VMCAI (2017)
Robert L. Walter, Sergey Berezin, Ankur Teredesai
ChronoZoom: travel through time for education, exploration, and information technology research. RIIT (2013)
Anton Prokopenko, Yevgeny Ryannel, Sergey Berezin
Aspects of bandwidth scheduling in WiMAX subscriber station. ICUMT (2009)
Husam Abu-Haimed, David L. Dill, Sergey Berezin
A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. FMCAD (2006)
Sergey Berezin, Clark W. Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill
A Practical Approach to Partial Functions in CVC Lite. Electron. Notes Theor. Comput. Sci. 125 (3) (2005)
Jacob Chang, Sergey Berezin, David L. Dill
Using Interface Refinement to Integrate Formal Verification into the Design Cycle. CAV (2004)
Clark W. Barrett, Sergey Berezin
CVC Lite: A New Implementation of the Cooperating Validity Checker Category B. CAV (2004)
Husam Abu-Haimed, Sergey Berezin, David L. Dill
Semi-formal Verification of Memory Systems by Symbolic Simulation. CHARME (2003)
Sergey Berezin, Vijay Ganesh, David L. Dill
An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. TACAS (2003)
Husam Abu-Haimed, Sergey Berezin, David L. Dill
Strengthening Invariants by Symbolic Consistency Testing. CAV (2003)
Vijay Ganesh, Sergey Berezin, David L. Dill
Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods. FMCAD (2002)
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 Syst. Des. 20 (2) (2002)
Dawn Xiaodong Song, Sergey Berezin, Adrian Perrig
Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis. J. Comput. Secur. 9 (1/2) (2001)
Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre
Incremental Verification by Abstraction. TACAS (2001)
Sergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero
Model checking algorithms for the µ-calculus. Proof, Language, and Interaction (2000)
Sergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification. FMCAD (1998)
Edmund M. Clarke, Sergey Berezin
Model Checking: Historical Perspective and Example (Extended Abstract). TABLEAUX (1998)
Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke
Compositional Reasoning in Model Checking. COMPOS (1997)
Dilian Gurov, Sergey Berezin, Bruce M. Kapron
A modal mu-calculus and a proof system for value passing processes. INFINITY (1996)
Sergey Berezin, Nikolay V. Shilov
An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus. LFCS (1994)