( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking.

, , , , , и . FMCAD, стр. 1-8. IEEE, (2008)

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.

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Другие публикации лиц с тем же именем

Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking., , , , , и . FMCAD, стр. 1-8. IEEE, (2008)Automated abstraction by incremental refinement in interpolant-based model checking., , и . ICCAD, стр. 129-136. IEEE Computer Society, (2008)Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking., , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 29 (3): 382-395 (2010)Boosting interpolation with dynamic localized abstraction and redundancy removal., , , и . ACM Trans. Design Autom. Electr. Syst., 13 (1): 3:1-3:20 (2008)BDD-Based Hardware Verification., и . SFM, том 3965 из Lecture Notes in Computer Science, стр. 78-107. Springer, (2006)Validating the dependability of embedded systems through fault injection by means of loadable kernel modules., и . HLDVT, стр. 179-186. IEEE Computer Society, (2007)Speeding up model checking by exploiting explicit and hidden verification constraints., , , , , и . DATE, стр. 1686-1691. IEEE, (2009)Stepping forward with interpolants in unbounded model checking., , , и . ICCAD, стр. 772-778. ACM, (2006)Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits., , , и . HLDVT, стр. 46-53. IEEE Computer Society, (2009)