Search - Archive ouverte HAL Access content directly

Filter your results

33 Results
Structure: Internal structure identifier : 638

Abstract interpretation for neural networks verification

Omar El Mellouki , Mohamed Ibn Khedher , Mounim El Yacoubi
DataIA Workshop « Safety & AI » (2020), Sep 2020, Gif-sur-Yvette, France. 2020, ⟨10.13140/RG.2.2.33268.78720⟩
Conference poster hal-03878080v1
Image document

An Event-B based approach for formal modelling and verification of smart contracts

Asma Lahbib , Abderrahim Ait Wakrime , Anis Laouiti , Khalifa Toumi , Steven Martin et al.
AINA 2020: 34th International Conference on Advanced Information Networking and Applications, Apr 2020, Caserta, Italy. pp.1303-1318, ⟨10.1007/978-3-030-44041-1_111⟩
Conference papers hal-02928201v1

Improving profit through cloud federation.

Makhlouf Hadji , Selma Rebai , Djamal Zeghlache
IEEE CCNC, Jan 2015, Las Vegas, United States
Conference papers hal-01613547v1

Blockchain based privacy aware distributed access management framework for industry 4.0

Asma Lahbib , Khalifa Toumi , Anis Laouiti , Steven Martin
WETICE 2021: IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Oct 2021, Bayonne (online), France. pp.51-56, ⟨10.1109/WETICE53228.2021.00021⟩
Conference papers hal-03591078v1

A novel virtual network embedding scheme based on Gomory-Hu tree within cloud's backbone

Oussama Soualah , Ilhem Fajjari , Makhlouf Hadji , Nadjib Aitsaadi , Djamal Zeghlache et al.
NOMS 2016 : Network Operations and Management Symposium, Apr 2016, Istanbul, Turkey. pp.536 - 542, ⟨10.1109/NOMS.2016.7502855⟩
Conference papers hal-01459189v1

A game theory approach with dynamic pricing to optimize smart grid operation

Makhlouf Hadji , Marc Girod-Genet , Hossam Afifi
International Journal of Smart Grid and Clean Energy, 2015, 4 (3), pp.186 - 198. ⟨10.12720/sgce.4.3.186-198⟩
Journal articles hal-01255130v1
Image document

Combining Bayesian inference and clustering for transport mode detection from sparse and noisy geolocation data

Danya Bachir , Ghazaleh Khodabandelou , Vincent Gauthier , Mounim El Yacoubi , Eric Vachon et al.
ECML PKDD 2018: Machine Learning and Knowledge Discovery in Databases, Sep 2018, Dublin, Ireland. pp.569-584, ⟨10.1007/978-3-030-10997-4_35⟩
Conference papers hal-01939608v1

Metrics to enhance the resilience of cyber-physical systems

Michel Barbeau , Frederic Cuppens , Nora Cuppens , Dagnas, Romain , Joaquin Garcia‐alfaro et al.
TRUSTCOM 2020: 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Dec 2020, Guangzhou (online), China. pp.1167-1172, ⟨10.1109/TrustCom50675.2020.00156⟩
Conference papers hal-03125741v1

Exact and heuristic resource mapping algorithms for distributed and hybrid clouds

Marouen Mechtri , Makhlouf Hadji , Djamal Zeghlache
IEEE Transactions on Cloud Computing, 2017, 5 (4), pp.681 - 696. ⟨10.1109/TCC.2015.2427192⟩
Journal articles hal-01462097v1

Evaluation of feature-embedding methods for word spotting in historical arabic documents

Abir Fathallah , Mohamed Ibn Khedher , Mounim El Yacoubi , Najoua Essoukri Ben Amara
SSD 2020: 17th international multi-conference on Systems, Signals and Devices, Jul 2020, Monastir (online), Tunisia. pp.34-39, ⟨10.1109/SSD49366.2020.9364134⟩
Conference papers hal-03094910v1

Dynamic placement of extended service function chains: Steiner-based approximation algorithms

Selma Khebbache , Makhlouf Hadji , Djamal Zeghlache
LCN 2018: 43rd IEEE conference on Local Computer Networks, Oct 2018, Chicago, United States. pp.307-310, ⟨10.1109/LCN.2018.8638044⟩
Conference papers hal-01851804v1
Image document

A new approach of network simulation for data generation in evaluating security products

Pierre-Marie Bajan , Hervé Debar , Christophe Kiennert
ICIMP 2018: 13th International Conference on Internet Monitoring and Protection, Jul 2018, Barcelone, Spain. pp.35-41
Conference papers hal-01901017v1

Siamese network based feature learning for improved intrusion detection

Houda Jmila , Mohamed Ibn Khedher , Gregory Blanc , Mounim El Yacoubi
ICONIP 2019: International Conference on Neural Information Processing, Dec 2019, Sydney, Australia. pp.377-389, ⟨10.1007/978-3-030-36708-4_31⟩
Conference papers hal-02421070v1
Image document

Estimating urban mobility with mobile network geolocation data mining

Danya Bachir
Networking and Internet Architecture [cs.NI]. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLL004⟩
Theses tel-02046122v1

Using mobile phone data analysis for the estimation of daily urban dynamics

Danya Bachir , Vincent Gauthier , Mounim El Yacoubi , Ghazaleh Khodabandelou
ITSC 2017 : 20th International Conference on Intelligent Transportation Systems, Oct 2017, Yokohama, Japan. pp.626 - 632, ⟨10.1109/ITSC.2017.8317956⟩
Conference papers hal-01745767v1

