| 2026 | TACAS | Mopsa-C: Towards Incorrectness and Termination Verdicts (Competition Contribution). | Marco Milanese, Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2025 | TACAS | Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution). | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2024 | TACAS | Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). | Raphal Monat, Marco Milanese, Francesco Parolini, Jrme Boillot, Abdelraouf Ouadjaout, Antoine Min |
| 2023 | TACAS | Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2021 | SAS | Static Analysis of Endian Portability by Abstract Interpretation. | David Delmas, Abdelraouf Ouadjaout, Antoine Min |
| 2021 | SAS | A Multilanguage Static Analysis of Python Programs with Native C Extensions. | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2020 | ECOOP | Static Type Analysis by Abstract Interpretation of Python Programs. | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2020 | PLDI | Value and allocation sensitivity in static Python analyses. | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2020 | SAS | A Library Modeling Language for the Static Analysis of C Programs. | Abdelraouf Ouadjaout, Antoine Min |
| 2019 | ESOP | An Abstract Domain for Trees with Numeric Relations. | Matthieu Journault, Antoine Min, Abdelraouf Ouadjaout |
| 2018 | SAS | Modular Static Analysis of String Manipulations in C Programs. | Matthieu Journault, Antoine Min, Abdelraouf Ouadjaout |
| 2017 | SAS | Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains. | Abdelraouf Ouadjaout, Antoine Min |
| 2014 | EUSPN | Congestion Detection Strategies in Wireless Sensor Networks: A Comparative Study with Testbed Experiments. | Mohamed Amine Kafi, Djamel Djenouri, Jalel Ben-Othman, Abdelraouf Ouadjaout, Nadjib Badache |
| 2014 | EUSPN | Interference-aware Congestion Control Protocol for Wireless Sensor Networks. | Mohamed Amine Kafi, Djamel Djenouri, Jalel Ben-Othman, Abdelraouf Ouadjaout, Miloud Bagaa, Noureddine Lasla, Nadjib Badache |
| 2014 | EUSPN | DZ50: Energy-efficient Wireless Sensor Mote Platform for Low Data Rate Applications. | Abdelraouf Ouadjaout, Noureddine Lasla, Miloud Bagaa, Messaoud Doudou, Cherif Zizoua, Mohamed Amine Kafi, Abdelouahid Derhab, Djamel Djenouri, Nadjib Badache |
| 2012 | INFOCOM | Semi-structured and unstructured data aggregation scheduling in wireless sensor networks. | Miloud Bagaa, Abdelouahid Derhab, Noureddine Lasla, Abdelraouf Ouadjaout, Nadjib Badache |
| 2012 | LCN | Half-Symmetric Lens based localization algorithm for wireless sensor networks. | Noureddine Lasla, Abdelouahid Derhab, Abdelraouf Ouadjaout, Miloud Bagaa, Adlen Ksentini, Nadjib Badache |
| 2007 | LCN | SEDAN: Secure and Efficient protocol for Data Aggregation in wireless sensor Networks. | Miloud Bagaa, Noureddine Lasla, Abdelraouf Ouadjaout, Yacine Challal |