Andrei Stefan

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

Andrei Stefan

(not current staff)

Variants

Andrei, Ş.
Andrei, S.

Main Affiliation

SINGAPORE-MIT ALLIANCE

Faculty

NON-FACULTY-BASED DEPARTMENTS

dcsas@nus.edu.sg

Refined By:

Department: SINGAPORE-MIT ALLIANCE

Author: Cheng, A.M.K.

Results 1-4 of 4 (Search time: 0.002 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2006	Automatic debugging of real-time systems based on incremental satisfiability counting	Andrei, Ş. ; Chin, W.N. ; Cheng, A.M.K.; Lupu, M.
2	2006	Faster verification of RTL-specified systems via decomposition and constraint extension	Andrei, Ş. ; Cheng, A.M.K.
3	2006	Optimization of real-time systems timing specifications	Andrei, Ş. ; Cheng, A.M.K.
4	2005	Runtime-coordinated scalable incremental checksum testing of combinational circuits	Andrei, Ş. ; Chin, W.-N. ; Cheng, A.M.K.; Zhu, Y.