Quasar: A New Tool for Concurrent Ada Programs Analysis. - Sami Evangelista; Claude Kaiser; Jean-François Pradat-Peyre; Pierre Rousseau (Ada-Europe, 2003)

Verifying linear time temporal logic properties of concurrent Ada programs with quasar. - Sami Evangelista; Claude Kaiser; Jean-François Pradat-Peyre; Pierre Rousseau (SIGAda, 2003)

Dynamic Tasks Verification with Quasar. - Sami Evangelista; Claude Kaiser; Christophe Pajault; Jean-François Pradat-Peyre; Pierre Rousseau (Ada-Europe, 2005)

A New Approach for Concurrent Program Slicing. - Pierre Rousseau (FORTE, 2006)

Realistic real-time rain rendering. - Pierre Rousseau; Vincent Jolivet; Djamchid Ghazanfarpour (Comput. Graph., 2006)

Adapting Petri Nets Reductions to Promela Specifications. - Christophe Pajault; Jean-François Pradat-Peyre; Pierre Rousseau (FORTE, 2008)

High-Speed Private Information Retrieval Computation on GPU. - Carlos Aguilar Melchor; Benoît Crespin; Philippe Gaborit; Vincent Jolivet; Pierre Rousseau (SECURWARE, 2008)

GPU Rainfall. - Pierre Rousseau; Vincent Jolivet; Djamchid Ghazanfarpour (J. Graph. Tools, 2008)

Implementation and evaluation of particle filtering for indoor positioning. - Johan Chateau; Pierre Rousseau; Gregory Albiston; Beverley Cook; Stylianos Papanastasiou; Evtim Peytchev (ISCC, 2014)