default search action

combined dblp search
author search
venue search
publication search

ask others

Boutheina Chetali

Boutheïna Chetali

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2013
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/istr/GadyatskayaM0C13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/istr/GadyatskayaM0C13
Olga Gadyatskaya, Fabio Massacci, Quang Huy Nguyen, Boutheina Chetali:
Load time code validation for mobile phone Java Cards. J. Inf. Secur. Appl. 18(2-3): 108-129 (2013)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jce/ChristofiCGV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jce/ChristofiCGV13
Maria Christofi, Boutheina Chetali, Louis Goubin, David Vigilant:
Formal verification of a CRT-RSA implementation against fault attacks. J. Cryptogr. Eng. 3(3): 157-167 (2013)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ChetaliN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ChetaliN09
Boutheina Chetali, Quang Huy Nguyen:
An automated testing experiment for layered embedded C code. Int. J. Softw. Tools Technol. Transf. 11(3): 175-185 (2009)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Chetali09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Chetali09
Boutheina Chetali:
Security Testing and Formal Methods for High Levels Certification of Smart Cards. TAP@TOOLS 2009: 1-5
2008
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ChetaliN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ChetaliN08
Boutheina Chetali, Quang Huy Nguyen:
Industrial Use of Formal Methods for a High-Level Security Evaluation. FM 2008: 198-213
2006
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cardis/NguyenC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cardis/NguyenC06
Quang Huy Nguyen, Boutheina Chetali:
Certifying Native Java API by Formal Refinement. CARDIS 2006: 313-328
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ccece/AttiaouiATC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccece/AttiaouiATC06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AndronickCP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AndronickCP05
June Andronick, Boutheina Chetali, Christine Paulin-Mohring:
Formal Verification of Security Properties of Smart Card Embedded Source Code. FM 2005: 302-317
2003
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/AndronickCL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/AndronickCL03
June Andronick, Boutheina Chetali, Olivier Ly:
Using Coq to Verify Java Card Applet Isolation Properties. TPHOLs 2003: 335-351

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/Chetali98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/Chetali98
Boutheina Chetali:
Formal Verification of Concurrent Programs Using the Larch Prover. IEEE Trans. Software Eng. 24(1): 46-62 (1998)
1997
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/ChetaliH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/ChetaliH97
Boutheina Chetali, Barbara Heyd:
Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis. TPHOLs 1997: 69-85
1996
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Chetali96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Chetali96
Boutheïna Chetali:
Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique. Henri Poincaré University, Nancy, France, 1996
1995
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/ChetaliL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/ChetaliL95
Boutheina Chetali, Pierre Lescanne:
Formal Verfication of a Protocol for Communications over Faulty Channels. FORTE 1995: 91-108
1992
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/larch/ChetaliL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/larch/ChetaliL92
Boutheina Chetali, Pierre Lescanne:
An Exercise in LP: The Proof of a Non Restoring Division Circuit. Larch 1992: 55-68

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.