Simon Yuan

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 1

Publications

Leonardo Lima, Andrei Herasimau, Martin Raszyk, Dmitriy Traytel, Simon Yuan
Explainable Online Monitoring of Metric Temporal Logic. TACAS (2) (2023)
Simon Yuan, Li Hsien Yoong, Partha S. Roop
Compiling Esterel for Multi-core Execution. DSD (2011)
Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen
Tight WCRT analysis of synchronous C programs. CASES (2009)
Simon Yuan, Li Hsien Yoong, Sidharta Andalam, Partha S. Roop, Zoran Salcic
A New Multithreaded Architecture Supporting Direct Execution of Esterel. EURASIP J. Embed. Syst. 2009 (2009)
Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic
STARPro - A new multithreaded direct execution platform for Esterel. Electron. Notes Theor. Comput. Sci. 238 (1) (2009)