Narjes Jomaa

According to our database¹, Narjes Jomaa authored at least 4 papers in 2018.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2018

Le co-design d'un noyau de système d'exploitation et de sa preuve formelle d'isolation. (The co-design of an operating system kernel and its formal proof of isolation).

[BibT_eX]

[DOI]

Narjes Jomaa

PhD thesis, 2018

Formal proof of dynamic memory isolation based on MMU.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

Formalising Executable Specifications of Low-Level Systems.

[BibT_eX]

[DOI]

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Narjes Jomaa

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...