Abdelraouf Ouadjaout

According to our database, Abdelraouf Ouadjaout authored at least 32 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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é

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution).

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2021

A Multilanguage Static Analysis of Python Programs with Native C Extensions.

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Static Analysis - 28th International Symposium, 2021

Static Analysis of Endian Portability by Abstract Interpretation.

David Delmas, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Static Analysis - 28th International Symposium, 2021

2020

Static Type Analysis by Abstract Interpretation of Python Programs (Artifact).

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Dagstuhl Artifacts Ser., 2020

A Library Modeling Language for the Static Analysis of C Programs.

Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Static Analysis - 27th International Symposium, 2020

Value and allocation sensitivity in static Python analyses.

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020

Static Type Analysis by Abstract Interpretation of Python Programs.

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Wireless energy efficient occupancy-monitoring system for smart buildings.

Noureddine Lasla, Messaoud Doudou, Djamel Djenouri, Abdelraouf Ouadjaout, Cherif Zizoua

Pervasive Mob. Comput., 2019

Quantitative static analysis of communication protocols using abstract Markov chains.

Abdelraouf Ouadjaout, Antoine Miné

Formal Methods Syst. Des., 2019

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer.

Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

An Abstract Domain for Trees with Numeric Relations.

Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout

Proceedings of the Programming Languages and Systems, 2019

2018

Modular Static Analysis of String Manipulations in C Programs.

Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout

Proceedings of the Static Analysis - 25th International Symposium, 2018

Static Value Analysis of Python Programs by Abstract Interpretation.

Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

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

Sound and Static Analysis of Session Fixation Vulnerabilities in PHP Web Applications.

Abdelouahab Amira, Abdelraouf Ouadjaout, Abdelouahid Derhab, Nadjib Badache

Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy, 2017

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

On the Effect of Sensing-holes in PIR-based Occupancy Detection Systems.

Abdelraouf Ouadjaout, Noureddine Lasla, Djamel Djenouri, Cherif Zizoua

Proceedings of the SENSORNETS 2016, 2016

2015

An Effective Area-Based Localization Algorithm for Wireless Networks.

Noureddine Lasla, Mohamed F. Younis, Abdelraouf Ouadjaout, Nadjib Badache

IEEE Trans. Computers, 2015

On optimal anchor placement for efficient area-based localization in wireless networks.

Noureddine Lasla, Mohamed F. Younis, Abdelraouf Ouadjaout, Nadjib Badache

Proceedings of the 2015 IEEE International Conference on Communications, 2015

2014

Poster abstract: static analysis of device drivers in TinyOS.

Abdelraouf Ouadjaout, Noureddine Lasla, Miloud Bagaa, Nadjib Badache

Proceedings of the IPSN'14, 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

Proceedings of the 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2014)/ The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2014)/ Affiliated Workshops, 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

Proceedings of the 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2014)/ The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2014)/ Affiliated Workshops, 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

Proceedings of the 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2014)/ The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2014)/ Affiliated Workshops, 2014

SMART: Secure Multi-pAths Routing for wireless sensor neTworks.

Noureddine Lasla, Abdelouahid Derhab, Abdelraouf Ouadjaout, Miloud Bagaa, Yacine Challal

Proceedings of the Ad-hoc, Mobile, and Wireless Networks - 13th International Conference, 2014

2013

Efficient multi-path data aggregation scheduling in wireless sensor networks.

Miloud Bagaa, Mohamed F. Younis, Abdelraouf Ouadjaout, Nadjib Badache

Proceedings of IEEE International Conference on Communications, 2013

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

Half-Symmetric Lens based localization algorithm for wireless sensor networks.

Noureddine Lasla, Abdelouahid Derhab, Abdelraouf Ouadjaout, Miloud Bagaa, Adlen Ksentini, Nadjib Badache

Proceedings of the 37th Annual IEEE Conference on Local Computer Networks, 2012

Semi-structured and unstructured data aggregation scheduling in wireless sensor networks.

Miloud Bagaa, Abdelouahid Derhab, Noureddine Lasla, Abdelraouf Ouadjaout, Nadjib Badache

Proceedings of the IEEE INFOCOM 2012, Orlando, FL, USA, March 25-30, 2012, 2012

2011

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

2008

SEIF: Secure and Efficient Intrusion-Fault Tolerant Routing Protocol for Wireless Sensor Networks.

Abdelraouf Ouadjaout, Yacine Challal, Noureddine Lasla, Miloud Bagaa

Proceedings of the The Third International Conference on Availability, 2008

2007

SEDAN: Secure and Efficient protocol for Data Aggregation in wireless sensor Networks.

Miloud Bagaa, Noureddine Lasla, Abdelraouf Ouadjaout, Yacine Challal

Proceedings of the 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 2007