Travelled to:1 × Russia
Collaborated with:S.Navabpour Y.Joshi S.Berkovich R.Medhat B.Bonakdarpour S.Fischmeister
Talks about:trigger (1) program (1) runtim (1) verif (1) enabl (1) tool (1) time (1) thm (1)
Person: Chun Wah Wallace Wu
DBLP: Wu:Chun_Wah_Wallace
Contributed to:
2013Wrote 1 papers:
- ESEC-FSE-2013-NavabpourJWBMBF #c #named #runtime #source code #verification
- RiTHM: a tool for enabling time-triggered runtime verification for C programs (SN, YJ, CWWW, SB, RM, BB, SF), pp. 603–606.