Narjes Jomaa

According to our database, Narjes Jomaa authored at least 5 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Code to Qed, the Project Manager's Guide to Proof Engineering.

Nicolas Dejon, Chrystel Gaber, Gilles Grimaud, Narjes Jomaa

ACM Trans. Softw. Eng. Methodol., September, 2024

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).

Narjes Jomaa

PhD thesis, 2018

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

Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym

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

Formalising Executable Specifications of Low-Level Systems.

Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif

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

2016

Formal Proof of Dynamic Memory Isolation Based on MMU.

Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016