Search - Archive ouverte HAL Access content directly

Filter your results

2 483 Results

A benchmark of incremental model transformation tools based on an industrial case study with AADL

Hana Mkaouar , Dominique Blouin , Etienne Borde
Software and Systems Modeling, 2022, ⟨10.1007/s10270-022-00989-z⟩
Journal articles hal-03905646v1

Solving the instance model-view update problem in AADL

Rakshit Mittal , Dominique Blouin , Anish Bhobe , Soumyadip Bandyopadhyay
MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.55-65, ⟨10.1145/3550355.3552396⟩
Conference papers hal-03905639v1

Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models

Eric Senn , Lucie Bourdon , Dominique Blouin
4th International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.677-683, ⟨10.1145/3550356.3563129⟩
Conference papers hal-03905633v1
Image document

Cooperation as a signal of time preferences

Julien Lie-Panis , Jean-Baptiste André
Proceedings of the Royal Society B: Biological Sciences, 2022, 289 (1973), ⟨10.1098/rspb.2021.2266⟩
Journal articles hal-03899999v1
Image document

Diffusive limits of Lipschitz functionals of Poisson measures

Eustache Besançon , Laure Coutin , Laurent Decreusefond , Pascal Moyal
Preprints, Working Papers, ... hal-03283778v2
Image document

Incremental Mining of Frequent Serial Episodes Considering Multiple Occurrences

Thomas Guyet , Wenbin Zhang , Albert Bifet
ICCS 2022 - 22nd International Conference on Computational Science, Jun 2022, London, United Kingdom. pp.460-472, ⟨10.1007/978-3-031-08751-6_33⟩
Conference papers hal-03898790v1

Curves on Frobenius classical surfaces in $\mathbb{P}^{3}$ over finite fields

Elena Berardini , Jade Nardi
Acta Arithmetica, 2022, 205 (4), pp.323-340. ⟨10.4064/aa211118-12-9⟩
Journal articles hal-03889512v1
Image document

Analysis and control of online interactions through neural natural language processing

Léo Laugier
Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT035⟩
Theses tel-03884481v1

Traité IC2 - Réseaux Véhiculaires : Modèles et Algorithmes

Houda Labiod , André-Luc Beylot
Hermes Science Publications / Lavoisier, pp.1-266, 2013, Traité IC2, série "Réseaux et télécommunications", 978-2746232907
Books hal-03882225v1

Vehicular Networks : Models and Algorithms

André-Luc Beylot , Houda Labiod
Books hal-03882223v1
Image document

Partial Key Exposure Attacks on BIKE, Rainbow and NTRU

Andre Esser , Alexander May , Javier A. Verbel , Weiqiang Wen
Advances in Cryptology – CRYPTO 2022, 13509, Springer Nature Switzerland, pp.3-31, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-15982-4_1⟩
Book sections hal-03876958v1

Long-range QKD without trusted nodes is not possible with current technology

Bruno Huttner , Romain Alléaume , Eleni Diamanti , Florian Fröwis , Philippe Grangier et al.
npj Quantum Information, 2022, 8, pp.108. ⟨10.1038/s41534-022-00613-4⟩
Journal articles hal-03871612v1
Image document

TINA: Textual Inference with Negation Augmentation

Chadi Helwe , Simon Coumes , Chloé Clavel , Fabian Suchanek
The 2022 Conference on Empirical Methods in Natural Language Processing ( EMNLP 2022 ), Dec 2022, Abu Dhabi, United Arab Emirates
Conference papers hal-03870605v1
Image document

LogiTorch: A PyTorch-based library for logical reasoning on natural language

Chadi Helwe , Chloé Clavel , Fabian Suchanek
The 2022 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, Dec 2022, Abu Dhabi, United Arab Emirates
Conference papers hal-03870592v1
Image document

An approach to bridge ROS 1 and ROS 2 devices into an OPC UA-based testbed for industry 4.0

Quang-Duy Nguyen , Saadia Dhouib , Yining Huang , Patrick Bellot
ONCON 2022 - 1st IEEE Industrial Electronics Society Annual On-Line Conference, Dec 2022, Online conference, India
Conference papers cea-03870393v1
Image document

A unified method to design bridges for OPC UA PubSub networks in the industrial IoT

Quang-Duy Nguyen , Saadia Dhouib , Patrick Bellot
IEEE CAMAD 2022 - IEEE 27th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, Nov 2022, Paris, France
Conference papers cea-03870289v1

The Role of Causality in a Formal Definition of Timing Anomalies

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan et al.
2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
Conference papers hal-03867187v1
Image document

The devil hides in the model: Reviewing Blockchain and BFT protocols

