We stand with Ukraine  

Julien Bertrane

According to our database1, Julien Bertrane authored at least 5 papers between 2005 and 2015.

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

2015
Static Analysis and Verification of Aerospace Software by Abstract Interpretation.
[BibTeX]
[DOI]
Julien Bertrane
,
Patrick Cousot
,
Radhia Cousot
,
Jérôme Feret
,
Laurent Mauborgne
,
Antoine Miné
,
Xavier Rival
Found. Trends Program. Lang., 2015

2011
Static analysis by abstract interpretation of embedded critical software.
[BibTeX]
[DOI]
Julien Bertrane
,
Patrick Cousot
,
Radhia Cousot
,
Jérôme Feret
,
Laurent Mauborgne
,
Antoine Miné
,
Xavier Rival
ACM SIGSOFT Softw. Eng. Notes, 2011

Temporal Abstract Domains.
[BibTeX]
[DOI]
Julien Bertrane
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2006
Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems.
[BibTeX]
[DOI]
Julien Bertrane
Proceedings of the Static Analysis, 13th International Symposium, 2006

2005
Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs.
[BibTeX]
[DOI]
Julien Bertrane
Proceedings of the Verification, 2005


  Loading...