default search action

combined dblp search
author search
venue search
publication search

ask others

Ludovic Casset

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2002
[c5]
- 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
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Casset02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Casset02
Ludovic Casset:
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. FME 2002: 290-309
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/CassetL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/CassetL02
Ludovic Casset, Jean-Louis Lanet:
Increasing smart card dependability. ACM SIGOPS European Workshop 2002: 209-212
2000
[c2]
- 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
1999
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecoopw/CassetL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/CassetL99
Ludovic Casset, Jean-Louis Lanet:
How to Formally Specify the Java Bytecode Semantivs Using the B Method. ECOOP Workshops 1999: 104-105

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.