( en | de | ru )

 

Disambiguation of "Berezin, Sergey"

Author of the publication

copydeleteadd this publication to your clipboard
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification.

, , , and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 369-386. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sergey Libert

Sergey Gorbunov

Sergey Stepanov

Sergey Groppa

Sergey Geyn

 

Other publications of authors with the same name

Bringing LTL Model Checking to Biologists., , , , , , , , , and 1 other author(s). VMCAI, volume 10145 of Lecture Notes in Computer Science, page 1-13. Springer, (2017)Model Checking: Historical Perspective and Example (Extended Abstract)., and . TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 18-24. Springer, (1998)Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis., , and . J. Comput. Secur., 9 (1/2): 47-74 (2001)A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification., , and . FMCAD, page 145-152. IEEE Computer Society, (2006)Aspects of bandwidth scheduling in WiMAX subscriber station., , and . ICUMT, page 1-8. IEEE, (2009)CVC Lite: A New Implementation of the Cooperating Validity Checker Category B., and . CAV, volume 3114 of Lecture Notes in Computer Science, page 515-518. Springer, (2004)Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification., , , and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 369-386. Springer, (1998)ChronoZoom: travel through time for education, exploration, and information technology research., , and . RIIT, page 31-36. ACM, (2013)No offence, Bert - I insult only humans! Multilingual sentence-level attack on toxicity detection networks., , and . EMNLP (Findings), page 2362-2369. Association for Computational Linguistics, (2023)No offence, Bert - I insult only humans! Multiple addressees sentence-level attack on toxicity detection neural network., , and . CoRR, (2023)