selected publications

• chapter

  • INDEXYS, a Logical Step beyond GENESYS.  Springer eBooks. 431-451. 2010

• conference paper

  • Checking Pipelined Distributed Global Properties for Post-silicon Debug.  Workshop RTL and High Level Testing. 1-6. 2010