@misc{rr-channels-BBOC,
author = {B\'erard, B. and Carton, O.},
month = oct,
title = {{Channel synthesis revisited, Research Report}},
year = {2013},
url = {http://move.lip6.fr/~Beatrice.Berard/PDF/rr-channels-BBOC.pdf},
category = {aut}
}
@misc{rr-QO10,
author = {B\'erard, B. and Mullins, J. and Sassolas, M.},
month = dec,
title = {{Research Report on Quantifying Opacity}},
year = {2010},
url = {http://move.lip6.fr/~Beatrice.Berard/PDF/rr-Quant-Op.pdf},
category = {aut}
}
@inproceedings{BBLMRS09,
address = {{Los Angeles, California, USA}},
author = {Benattar, G. and B\'erard, B. and Lime, D. and Mullins, J. and Roux, O. (H.) and Sassolas, M.},
booktitle = {{P}roceedings of the {LICS Workshop}
on {F}oundations of {C}omputer
{S}ecurity ({FCS}'09)},
month = aug,
title = {{Covert Channels with Transducers}},
year = {2009},
category = {aut},
url = {http://move.lip6.fr/~Beatrice.Berard/PDF/CovertChannels.pdf}
}
@techreport{LSV:09:01,
author = {B\'erard, B. and Haddad, S.},
title = {{Interrupt Timed Automata: a step further}},
year = {2009},
number = {LSV-09-1},
month = jan,
institution = {Lab.\ Specification and Verification, ENS de Cachan},
address = {Cachan, France},
category = {aut},
note = {24 pages},
url = http://www.lsv.ens-cachan.fr/publis/rapports_lsv/pdf/rr-lsv-2009-01.pdf
}
@inproceedings{BBS-afadl2004,
address = {Besan{\c c}on, France},
author = {{Ben Gaid}, M. and B{\'e}rard, B. and
{De Smet}, O.},
booktitle = {{A}ctes du 6{\`e}me {A}telier sur les {A}pproches
{F}ormelles dans l'{A}ssistance au
{D}{\'e}veloppement de {L}ogiciels ({AFADL}'04)},
editor = {Julliand, J.},
month = jun,
pages = {223-238},
title = {Mod{\'e}lisation et v{\'e}rification d'un
{\'e}vaporateur en {Uppaal}},
year = {2004},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BBS-afadl04.ps.gz},
category = {aut}
}
@techreport{Averroes-4.1.1,
author = {B{\'e}rard, B. and
Laroussinie, F.},
institution = {Projet RNTL Averroes},
month = nov,
note = {16 pages},
number = {(Lot~4.1 fourniture~1)},
type = {Contract Report},
title = {V{\'e}rification compositionnelle des p-automates},
year = {2003},
category = {aut}
}
@inproceedings{BBP-msr2003,
address = {Metz, France},
author = {B{\'e}rard, B. and Bouyer, P. and
Petit, A.},
booktitle = {{A}ctes du 4{\`e}me {C}olloque sur la
{M}od{\'e}lisation des {S}yst{\`e}mes {R}{\'e}actifs
({MSR}'03)},
editor = {M{\'e}ry, D. and Rezg, N. and
Xie, X.},
month = oct,
pages = {415-430},
publisher = {Herm{\`e}s},
title = {Une analyse du protocole {PGM} avec {UPPAAL}},
year = {2003},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BBP-msr2003.ps.gz},
category = {aut}
}
@inproceedings{bbp-rttools02,
address = {Copenhagen, Denmark},
author = {B{\'e}rard, B. and Bouyer, P. and
Petit, A.},
booktitle = {{P}roceedings of the 2nd {W}orkshop on {R}eal-{T}ime
{T}ools ({RT-TOOLS}'02)},
editor = {Petterson, P. and Yi, W.},
howpublished = {Technical Report 2002-025, Department of Information
Technology, Uppsala University, Sweden},
month = aug,
publisher = {Uppsala University},
title = {Analysing the {PGM} Protocol with {UPPAAL}},
year = {2002},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/pgmfin.ps.gz},
category = {aut}
}
@phdthesis{berard-hab-02,
author = {B{\'e}rard, B.},
month = apr,
school = {Universit{\'e} Paris~7, Paris, France},
type = {M{\'e}moire d'habilitation},
title = {{V}{\'e}rification de mod{\`e}les temporis{\'e}s},
year = {2002},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BB-habile.ps.gz},
category = {aut}
}
@techreport{Calife-4.4,
author = {B{\'e}rard, B. and Bouyer, P. and
Petit, A.},
institution = {projet RNRT Calife},
month = nov,
note = {18 pages},
number = {4.4},
type = {Contract Report},
title = {Mod{\'e}lisation du protocole~{PGM} et de certaines
de ses propri{\'e}t{\'e}s en {UPPAAL}},
year = {2001},
category = {aut}
}
@misc{Calife-1.1,
author = {B{\'e}rard, B. and Cast{\'e}ran, P. and
Fleury, E. and Fribourg, L. and
Monin, J.-F. and Christine P. and
Petit, A. and Rouillard, D.},
howpublished = {Fourniture~1.1 du projet RNRT Calife},
month = apr,
title = {Document de sp{\'e}cification du mod{\`e}le commun},
year = {2000},
category = {aut}
}
@techreport{LSV:00:2,
author = {B{\'e}rard, B. and Sierra, L.},
institution = {Laboratoire Sp{\'e}cification et V{\'e}rification,
ENS Cachan, France},
month = jan,
number = {LSV-00-2},
type = {Research Report},
title = {Comparing Verification with {H}y{T}ech, {K}ronos and
{U}ppaal on the Railroad Crossing Example},
year = {2000},
url = {http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-2000-2.rr.ps},
category = {aut}
}
@techreport{BB-MB-AP-src98,
author = {B{\'e}rard, B. and Bidoit, M. and
Petit, A.},
institution = {EDF/DER/MOS - LSV},
type = {Contract Report},
title = {Recommandations sur le cahier des charges {SRC}},
year = {1998},
category = {aut}
}
@techreport{DD3-98,
author = {B{\'e}rard, B. and C{\'e}c{\'e}, G. and
Dufourd, C. and Finkel, A. and
Laroussinie, F. and Petit, A. and
Schnoebelen, {\relax Ph}. and
Sutre, G.},
institution = {EDF/DER/MOS - LSV},
month = oct,
type = {Contract Report},
title = {Le model-checking, une technique de v{\'e}rification
en plein essor. {II} -- {Q}uelques outils},
year = {1998},
category = {aut}
}
@techreport{LSV:97:3,
author = {B{\'e}rard, B. and Gastin, P. and
Petit, A.},
institution = {Laboratoire Sp{\'e}cification et V{\'e}rification,
ENS Cachan, France},
month = apr,
number = {LSV-97-3},
type = {Research Report},
title = {Refinement and Abstraction for Timed Languages},
year = {1997},
url = {http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-1997-3.rr.ps},
category = {aut}
}
@techreport{forma-sric-BerBid-97,
author = {B{\'e}rard, B. and Bidoit, M.},
institution = {Action FORMA},
month = oct,
type = {Contract Report},
title = {Contribution du {LSV} {\`a} l'op{\'e}ration 2
«~{\'E}tude de cas {SRIC}~»},
year = {1997},
category = {aut}
}
@inproceedings{BB-afcet93,
address = {Versailles, France},
author = {B{\'e}rard, B.},
booktitle = {{F}ondements du {P}arall{\'e}lisme : {A}ctes du 1er
{C}ongr{\`e}s {B}iennal de l'{AFCET}},
month = jun,
pages = {121-130},
publisher = {AFCET},
title = {S{\'e}rialisabilit{\'e} de programmes parall{\`e}les
avec boucles},
year = {1993},
category = {aut}
}
@misc{berard-th-85,
author = {B. Bérard},
title = {{S}huffle littéral, étude formelle et applications},
year = {1985},
month = may,
howpublished = {{T}hèse de troisième cycle, Universit{\'e} Paris 7},
category = {aut}
}
This file was generated by bibtex2html 1.92.