Sergey Berezin

According to our database, Sergey Berezin authored at least 25 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

No offence, Bert - I insult only humans! Multiple addressees sentence-level attack on toxicity detection neural network.

Sergey Berezin, Reza Farahbakhsh, Noël Crespi

CoRR, 2023

On the definition of toxicity in NLP.

Sergey Berezin, Reza Farahbakhsh, Noël Crespi

CoRR, 2023

No offence, Bert - I insult only humans! Multilingual sentence-level attack on toxicity detection networks.

Sergey Berezin, Reza Farahbakhsh, Noël Crespi

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

2022

Gap probability for products of random matrices in the critical regime.

Sergey Berezin, Eugene Strahov

J. Approx. Theory, 2022

Named Entity Inclusion in Abstractive Text Summarization.

Sergey Berezin, Tatiana Batura

Proceedings of the Third Workshop on Scholarly Document Processing, 2022

2017

Bringing LTL Model Checking to Biologists.

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2013

ChronoZoom: travel through time for education, exploration, and information technology research.

Robert L. Walter, Sergey Berezin, Ankur Teredesai

Proceedings of the 2nd annual conference on Research in information technology, 2013

2009

Aspects of bandwidth scheduling in WiMAX subscriber station.

Anton Prokopenko, Yevgeny Ryannel, Sergey Berezin

Proceedings of the International Conference on Ultra Modern Telecommunications, 2009

2006

A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification.

Husam Abu-Haimed, David L. Dill, Sergey Berezin

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2004

A Practical Approach to Partial Functions in CVC Lite.

Sergey Berezin, Clark W. Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill

Proceedings of the Selected Papers from the Workshops on Disproving, 2004

Using Interface Refinement to Integrate Formal Verification into the Design Cycle.

Jacob Chang, Sergey Berezin, David L. Dill

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

CVC Lite: A New Implementation of the Cooperating Validity Checker Category B.

Clark W. Barrett, Sergey Berezin

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic.

Sergey Berezin, Vijay Ganesh, David L. Dill

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Semi-formal Verification of Memory Systems by Symbolic Simulation.

Husam Abu-Haimed, Sergey Berezin, David L. Dill

Proceedings of the Correct Hardware Design and Verification Methods, 2003

Strengthening Invariants by Symbolic Consistency Testing.

Husam Abu-Haimed, Sergey Berezin, David L. Dill

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function.

Sergey Berezin, Edmund M. Clarke, Armin Biere, Yunshan Zhu

Formal Methods Syst. Des., 2002

Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods.

Vijay Ganesh, Sergey Berezin, David L. Dill

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001

Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis.

Dawn Xiaodong Song, Sergey Berezin, Adrian Perrig

J. Comput. Secur., 2001

Incremental Verification by Abstraction.

Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000

Model checking algorithms for the µ-calculus.

Sergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1998

Model Checking: Historical Perspective and Example (Extended Abstract).

Edmund M. Clarke, Sergey Berezin

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification.

Sergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1997

Compositional Reasoning in Model Checking.

Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1996

A modal mu-calculus and a proof system for value passing processes.

Dilian Gurov, Sergey Berezin, Bruce M. Kapron

Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996

1994

An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus.

Sergey Berezin, Nikolay V. Shilov

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994