Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

24 résultats
Page :
triés par
Image document

Modular static analysis of string manipulations in C programs

 Matthieu Journault , Antoine Miné , Abdelraouf Ouadjaout
SAS 2018, Aug 2018, Freiburg im Breisgau, Germany
Communication dans un congrès hal-01884772v1
Image document

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
Procedia Computer Science, 2014, 37, pp.168 - 175. ⟨10.1016/j.procs.2014.08.026⟩
Article dans une revue hal-01930911v1
Image document

Design of a Modular Platform for Static Analysis

 Antoine Miné , Abdelraouf Ouadjaout , Matthieu Journault
The Ninth Workshop on Tools for Automatic Program Analysis (TAPAS'18), Aug 2018, Fribourg-en-Brisgau, Germany
Communication dans un congrès hal-01870001v1
Image document

SEIF: Secure and Efficient Intrusion Fault tolerant protocol for Wireless Sensor Networks

 Abdelraouf Ouadjaout , Yacine Challal , Noureddine Lasla , Mouloud Bagaa
IEEE International Conference on Availability, Reliability and Security, 2008, Spain. pp.503-508
Communication dans un congrès hal-00390450v1
Image document

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

 Raphaël Monat , Abdelraouf Ouadjaout , Antoine Miné
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Apr 2023, Paris, France. pp.565-570, ⟨10.1007/978-3-031-30820-8_37⟩
Communication dans un congrès hal-04077678v1
Image document

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer

 Matthieu Journault , Antoine Miné , Raphaël Monat , Abdelraouf Ouadjaout
VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2019, New York, United States. pp.1-18, ⟨10.1007/978-3-030-41600-3_1⟩
Communication dans un congrès hal-02890500v1
Image document

Efficient data aggregation with in-network integrity control for WSN

 Miloud Bagaa , Yacine Challal , Abdelraouf Ouadjaout , Noureddine Lasla , Nadjib Badache
Journal of Parallel and Distributed Computing, 2012, 72, pp.1157-1170. ⟨10.1016/j.jpdc.2012.06.006⟩
Article dans une revue hal-00723853v1
Image document

Value and Allocation Sensitivity in Static Python Analyses

 Raphaël Monat , Abdelraouf Ouadjaout , Antoine Miné
9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Jun 2020, London, United Kingdom. pp.8-13, ⟨10.1145/3394451.3397205⟩
Communication dans un congrès hal-02876667v1
Image document

SMART: Secure Multi-pAths Routing for wireless sensor neTworks

 Noureddine Lasla , Abdelouahid Derhab , Abdelraouf Ouadjaout , Miloud Bagaa , Yacine Challal
13th International Conference, ADHOC-NOW, Jun 2014, Benidorm, Spain. pp.332-345, ⟨10.1007/978-3-319-07425-2_25⟩
Communication dans un congrès hal-01308973v1

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

 Abdelouahab Amira , Abdelraouf Ouadjaout , Abdelouahid Derhab , Nadjib Badache
CODASPY, Mar 2017, Scottsdale, Arizona, United States. Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy, 2017, ⟨10.1145/3029806.3029838⟩
Poster de conférence hal-01522368v1
Image document

A Multilanguage Static Analysis of Python Programs with Native C Extensions

 Raphaël Monat , Abdelraouf Ouadjaout , Antoine Miné
Static Analysis Symposium (SAS), Oct 2021, Chicago, Illinois, United States
Communication dans un congrès hal-03313409v1
Image document

Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains

 Abdelraouf Ouadjaout , Antoine Miné
24th International Symposium on Static Analysis (SAS 2017), Aug 2017, New York, NY, United States. pp.277-298, ⟨10.1007/978-3-319-66706-5_14⟩
Communication dans un congrès hal-01575855v1
Image document

Interference-aware Congestion Control Protocol for Wireless Sensor Networks

 Mohamed Amine Kafi , Djamel Djenouri , Jalel Ben Othman , Abdelraouf Ouadjaout , Miloud Bagaa , et al.
Procedia Computer Science, 2014, 37, pp.181 - 188. ⟨10.1016/j.procs.2014.08.028⟩
Article dans une revue hal-01930915v1
Image document

A Library Modeling Language for the Static Analysis of C Programs

 Abdelraouf Ouadjaout , Antoine Miné
27th Static Analysis Symposium, Nov 2020, Chicago, United States. pp.223-247, ⟨10.1007/978-3-030-65474-0_11⟩
Communication dans un congrès hal-02991999v1
Image document

An abstract domain for trees with numeric relations

 Matthieu Journault , Antoine Miné , Abdelraouf Ouadjaout
ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.724-751, ⟨10.1007/978-3-030-17184-1_26⟩
Communication dans un congrès hal-02197107v1
Image document

Secure and efficient disjoint multipath construction for fault tolerant routing in wireless sensor networks

 Yacine Challal , Abdelraouf Ouadjaout , Noureddine Lasla , Mouloud Bagaa , Abdelkrim Hadjidj
Journal of Network and Computer Applications (JNCA), 2011, 34, pp.1380-1397. ⟨10.1016/j.jnca.2011.03.022⟩
Article dans une revue hal-00593778v1
Image document

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

 Miloud Bagaa , Noureddine Laslaa , Abdelraouf Ouadjaout , Yacine Challal
IEEE Local Computer Networks / Workshop on Network Security, 2007, Ireland. pp.1053-1060
Communication dans un congrès hal-00390501v1
Image document

Static Analysis of Endian Portability by Abstract Interpretation

 David Delmas , Abdelraouf Ouadjaout , Antoine Miné
28th Static Analysis Symposium (SAS 2021), Oct 2021, Chicago, Illinois, United States. pp.102-123, ⟨10.1007/978-3-030-88806-0_5⟩
Communication dans un congrès hal-03450165v1
Image document

Quantitative Static Analysis of Communication Protocols using Abstract Markov Chains

 Abdelraouf Ouadjaout , Antoine Miné
Formal Methods in System Design, 2019, 54 (1), pp.64-109. ⟨10.1007/s10703-019-00331-2⟩
Article dans une revue hal-02096159v1

Half-Symmetric Lens Based Localization Algorithm for Wireless Sensor Networks

 Noureddine Lasla , A. Derhab , Abdelraouf Ouadjaout , Miloud Bagaa , Adlen Ksentini , et al.
IEEE Local Conferences on Networks (LCN), Oct 2012, Clearwater, Florida, United States
Communication dans un congrès hal-00756980v1
Image document

Static Value Analysis of Python Programs by Abstract Interpretation

 Aymeric Fromherz , Abdelraouf Ouadjaout , Antoine Miné
NFM 2018 - 10th International Symposium NASA Formal Methods, Apr 2018, Newport News, VA, United States. pp.185-202, ⟨10.1007/978-3-319-77935-5_14⟩
Communication dans un congrès hal-01782390v1
Image document

Information Security in Wireless Sensor Networks

 Abdelraouf Ouadjaout , Miloud Bagaa , Abdelmalik Bachir , Yacine Challal , Nouredine Lasla , et al.
Dharma P Agrawal, Bin Xie. Encyclopedia on Ad Hoc and Ubiquitous Computing, World Scientific, pp.427-472, 2009, 978-981-283-349-5. ⟨10.1142/9789812833495_0017⟩
Chapitre d'ouvrage hal-00543985v1
Image document

Static Type Analysis by Abstract Interpretation of Python Programs

 Raphaël Monat , Abdelraouf Ouadjaout , Antoine Miné
34th European Conference on Object-Oriented Programming (ECOOP 2020), Nov 2020, Berlin (Virtual / Covid), Germany. ⟨10.4230/LIPIcs.ECOOP.2020.17⟩
Communication dans un congrès hal-02994000v1
Image document

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 , et al.
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024, Apr 2024, Luxembourg City, Luxembourg. pp.387 - 392, ⟨10.1007/978-3-031-57256-2_26⟩
Communication dans un congrès hal-04536418v1
Page :