Doug Boyce

According to our database, Doug Boyce authored at least 4 papers between 2015 and 2020.

Collaborative distances:

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

2020

Online Firmware Functional Validation Scheme Using Colored Petri Net Model.

Rongyang Liu, José G. Delgado-Frias, Doug Boyce, Yi Qian, Rahul Khanna

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2017

Firmware functional validation using a Colored Petri Net model.

Rongyang Liu, José G. Delgado-Frias, Doug Boyce, Rahul Khanna

Proceedings of the IEEE 60th International Midwest Symposium on Circuits and Systems, 2017

2016

A real-time UEFI functional validation tool with behavior Colored Petri Net model.

Rongyang Liu, José G. Delgado-Frias, Doug Boyce, Rahul Khanna

Proceedings of the IEEE 59th International Midwest Symposium on Circuits and Systems, 2016

2015

UEFI USB bus initialization verification using Colored Petri Net.

Rongyang Liu, José G. Delgado-Frias, Doug Boyce, Rahul Khanna

Proceedings of the IEEE 58th International Midwest Symposium on Circuits and Systems, 2015