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...