Maxime Soucy-Boivin

According to our database1, Maxime Soucy-Boivin authored at least 2 papers between 2012 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
MapReduce for parallel trace validation of LTL properties.
J. Cloud Comput., 2015

2012
MapReduce for Parallel Trace Validation of LTL Properties.
Proceedings of the Runtime Verification, Third International Conference, 2012


  Loading...