Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

Reconfigurable Lattice Agreement and Applications

Petr Kuznetsov , Thibault Rieutord , Tucci-Piergiovanni Sara
OPODIS, Dec 2019, Neuchatel, Switzerland
Conference papers hal-03022570v1

The Role of Digital Technologies in Responding to the Grand Challenges of the Natural Environment: The Windermere Accord

Gordon Blair , Richard Bassett , Louis Bastin , L. Beevers , Maribel Borrajo Garcia et al.
Patterns, In press
Journal articles hal-03023290v1

Efficiency vs Creativity as Organising Principles of Socio-Technical Systems

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

What Should I Notice? Using Algorithmic Information Theory to Evaluate the Memorability of Events in Smart Homes

Étienne Houzé , Jean-Louis Dessalles , Ada Diaconescu , David Menga
Entropy, 2022, 24 (3), pp.346. ⟨10.3390/e24030346⟩
Journal articles hal-03813989v1

Publish/Subscribe for Wireless Sensor Networks (Invited paper)

Claude Chaudet , Isabelle Demeure , Salma Ktari , Nicola Costagliola , Samuel Tardieu et al.
Asian Internet Engineering Conference (AINTEC) 2011, Nov 2011, Bangkok, Thailand
Conference papers hal-02278598v1
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

On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometry

Stéphane Ballet , Julia Pieltant , Jean Chaumine , Matthieu Rambaud , Hugues Randriambololona et al.
Russian Mathematical Surveys, 2021, 76 (1), pp.29-89. ⟨10.1070/RM9928⟩
Journal articles hal-03661954v1

Incentive-oriented Task Assignment in Holonic Organic Systems

Jan Kantert , Sven Tomforde , Ada Diaconescu , Christian Müller-Schloer
5th International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems, SAOS@ARCS 2017, Apr 2017, Vienna, Austria
Conference papers hal-02287560v1

The Algorithmic Governance Of Common-Pool Resources

Jeremy Pitt , Ada Diaconescu
From Bitcoin to Burning Man and Beyond: The Quest for Identity and Autonomy in a Digital Society, Edited by John H. Clippinger and David Bollier, Published by ID3 in cooperation with Off the Common Books, pp.133-145, 2014
Book sections hal-02287022v1
Image document

Co-producing industrial public goods on GitHub: Selective firm cooperation, volunteer-employee labour and participation inequality

Mathieu O'Neil , Xiaolan Cai , Laure Muselli , Stefano Zacchiroli
New Media and Society, 2022, ⟨10.1177/14614448221090474⟩
Journal articles hal-03662850v1

Precise, efficient, and context-sensitive cache analysis

Florian Brandner , Camille Noûs
Real-Time Systems, 2021, ⟨10.1007/s11241-021-09372-5⟩
Journal articles hal-03559857v1

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

Introduction to special issue: papers from UML&FM'2009

Isabelle. Perseil , Jean-Michel Bruel , Agusti Canals , Robert de Simone , Sébastien Gérard et al.
Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3
Journal articles hal-02286673v1

Self-awareness and Decision-taking in Socio-Cyber-Physical Systems. An Architectural Perspective

Ada Diaconescu , Jeremy Pitt
3rd International Workshop on Self-Awareness in Cyber-Physical Systems (SelPhyS'18), Apr 2018, Birmingham, United Kingdom
Conference papers hal-02287875v1

Eager Stack Cache Memory Transfers

Naji Amine , Florian Brandner
Workshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
Conference papers hal-02287376v1

Perfect Failure Detection with Very Few Bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord et al.
18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, Lyon, France
Conference papers hal-01423637v1

Improving data collection in complex networks with failure-prone agents via local marking

Jonathan Gomez , Arles Rodriguez , Nathaly Botina , Ada Diaconescu
6th International Symposium of Language and Knowledge Engineering (LKE 2018), Oct 2018, Puebla, Mexico
Conference papers hal-01996468v1

POSTER: Circular AON: A very fast Scheme to protect Encrypted Data Against Key Exposure

Katarzyna Kapusta , Gérard Memmi
ACM CCS’18, Oct 2018, Toronto, Canada
Conference papers hal-02288015v1

Note sur la cryptanalyse de Diffie-Hellman

Matthieu Rambaud , Gérard Memmi
Génie Logiiel, 2017, 120, pp.56-60
Journal articles hal-02287591v1

A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing

Yanjun Sun , Gérard Memmi , Sylvie Vignes
Int. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180
Conference papers hal-02287374v1

Resisting Adversarial Examples via Wavelet Extension and Denoising

Qinkai Zheng , Han Qiu , Tianwei Zhang , Gerard Memmi , Meikang Qiu et al.
Smart Computing and Communication, 12608, Springer International Publishing, pp.204-214, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-74717-6_22⟩
Book sections hal-03559661v1

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

Reinforcing Protection Against Chosen-Plaintext Attack Using Ciphertext Fragmentation in Multi-cloud Environments

Katarzyna Kapusta , Han Qiu , Gérard Memmi
2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), Jun 2019, Paris, France. pp.7-9, ⟨10.1109/CSCloud/EdgeCom.2019.00011⟩
Conference papers hal-02450307v1

Multi-hop Data Fragmentation in Energy Harvesting Wireless Sensor Networks

Keun-Woo Lim , Katarzyna Kapusta , Gerard Memmi , Woo-Sung Jung
2020 Global Internet of Things Summit (GIoTS), Jun 2020, Dublin, France. pp.1-6, ⟨10.1109/GIOTS49054.2020.9119569⟩
Conference papers hal-03559678v1

CALCULATEUR COMPRENANT UN PROCESSEUR MULTICOEUR ET PROCEDE DE CONTROLE D'UN TEL CALCULATEUR

Xavier Jean , Marc Gatti , David Faura , Thomas Robert
France, N° de brevet: FR20130002040 20130903. XJTR:BrevMulDet-2015. 2015, pp.31
Patents hal-02412552v1

Keynote speech

Mounira Msahli
2018 Fourth International Conference on Mobile and Secure Services (MobiSecServ), Feb 2018, Miami Beach, France. pp.1-1, ⟨10.1109/MOBISECSERV.2018.8311434⟩
Conference papers hal-02354925v1

On some bounds for symmetric tensor rank of multiplication in finite fields

Stéphane Ballet , Julia Pieltant , Matthieu Rambaud , Jeroen Sijsling
Alp Bassa, Alain Couvreur and David Kohel. ARITHMETIC, GEOMETRY, CRYPTOGRAPHY AND CODING THEORY, 686, AMER MATHEMATICAL SOC, pp.93 - 121, 2017, Contemporary Mathematics, 978-1-4704-2810-5. ⟨10.1090/conm/686/13779⟩
Book sections hal-01318315v1

Autonomic Computing - Principles, Design and Implementation

Philippe Lalanda , Mccann A. Julie , Ada Diaconescu
Springer, pp.288, 2013, Undergraduate Topics in Computer Science, 978-1-4471-5007-7. ⟨10.1007/978-1-4471-5007-7⟩
Books hal-00854882v1

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

Literature Classification Data for a Systematic Mapping Study on Multi-Paradigm Modeling for Cyber-Physical Systems

Ankica Barisic , Antonio Cicchetti , Ivan Ruchkin , Dominique Blouin
2021
Preprints, Working Papers, ... hal-03338607v1