1. Verification by parts: reusing component invariant checking results;IET Computers & Digital Techniques;2012
2. Hardware-Verifikation;Digitale Hardware/Software-Systeme;2010
3. Strengthening Model Checking Techniques With Inductive Invariants;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2009-01
4. New techniques for untestable fault identification in sequential circuits;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2006-06
5. A survey of recent advances in SAT-based formal verification;International Journal on Software Tools for Technology Transfer;2005-01-25