- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| j2 |      | Boutheina Chetali, Quang Huy Nguyen: An automated testing experiment for layered embedded C code. STTT 11(3): 175-185 (2009) |
| c9 | | Boutheina Chetali: Security Testing and Formal Methods for High Levels Certification of Smart Cards. TAP 2009: 1-5 |
| 2008 | ||
| c8 | | Boutheina Chetali, Quang Huy Nguyen: Industrial Use of Formal Methods for a High-Level Security Evaluation. FM 2008: 198-213 |
| 2006 | ||
| c7 | | Quang Huy Nguyen, Boutheina Chetali: Certifying Native Java API by Formal Refinement. CARDIS 2006: 313-328 |
| c6 | | 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 | ||
| c5 | | June Andronick, Boutheina Chetali, Christine Paulin-Mohring: Formal Verification of Security Properties of Smart Card Embedded Source Code. FM 2005: 302-317 |
| 2003 | ||
| c4 | | June Andronick, Boutheina Chetali, Olivier Ly: Using Coq to Verify Java Card Applet Isolation Properties. TPHOLs 2003: 335-351 |
| 1998 | ||
| j1 | | Boutheina Chetali: Formal Verification of Concurrent Programs Using the Larch Prover. IEEE Trans. Software Eng. 24(1): 46-62 (1998) |
| 1997 | ||
| c3 | | Boutheina Chetali, Barbara Heyd: Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis. TPHOLs 1997: 69-85 |
| 1995 | ||
| c2 |  | Boutheina Chetali, Pierre Lescanne: Formal Verfication of a Protocol for Communications over Faulty Channels. FORTE 1995: 91-108 |
| 1992 | ||
| c1 | | Boutheina Chetali, Pierre Lescanne: An Exercise in LP: The Proof of a Non Restoring Division Circuit. Larch 1992: 55-68 |
| 1 | Mohamed Ben Ahmed | |
| 2 | June Andronick | |
| 3 | Walid Attiaoui | |
| 4 | Barbara Heyd | |
| 5 | Pierre Lescanne | |
| 6 | Olivier Ly | |
| 7 | Quang Huy Nguyen 0002 | |
| 8 | Christine Paulin-Mohring | |
| 9 | Moncef Tagina |
Colors in the list of coauthors
Last update Sun May 26 03:18:36 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page