SEDAN: Secure and Efficient protocol for Data Aggregation in wireless sensor Networks. - Miloud Bagaa; Noureddine Lasla; Abdelraouf Ouadjaout; Yacine Challal (LCN, 2007)

SEIF: Secure and Efficient Intrusion-Fault Tolerant Routing Protocol for Wireless Sensor Networks. - Abdelraouf Ouadjaout; Yacine Challal; Noureddine Lasla; Miloud Bagaa (ARES, 2008)

Secure and efficient disjoint multipath construction for fault tolerant routing in wireless sensor networks. - Yacine Challal; Abdelraouf Ouadjaout; Noureddine Lasla; Miloud Bagaa; Abdelkrim Hadjidj (J. Netw. Comput. Appl., 2011)

Semi-structured and unstructured data aggregation scheduling in wireless sensor networks. - Miloud Bagaa; Abdelouahid Derhab; Noureddine Lasla; Abdelraouf Ouadjaout; Nadjib Badache (INFOCOM, 2012)

Half-Symmetric Lens based localization algorithm for wireless sensor networks. - Noureddine Lasla; Abdelouahid Derhab; Abdelraouf Ouadjaout; Miloud Bagaa; Adlen Ksentini; Nadjib Badache (LCN, 2012)

Efficient data aggregation with in-network integrity control for WSN. - Miloud Bagaa; Yacine Challal; Abdelraouf Ouadjaout; Noureddine Lasla; Nadjib Badache (J. Parallel Distributed Comput., 2012)

Efficient multi-path data aggregation scheduling in wireless sensor networks. - Miloud Bagaa; Mohamed F. Younis; Abdelraouf Ouadjaout; Nadjib Badache (ICC, 2013)

SMART: Secure Multi-pAths Routing for wireless sensor neTworks. - Noureddine Lasla; Abdelouahid Derhab; Abdelraouf Ouadjaout; Miloud Bagaa; Yacine Challal (ADHOC-NOW, 2014)

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 (EUSPN/ICTH, 2014)

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 (EUSPN/ICTH, 2014)

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 (EUSPN/ICTH, 2014)

Poster abstract: static analysis of device drivers in TinyOS. - Abdelraouf Ouadjaout; Noureddine Lasla; Miloud Bagaa; Nadjib Badache (IPSN, 2014)

On optimal anchor placement for efficient area-based localization in wireless networks. - Noureddine Lasla; Mohamed F. Younis; Abdelraouf Ouadjaout; Nadjib Badache (ICC, 2015)

An Effective Area-Based Localization Algorithm for Wireless Networks. - Noureddine Lasla; Mohamed F. Younis; Abdelraouf Ouadjaout; Nadjib Badache (IEEE Trans. Computers, 2015)

On the Effect of Sensing-holes in PIR-based Occupancy Detection Systems. - Abdelraouf Ouadjaout; Noureddine Lasla; Djamel Djenouri; Cherif Zizoua (SENSORNETS, 2016)

Static analysis by abstract interpretation of functional properties of device drivers in TinyOS. - Abdelraouf Ouadjaout; Antoine Miné; Noureddine Lasla; Nadjib Badache (J. Syst. Softw., 2016)

Sound and Static Analysis of Session Fixation Vulnerabilities in PHP Web Applications. - Abdelouahab Amira; Abdelraouf Ouadjaout; Abdelouahid Derhab; Nadjib Badache (CODASPY, 2017)

REFIACC: Reliable, efficient, fair and interference-aware congestion control protocol for wireless sensor networks. - Mohamed Amine Kafi; Jalel Ben-Othman; Abdelraouf Ouadjaout; Miloud Bagaa; Nadjib Badache (Comput. Commun., 2017)

Static Value Analysis of Python Programs by Abstract Interpretation. - Aymeric Fromherz; Abdelraouf Ouadjaout; Antoine Miné (NFM, 2018)

Modular Static Analysis of String Manipulations in C Programs. - Matthieu Journault; Antoine Miné; Abdelraouf Ouadjaout (SAS, 2018)

An Abstract Domain for Trees with Numeric Relations. - Matthieu Journault; Antoine Miné; Abdelraouf Ouadjaout (ESOP, 2019)

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer. - Matthieu Journault; Antoine Miné; Raphaël Monat; Abdelraouf Ouadjaout (VSTTE, 2019)

Quantitative static analysis of communication protocols using abstract Markov chains. - Abdelraouf Ouadjaout; Antoine Miné (Formal Methods Syst. Des., 2019)

Wireless energy efficient occupancy-monitoring system for smart buildings. - Noureddine Lasla; Messaoud Doudou; Djamel Djenouri; Abdelraouf Ouadjaout; Cherif Zizoua (Pervasive Mob. Comput., 2019)

Static Type Analysis by Abstract Interpretation of Python Programs. - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (ECOOP, 2020)

Value and allocation sensitivity in static Python analyses. - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (SOAP@PLDI, 2020)

A Library Modeling Language for the Static Analysis of C Programs. - Abdelraouf Ouadjaout; Antoine Miné (SAS, 2020)

Static Type Analysis by Abstract Interpretation of Python Programs (Artifact). - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (Dagstuhl Artifacts Ser., 2020)

Static Analysis of Endian Portability by Abstract Interpretation. - David Delmas; Abdelraouf Ouadjaout; Antoine Miné (SAS, 2021)

A Multilanguage Static Analysis of Python Programs with Native C Extensions. - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (SAS, 2021)

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (TACAS (2), 2023)

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). - Raphaël Monat; Marco Milanese; Francesco Parolini; Jérôme Boillot; Abdelraouf Ouadjaout; Antoine Miné (TACAS (3), 2024)

Easing maintenance of academic static analyzers. - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (Int. J. Softw. Tools Technol. Transf., 2024)

Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution). - Raphaël Monat; Abdelraouf Ouadjaout; Antoine Miné (TACAS (3), 2025)