Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

Efficiency Versus Creativity as Organizing Principles of Socio-Technical Systems: Why Do We Build (Intelligent) Systems? [Commentary]

Ada Diaconescu
IEEE Technology and Society Magazine, 2019, 38 (1), pp.13-22. ⟨10.1109/MTS.2019.2894455⟩
Journal articles hal-02449500v1

Efficiency vs Creativity as Organising Principles of Socio-Technical Systems

Ada Diaconescu
IEEE Technology and Society Magazine, 2019
Journal articles hal-03023532v1

Efficient Context Switching for the Stack Cache

Sahar Abbaspour , Florian Brandner , Amine Naji , Mathieu Jan
Proceedings of the 23rd International Conference on Real Time and Networks Systems, Julien Forget (Université de Lille, France), Nov 2015, Lille, France. pp.10, ⟨10.1145/2834848.2834861⟩
Conference papers hal-01246348v1
Image document

Efficient Prior Publication Identification for Open Source Code

Daniele Serafini , Stefano Zacchiroli
18th International Conference on Open Source Systems (OSS 2022), Sep 2022, Madrid, Spain
Conference papers hal-03735961v1

Enabling Markovian Representations under Imperfect Information

Francesco Belardinelli , Borja G. León , Vadim Malvone
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
Conference papers hal-03779034v1

Enabling Relevant Dialogue between Users and Autonomic Systems: a Design for Explainable AI for the Smart Home

Etienne Houzé , Ada Diaconescu , Jean-Louis Dessalles , David Menga
2019
Other publications hal-01996461v1
Image document

Energy trading marketplace using Ethereum private network

Dongmin Son , Sawsan Al Zahr , Gerard Memmi
[Technical Report] Telecom Paris. 2020
Reports hal-03157038v1
Image document

Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report

Paolo Crisafulli , Dominique Blouin , Françoise Caron , Cristian Maxim
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers hal-02454258v1

Enhancing data protection with a structure-wise fragmentation and dispersal of encrypted data

Katarzyna Kapusta , Gérard Memmi
TrustCom'18, Aug 2018, New-York, United States
Conference papers hal-02287926v1

Evolving, Growing, and Gardening Cyber-physical Systems

Susan Stepney , Ada Diaconescu , René Doursat , Jean-Louis Giavitto , Julian Miller et al.
Experimental Architecture - Designing the Unknown, 2019
Book sections hal-03023230v1

Exchange between the German and French Compiler Communities

Jens Knoop , Florian Brandner
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Oct 2015, Pörtschach am Wörthersee, Austria. pp.83-84
Conference papers hal-02287275v1
Image document

Exogenous coordination in multi-scale systems: How information flows and timing affect system properties

Ada Diaconescu , Louisa Jane Di Felice , Patricia Mellodge
Future Generation Computer Systems, 2021
Journal articles hal-03023050v1
Image document

Experimental Energy Profiling of Energy-Critical Embedded Applications

Kameswar Rao Vaddina , Florian Brandner , Gérard Memmi , Pierre Jouvelot
25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6
Conference papers hal-01625409v2

Explanatory AI for Pertinent Communication in Autonomic Systems

Arles Rodríguez , Nathaly Botina , Jonatan Gómez , Marius Pol , Jean-Louis Dessalles et al.
Intelligent Systems and Applications, Sep 2019, Londres, United Kingdom. pp.212-227, ⟨10.1007/978-3-030-29516-5_16⟩
Conference papers hal-02449644v1

Extending TLS with KMIP Protocol for Cloud Computing

Mounira Msahli , Ahmed Serhrouchni , Mohamad Badra
2016 8th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Nov 2016, Larnaca, France. pp.1-6, ⟨10.1109/NTMS.2016.7792452⟩
Conference papers hal-02343631v1
Image document

Fair Self-Adaptive Clustering for Hybrid Cellular-Vehicular Networks

Julian Garbiso , Ada Diaconescu , Marceau Coupechoux , Bertrand Leroy
IEEE Transactions on Intelligent Transportation Systems, 2021, 22 (2), pp.1225-1236
Journal articles hal-02421005v1

Fair Self-Adaptive Clustering for HybridCellular-Vehicular Networks

Julian Garbiso , Ada Diaconescu , Marceau Coupechoux , Bertrand Leroy
IEEE Transactions on Intelligent Transportation Systems, 2020
Journal articles hal-03023217v1

Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour

Artur Rataj , Etienne Borde
the 30th International Workshop, Oct 2019, New York, France. pp.50-56, ⟨10.1145/3339985.3358492⟩
Conference papers hal-02449670v1

Fast Selective Encryption Method for Bitmaps Based on GPU Acceleration

Han Qiu , Gerard Memmi
2014 IEEE International Symposium on Multimedia (ISM), Dec 2014, Taichung, Taiwan
Conference papers hal-01212126v1

Fast Selective Encryption Methods for Bitmap Images

Han Qiu , Gerard Memmi
International Journal of Multimedia Data Engineering and Management (IJMDEM), 2015, 6 (51-69), pp.18
Journal articles hal-01212143v1

Finding Optimal Moving Target Defense Strategies: A Resilience Booster for Connected Cars

Maxime Ayrault , Ulrich Kühne , Etienne Borde
Information, 2022, 13 (5), pp.242. ⟨10.3390/info13050242⟩
Journal articles hal-03670106v1
Image document

Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems

Mathieu Jan , Christophe Jouvray , Fabrice Kordon , Antonio Kung , Jimmy Lalande et al.
Software: Practice and Experience, 2012, 42 (12), pp.1467-1494. ⟨10.1002/spe.1143⟩
Journal articles istex inria-00628310v1

Foraging-inspired Self-organisation for Terrain Exploration with Failure-prone Agents

Arles Rodrigues , Jonatan Gomez , Ada Diaconescu
The 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'15), Sep 2015, Cambridge, MA, United States. pp.10
Conference papers hal-02287382v1

Formal Analysis of Secure Device Pairing Protocols

Trung Nguyen , Jean Leneutre
IEEE 13th International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, Massachusetts, United States
Conference papers hal-02287084v1

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan et al.
International Journal on Software Tools for Technology Transfer, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩
Journal articles hal-03702426v1

Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard

Loic Besnard , Thierry Gautier , Paul Le Guernic , Clément Guy , Jean-Pierre Talpin et al.
Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨10.1007/978-981-10-4436-6_3⟩
Book sections hal-01615143v1
Image document

Formal semantics of behavior specifications in the architecture analysis and design language standard

Loïc Besnard , Thierry Gautier , Paul Le Guernic , Clément Guy , Jean-Pierre Talpin et al.
[Research Report] RR-8950, INRIA. 2016, pp.30 - 39
Reports hal-01419973v1
Image document

Formal semantics of behavior specifications in the architecture analysis and design language standard

Loïc Besnard , Thierry Gautier , Clément Guy , Paul Le Guernic , Jean-Pierre Talpin et al.
HLDVT 2016 - 18th IEEE International High-Level Design Validation and Test Workshop, Oct 2016, Santa Cruz, United States. pp.30-39, ⟨10.1109/HLDVT.2016.7748252⟩
Conference papers hal-01419968v1

Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability

Cuauhtemoc Castellanos , Etienne Borde , Laurent Pautet , Thomas Vergnaud , Thomas Dérive et al.
ISARCS'13, Aug 2013, Montréal, Canada
Conference papers hal-02286706v1
Image document

Framework to Relate / Combine Modeling Languages and Techniques

Rima Al-Ali , Moussa Amrani , Soumyadip Bandyopadhyay , Ankica Barisic , Fernando Barros et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports hal-03168831v1