We stand with Ukraine  

Sylvain Dailler

According to our database1, Sylvain Dailler authored at least 3 papers between 2015 and 2018.

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

2018
Instrumenting a weakest precondition calculus for counterexample generation.
[BibTeX]
[DOI]
Sylvain Dailler
,
David Hauzar
,
Claude Marché
,
Yannick Moy
J. Log. Algebraic Methods Program., 2018

Lightweight Interactive Proving inside an Automatic Program Verifier.
[BibTeX]
[DOI]
Sylvain Dailler
,
Claude Marché
,
Yannick Moy
Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

2015
Extension paramétrée de compilateur certifié pour la programmation parallèle. (Parameterised extension of certified compiler for parallel programming).
[BibTeX]
[DOI]
Sylvain Dailler
PhD thesis, 2015


  Loading...