Abdelraouf Ouadjaout

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