Accueil | Actualités B | La Méthode B | Travaux R&D | Preuve Formelle | Publications | Conférences | B, les différents langages | Projets Open Source | Outils B | Documents | Liens | Contact  

Publications

SOMMAIRE

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

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