LIN SHANG-WEI

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

LIN SHANG-WEI

(not current staff)

Variants

Lin, S.-W.

Main Affiliation

TEMASEK LABORATORIES

Faculty

SPECIALITY RESEARCH INSTITUTES/CENTRES

dcslins@nus.edu.sg

Results 1-9 of 9 (Search time: 0.003 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2011	An efficient algorithm for learning event-recording automata	Lin, S.-W. ; André, É. ; Dong, J.S. ; Sun, J.; Liu, Y.
2	2012	Automatic compositional verification of timed systems	Lin, S.-W. ; Liu, Y. ; Sun, J.; Dong, J.S. ; André, É.
3	2012	Automatic generation of provably correct embedded systems	Lin, S.-W. ; Liu, Y. ; Hsiung, P.-A.; Sun, J.; Dong, J.S.
4	2013	CELL: A compositional verification framework	Ji, K.; Liu, Y.; Lin, S.-W. ; Sun, J.; Dong, J.S. ; Nguyen, T.K.
5	2014	Compositional synthesis of concurrent systems through causal model checking and learning	Lin, S.-W. ; Hsiung, P.-A.
6	2013	Generating C# programs from CSP# models	Zhu, H.; Dong, J.S. ; Wadhwa, B. ; Lin, S.-W.
7	2014	Learning assumptions for compositionalverification of timed systems	Lin, S.-W. ; Andre, E.; Liu, Y.; Sun, J.; Dong, J.S.
8	2013	PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems	André, É.; Liu, Y.; Sun, J.; Dong, J.S. ; Lin, S.-W.
9	2013	TzuYu: Learning stateful typestates	Xiao, H.; Sun, J.; Liu, Y.; Lin, S.-W. ; Sun, C.