We stand with Ukraine  

Julien Braine

According to our database1, Julien Braine authored at least 2 papers between 2021 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
The Data-abstraction Framework: abstracting unbounded data-structures in Horn clauses, the case of arrays. (La Méthode Data-abstraction: une technique d'abstraction de structures de données non-bornées dans des clauses de Horn, le cas des tableaux).
[BibTeX]
[DOI]
Julien Braine
PhD thesis, 2022

2021
Data Abstraction: A General Framework to Handle Program Verification of Data Structures.
[BibTeX]
[DOI]
Julien Braine
,
Laure Gonnord
,
David Monniaux
Proceedings of the Static Analysis - 28th International Symposium, 2021


  Loading...