Cost-efficient algorithms for critical resource allocation in cloud federations

Makhlouf Hadji , Benjamin Aupetit , Djamal Zeghlache
CLOUDNET 2016 : 5th International Conference on Cloud Networking, Oct 2016, Pisa, Italy. pp.1 - 6, ⟨10.1109/CloudNet.2016.11⟩
Conference papers hal-01471712v1

Triplet CNN-based word spotting of historical Arabic documents

Abir Fathallah , Mohamed Ibn Khedher , Mounim El Yacoubi , Najoua Essoukri Ben Amara
ICONIP 2019: 26th International Conference on Neural Information Processing of the Asia-Pacific Neural Network Society, Dec 2019, Sydney, Australia
Conference papers hal-02473637v1

Risks and security of internet and systems

Joaquin Garcia‐alfaro , Jean Leneutre , Nora Cuppens , Reda Yaich
CRISIS 2020: 15th International Conference on Risks and Security of Internet and Systems, Nov 2020, Paris, France. 12528, Springer, pp.xi-378, 2021, Lecture Notes in Computer Science (LNCS), 978-3-030-68886-8. ⟨10.1007/978-3-030-68887-5⟩
Proceedings hal-03628457v1
Image document

Methodology of a network simulation in the context of an evaluation: application to an IDS

Pierre-Marie Bajan , Christophe Kiennert , Hervé Debar
ICISSP 2019: 5th International Conference on Information Systems Security and Privacy, Feb 2019, Prague, Czech Republic. pp.378-388, ⟨10.5220/0007378603780388⟩
Conference papers hal-02176684v1
Image document

Automatic processing of Historical Arabic Documents: a comprehensive survey

Mohamed Ibn Khedher , Houda Jmila , Mounim El Yacoubi
Pattern Recognition, 2020, 100, pp.107144-1:107144-17. ⟨10.1016/j.patcog.2019.107144⟩
Journal articles hal-02481354v1
Image document

DRMF: a Distributed Resource Management Framework for industry 4.0 environments

Asma Lahbib , Khalifa Toumi , Anis Laouiti , Steven Martin
NCA 2019: 18th IEEE International Symposium on Network Computing and Applications, Sep 2019, Cambridge, MA, United States. pp.1-9, ⟨10.1109/NCA.2019.8935019⟩
Conference papers hal-02434766v1

A trust framework for centralized TDMA scheduling mechanism in Vehicular Ad hoc Networks

Mohamed Hadded , Khalifa Toumi , Anis Laouiti , Paul Mühlethaler
WTS 2019: Wireless Telecommunications Symposium, Apr 2019, New York, United States. ⟨10.4018/IJITN.2020100106⟩
Conference papers hal-02454384v1

Detecting nuisance calls over internet telephony using caller reputation

Ibrahim Tariq Javed , Khalifa Toumi , Fares Alharbi , Tiziana Margaria , Noel Crespi et al.
Electronics, 2021, 10 (3), pp.353:1-353:20. ⟨10.3390/electronics10030353⟩
Journal articles hal-03126516v1

Evaluating security products: formal model and requirements of a new approach

Christophe Kiennert , Pierre-Marie Bajan , Hervé Debar
International Journal On Advances in Security, 2019, 12 (1 & 2), pp.29-41
Journal articles hal-02281230v1

Foundations and practice of security

Esma Aïmeur , Maryline Laurent , Reda Yaich , Benoît Dupont , Joaquin Garcia‐alfaro et al.
Springer International Publishing, 13291, 2022, Lecture Notes in Computer Science, 978-3-031-08146-0. ⟨10.1007/978-3-031-08147-7⟩
Books hal-03843022v1
Image document

Inferring dynamic origin-destination flows by transport mode using mobile phone data

Danya Bachir , Ghazaleh Khodabandelou , Vincent Gauthier , Jakob Puchinger , Mounim El Yacoubi et al.
Transportation research. Part C, Emerging technologies, 2019, 101, pp.254-275. ⟨10.1016/j.trc.2019.02.013⟩
Journal articles hal-02043639v1

Virtual Mobile Edge Computing based on IoT devices resources in smart cities

Mohammed Laroui , Hatem Khedher , Hassine Moungla , Hossam Afifi , Ahmed Kamal et al.
ICC 2020: IEEE International Conference on Communications, Jun 2020, Dublin, Ireland. pp.1-6, ⟨10.1109/ICC40277.2020.9148982⟩
Conference papers hal-03114379v1

Scalable and cost efficient algorithms for virtual CDN migration

Hatem Ibn Khedher , Makhlouf Hadji , Emad Mohamed Abd Elrahman Abousabea , Hossam Afifi , Ahmed E. Kamal et al.
LCN 2016 : 41st IEEE Conference on Local Computer Networks, Nov 2016, Dubai, United Arab Emirates. pp.112 - 120, ⟨10.1109/LCN.2016.23⟩
Conference papers hal-01462218v1

Adversarial machine learning for network intrusion detection: a comparative study

Houda Jmila , Mohamed Ibn Khedher
Computer Networks, 2022, 214, pp.109073:1-109073:14. ⟨10.1016/j.comnet.2022.109073⟩
Journal articles hal-03726213v1

Virtualized network functions chaining and routing algorithms

Selma Khebbache , Makhlouf Hadji , Djamal Zeghlache
Computer Networks, 2017, 114, pp.95 - 110. ⟨10.1016/j.comnet.2017.01.008⟩
Journal articles hal-01471730v1