Wided Ghardallou

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 17

Top Topics

Software Evolution

Affine Invariance

Weak Perspective

Top Venues

Publications

Wided Ghardallou, Hessamaldin Mohammadi, Richard C. Linger, Mark G. Pleszkoch, Ji Meng Loh, Ali Mili
Invariant relations for affine loops. Acta Informatica 61 (3) (2024)
Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis. QRS Companion (2023)
Wided Ghardallou, Hessamaldin Mohammadi, Elijah Brick, Ali Mili
Invariant Relations: A Bridge from Programs to Equations. CoRR (2023)
Hessam Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili
On the persistent rumors of the programmer's imminent demise. Softw. Syst. Model. 22 (6) (2023)
Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili
Computing Program Functions. FormaliSE@ICSE (2022)
Hessamaldin Mohammadi, Wided Ghardallou, Ali Mili
Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis. QRS Companion (2021)
Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou, Ali Mili
Programming Without Refining. Refine@FM (2018)
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
Convergence: Integrating termination and abort-freedom. J. Log. Algebraic Methods Program. 97 (2018)
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili
Projecting programs on specifications: Definition and implications. Sci. Comput. Program. 138 (2017)
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua, Ali Mili
What is a fault? and why does it matter? Innov. Syst. Softw. Eng. 13 (2-3) (2017)
Nafi Diallo, Wided Ghardallou, Ali Mili
Program Repair by Stepwise Correctness Enhancement. PrePost@IFM (2016)
Wided Ghardallou, Ali Mili, Nafi Diallo
Relative Correctness: A Bridge Between Proving and Testing. VECoS (2016)
Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias
Debugging without Testing. ICST (2016)
Wided Ghardallou, Nafi Diallo, Ali Mili
Software Evolution by Correctness Enhancement. SEKE (2016)
Nafi Diallo, Wided Ghardallou, Ali Mili
Correctness and Relative Correctness. ICSE (2) (2015)
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
Program Derivation by Correctness Enhacements. Refine@FM (2015)
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili
Relational Mathematics for Relative Correctness. RAMiCS (2015)
Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili
Verifying while loops with invariant relations. Int. J. Crit. Comput. Based Syst. 5 (1/2) (2014)
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili
Invariant functions and invariant relations: An alternative to invariant assertions. J. Symb. Comput. 48 (2013)
Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
A versatile concept for the analysis of loops. J. Log. Algebraic Methods Program. 81 (5) (2012)
Wided Ghardallou
Using invariant relations in the termination analysis of while loops. ICSE (2012)
Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
Computing Preconditions and Postconditions of While Loops. ICTAC (2011)
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili
Using invariant functions and invariant relations to compute loop functions. ICSE (2) (2010)