Antoine Requet

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ludovic Casset

> Home > Persons > Antoine Requet

Publications

2003
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tsi/BurdyCR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsi/BurdyCR03
Lilian Burdy, Ludovic Casset, Antoine Requet:
Développement formel d'un vérifieur embarqué de byte-code Java. Tech. Sci. Informatiques 22(1): 33-60 (2003)
2002
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/CassetBR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/CassetBR02
Ludovic Casset, Lilian Burdy, Antoine Requet:
Formal Development of an Embedded Verifier for Java Card Byte Code. DSN 2002: 51-58
2000
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/RequetCG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/RequetCG00
Antoine Requet, Ludovic Casset, Gilles Grimaud:
Application of the B formal method to the proof of a type verification algorithm. HASE 2000: 115-124

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.