Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. - Samaneh Navabpour; Chun Wah Wallace Wu; Borzoo Bonakdarpour; Sebastian Fischmeister (RV, 2011)

Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques. - Chun Wah Wallace Wu; Deepak Kumar; Borzoo Bonakdarpour; Sebastian Fischmeister (RV, 2013)

RiTHM: a tool for enabling time-triggered runtime verification for C programs. - Samaneh Navabpour; Yogi Joshi; Chun Wah Wallace Wu; Shay Berkovich; Ramy Medhat; Borzoo Bonakdarpour; Sebastian Fischmeister (ESEC/SIGSOFT FSE, 2013)

Evaluation of Communication Architectures for Switched Real-Time Ethernet. - Gonzalo Carvajal; Chun Wah Wallace Wu; Sebastian Fischmeister (IEEE Trans. Computers, 2014)