Author of the publication

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.

 

Other publications of authors with the same name

Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States., and . FMCAD, volume 3312 of Lecture Notes in Computer Science, page 230-244. Springer, (2004)Application of Formal Word-Level Analysis to Constrained Random Simulation., , , , , , and . CAV, volume 5123 of Lecture Notes in Computer Science, page 487-490. Springer, (2008)Efficient Büchi Automata from LTL Formulae., and . CAV, volume 1855 of Lecture Notes in Computer Science, page 248-263. Springer, (2000)On-the-Fly Clause Improvement., and . SAT, volume 5584 of Lecture Notes in Computer Science, page 209-222. Springer, (2009)Using Combinational Verification for Sequential Circuits., , , and . DATE, page 138-144. IEEE Computer Society / ACM, (1999)Efficient computation of small abstraction refinements., and . ICCAD, page 518-525. IEEE Computer Society / ACM, (2004)Variable Ordering and Selection for FSM Traversal., , , and . ICCAD, page 476-479. IEEE Computer Society, (1991)From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits., , , , and . ICCAD, page 662-669. IEEE, (2013)Don't cares and global flow analysis of Boolean networks., , and . ICCAD, page 98-101. IEEE Computer Society, (1988)Symmetry detection and dynamic variable ordering of decision diagrams., , and . ICCAD, page 628-631. IEEE Computer Society / ACM, (1994)