MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Nicolas Marti" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Model-checking of a Multi-threaded Operating System ∗
by Nicolas Marti, Reynald Affeldt, Akinori Yonezawa
…Model-checking of a Multi-threaded Operating System ∗ Nicolas Marti † Reynald Affeldt ‡ Akinori…
Add To MetaCart

Towards formal verification of memory properties using separation logic
by Nicolas Marti, Reynald Affeldt, Akinori Yonezawa — 2005 — 22nd Workshop of the Japan Society for Software Science and Technology, 2005. INRIA Logic for Small-step Cminor 29
…Towards Formal Verification of Memory Properties using Separation logic Nicolas Marti † Reynald…
Cited by 3 (0 self) – Add To MetaCart

Formal proof of provable security by game-playing in a proof assistant
by Reynald Affeldt, Miki Tanaka, Nicolas Marti — 2007 — In ProvSec 2007
… Tanaka 2 , and Nicolas Marti 3 1 Research Center for Information Security, National Institute of Advanced…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB