| 2008 |
|---|
| 9 | EE | Boutheina Chetali,
Quang Huy Nguyen:
Industrial Use of Formal Methods for a High-Level Security Evaluation.
FM 2008: 198-213 |
| 2006 |
|---|
| 8 | EE | Quang Huy Nguyen,
Boutheina Chetali:
Certifying Native Java API by Formal Refinement.
CARDIS 2006: 313-328 |
| 7 | EE | Walid Attiaoui,
Mohamed Ben Ahmed,
Moncef Tagina,
Boutheina Chetali:
Wrapping and Integrating USB Smart Card to Web Based Heterogeneous Medical Databases: Application for the Pathology of Cancer.
CCECE 2006: 1403-1408 |
| 2005 |
|---|
| 6 | EE | June Andronick,
Boutheina Chetali,
Christine Paulin-Mohring:
Formal Verification of Security Properties of Smart Card Embedded Source Code.
FM 2005: 302-317 |
| 2003 |
|---|
| 5 | EE | June Andronick,
Boutheina Chetali,
Olivier Ly:
Using Coq to Verify Java Card Applet Isolation Properties.
TPHOLs 2003: 335-351 |
| 1998 |
|---|
| 4 | EE | Boutheina Chetali:
Formal Verification of Concurrent Programs Using the Larch Prover.
IEEE Trans. Software Eng. 24(1): 46-62 (1998) |
| 1997 |
|---|
| 3 | | Boutheina Chetali,
Barbara Heyd:
Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis.
TPHOLs 1997: 69-85 |
| 1995 |
|---|
| 2 | | Boutheina Chetali,
Pierre Lescanne:
Formal Verfication of a Protocol for Communications over Faulty Channels.
FORTE 1995: 91-108 |
| 1992 |
|---|
| 1 | | Boutheina Chetali,
Pierre Lescanne:
An Exercise in LP: The Proof of a Non Restoring Division Circuit.
Larch 1992: 55-68 |
