Sergey Berezin

30 papers A* 3A 2B 5Misc 1Journal 9Unranked 10

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Redefining Toxicity: An Objective and Context-Aware Approach for Stress-Level-Based Detection. CoRR Sergey Berezin, Reza Farahbakhsh, Noël Crespi
2025	J	`jnl`	The TIP of the Iceberg: Revealing a Hidden Class of Task-In-Prompt Adversarial Attacks on LLMs. CoRR Sergey Berezin, Reza Farahbakhsh, Noël Crespi
2025	—	`conf`	The TIP of the Iceberg: Revealing a Hidden Class of Task-in-Prompt Adversarial Attacks on LLMs. ACL (1) Sergey Berezin, Reza Farahbakhsh, Noël Crespi
2024	J	`jnl`	Read Over the Lines: Attacking LLMs and Toxicity Detection Systems with ASCII Art to Mask Profanity. CoRR Sergey Berezin, Reza Farahbakhsh, Noël Crespi
2023	J	`jnl`	Named Entity Inclusion in Abstractive Text Summarization. CoRR Sergey Berezin, Tatiana Batura
2023	—	`conf`	No offence, Bert - I insult only humans! Multilingual sentence-level attack on toxicity detection networks. EMNLP (Findings) Sergey Berezin, Reza Farahbakhsh, Noël Crespi
2023	J	`jnl`	No offence, Bert - I insult only humans! Multiple addressees sentence-level attack on toxicity detection neural network. CoRR Sergey Berezin, Reza Farahbakhsh, Noël Crespi
2023	J	`jnl`	On the definition of toxicity in NLP. CoRR Sergey Berezin, Reza Farahbakhsh, Noël Crespi
2022	J	`jnl`	Gap probability for products of random matrices in the critical regime. J. Approx. Theory Sergey Berezin, Eugene Strahov
2022	—	`conf`	Named Entity Inclusion in Abstractive Text Summarization. SDP@COLING Sergey Berezin, Tatiana Batura
2017	B	`conf`	Bringing LTL Model Checking to Biologists. VMCAI 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
2013	—	`conf`	ChronoZoom: travel through time for education, exploration, and information technology research. RIIT Robert L. Walter, Sergey Berezin, Ankur Teredesai
2009	—	`conf`	Aspects of bandwidth scheduling in WiMAX subscriber station. ICUMT Anton Prokopenko, Yevgeny Ryannel, Sergey Berezin
2006	B	`conf`	A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. FMCAD Husam Abu-Haimed, David L. Dill, Sergey Berezin
2004	—	`conf`	A Practical Approach to Partial Functions in CVC Lite. D/PDPAR@IJCAR Sergey Berezin, Clark W. Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill
2004	A*	`conf`	CVC Lite: A New Implementation of the Cooperating Validity Checker Category B. CAV Clark W. Barrett, Sergey Berezin
2004	A*	`conf`	Using Interface Refinement to Integrate Formal Verification into the Design Cycle. CAV Jacob Chang, Sergey Berezin, David L. Dill
2003	A	`conf`	An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. TACAS Sergey Berezin, Vijay Ganesh, David L. Dill
2003	—	`conf`	Semi-formal Verification of Memory Systems by Symbolic Simulation. CHARME Husam Abu-Haimed, Sergey Berezin, David L. Dill
2003	A*	`conf`	Strengthening Invariants by Symbolic Consistency Testing. CAV Husam Abu-Haimed, Sergey Berezin, David L. Dill
2002	B	`conf`	Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods. FMCAD Vijay Ganesh, Sergey Berezin, David L. Dill
2002	J	`jnl`	Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function. Formal Methods Syst. Des. Sergey Berezin, Edmund M. Clarke, Armin Biere, Yunshan Zhu
2001	J	`jnl`	Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis. J. Comput. Secur. Dawn Xiaodong Song, Sergey Berezin, Adrian Perrig
2001	A	`conf`	Incremental Verification by Abstraction. TACAS Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre
2000	—	`conf`	Model checking algorithms for the µ-calculus. Proof, Language, and Interaction Sergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero
1998	B	`conf`	Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification. FMCAD Sergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu
1998	B	`conf`	Model Checking: Historical Perspective and Example (Extended Abstract). TABLEAUX Edmund M. Clarke, Sergey Berezin
1997	—	`conf`	Compositional Reasoning in Model Checking. COMPOS Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke
1996	—	`conf`	A modal mu-calculus and a proof system for value passing processes. INFINITY Dilian Gurov, Sergey Berezin, Bruce M. Kapron
1994	Misc	`conf`	An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus. LFCS Sergey Berezin, Nikolay V. Shilov