Pierre Rousseau

According to our database, Pierre Rousseau authored at least 9 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Implementation and evaluation of particle filtering for indoor positioning.

Johan Chateau, Pierre Rousseau, Gregory Albiston, Beverley Cook, Stylianos Papanastasiou, Evtim Peytchev

Proceedings of the IEEE Symposium on Computers and Communications, 2014

2008

GPU Rainfall.

Pierre Rousseau, Vincent Jolivet, Djamchid Ghazanfarpour

J. Graph. Tools, 2008

High-Speed Private Information Retrieval Computation on GPU.

Carlos Aguilar Melchor, Benoît Crespin, Philippe Gaborit, Vincent Jolivet, Pierre Rousseau

Proceedings of the Second International Conference on Emerging Security Information, 2008

Adapting Petri Nets Reductions to Promela Specifications.

Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2006

Realistic real-time rain rendering.

Pierre Rousseau, Vincent Jolivet, Djamchid Ghazanfarpour

Comput. Graph., 2006

A New Approach for Concurrent Program Slicing.

Pierre Rousseau

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Dynamic Tasks Verification with Quasar.

Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the Reliable Software Technology, 2005

2003

Verifying linear time temporal logic properties of concurrent Ada programs with quasar.

Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, 2003

Quasar: A New Tool for Concurrent Ada Programs Analysis.

Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the Reliable Software Technologies, 2003