Shaofa Yang

Postdoc, UNU-IIST, Macao (with Jeff W. Sanders)

Contact me at : 1 "at" 2 where 1=ysf and 2=iist.unu.edu

Research Interests: Formal methods related to concurrent systems, hybrid systems

09/2006-07/2008: Postdoc, INRIA, Rennes, France (with Loïc Hélouët)
08/2003-08/2006: Ph.D., Nat. U. of Singapore (with P.S. Thiagarajan)

Publications

• Quasi-static scheduling of communicating tasks.
(with Philippe Darondeau, Blaise Genest, P. S. Thiagarajan)
To appear in Information and Computation.
Preliminary version appeared in CONCUR 2008, LNCS 5201, pp. 310--324.

• Causal message sequence charts.
(with Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan).
In Theoretical Computer Science, 410(41):4094--4110, 2009.
Preliminary version appeared in CONCUR 2007, LNCS 4703, pp. 166--180.

• Logic-Based Diagnosis for Distributed Systems.
(Shaofa Yang, Loïc Hélouët, Thomas Gazagnaire)
In Perspectives in Concurrency -- Feststichrift for P.S. Thiagarajan.
Universities Press (India), 2009.

• 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.

• 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.

• 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)

• 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)

• 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.