Hosung Song

Online Shared Editing for Introductory Programming Courses

Hosung Song, 2010, CSEDU.

The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems

Hosung Song, William C. Rounds, W. Rounds, 2003, HSCC.

Formal specification and verification of reconfigurable hybrid systems

Hosung Song, William C. Rounds, Kevin J. Compton, 2005 .

SPHIN: A model checker for reconfigurable hybrid systems based on SPIN

Hosung Song, William C. Rounds, Kevin J. Compton, 2006, Electron. Notes Theor. Comput. Sci..

A Technique to Save More Energy Using Redundant Processors in Hard Real-Time Systems with DVS

Hosung Song, 2008, ESA.