( en | de | ru )

 

Disambiguation of "Yorav, Karen"

Author of the publication

copydeleteadd this publication to your clipboard
Reproducing Synchronization Bugs with Model Checking.

, , and . CHARME, volume 2144 of Lecture Notes in Computer Science, page 98-103. Springer, (2001)

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.

Thomas-Andreas Karenberg

Alexandra Karentzos

Axel Karenberg

Stefan Dimitri Karentzopoulos

Dagobert Karenberg

 

Other publications of authors with the same name

Specifying and Verifying Systems with Multiple Clocks., , and . ICCD, page 48-. IEEE Computer Society, (2003)SAT-based synthesis of clock gating functions using 3-valued abstraction., , and . FMCAD, page 198-204. IEEE, (2009)SATABS: SAT-Based Predicate Abstraction for ANSI-C., , , and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 570-574. Springer, (2005)Applying Software Model Checking Techniques for Behavioral UML Models., , and . FM, volume 7436 of Lecture Notes in Computer Science, page 277-292. Springer, (2012)Verifying Behavioral UML Systems via CEGAR., , and . IFM, volume 8739 of Lecture Notes in Computer Science, page 139-154. Springer, (2014)Reproducing Synchronization Bugs with Model Checking., , and . CHARME, volume 2144 of Lecture Notes in Computer Science, page 98-103. Springer, (2001)Scalable conditional equivalence checking: An automated invariant-generation based approach., , , , and . FMCAD, page 120-127. IEEE, (2009)On-The-Fly Resolve Trace Minimization., and . DAC, page 594-599. IEEE, (2007)Syntax-directed model checking of sequential programs., and . J. Log. Algebraic Methods Program., (2002)Exploiting syntactic structure for automatic verification.. Technion - Israel Institute of Technology, Israel, (2000)