|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 9 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Boutheina Chetali, Quang Huy Nguyen 0002 |
An automated testing experiment for layered embedded C code.  |
STTT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boutheina Chetali |
Security Testing and Formal Methods for High Levels Certification of Smart Cards. |
TAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boutheina Chetali, Quang Huy Nguyen 0002 |
Industrial Use of Formal Methods for a High-Level Security Evaluation. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Quang Huy Nguyen 0002, Boutheina Chetali |
Certifying Native Java API by Formal Refinement. |
CARDIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | June Andronick, Boutheina Chetali, Christine Paulin-Mohring |
Formal Verification of Security Properties of Smart Card Embedded Source Code. |
FM |
2005 |
DBLP DOI BibTeX RDF |
Source code verification, Security, Formal Methods, Theorem Proving, Smart Card |
| 1 | June Andronick, Boutheina Chetali, Olivier Ly |
Using Coq to Verify Java Card Applet Isolation Properties. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
Security, Theorem Proving, Smart Card |
| 1 | Boutheina Chetali |
Formal Verification of Concurrent Programs Using the Larch Prover. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
theorem prover methodology, Larch prover, computer-checked proof, Formal verification, communication protocol, protocol verification, UNITY |
| 1 | Boutheina Chetali, Barbara Heyd |
Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis. |
TPHOLs |
1997 |
DBLP DOI BibTeX RDF |
theorem prover methodology, Larch Prover, Computer Checked Proof, Formal Verification, Unity, Coq |
| 1 | Boutheina Chetali, Pierre Lescanne |
Formal Verfication of a Protocol for Communications over Faulty Channels. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Boutheina Chetali, Pierre Lescanne |
An Exercise in LP: The Proof of a Non Restoring Division Circuit. |
Larch |
1992 |
DBLP BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")