Jacques Cazin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1985–2012
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SAFECOMP | Formal Verification of a Safety Argumentation and Application to a Complex UAV System. | Julien Brunel, Jacques Cazin |
| 2000 | ESORICS | Checking Secure Interactions of Smart Card Applets. | Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon |
| 1985 | ER | The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic. | Jacques Cazin, Ren Jacquart, P. Michel |