Wided Ghardallou

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