| |
| 2008 | ||
|---|---|---|
| 3 | Hosung Song: A Technique to Save More Energy Using Redundant Processors in Hard Real-Time Systems with DVS. ESA 2008: 3-9 | |
| 2006 | ||
| 2 | EE | Hosung Song, Kevin J. Compton, William C. Rounds: SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. Electr. Notes Theor. Comput. Sci. 145: 167-183 (2006) |
| 2003 | ||
| 1 | EE | William C. Rounds, Hosung Song: The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems. HSCC 2003: 435-449 |
| 1 | Kevin J. Compton | [2] |
| 2 | William C. Rounds | [1] [2] |