Fama Diagne

Affiliations:
  • Université de Sherbrooke, Canada
  • Telecom & Management SudParis, Évry, Essonne, France


According to our database1, Fama Diagne authored at least 4 papers between 2011 and 2014.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
A Tool for Verifying Dynamic Properties in B.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2013
Preuve de propriétés dynamiques en B. (Proving dynamic properties in B).
PhD thesis, 2013

2011
Proving Reachability in B using Substitution Refinement.
Proceedings of the B 2011 Workshop, 2011

A proof-based approach to verifying reachability properties.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011


  Loading...