( en | de | ru )

 

Disambiguation of "Berezin, Sergey"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function.

, , , and . Formal Methods Syst. Des., 20 (2): 159-186 (2002)

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 Rosbakh

 

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)Aspects of bandwidth scheduling in WiMAX subscriber station., , and . ICUMT, page 1-8. IEEE, (2009)ChronoZoom: travel through time for education, exploration, and information technology research., , and . RIIT, page 31-36. ACM, (2013)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)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)Gap probability for products of random matrices in the critical regime., and . J. Approx. Theory, (2022)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)Compositional Reasoning in Model Checking., , and . COMPOS, volume 1536 of Lecture Notes in Computer Science, page 81-102. Springer, (1997)Strengthening Invariants by Symbolic Consistency Testing., , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 407-419. Springer, (2003)Using Interface Refinement to Integrate Formal Verification into the Design Cycle., , and . CAV, volume 3114 of Lecture Notes in Computer Science, page 122-134. Springer, (2004)