Binghao Bao

According to our database, Binghao Bao authored at least 6 papers between 2012 and 2017.

Collaborative distances:

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

2017

Coverage of Compositional Property Sets for Hardware and Hardware-dependent Software in Formal System-on-Chip Verification.

Binghao Bao

PhD thesis, 2017

2014

Software in a hardware view: New models for HW-dependent software in SoC verification and test.

Carlos Villarraga, Bernard Schmidt, Binghao Bao, Rakesh Raman, Christian Bartsch, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 2014 International Test Conference, 2014

Coverage of compositional property sets under reactive constraints.

Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Fifteenth International Symposium on Quality Electronic Design, 2014

A property language for the specification of hardware-dependent embedded system software.

Binghao Bao, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

2013

Compositional Completeness over reactive Constraints.

Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

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

2012

Formal plausibility checks for environment constraints.

Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012