Associated team D.S.T : Publications

Joint Publications of DST

[1] 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.

[2] 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.

[3] Anne Bouillard, Linh T.X. Phan and Samarjit Chakraborty, Functional Modeling of Complex State Dependencies in Stream-Processing Systems, 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2009).

This work was initiated during the former collaboration within the CASDS associated team.

[4] Philippe Darondeau, Loic Helouet and Madhavan Mukund. Assembling Sessions.

Related Publications of members of the team

[1] B. Bollig, L. Hélouët : Realizability of Dynamic MSC languages. CSR, p 48-59, 2010.

[2] B. Bollig, S. Haar, L. Hélouët : Diagnosis with dynamic Dynamic MSC languages. DOTS, CONCUR satellite, 2010.

[3] B. Genest, H. Gimbert, A. Muscholl, I. Walukiewicz :. Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. ICALP 2010, 52-63, LNCS 6199.

Ongoing work

[1] B. Genest, L. Hélouët, A. Sundararaman, S. Yang : Regular sets of representatives for Time Constrained MSC graphs, technical note, available [here].

[2] B. Genest, L. Hélouët, A. Sundararaman, S. Yang : Bounding the Drift in Time-Constrained MSC Graphs and Symbolic Algorithm., technical note.