Login / Signup
Benjamin Barre
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Linear Temporal Logic
Data Parallelism
Topological Properties
High Performance Data Mining
Top Venues
RV
</>
Publications
</>
Benjamin Barre
,
Mathieu Klein
,
Maxime Soucy-Boivin
,
Pierre-Antoine Ollivier
,
Sylvain Hallé
MapReduce for Parallel Trace Validation of LTL Properties.
RV
(2012)