Previous | 
Home
Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
This year, S. Akshay, from IIT Bombay visited us for a one month stay, from end of May to July. This visit was funded by Rennes 1 University. During this visit, he has worked with B. Genest and L. Hélouët on verification of extensions of Petri nets calle time Petri nets with restricted urgency, that can be used to model communication systems with threshold and latency in messages. The work performed this summer is currently under submission.
Christel Baier, professor at Dresden University, was also invited for a 2-week stay paid by Rennes 1 University. She has worked during her visit with N. Bertrand on long-run quantiles in Markov decision processes.
Doron Peled visited our team for a total duration of a month in Spring 2014. He worked with B. Genest on knowledge computation in distributed systems, a work currently under review.
Valentin Goranko, professor at Stockholm University, was invited for a 2-week stay paid by Rennes 1 University. He has worked during his visit with C. Morvan on first order properties of Rational Graphs.
Laurie Ricker (Mount Allison University) visited us during for 2 months [Mai-June 2014] on the control of distributed systems and the enforcement of opacity.
Robert Nsaibirni (University of Yaoundé) visited SUMO from July to August 2014 on the use of the Guarded Attribute Grammar formalism for the description of the workspaces of actors of a disease surveillance system.
Internships
Research stays abroad
N. Bertrand spent two visits of one month each at Mons University (Belgium), pursuing a collaboration with Thomas Brihaye, and funded by the FNRS. The resulting work on stochastic timed automata with decisions was presented at the QEST conference [29] .