| 2024 | NSPW | "Function Extraction: A New Paradigm for Producing Secure Code". | Richard C. Linger, Mark G. Pleszkoch, Jack McGaughey, John McHugh, Wided Ghardallou, Ali Mili |
| 2023 | QRS | Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis. | Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili |
| 2021 | QRS | Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis. | Hessamaldin Mohammadi, Wided Ghardallou, Ali Mili |
| 2016 | ICST | Debugging without Testing. | Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias |
| 2016 | SEKE | Software Evolution by Correctness Enhancement. | Wided Ghardallou, Nafi Diallo, Ali Mili |
| 2016 | VECoS | Relative Correctness: A Bridge Between Proving and Testing. | Wided Ghardallou, Ali Mili, Nafi Diallo |
| 2015 | ICSE | Correctness and Relative Correctness. | Nafi Diallo, Wided Ghardallou, Ali Mili |
| 2012 | ICSE | Using invariant relations in the termination analysis of while loops. | Wided Ghardallou |
| 2011 | ICTAC | Computing Preconditions and Postconditions of While Loops. | Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaes, Ali Mili |
| 2010 | ICSE | Using invariant functions and invariant relations to compute loop functions. | Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili |