Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

A Secure and Effective Device Pairing Protocol

Trung Nguyen , Jean Leneutre
12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States
Conference papers hal-02288430v1

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
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

Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocols

Nouha Oualha , Jean Leneutre , Yves Roudier
Peer-to-Peer Networking and Applications, 2012, 5 (3), pp.231-243
Journal articles hal-02286502v1
Image document

Litmus-RT plugins for global static scheduling of mixed criticality systems

Laurent Pautet , Thomas Robert , Samuel Tardieu
Journal of Systems Architecture, 2021, 118, pp.102221. ⟨10.1016/j.sysarc.2021.102221⟩
Journal articles hal-03276250v1

An Emerging Need for a New Software Engineering Method

Laurent Pautet , Isabelle. Perseil
International Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364
Conference papers hal-02286672v1

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems

Laurent Pautet , Etienne Borde , Thomas Robert , Antoine Jaouen
International Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165
Conference papers hal-01115671v1

Model-Based Code Generation

Laurent Pautet , B. Zalila
Embedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013
Book sections hal-02286688v1

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
Image document

COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture Models

I Perseil , Laurent Pautet
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Conference papers hal-02270295v1

An Efficient Modeling and Execution Framework for Complex Systems Development

Isabelle. Perseil , Laurent Pautet
International Conference on Engineering of Complex Computer Systems (ICECCS), 2011, Apr 2011, Las Vegas, United States. pp.317 - 331
Conference papers hal-02288369v1

Value Sensitive Design for Self-Organising Digital Communities

Jeremy Pitt , Andrzej Nowak , Ada Diaconescu
Charting the Next Decade for Value Sensitive Design Workshop (held with the Critical Alternatives Conference), Aug 2015, Aarhus, Denmark
Conference papers hal-02287385v1

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

Interactive Self-Governance and Value-Sensitive Design for Self-Organising Socio-Technical Systems

Jeremy Pitt , Ada Diaconescu
Fourth International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST@SASO2016), Sep 2016, Ausgburg, Germany
Conference papers hal-02288465v1

Interactional Justice for Sustainable Management of Common-Pool Resources

Jeremy Pitt , Ada Diaconescu
XVI Biennial IASC Conference "Practicing the commons: self-governance, cooperation, and institutional change, Jul 2017, Utrecht, Netherlands Antilles
Conference papers hal-02287559v1

Technology for Collective Action [Special Section Introduction]

Jeremy Pitt , Ada Diaconescu , David Bollier
IEEE Technology and Society Magazine, 2014, 3, pp.32-34
Journal articles hal-02287021v1

Algorithmic Self-Governance and the Design of Socio-Technical Systems

Jeremy Pitt , Didac Busquets , Ada Diaconescu , Andrzej Nowak , Agnieszka Rychwalska et al.
European Conference on Social Intelligence, Nov 2014, Barcelona, Spain
Conference papers hal-02287024v1

A Cognitive Control System for Managing Runtime Uncertainty in Self-Integrating Autonomic Systems

Marius Pol , Ada Diaconescu
SISSY workshop, IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Aug 2020, Washington DC (virtual), France
Conference papers hal-03023108v1

Holarchic structures for decentralized deep learning: a performance analysis

Evangelos Pournaras , Srivatsan Yadhunathan , Ada Diaconescu
Cluster Computing, 2020
Journal articles hal-03023065v1

DC Coefficients Recovery from AC Coefficients in the JPEG Compression Scenario

Han Qiu , Qinkai Zheng , Meikang Qiu , Gérard Memmi
Smart Computing and Communication, Oct 2019, Birmingham, United Kingdom. pp.266-276, ⟨10.1007/978-3-030-34139-8_26⟩
Conference papers hal-02450312v1

An efficient key distribution system for data fusion in V2X heterogeneous networks

Han Qiu , Meikang Qiu , Zhihui Lu , Gérard Memmi
Information Fusion, 2019, 50, pp.212-220. ⟨10.1016/j.inffus.2019.02.002⟩
Journal articles hal-02450299v1
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

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

All-Or-Nothing data protection for ubiquitous communication: Challenges and perspectives

Han Qiu , Katarzyna Kapusta , Zhihui Lu , Meikang Qiu , Gérard Memmi et al.
Information Sciences, 2019, 502, pp.434-445. ⟨10.1016/j.ins.2019.06.031⟩
Journal articles hal-02450300v1

Adversarial Attacks Against Network Intrusion Detection in IoT Systems

Han Qiu , Tian Dong , Tianwei Zhang , Jialiang Lu , Gerard Memmi et al.
IEEE Internet of Things Journal, 2021, 8 (13), pp.10327-10335. ⟨10.1109/JIOT.2020.3048038⟩
Journal articles hal-03559698v1

A Dynamic Scalable Blockchain Based Communication Architecture for IoT

Han Qiu , Meikang Qiu , Meiqin Liu , Zhong Ming , Gérard Memmi et al.
SmartBlock'18, Dec 2018, Tokyo, Japan. pp.159-166
Conference papers hal-02288555v1

DC coefficient recovery for JPEG images in ubiquitous communication systems

Han Qiu , Gérard Memmi , Xuan Chen , Jian Xiong
Future Generation Computer Systems, 2019, 96, pp.23-31. ⟨10.1016/j.future.2019.01.037⟩
Journal articles hal-02450213v1
Image document

An efficient data protection architecture based on fragmentation and encryption

Han Qiu
Cryptography and Security [cs.CR]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0049⟩
Theses tel-03419019v1

An efficient Secure Storage Scheme Based on Information Fragmentation

Han Qiu , Gérard Memmi , Hassan Noura
4th IEEE Int. Conf. on Cyber Security and Cloud Computing, Jun 2017, New-York, United States. pp.108-113
Conference papers hal-02287645v1