Abdelraouf Ouadjaout

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 20

Top Topics

Wireless Sensor

Static Analysis

Communication Protocols

Top Venues

Publications

Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). TACAS (3) (2024)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Easing Maintenance of Academic Static Analyzers. CoRR (2024)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). TACAS (2) (2023)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
A Multilanguage Static Analysis of Python Programs with Native C Extensions. SAS (2021)
David Delmas, Abdelraouf Ouadjaout, Antoine Miné
Static Analysis of Endian Portability by Abstract Interpretation. SAS (2021)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Static Type Analysis by Abstract Interpretation of Python Programs (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Static Type Analysis by Abstract Interpretation of Python Programs. ECOOP (2020)
Abdelraouf Ouadjaout, Antoine Miné
A Library Modeling Language for the Static Analysis of C Programs. SAS (2020)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Value and allocation sensitivity in static Python analyses. SOAP@PLDI (2020)
Noureddine Lasla, Messaoud Doudou, Djamel Djenouri, Abdelraouf Ouadjaout, Cherif Zizoua
Wireless energy efficient occupancy-monitoring system for smart buildings. Pervasive Mob. Comput. 59 (2019)
Abdelraouf Ouadjaout, Antoine Miné
Quantitative static analysis of communication protocols using abstract Markov chains. Formal Methods Syst. Des. 54 (1) (2019)
Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer. VSTTE (2019)
Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
An Abstract Domain for Trees with Numeric Relations. ESOP (2019)
Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
Modular Static Analysis of String Manipulations in C Programs. SAS (2018)
Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné
Static Value Analysis of Python Programs by Abstract Interpretation. NFM (2018)
Mohamed Amine Kafi, Jalel Ben-Othman, Abdelraouf Ouadjaout, Miloud Bagaa, Nadjib Badache
REFIACC: Reliable, efficient, fair and interference-aware congestion control protocol for wireless sensor networks. Comput. Commun. 101 (2017)
Abdelouahab Amira, Abdelraouf Ouadjaout, Abdelouahid Derhab, Nadjib Badache
Sound and Static Analysis of Session Fixation Vulnerabilities in PHP Web Applications. CODASPY (2017)
Abdelraouf Ouadjaout, Antoine Miné
Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains. SAS (2017)
Abdelraouf Ouadjaout, Antoine Miné, Noureddine Lasla, Nadjib Badache
Static analysis by abstract interpretation of functional properties of device drivers in TinyOS. J. Syst. Softw. 120 (2016)
Abdelraouf Ouadjaout, Noureddine Lasla, Djamel Djenouri, Cherif Zizoua
On the Effect of Sensing-holes in PIR-based Occupancy Detection Systems. SENSORNETS (2016)
Noureddine Lasla, Mohamed F. Younis, Abdelraouf Ouadjaout, Nadjib Badache
An Effective Area-Based Localization Algorithm for Wireless Networks. IEEE Trans. Computers 64 (8) (2015)
Noureddine Lasla, Mohamed F. Younis, Abdelraouf Ouadjaout, Nadjib Badache
On optimal anchor placement for efficient area-based localization in wireless networks. ICC (2015)
Mohamed Amine Kafi, Djamel Djenouri, Jalel Ben-Othman, Abdelraouf Ouadjaout, Miloud Bagaa, Noureddine Lasla, Nadjib Badache
Interference-aware Congestion Control Protocol for Wireless Sensor Networks. EUSPN/ICTH (2014)
Abdelraouf Ouadjaout, Noureddine Lasla, Miloud Bagaa, Nadjib Badache
Poster abstract: static analysis of device drivers in TinyOS. IPSN (2014)
Noureddine Lasla, Abdelouahid Derhab, Abdelraouf Ouadjaout, Miloud Bagaa, Yacine Challal
SMART: Secure Multi-pAths Routing for wireless sensor neTworks. ADHOC-NOW (2014)
Mohamed Amine Kafi, Djamel Djenouri, Jalel Ben-Othman, Abdelraouf Ouadjaout, Nadjib Badache
Congestion Detection Strategies in Wireless Sensor Networks: A Comparative Study with Testbed Experiments. EUSPN/ICTH (2014)
Abdelraouf Ouadjaout, Noureddine Lasla, Miloud Bagaa, Messaoud Doudou, Cherif Zizoua, Mohamed Amine Kafi, Abdelouahid Derhab, Djamel Djenouri, Nadjib Badache
DZ50: Energy-efficient Wireless Sensor Mote Platform for Low Data Rate Applications. EUSPN/ICTH (2014)
Miloud Bagaa, Mohamed F. Younis, Abdelraouf Ouadjaout, Nadjib Badache
Efficient multi-path data aggregation scheduling in wireless sensor networks. ICC (2013)
Noureddine Lasla, Abdelouahid Derhab, Abdelraouf Ouadjaout, Miloud Bagaa, Adlen Ksentini, Nadjib Badache
Half-Symmetric Lens based localization algorithm for wireless sensor networks. LCN (2012)
Miloud Bagaa, Yacine Challal, Abdelraouf Ouadjaout, Noureddine Lasla, Nadjib Badache
Efficient data aggregation with in-network integrity control for WSN. J. Parallel Distributed Comput. 72 (10) (2012)
Miloud Bagaa, Abdelouahid Derhab, Noureddine Lasla, Abdelraouf Ouadjaout, Nadjib Badache
Semi-structured and unstructured data aggregation scheduling in wireless sensor networks. INFOCOM (2012)
Yacine Challal, Abdelraouf Ouadjaout, Noureddine Lasla, Miloud Bagaa, Abdelkrim Hadjidj
Secure and efficient disjoint multipath construction for fault tolerant routing in wireless sensor networks. J. Netw. Comput. Appl. 34 (4) (2011)
Abdelraouf Ouadjaout, Yacine Challal, Noureddine Lasla, Miloud Bagaa
SEIF: Secure and Efficient Intrusion-Fault Tolerant Routing Protocol for Wireless Sensor Networks. ARES (2008)
Miloud Bagaa, Noureddine Lasla, Abdelraouf Ouadjaout, Yacine Challal
SEDAN: Secure and Efficient protocol for Data Aggregation in wireless sensor Networks. LCN (2007)