PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Eisner, Cindy"

Author of the publication

copydeleteadd this publication to your clipboard
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States.

, , , , and . Haifa Verification Conference, volume 4383 of Lecture Notes in Computer Science, page 138-154. Springer, (2006)

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.

Dr. Cindy Halbert-Seger University of Stuttgart

 

Other publications of authors with the same name

Resurrecting infeasible clock-gating functions., , and . DAC, page 160-165. ACM, (2009)Functional verification of power gated designs by compositional reasoning., , and . Formal Methods in System Design, 35 (1): 40-55 (2009)Policy Validation for System Automation: A Case Study., , and . POLICY, page 46-53. IEEE Computer Society, (2008)A Practical Introduction to PSL, and . Series on Integrated Circuits and Systems Springer, (2006)The Definition of a Temporal Clock Operator., , , , and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 857-870. Springer, (2003)Relative Equivalence in the Presence of Ambiguity., , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 430-446. Springer, (2013)A methodology for formal design of hardware control with application to cache coherence protocols., , , , , and . DAC, page 724-729. ACM, (2000)Efficient Detection of Vacuity in Temporal Model Checking., , , and . Formal Methods in System Design, 18 (2): 141-163 (2001)Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard.. STTT, 4 (1): 107-124 (2002)Formal verification of software source code through semi-automatic modeling.. Software and Systems Modeling, 4 (1): 14-31 (2005)