| 2008 |
|---|
| 7 | EE | Daniel Le Métayer,
Claire Loiseaux:
ASTRA : A Security Analysis Method Based on Asset Tracking.
SEC 2008: 541-555 |
| 2000 |
|---|
| 6 | EE | Dominique Bolignano,
Daniel Le Métayer,
Claire Loiseaux:
Formal Methods in Context: Security and Java Card.
Java Card Workshop 2000: 1-5 |
| 5 | EE | Dominique Bolignano,
Daniel Le Métayer,
Claire Loiseaux:
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.
MOVEP 2000: 169-182 |
| 1995 |
|---|
| 4 | | Claire Loiseaux,
Susanne Graf,
Joseph Sifakis,
Ahmed Bouajjani,
Saddek Bensalem:
Property Preserving Abstractions for the Verification of Concurrent Systems.
Formal Methods in System Design 6(1): 11-44 (1995) |
| 1993 |
|---|
| 3 | | Susanne Graf,
Claire Loiseaux:
A Tool for Symbolic Program Verification and Abstration.
CAV 1993: 71-84 |
| 2 | | Susanne Graf,
Claire Loiseaux:
Property Preserving Abstractions under Parallel Composition.
TAPSOFT 1993: 644-657 |
| 1992 |
|---|
| 1 | | Saddek Bensalem,
Ahmed Bouajjani,
Claire Loiseaux,
Joseph Sifakis:
Property Preserving Simulations.
CAV 1992: 260-273 |