Antoine Durand , Gérard Memmi
Blockchain 22 4th International Congress on Blockchain and Applications, Jul 2022, L'Aquila, Italy
Conference papers hal-03860862v1
Image document

Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services

Mingming Qiu , Elie Najm , Rémi Sharrock , Bruno Traverson
Other publications hal-03860833v1
Image document

PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services

Mingming Qiu , Elie Najm , Rémi Sharrock , Bruno Traverson
Christine Strauss; Alfredo Cuzzocrea; Gabriele Kotsis; A Min Tjoa; Ismail Khalil. Database and Expert Systems Applications. 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part II, 13427, Springer International Publishing, pp.158-173, 2022, Lecture Notes in Computer Science, 978-3-031-12425-9. ⟨10.1007/978-3-031-12426-6_13⟩
Book sections hal-03860813v1
Image document

Using a Knowledge Base to Automatically Annotate Speech Corpora and to Identify Sociolinguistic Variation

Yaru Wu , Fabian Suchanek , Ioana Vasilescu , Lori Lamel , Martine Adda-Decker et al.
13th Conference on Language Resources and Evaluation (LREC 2022), Jun 2022, Marseille, France. pp.1054-1360
Conference papers hal-03860760v1

Real-Time Machine Learning Competition on Data Streams at the IEEE Big Data 2019

Dihia Boulegane , Nedeljko Radulovic , Albert Bifet , Ghislain Fievet , Jimin Sohn et al.
2019 IEEE International Conference on Big Data (Big Data), Dec 2019, Los Angeles, United States. pp.3493-3497, ⟨10.1109/BigData47090.2019.9006357⟩
Conference papers hal-03860649v1

SCALAR - A Platform for Real-time Machine Learning Competitions on Data Streams

Nedeljko Radulovic , Dihia Boulegane , Albert Bifet
Journal of Open Source Software, 2020, 5 (56), pp.2676. ⟨10.21105/joss.02676⟩
Journal articles hal-03860640v1

Confident Interpretations of Black Box Classifiers

Nedeljko Radulovic , Albert Bifet , Fabian Suchanek
2021 International Joint Conference on Neural Networks (IJCNN), Jul 2021, Shenzhen, China. pp.1-8, ⟨10.1109/IJCNN52387.2021.9534234⟩
Conference papers hal-03860636v1
Image document

Between Principle and Pragmatism: Reflections on Prototyping Computational Media with Webstrates

Marcel Borowski , Bjarke V Fog , Carla F Griggio , James R Eagan , Clemens N Klokmose et al.
ACM Transactions on Computer-Human Interaction, 2022, ⟨10.1145/3569895⟩
Journal articles hal-03860618v1

Scaling A Blockchain System For 5G-based Vehicular Networks Using Heuristic Sharding

Pengwenlong Gu , Dingjie Zhong , Cunqing Hua , Farid Nait-Abdesselam , Ahmed Serhrouchni et al.
GLOBECOM 2021 - 2021 IEEE Global Communications Conference, Dec 2021, Madrid, France. pp.1-6, ⟨10.1109/GLOBECOM46510.2021.9685234⟩
Conference papers hal-03860353v1

Delay Measurement of 0-RTT Transport Layer Security (TLS) Handshake Protocol

Danylo Goncharskyi , Sung Yong Kim , Ahmed Serhrouchni , Pengwenlong Gu , Rida Khatoun et al.
2022 8th International Conference on Control, Decision and Information Technologies (CoDIT), May 2022, Istanbul, France. pp.1450-1454, ⟨10.1109/CoDIT55151.2022.9803984⟩
Conference papers hal-03860343v1

Attack Graph-based Solution for Vulnerabilities Impact Assessment in Dynamic Environment

Antoine Boudermine , Rida Khatoun , Jean-Henri Choyer
2022 5th Conference on Cloud and Internet of Things (CIoT), Mar 2022, Marrakech, Morocco. pp.24-31, ⟨10.1109/CIoT53061.2022.9766588⟩
Conference papers hal-03860336v1

A machine learning based approach for the detection of sybil attacks in C-ITS

Badis Hammi , Mohamed Yacine Idir , Rida Khatoun
2022 23rd Asia-Pacific Network Operations and Management Symposium (APNOMS), Sep 2022, Takamatsu, Japan. pp.1-4, ⟨10.23919/APNOMS56106.2022.9919991⟩
Conference papers hal-03860326v1

Is it Really Easy to Detect Sybil Attacks in C-ITS Environments: A Position Paper

Badis Hammi , Yacine Mohamed Idir , Sherali Zeadally , Rida Khatoun , Jamel Nebhen et al.
IEEE Transactions on Intelligent Transportation Systems, 2022, 23 (10), pp.18273-18287. ⟨10.1109/TITS.2022.3165513⟩
Journal articles hal-03860322v1