Slava Bulach

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Bernard Schmidt, Slava Bulach, Katharina Weinberger, Markus Wedler
Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers. MBMV (2008)
Katharina Weinberger, Slava Bulach, Robert Bosch
Application of Workflow Petri Nets to Modeling of Formal Verification Processes in Design Flow of Digital Integrated Circuits. DATE (2008)
Katharina Weinberger, Slava Bulach, Wolfgang Rosenstiel
Property Set Exhaustiveness Estimation Approach for BMC-based Formal Hardware Verification. MBMV (2007)