Narjes Jomaa

Orcid: 0009-0003-9694-1242

According to our database1, Narjes Jomaa authored at least 5 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Code to Qed, the Project Manager's Guide to Proof Engineering.
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).
PhD thesis, 2018

Formal proof of dynamic memory isolation based on MMU.
Sci. Comput. Program., 2018

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

Formalising Executable Specifications of Low-Level Systems.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018


  Loading...