Abdelraouf Ouadjaout

37 papers A* 1A 2B 8Journal 10Unranked 16

Year	Rank	Type	Title / 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