Efficiency Versus Creativity as Organizing Principles of Socio-Technical Systems: Why Do We Build (Intelligent) Systems? [Commentary]
Ada Diaconescu
Journal articles
hal-02449500v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficiency vs Creativity as Organising Principles of Socio-Technical Systems
Ada Diaconescu
IEEE Technology and Society Magazine , 2019
Journal articles
hal-03023532v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Energy trading marketplace using Ethereum private network
Dongmin Son
,
Sawsan Al Zahr
,
Gerard Memmi
[Technical Report] Telecom Paris. 2020
Reports
hal-03157038v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Explanatory AI for Pertinent Communication in Autonomic Systems
Arles Rodríguez
,
Nathaly Botina
,
Jonatan Gómez
,
Marius Pol
,
Jean-Louis Dessalles
et al.
Conference papers
hal-02449644v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour
Artur Rataj
,
Etienne Borde
Conference papers
hal-02449670v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Finding Optimal Moving Target Defense Strategies: A Resilience Booster for Connected Cars
Maxime Ayrault
,
Ulrich Kühne
,
Etienne Borde
Journal articles
hal-03670106v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
istex
inria-00628310v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-03702426v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More