|
 
|
Pierre Rousseau
|
Doctorant(e) Equipe Mim Parti depuis le 01/01/2006 Mail : pierre.rousseau  cnam.fr
Tel : 0140272049 Fax : 0140272845 http://deptinfo.cnam.fr/~rouss_pi/ Directeur de thèse : Claude Kaiser Co-Directeur(s) : Jean-François Pradat-Peyre |
Pierre's Tag-Cloud : |
description
Publications
2006
-
[KPE06]
C. Kaiser, J. Pradat-Peyre, S. Evangelista, P. Rousseau.
"Comparing Java, C# and Ada Monitors queuing policies : a case study and its refinement",
ACM Ada Letters,
vol. 26(2), pp. 23-37,
2006
- [ROU06] P. Rousseau. "A new approach for concurrent program slicing", January 2006, Vol. 4229, pp.228-242, Series LNCS,
- [ROU06b] P. Rousseau. "Découpe de programmes concurrents en vue de leur vérification", Soutenue le: 01 January 2006,
Revue Internationale avec comité de lecture
Conférence Internationale avec comité de lecture
Mémoire de Thèse
2004
- [ROU04c] P. Rousseau. "Slicing concurrent programs using the Quasar tool", ICSSEA'04, January 2004,
- [ROU04a] P. Rousseau. "Découpe de programmes concurrents avec Quasar", ICSSEA, January 2004,
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
2003
- [EKP03a] S. Evangelista, C. Kaiser, J. Pradat-Peyre, P. Rousseau. "Verifying Linear Time Temporal Logic Properties of Concurrent Ada Programs with Quasar", ACM Ada Letters, vol. 24(1), pp. 17-24, 2003
- [EKP03] S. Evangelista, C. Kaiser, J. Pradat-Peyre, P. Rousseau. "Quasar : A New Tool for Concurrent Ada Programs Analysis", January 2003, Vol. 2655, pp.166-181, Series LNCS,
