Maxime Soucy-Boivin

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 1

Top Topics

Linear Temporal Logic

Parallel Programming

Topological Properties

High Performance Data Mining

Top Venues

J. Cloud Comput.

Publications

Sylvain Hallé, Maxime Soucy-Boivin
MapReduce for parallel trace validation of LTL properties. J. Cloud Comput. 4 (2015)
Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé
MapReduce for Parallel Trace Validation of LTL Properties. RV (2012)