Associated team D.S.T : Events
 |
 |
 |
 |
Latest News
08/11-10/11
: Madhavan Mukund visits Rennes.
04/11-... : Akshay Sundararaman is now on a post doc position in Distribcom
04/11-... : Akshay Sundararaman is now on a post doc position in Distribcom
2011
21/08-30/09 : Akshay Sundararaman will visit Rennes to continue the work on time constrained scenarios.
23/06 : A common paper on distributed sessions composition was accepted at ATVA 2011.
18/05 - 18/05 : L.Hélouët and M.Mukund met in Paris to continue the work on the session formalism.
09/05 : Work on sessions composition was submitted to a conference.
09/04 : Work on Time constrained MSC graphs was submitted to a conference.
26/01 - 02/02 : L.Hélouët visited M.Mukund and N. Kumar to continue work on the session formalism and to give a talk during the ACTS conference.
2010
01/12 - 10/12 : L.Hélouët, B. Genest, S. Akshay and S. Yang met in Singapore to continue working on Time Constrianed MSCs..
3/05 - 8/05 : Madhavan Mukund visited S4 and Distribcom teams in Rennes. Joint work with Ph. Darondeau on Workflow/session based formalism for the description of web applications.
01/04 : Rouwaida Abdallah joined the Distribcom team for a PhD. She will be involved in the realistic (timed) implementation topic.
05/02-15/ 02 : Anne Bouillard visited P.S. Thiagarajan at NUS.
30/01 - 05/02
: Loic Hélouët was invited for the ACTS workshop in
Chennai.
01/2010 :
Blaise Genest moved to Singapore.
2009
28/11- 08/12 : Loic Helouet visited P.S. Thiagarajan at
NUS. Joint
work on timed Message Sequence Charts with a real time semantics.
9/11 - 22/11 : Soumya Paul visited S4 and Distribcom. Work on the Quasi-static Scheduling problem (how to verify the existence of distributed controllers to ensure that communication channels remain bounded.
01/05 - 24/07 : Gunjan Aggarwal spent three months in the Distribcom Team as a summer inter. She developped a timed simulator for scenarios. See details here.
21/01 - 31/01 : Philippe Darondeau & Loïc Hélouët visited the indian part of the team. The topic addressed during this sojour, was realistic implementation, i.e how to implement in a dsitributed way a specification with as little messages as possible.
9/11 - 22/11 : Soumya Paul visited S4 and Distribcom. Work on the Quasi-static Scheduling problem (how to verify the existence of distributed controllers to ensure that communication channels remain bounded.
01/05 - 24/07 : Gunjan Aggarwal spent three months in the Distribcom Team as a summer inter. She developped a timed simulator for scenarios. See details here.
21/01 - 31/01 : Philippe Darondeau & Loïc Hélouët visited the indian part of the team. The topic addressed during this sojour, was realistic implementation, i.e how to implement in a dsitributed way a specification with as little messages as possible.
Before D.S.T
DST is a followup of a former associated team called CASDS.
| Research Themes | Team Members | Publications | Events | Miscellaneous |
|
Copyright 2010 © DST associated team |