Minyoung Kim
[CV] [Publications] [Coursework/TA] [Contact]
Industry Mentors
Dr. Carolyn Talcott, CSL, SRI
International
Dr. Mark-Oliver Stehr, CSL, SRI
International
xTune; Online Verifiable Cross-Layer Adaptation for Distributed Real-Time
Embedded Systems (Jun. 2006
– present)
IEEE International Real-Time Systems Symposium (RTSS’07) Ph.D. Forum, Dec. 2007, Tucson, AZ, USA
Best Overall Idea Award & Best System
Architecture Award
FORGE;
A Framework for Optimization of Distributed Embedded Systems Software (Oct.
2003 – May. 2006)
Multi-mode Multimedia Terminal, a case study of
system level specification and software synthesis (Oct.2002 – Jun.2003)
Under PeaCE (Ptolemy Extension As Co-design Environment) Project
2003
Anaheim DAC(Design Automation Conference) Universal Booth Demos