Bertrane Julien

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Bertrane Julien

Bertrane Julien

Thésard sous la direction de Patrick Cousot

Équipe Sémantique et interprétation abstraite
DI - Ecole Normale Supérieure
45, rue d'Ulm
75230 Paris Cedex 05 - France

E-mail: "my_name"@di.ens.fr
Bureau: S11, étage -1
Téléphone: +33 1 44 32 20 66
Fax: +33 1 44 32 21 51 (fax commun au labo, merci d'indiquer mon nom en haut de la page et de me prévenir par email de l'envoi)

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)

SYNCHRON 06 workshop : Static Analysis by Abstract Interpretation of communicating imperfectly-clocked Synchronous Programs(slides)
Groupe de travail MVTSI (LaBRI, Bordeaux), 25 janvier 07 Transparents (french)

MPRI

Analyse statique par interprétation abstraite des réseaux de programmes synchrones communicants à horloge imparfaite (Transparents, french)