| 2002 |
|---|
| 8 | | Pierre Bieber,
Jacques Cazin,
Pierre Girard,
Jean-Louis Lanet,
Virginie Wiels,
Guy Zanon:
Checking Secure Interactions of Smart Card Applets: Extended Version.
Journal of Computer Security 10(4): 369-398 (2002) |
| 2000 |
|---|
| 7 | EE | Pierre Bieber,
Jacques Cazin,
Pierre Girard,
Jean-Louis Lanet,
Virginie Wiels,
Guy Zanon:
Checking Secure Interactions of Smart Card Applets.
ESORICS 2000: 1-16 |
| 6 | EE | Pierre Bieber,
Jacques Cazin,
A. El Marouani,
Pierre Girard,
Jean-Louis Lanet,
Virginie Wiels,
Guy Zanon:
The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow.
Java Card Workshop 2000: 25-37 |
| 5 | EE | Pierre Bieber,
Jacques Cazin,
Virginie Wiels,
Guy Zanon,
Pierre Girard,
Jean-Louis Lanet:
Electronic Purse Applet Certification: extended abstract.
Electr. Notes Theor. Comput. Sci. 32: (2000) |
| 1999 |
|---|
| 4 | | Bruno d'Ausbourg,
Jacques Cazin:
Using TRIO Specifications to Generate Test Cases for an Interactive System.
DSV-IS 1999: 148-166 |
| 1991 |
|---|
| 3 | | Jacques Cazin,
Patrice Cros,
René Jacquart,
Michel Lemoine,
P. Michel:
Construction and Reuse of Formal Program Developments.
TAPSOFT, Vol.2 1991: 120-136 |
| 1989 |
|---|
| 2 | | Jacques Cazin,
René Jacquart,
Michel Lemoine,
P. Michel,
P. Maurice:
Method Driven Programming.
IFIP Congress 1989: 351-356 |
| 1985 |
|---|
| 1 | EE | Jacques Cazin,
René Jacquart,
P. Michel:
The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic.
ER 1985: 216-223 |
