Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs. - Julien Bertrane (VMCAI, 2005)

Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems. - Julien Bertrane (SAS, 2006)

Temporal Abstract Domains. - Julien Bertrane (ICECCS, 2011)

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

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