Shaofa Yang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2007–2012
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICTAC | Symbolically Bounding the Drift in Time-Constrained MSC Graphs. | S. Akshay, Blaise Genest, Loc Hlout, Shaofa Yang |
| 2008 | CONCUR | Quasi-Static Scheduling of Communicating Tasks. | Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang |
| 2007 | CONCUR | Causal Message Sequence Charts. | Thomas Gazagnaire, Blaise Genest, Loc Hlout, P. S. Thiagarajan, Shaofa Yang |