| 2008 |
|---|
| 7 | EE | Christophe Pajault,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Adapting Petri Nets Reductions to Promela Specifications.
FORTE 2008: 84-98 |
| 6 | EE | Carlos Aguilar Melchor,
Benoît Crespin,
Philippe Gaborit,
Vincent Jolivet,
Pierre Rousseau:
High-Speed Private Information Retrieval Computation on GPU.
SECURWARE 2008: 263-272 |
| 2006 |
|---|
| 5 | EE | Pierre Rousseau:
A New Approach for Concurrent Program Slicing.
FORTE 2006: 228-242 |
| 4 | EE | Pierre Rousseau,
Vincent Jolivet,
Djamchid Ghazanfarpour:
Realistic real-time rain rendering.
Computers & Graphics 30(4): 507-518 (2006) |
| 2005 |
|---|
| 3 | EE | Sami Evangelista,
Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Dynamic Tasks Verification with Quasar.
Ada-Europe 2005: 91-104 |
| 2003 |
|---|
| 2 | EE | Sami Evangelista,
Claude Kaiser,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Quasar: A New Tool for Concurrent Ada Programs Analysis.
Ada-Europe 2003: 168-181 |
| 1 | EE | Sami Evangelista,
Claude Kaiser,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Verifying linear time temporal logic properties of concurrent Ada programs with quasar.
SIGAda 2003: 17-24 |
