M. Fourati

According to our database, M. Fourati authored at least 3 papers between 2000 and 2007.

Collaborative distances:

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

2007

A Formal Type System for Java.

Mourad Debbabi, M. Fourati

J. Object Technol., 2007

2002

Secure Self-certified Code for Java.

Mourad Debbabi, Josée Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi

Proceedings of the Formal Aspects of Security, First International Conference, 2002

2000

Sur la sémantique statique de Java.

Mourad Debbabi, M. Fourati

Proceedings of the Actes des journées Langages et Modèles à Objets, 2000