Fatma Jebali

According to our database1, Fatma Jebali
  • authored at least 3 papers between 2014 and 2016.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Formal Framework for Modelling and Verifying Globally Asynchronous Locally Synchronous Systems. (Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones).
PhD thesis, 2016

Formal modelling and verification of GALS systems using GRL and CADP.
Formal Asp. Comput., 2016

2014
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems.
Proceedings of the Formal Methods and Software Engineering, 2014


  Loading...