e-address: yangsf ((AT)) comp.nus.edu.sg
[7] Quasi-static scheduling of communicating tasks.
(with Philippe Darondeau, Blaise Genest, P. S. Thiagarajan)
In Proc. of 19th Int. Conf. on Concurrency Theory (CONCUR),
Lecture Notes in Computer Science 5201.
Springer 2008. (extended version)
[6]
Causal message sequence charts.
(with Thomas Gazagnaire, Blaise Genest, Loïc Hélouët,
P. S. Thiagarajan).
In Proc. of 18th Int. Conf. on Concurrency Theory (CONCUR)
Lecture Notes in Computer Science 4703. Springer. Pages
166--180. 2007.
(extended version)
[5]
Anchored concatenation of MSCs.
(with Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan).
In Formal Models, Languages and Applications,
Vol. 66 of
Series in Machine Perception and Artificial Intelligence.
World-Scientific Publishing, Singapore. 2006.
[4]
Communicating transaction processes.
(Shaofa Yang, Dines Bjørner)
Section 13.6 (pages 443-467) of
Dines Bjørner: Software Engineering 2. EATCS Texts in
Theoretical Computer Science. Springer, 2006.
[3]
Behavioural approximations for restricted linear differential hybrid
automata.
(with Manindra Agrawal, Frank Stephan, P. S. Thiagarajan).
In Proc. of the 9th Int. Workshop on
Hybrid Systems: Computation and
Control (HSCC).
Lecture Notes in Computer Science 3927,
pages 4-18.
Springer. 2006.
(extended version)
[2]
The MSO theory of connectedly communicating processes.
(with P. Madhusudan, P. S. Thiagarajan).
In Proc. of the 25th Conf. on Foundations of Software
Technology and
Theoretical Computer Science (FSTTCS),
Lecture Notes in Computer
Science 3821, pages 201-212.
Springer. 2005 (extended version)
[1] Improved algorithms for low power multiplexor
decomposition.
(Shaofa Yang, Hon Wai Leong).
J. of Circuits, Systems, and Computers. 14(6): 1085-1099.
World Scientific Publishing, Singapore. 2005
(extended version)
PhD Thesis:
Controller synthesis for reactive systems in distributed, real-time and hybrid settings.
Department of Computer Science, National University of Singapore. 2006.