Follow
Abdelraouf Ouadjaout
Abdelraouf Ouadjaout
LIP6, UPMC, Paris
Verified email at lip6.fr - Homepage
Title
Cited by
Cited by
Year
Secure and efficient disjoint multipath construction for fault tolerant routing in wireless sensor networks
Y Challal, A Ouadjaout, N Lasla, M Bagaa, A Hadjidj
Journal of network and computer applications 34 (4), 1380-1397, 2011
1372011
A survey on reliability protocols in wireless sensor networks
MA Kafi, JB Othman, N Badache
ACM Computing Surveys (CSUR) 50 (2), 1-47, 2017
1162017
Semi-structured and unstructured data aggregation scheduling in wireless sensor networks
M Bagaa, A Derhab, N Lasla, A Ouadjaout, N Badache
2012 Proceedings IEEE INFOCOM, 2671-2675, 2012
562012
Static type analysis by abstract interpretation of Python programs
R Monat, A Ouadjaout, A Miné
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
552020
Combinations of reusable abstract domains for a multilingual static analyzer
M Journault, A Miné, R Monat, A Ouadjaout
Verified Software. Theories, Tools, and Experiments: 11th International …, 2020
512020
An effective area-based localization algorithm for wireless networks
N Lasla, MF Younis, A Ouadjaout, N Badache
IEEE Transactions on Computers 64 (8), 2103-2118, 2014
502014
Sedan: Secure and efficient protocol for data aggregation in wireless sensor networks
M Bagaa, N Lasla, A Ouadjaout, Y Challal
32nd IEEE Conference on Local Computer Networks (LCN 2007), 1053-1060, 2007
502007
A multilanguage static analysis of python programs with native C extensions
R Monat, A Ouadjaout, A Miné
International Static Analysis Symposium, 323-345, 2021
482021
Static value analysis of Python programs by abstract interpretation
A Fromherz, A Ouadjaout, A Miné
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018
482018
Efficient data aggregation with in-network integrity control for WSN
M Bagaa, Y Challal, A Ouadjaout, N Lasla, N Badache
Journal of Parallel and Distributed Computing 72 (10), 1157-1170, 2012
452012
Congestion detection strategies in wireless sensor networks: A comparative study with testbed experiments
MA Kafi, D Djenouri, JB Othman, A Ouadjaout, N Badache
Procedia computer science 37, 168-175, 2014
442014
SEIF: secure and efficient intrusion-fault tolerant routing protocol for wireless sensor networks
A Ouadjaout, Y Challal, N Lasla, M Bagaa
2008 Third International Conference on Availability, Reliability and …, 2008
412008
Modular static analysis of string manipulations in C programs
M Journault, A Miné, A Ouadjaout
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
362018
On optimal anchor placement for efficient area-based localization in wireless networks
N Lasla, M Younis, A Ouadjaout, N Badache
2015 IEEE International Conference on Communications (ICC), 3257-3262, 2015
302015
Interference-aware congestion control protocol for wireless sensor networks
MA Kafi, D Djenouri, JB Othman, A Ouadjaout, M Bagaa, N Lasla, ...
Procedia Computer Science 37, 181-188, 2014
292014
Wireless energy efficient occupancy-monitoring system for smart buildings
N Lasla, M Doudou, D Djenouri, A Ouadjaout, C Zizoua
Pervasive and Mobile Computing 59, 101037, 2019
242019
A library modeling language for the static analysis of C programs
A Ouadjaout, A Miné
International Static Analysis Symposium, 223-247, 2020
232020
DZ50: Energy-efficient wireless sensor mote platform for low data rate applications
A Ouadjaout, N Lasla, M Bagaa, M Doudou, C Zizoua, MA Kafi, A Derhab, ...
Procedia Computer Science 37, 189-195, 2014
222014
Efficient multi-path data aggregation scheduling in wireless sensor networks
M Bagaa, M Younis, A Ouadjaout, N Badache
2013 IEEE international conference on Communications (ICC), 1560-1564, 2013
202013
Design of a modular platform for static analysis
A Miné, A Ouadjaout, M Journault
The Ninth Workshop on Tools for Automatic Program Analysis (TAPAS'18), 2018
192018
The system can't perform the operation now. Try again later.
Articles 1–20