Search - Archive ouverte HAL Access content directly

Filter your results

720 Results
Structure: Internal structure identifier : 363822
Image document

A modal analysis oriented reduction methodology using component eigenmodes and Arnoldi enrichment

Hadrien Tournaire , Franck Renaud , Jean-Luc Dion
CFM 2015 - 22ème Congrès Français de Mécanique, Aug 2015, Lyon, France
Conference papers hal-03446478v1
Image document

Design of a new measurable approach for the qualification of the behaviour of an autonomous vehicle

Yacine Mezali , Mohamed Khaledi , Loïc Coquelin , Rémi Régnier , Jordan Martin et al.
European Control Conference, Jul 2022, London, United Kingdom
Conference papers hal-03603685v1

Dynamic and Scalable Deep Neural Network Verification Algorithm

Mohamed Ibn Khedher , Hatem Ibn Khedher , Makhlouf Hadji
International Conference on Agents and Artificial Intelligence, Feb 2021, Vienna, Austria
Conference papers hal-03043107v1
Image document

Mixed-criticality in Railway Systems: A Case Study on Signalling Application

Albert Cohen , Valentin Perrelle , Dumitru Potop-Butucaru , Elie Soubiran , Zhen Zhang et al.
Workshop on Mixed Criticality for Industrial Systems (WMCIS'2014), Jun 2014, Paris, France
Conference papers hal-01095111v1
Image document

Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embedded Multi-Cores

Albert Cohen , Valentin Perrelle , Dumitru Potop-Butucaru , Marc Pouzet , Elie Soubiran et al.
International Conference on Embedded and Real-Time Software and Systems (ERTS2), Jan 2016, Toulouse, France
Conference papers hal-01425887v1
Image document

Community graph and linguistic analysis to validate relationships for knowledge base population

Rashedur Rahman , Brigitte Grau , Sophie Rosset
4th International Symposium on Information Management and Big Data (SimBig 2017), Sep 2017, Lima, Peru
Conference papers hal-01617291v1
Image document

A deterministic approach for shape and topology optimization under uncertain loads

Chetra Mang , Julien Cortial , Chiara Nardoni , Felipe Bordeu
Eurogen 2019, Sep 2019, Guimarães, Portugal
Conference papers hal-02471986v1

Short & long term forecasting of multimodal transport passenger flows with machine learning methods

Florian Toque , Mostepha Khouadjia , Etienne Come , Martin Trepanier , Latifa Oukhellou et al.
2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC), Oct 2017, Yokohama, France. pp.560-566, ⟨10.1109/ITSC.2017.8317939⟩
Conference papers hal-02474575v1
Image document

Optimisation de combinaisons de stratégies de maintenances par simulation stochastique

Selma Khebbache , Michel Batteux
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Conference papers hal-03595351v1
Image document

CaTch: A Confidence Range Tolerant Misbehavior Detection Approach

Joseph Kamel , Arnaud Kaiser , Ines Ben Jemaa , Pierpaolo Cincilla , Pascal Urien et al.
IEEE Wireless Communications and Networking Conference, Apr 2019, Marrakech, Morocco
Conference papers hal-02126960v1

ATTAQUES ADVERSES POUR LA ROBUSTESSE DES AGENTS AUTONOMES APPRIS PAR RENFORCEMENT

Lucas Schott
Conférence SIA (2021) Société des ingénieurs de l’automobile, Journée d’étude – l’IA appliquée aux véhicules autonomes, 2021, Marne la Vallée ?, France
Conference papers hal-03878112v1

A New Watermarking Method Based on Analytical Clifford Fourier Mellin Transform

Mallek Mziou-Sallami , Maroua Affes , Faouzi Ghorbel
Springer. Representation analysis and recognition of shape and motion from Imaging Data, 1, , 2017, 978-3-030-19816-9
Book sections hal-02139081v1

Dynamic and Adaptive Grouping Maintenance Strategies: New Scalable Optimization Algorithms

Makhlouf Hadji , Maria Hanini , Selma Khebbache , Laurent Bouillaut
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 2021
Journal articles hal-03400833v1

Coupling algebraic topology theory, formal methods and safety requirements toward a new coverage metric for artificial intelligence models

