Publications

SOMMAIRE

Publications de Clearsy
Comités de Programmes
Publications des Collaborateurs de ClearSy

ClearSy Publications - Lilian BURDY

Thèse

• L. Burdy
  "Expression dépourvues de sens de la théorie des ensembles: Application à la méthode B"
  Thèse de doctorat du CNAM, Mai 2000
  Plus de détails sur l'article...

Revues internationales

• L. Burdy, Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino and E. Poll
  "An overview of JML tools and applications"
  FMICS'03, volume 80 of ENTCS, Elsevier, Trondheim, 2003
  Télécharger

Revues nationales

• L. Burdy; L. Casset, A. Requet
  "Développement d'un vérifieur de byte-code embarqué''
  Technique et Science Informatiques (TSI), 22, 2003
  Télécharger

Conférences

• Lilian Burdy, Marieke Huisman, and Mariela Pavlova
  "Preliminary design of BML: A behavioral interface specification language for Java bytecode. In Fundamental Approaches to Software Engineering" (FASE 2007)
  volume 4422 of Lecture Notes in Computer Science, pages 215-229. Springer-Verlag, 2007.

• L. Burdy, M. Pavlova
  "Java Bytecode Specification and Validation"
  SAC 06, Dijon, France, April 2006.

• R. Sola, S. Coudert, S. Gabriele, S. Hoffmann, L. Burdy
  "Microkernel API formal modelisation"
  SAME 2005 Forum, Nice, France, October 2005
  Télécharger

•  M. Pavlova, G. Barthe, L. Burdy, M. Huisman, J.-L. Lanet
  "Enforcing high-level security properties for applets"
  In P. Paradinas and J.-J. Quisquater, editors, Proceedings of CARDIS'04, Toulouse, France, August 2004. Kluwer Academic Publishers.
  Télécharger

•  L. Burdy, A. Requet, J.-L. Lanet
  "Java Applet Correctness: a Developer-Oriented Approach"
  FME 2003: Formal Methods, LNCS 2805, p 422-439, Springer-Verlag, Pisa, September 2003
  Télécharger

•  L. Burdy, A. Requet
  "Extending B with control flow breaks"
  ZB 2003: Formal Specification and Development in Z and B, LNCS 2651, p 513-527, Springer-Verlag, Turku, 2003.
    Télécharger

•  L. Burdy, A. Requet
  "JACK : Java Applet Correctness Kit"
  4th Gemplus Developer Conference, Singapore, November 2002
  Télécharger

• L. Casset, L. Burdy, A. Requet
  "Formal development of an embedded bytecode verifier"
  International Conference on Dependable Systems & Networks (DSN '02), pp. 51-58, IEEE Press, Washington D.C., 2002
  Télécharger

• L. Burdy, J.-M. Meynadier
  "Experience on the Use of a Formal Method in a Railway Company"
  9th IFAC Symposium on Control in Transportation System - Braunschweig - 2000
  L. Burdy, J.-M. Meynadier

• P. Behm, L. Burdy, J.-M. Meynadier
  "Well Defined B"
  B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, LNCS 1393, p 29-45, Montpellier, April 1998

•  L. Burdy
  "Obligation de preuve de raffinement en B"
  1ère conférence B - Nantes 1996

Publications Diverses

• L. Burdy.
  "B vs. Coq to prove a Garbage Collector"
  TPHOLs 2001: Supplemental Proceedings - in Technical Report EDI-INF-RR-0046
  Télécharger

• L. Burdy.
  Automatic refinement
  FM'99 workshop -- Applying B in an industrial context : Tools, Lessons and Techniques - Toulouse - 1999
  Télécharger

• L. Burdy.
  "A treatment of partiality : its application to the B method"
  Workshop on mechanization of partial function CADE 15 - Lindau 1998
  Télécharger