Formal plausibility checks for environment constraints. - Binghao Bao; Jörg Bormann; Markus Wedler; Dominik Stoffel; Wolfgang Kunz (FDL, 2012)

Compositional Completeness over reactive Constraints. - Binghao Bao; Jörg Bormann; Markus Wedler; Dominik Stoffel; Wolfgang Kunz (MBMV, 2013)

A property language for the specification of hardware-dependent embedded system software. - Binghao Bao; Carlos Villarraga; Bernard Schmidt; Dominik Stoffel; Wolfgang Kunz (FDL, 2014)

Coverage of compositional property sets under reactive constraints. - Binghao Bao; Jörg Bormann; Markus Wedler; Dominik Stoffel; Wolfgang Kunz (ISQED, 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 001; Thomas Fehmel; Dominik Stoffel; Wolfgang Kunz (ITC, 2014)

Coverage of Compositional Property Sets for Hardware and Hardware-dependent Software in Formal System-on-Chip Verification. - Binghao Bao (2017)