Thomas Huining Feng

2007
2	EE	Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia: Interactive presentation: Automatic model generation for black box real-time systems. DATE 2007: 930-935
2006
1	EE	Thomas Huining Feng, Edward A. Lee: Incremental checkpointing with application to distributed discrete event simulation. Winter Simulation Conference 2006: 1004-1011

Coauthor Index

1	Sri Kanajan	[2]
2	Edward A. Lee	[1]
3	Sanjit A. Seshia	[2]
4	Lynn Wang	[2]
5	Wei Zheng	[2]

Colors in the list of coauthors