Associated team D.S.T : Publications
Joint Publications of DST
 T. Gazagnaire, B. Genest, L. Hélouët, P. S. Thiagarajan, S. Yang: Causal Message Sequence Charts. Theoretical Computer Science 410(41): p 4094-4110, 2009
This publication is a journal version of a work started during the CASDS associated team. It is a special issue of TCS (theoretical Computer Science) journal published at the occasion of Mogens Nielsen’s 60’th birthday.
 P. Darondeau, B. Genest, P. S. Thiagarajan, S. Yang: Quasi-Static Scheduling of Communicating Tasks, to appear in Information and Computation., 2009
This publication was selected from a paper accepted at the CONCUR 2008 conference, work done during the CASDS associated team.
 Anne Bouillard, Linh T.X. Phan and Samarjit Chakraborty,
Functional Modeling of
 Philippe Darondeau, Loic Helouet and Madhavan Mukund. Assembling Sessions.
Related Publications of members of the team
 B. Bollig, L. Hélouët : Realizability of Dynamic MSC languages. CSR, p 48-59, 2010.
 B. Bollig, S. Haar, L. Hélouët : Diagnosis with dynamic Dynamic MSC languages. DOTS, CONCUR satellite, 2010.
 B. Genest, H. Gimbert, A. Muscholl, I. Walukiewicz :. Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. ICALP 2010, 52-63, LNCS 6199.
 B. Genest, L. Hélouët, A. Sundararaman, S. Yang : Regular sets of representatives for Time Constrained MSC graphs, technical note, available [here].
 B. Genest, L. Hélouët, A. Sundararaman, S. Yang : Bounding the Drift in Time-Constrained MSC Graphs and Symbolic Algorithm., technical note.
|Research Themes||Team Members||Publications||Events||Miscellaneous|
Copyright 2010 © DST associated team