Julien Bertrane
ATER (Attaché temporaire d'enseignement et de recherche) au DI-LIENS
Équipe Sémantique et interprétation abstraite (ENS,CNRS, INRIA).
DI - Ecole Normale Supérieure
45, rue d'Ulm
75230 Paris Cedex 05 - France
E-mail: "my_name"@di.ens.fr
Bureau: Bâtiment principal, esc. de la direction,
2ème étage, gauche, bureau 5
main building, stairway for the headmaster, 2nd floor, left-hand side,
office 5
Téléphone: +33 1 44 32 21 12
Publications :
- VMCAI 05: Static analysis by abstract
interpretation of the quasi-synchronous composition of synchronous
programs(paper) VMCAI 05(slides)
- SAS 06: Proving the Properties of Communicating
Imperfectly-Clocked Synchronous Systems(paper) SAS 06(slides)
- AIAA 10:
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
AIAA Infotech@Aerospace
Co-authors:
P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival.
- UML&FM'10 : Static Analysis by Abstract Interpretation of Embedded Critical Software
Invited paper, East China Normal University, Shanghai, China, November 2010. Slides
Co-authored with
J. Bertrane, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Mine, X. Rival.
- ICECCS 2011:
Temporal Abstract Domains
Talks :
- SYNCHRON 06 workshop : Static Analysis by Abstract Interpretation of
communicating imperfectly-clocked Synchronous Programs(slides)
- Le Laboratoire
Sûreté des Logiciels (CEA, Saclay), 22 mars 07 Transparents (french)
- Groupe de travail
MVTSI (LaBRI, Bordeaux), 25 janvier 07 Transparents (french)
- Logic and
Semantics Group Seminars (Queen Mary University), 5 août 08 Slides
- Seminari
del Dipartimento di Informatica (Università degli Studi di Verona), 16 septembre 08 Slides
- Compiler Design Lab (Universität des
Saarlandes, Saarbrüken), 18 novembre 08
- Shanghai Key Laboratory of
Trustworthy Computing, East China Normal University,
Shanghai, China, 18 décembre 08
- Shanghai Key Laboratory of
Trustworthy Computing, East China Normal University,
Shanghai, Chine, 23 septembre 09. Slides
- Laboratoire ELIAUS,
Université de Perpignan, 4 février
10. Transparents (french)
- équipe ProVal, INRIA Saclay - LRI, Orsay, 5 février 10. Transparents (french)
- Séminaire de l'IRISA, centre Inria Rennes-Bretagne Atlantique, 10 mars 2011
Teaching :