An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus. - Sergey Berezin; Nikolay V. Shilov 002 (LFCS, 1994)

A modal mu-calculus and a proof system for value passing processes. - Dilian Gurov; Sergey Berezin; Bruce M. Kapron (INFINITY, 1996)

Compositional Reasoning in Model Checking. - Sergey Berezin; Sérgio Vale Aguiar Campos; Edmund M. Clarke (COMPOS, 1997)

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification. - Sergey Berezin; Armin Biere; Edmund M. Clarke; Yunshan Zhu (FMCAD, 1998)

Model Checking: Historical Perspective and Example (Extended Abstract). - Edmund M. Clarke; Sergey Berezin (TABLEAUX, 1998)

Model checking algorithms for the µ-calculus. - Sergey Berezin; Edmund M. Clarke; Somesh Jha; Will Marrero (Proof, Language, and Interaction, 2000)

Incremental Verification by Abstraction. - Yassine Lakhnech; Saddek Bensalem; Sergey Berezin; Sam Owre (TACAS, 2001)

Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis. - Dawn Xiaodong Song; Sergey Berezin; Adrian Perrig (J. Comput. Secur., 2001)

Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods. - Vijay Ganesh 001; Sergey Berezin; David L. Dill (FMCAD, 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)

Strengthening Invariants by Symbolic Consistency Testing. - Husam Abu-Haimed; Sergey Berezin; David L. Dill (CAV, 2003)

Semi-formal Verification of Memory Systems by Symbolic Simulation. - Husam Abu-Haimed; Sergey Berezin; David L. Dill (CHARME, 2003)

An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. - Sergey Berezin; Vijay Ganesh 001; David L. Dill (TACAS, 2003)

CVC Lite: A New Implementation of the Cooperating Validity Checker Category B. - Clark W. Barrett; Sergey Berezin (CAV, 2004)

Using Interface Refinement to Integrate Formal Verification into the Design Cycle. - Jacob Chang; Sergey Berezin; David L. Dill (CAV, 2004)

A Practical Approach to Partial Functions in CVC Lite. - Sergey Berezin; Clark W. Barrett; Igor Shikanian; Marsha Chechik; Arie Gurfinkel; David L. Dill (D/PDPAR@IJCAR, 2004)

A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. - Husam Abu-Haimed; David L. Dill; Sergey Berezin (FMCAD, 2006)

Aspects of bandwidth scheduling in WiMAX subscriber station. - Anton Prokopenko; Yevgeny Ryannel; Sergey Berezin (ICUMT, 2009)

ChronoZoom: travel through time for education, exploration, and information technology research. - Robert L. Walter; Sergey Berezin; Ankur Teredesai (RIIT, 2013)

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 (VMCAI, 2017)

Named Entity Inclusion in Abstractive Text Summarization. - Sergey Berezin; Tatiana Batura (SDP@COLING, 2022)

Gap probability for products of random matrices in the critical regime. - Sergey Berezin; Eugene Strahov (J. Approx. Theory, 2022)

No offence, Bert - I insult only humans! Multilingual sentence-level attack on toxicity detection networks. - Sergey Berezin; Reza Farahbakhsh; Noël Crespi (EMNLP (Findings), 2023)

On the definition of toxicity in NLP. - Sergey Berezin; Reza Farahbakhsh; Noël Crespi (CoRR, 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)

Read Over the Lines: Attacking LLMs and Toxicity Detection Systems with ASCII Art to Mask Profanity. - Sergey Berezin; Reza Farahbakhsh; Noël Crespi (CoRR, 2024)

The TIP of the Iceberg: Revealing a Hidden Class of Task-in-Prompt Adversarial Attacks on LLMs. - Sergey Berezin; Reza Farahbakhsh; Noël Crespi (ACL (1), 2025)

Redefining Toxicity: An Objective and Context-Aware Approach for Stress-Level-Based Detection. - Sergey Berezin; Reza Farahbakhsh; Noël Crespi (CoRR, 2025)