Faouzi Adjed , Mallek Mziou-Sallami , Frédéric Pelliccia , Mehdi Rezzoug , Lucas Schott et al.
Neural Computing and Applications, 2022, 34 (19), pp.17129-17144. ⟨10.1007/s00521-022-07363-6⟩
Journal articles hal-03878163v1

Stochastic sparse adversarial attacks

Hatem Hajri , Manon Césaire , Théo Combey , Sylvain Lamprier , Patrick Gallinari et al.
Workshop DEEL (2021), 2021, En visio, France
Conference poster hal-03878093v1

Analyzing Adversarial Attacks against Deep Learning for robot navigation

Mohamed Ibn Khedher , Rezzoug Mehdi
13th International conference on Agents and Artificial Intelligence, 2021, Vienna, Austria
Conference papers hal-03878127v1

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

Monitoring 5G Radio Access Networks with Cloud-Based Stream Processing Platforms

Drissa Houatra , Yuchia Tseng
21th International Conference on Innovation in Clouds, Internet and Networks (ICIN 2018), Feb 2018, Châtillon, France
Conference papers hal-01815189v1

Identifying Daily Electric Consumption Patterns from Smart Meter Data by Means of Clustering Algorithms

Fateh Nassim Melzi , Mohamed Haykel Zayani , Amira Ben Hamida , Allou Same , Latifa Oukhellou et al.
ICMLA 2015 - IEEE International Conference on Machine Learning and Applications, Dec 2015, MIAMI, United States. 6p
Conference papers hal-01215017v1
Image document

Scaling Time-Dependent Origin-Destination Matrix Using Growth Factor Model

Fereshteh Asgari , Ahmed Amrani , Mostepha Khouadjia
International Conference on Transport and Smart Cities, Sep 2021, Frankfort, Germany
Conference papers hal-03358508v1
Image document

A Secure and Authenticated Key Management Protocol (SA-KMP) for Vehicular Networks

Hengchuan Tan , Maode Ma , Houda Labiod , Aymen Boudguiga , Jun Zhang et al.
IEEE Transactions on Vehicular Technology, 2016, 65 (12), pp.9570 - 9584. ⟨10.1109/TVT.2016.2621354⟩
Journal articles hal-01480959v1

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

Towards an Extended Interoperability Systemic Approach for Dynamic Manufacturing Networks: Role and Assessment of PLMStandards

Emna Moones , Nicolas Figay , Thomas Vosgien , Lyes Kermad , François Stephan et al.
CSDM, Nov 2014, Paris, France. pp.59-72, ⟨10.1007/978-3-319-11617-4_5⟩
Conference papers hal-03630169v1

Formal System and Safety Design of a System of Systems: a proof of concepts

Michel Batteux , Romain Kerneis , Ismet Addoui , Anouk Dubois
European Safety and Reliability Conference (ESREL 2020), Nov 2020, Venice, Italy
Conference papers hal-03073797v1

Addressing SOTIF requirement for AD/ADAS through long-drive simulations

Jordan Martin , Alex Grandjean , Sylvestre Prabakaran , Badreddine Dibaj , Soualmi Boussaad et al.
Driving Simulation Conference, Sep 2022, Strasbourg, France
Conference papers hal-03764216v1
Image document

Génération de données pour le diagnostic et le pronostic : un exemple applicatif

Michel Batteux , Yani Souami , Josquin Foulliaron , William Lair
Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
Conference papers hal-03454685v1
Image document

Topology optimization in contact, plasticity, and fracture mechanics using a level-set method

Jeet Desai
Optimization and Control [math.OC]. Universite Paris Diderot-Paris VII; Ecole polytechnique X; IRT systemX, 2021. English. ⟨NNT : ⟩
Theses tel-03465162v1
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

A simple intrusion detection method for controller area network

Aymen Boudguiga , Witold Klaudel , Antoine Boulanger , Pascal Chiron
ICC 2016 - 2016 IEEE International Conference on Communications, May 2016, Kuala Lumpur, France. pp.1-7, ⟨10.1109/ICC.2016.7511098⟩
Conference papers hal-02920651v1

Blockchain Energy Market Place Evaluation: An Agent-Based Approach

Kei-Léo Brousmiche , Andra Anoaica , Omar Dib , Tesnim Abdellatif , Gilles Deleuze et al.
2018 IEEE 9th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON), Nov 2018, Vancouver, Canada. pp.321-327
Conference papers hal-02271066v1