Systematic/Automatic Debugging for path Real Time Logic -- SDRTL/ADRTL

Home

People Papers Tool description Java docs

 

 

Stefan Andrei
Wei-Ngan Chin
Albert M.K. Cheng
Mihai Lupu

 

 

 

Stefan Andrei

Assistant Professor, Ph-D
Singapore-MIT Alliance
Department of Computer Science
School of Computing
National University of Singapore

Wei-Ngan Chin

Associate Professor
Department of Computer Science
School of Computing
National University of Singapore

Albert M.K. Cheng

Associate Professor
Director of Real-Time Systems Laboratory
Department of Computer Science
University of Houston

Mihai Lupu

Post-graduate Student
Singapore-MIT Alliance
Department of Computer Science
School of Computing
National University of Singapore

 

 

 

***