Nafi Diallo

According to our database, Nafi Diallo authored at least 10 papers between 2015 and 2018.

Collaborative distances:

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

2018

Convergence: Integrating termination and abort-freedom.

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili

J. Log. Algebraic Methods Program., 2018

2017

Projecting programs on specifications: Definition and implications.

Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili

Sci. Comput. Program., 2017

What is a fault? and why does it matter?

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua, Ali Mili

Innov. Syst. Softw. Eng., 2017

2016

Program Repair by Stepwise Correctness Enhancement.

Nafi Diallo, Wided Ghardallou, Ali Mili

Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016

Relative Correctness: A Bridge Between Proving and Testing.

Wided Ghardallou, Ali Mili, Nafi Diallo

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Software Evolution by Correctness Enhancement.

Wided Ghardallou, Nafi Diallo, Ali Mili

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Debugging without Testing.

Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015

Program Derivation by Correctness Enhacements.

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

Correctness and Relative Correctness.

Nafi Diallo, Wided Ghardallou, Ali Mili

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Relational Mathematics for Relative Correctness.

Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015