Slava Bulach

According to our database, Slava Bulach authored at least 3 papers between 2007 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers.

Bernard Schmidt, Slava Bulach, Katharina Weinberger, Markus Wedler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008

Application of Workflow Petri Nets to Modeling of Formal Verification Processes in Design Flow of Digital Integrated Circuits.

Katharina Weinberger, Slava Bulach, Robert P. Bosch Jr.

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Property Set Exhaustiveness Estimation Approach for BMC-based Formal Hardware Verification.

Katharina Weinberger, Slava Bulach, Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007