Simon Yuan

According to our database, Simon Yuan authored at least 5 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Explainable Online Monitoring of Metric Temporal Logic.

Leonardo Lima, Andrei Herasimau, Martin Raszyk, Dmitriy Traytel, Simon Yuan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2011

Compiling Esterel for Multi-core Execution.

Simon Yuan, Li Hsien Yoong, Partha S. Roop

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2009

A New Multithreaded Architecture Supporting Direct Execution of Esterel.

Simon Yuan, Li Hsien Yoong, Sidharta Andalam, Partha S. Roop, Zoran Salcic

EURASIP J. Embed. Syst., 2009

Tight WCRT analysis of synchronous C programs.

Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen

Proceedings of the 2009 International Conference on Compilers, 2009

2008

STARPro - A new multithreaded direct execution platform for Esterel.

Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic

Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, 2008