Boutheina Chetali
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1995–2009
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | TAP | Security Testing and Formal Methods for High Levels Certification of Smart Cards. | Boutheina Chetali |
| 2008 | FM | Industrial Use of Formal Methods for a High-Level Security Evaluation. | Boutheina Chetali, Quang Huy Nguyen |
| 2006 | CARDIS | Certifying Native Java API by Formal Refinement. | Quang Huy Nguyen, Boutheina Chetali |
| 2005 | FM | Formal Verification of Security Properties of Smart Card Embedded Source Code. | June Andronick, Boutheina Chetali, Christine Paulin-Mohring |
| 1995 | FORTE | Formal Verfication of a Protocol for Communications over Faulty Channels. | Boutheina Chetali, Pierre Lescanne |