Wided Ghardallou

According to our database, Wided Ghardallou authored at least 22 papers between 2010 and 2023.

Collaborative distances:

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

2023

On the persistent rumors of the programmer's imminent demise.

Hessam Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili

Softw. Syst. Model., December, 2023

Invariant Relations: A Bridge from Programs to Equations.

Wided Ghardallou, Hessamaldin Mohammadi, Elijah Brick, Ali Mili

CoRR, 2023

Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis.

Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2022

Computing Program Functions.

Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis.

Hessamaldin Mohammadi, Wided Ghardallou, Ali Mili

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2018

Convergence: Integrating termination and abort-freedom.

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili

J. Log. Algebraic Methods Program., 2018

Programming Without Refining.

Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou, Ali Mili

Proceedings of the Proceedings 18th Refinement Workshop, 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

2014

Verifying while loops with invariant relations.

Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili

Int. J. Crit. Comput. Based Syst., 2014

2013

Invariant functions and invariant relations: An alternative to invariant assertions.

Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili

J. Symb. Comput., 2013

2012

A versatile concept for the analysis of loops.

Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili

J. Log. Algebraic Methods Program., 2012

Using invariant relations in the termination analysis of while loops.

Wided Ghardallou

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Computing Preconditions and Postconditions of While Loops.

Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

2010

Using invariant functions and invariant relations to compute loop functions.

Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010