Julien Bertrane

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 1

Top Topics

Static Analysis

Abstract Interpretation

Top Venues

Found. Trends Program. Lang.

Publications

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Found. Trends Program. Lang. 2 (2-3) (2015)
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Julien Bertrane
Temporal Abstract Domains. ICECCS (2011)
Julien Bertrane
Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems. SAS (2006)
Julien Bertrane
Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs. VMCAI (2005)