Sergey Berezin - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2025

The TIP of the Iceberg: Revealing a Hidden Class of Task-in-Prompt Adversarial Attacks on LLMsSergey Berezin, Reza Farahbakhsh, Noël Crespi. acl 2025: 6716-6730 [doi]

2023

No offence, Bert - I insult only humans! Multilingual sentence-level attack on toxicity detection networksSergey Berezin, Reza Farahbakhsh, Noël Crespi. emnlp 2023: 2362-2369 [doi]

2022

Named Entity Inclusion in Abstractive Text SummarizationSergey Berezin, Tatiana Batura. COLING 2022: 158-162 [doi]

Gap probability for products of random matrices in the critical regimeSergey Berezin, Eugene Strahov. jat, 274:105687, 2022. [doi]

2017

Bringing LTL Model Checking to BiologistsZara Ahmed, David Benque, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov. vmcai 2017: 1-13 [doi]

2013

ChronoZoom: travel through time for education, exploration, and information technology researchRobert L. Walter, Sergey Berezin, Ankur Teredesai. riit 2013: 31-36 [doi]

2009

Aspects of bandwidth scheduling in WiMAX subscriber stationAnton Prokopenko, Yevgeny Ryannel, Sergey Berezin. icumt 2009: 1-8 [doi]

2006

A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware VerificationHusam Abu-Haimed, David L. Dill, Sergey Berezin. FMCAD 2006: 145-152 [doi]

2005

A Practical Approach to Partial Functions in CVC LiteSergey Berezin, Clark Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill. ENTCS, 125(3):13-23, 2005. [doi]

2004

CVC Lite: A New Implementation of the Cooperating Validity Checker Category BClark W. Barrett, Sergey Berezin. cav 2004: 515-518 [doi]

Using Interface Refinement to Integrate Formal Verification into the Design CycleJacob Chang, Sergey Berezin, David L. Dill. cav 2004: 122-134 [doi]

2003

Semi-formal Verification of Memory Systems by Symbolic SimulationHusam Abu-Haimed, Sergey Berezin, David L. Dill. charme 2003: 158-163 [doi]

Strengthening Invariants by Symbolic Consistency TestingHusam Abu-Haimed, Sergey Berezin, David L. Dill. cav 2003: 407-419 [doi]

An Online Proof-Producing Decision Procedure for Mixed-Integer Linear ArithmeticSergey Berezin, Vijay Ganesh, David L. Dill. TACAS 2003: 521-536 [doi]

2002

Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion FunctionSergey Berezin, Edmund M. Clarke, Armin Biere, Yunshan Zhu. fmsd, 20(2):159-186, 2002.

Deciding Presburger Arithmetic by Model Checking and Comparisons with Other MethodsVijay Ganesh, Sergey Berezin, David L. Dill. FMCAD 2002: 171-186 [doi]

2001

Incremental Verification by AbstractionYassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre. TACAS 2001: 98-112 [doi]

Athena: A Novel Approach to Efficient Automatic Security Protocol AnalysisDawn Xiaodong Song, Sergey Berezin, Adrian Perrig. jcs, 9(1/2):47-74, 2001.

2000

Model checking algorithms for the µ-calculusSergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero. BIRTHDAY 2000: 309-338

1998

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor VerificationSergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu. FMCAD 1998: 369-386 [doi]

Model Checking: Historical Perspective and Example (Extended Abstract)Edmund M. Clarke, Sergey Berezin. tableaux 1998: 18-24 [doi]

1997

Compositional Reasoning in Model CheckingSergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke. SC 1998: 81-102 [doi]

1996

A modal mu-calculus and a proof system for value passing processesDilian Gurov, Sergey Berezin, Bruce M. Kapron. ENTCS, 5:47, 1996. [doi]

1994

An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-CalculusSergey Berezin, Nikolay V. Shilov. lfcs 1994: 47-55

Sign in or sign up to see more results.

runs on WebDSL