Steven German

According to our database, Steven German authored at least 1 paper in 2009.

Collaborative distances:

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

2009

Multicore power management: Ensuring robustness via early-stage formal verification.

Anita Lungu, Pradip Bose, Daniel J. Sorin, Steven German, Geert Janssen

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009