Search - Archive ouverte HAL Access content directly

Filter your results

346 Results
Image document

The StakeCube blockchain : Instantiation, Evaluation & Applications

Antoine Durand , Guillaume Hébert , Khalifa Toumi , Gérard Memmi , Emmanuelle Anceaume et al.
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
Conference papers hal-03024408v1
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

Consensus Byzantin et blockchain : Modèles unifiés et nouveaux protocoles

Antoine Durand
Data Structures and Algorithms [cs.DS]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT025⟩
Theses tel-03583890v1
Image document

To do or not to do: finding causal relations in smart homes

Kanvaly Fadiga , Ada Diaconescu , Jean-Louis Dessalles , Etienne Houze
2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Sep 2021, Washington, France. pp.110-119, ⟨10.1109/ACSOS52086.2021.00030⟩
Conference papers hal-03814048v1

From Behavioural Contracts to Session Types

Alessandro Fantechi , Elie Najm , Jean-Bernard Stefani
Models, Languages, and Tools for Concurrent and Distributed Programming, pp.278-297, 2019, ⟨10.1007/978-3-030-21485-2_16⟩
Book sections hal-02448995v1

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

Perfect failure detection with very few bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord et al.
Information and Computation, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩
Journal articles hal-03559548v1
Image document

Perfect Failure Detection with Very Few Bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord et al.
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016
Reports hal-01365304v1
Image document

Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement

Luciano Freitas de Souza , Petr Kuznetsov , Thibault Rieutord , Sara Tucci-Piergiovanni
35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freibourg, Germany. ⟨10.4230/LIPIcs.DISC.2021.54⟩
Conference papers hal-03559551v1

Architectural Integration Patterns for Autonomic Management Systems

Sylvain Frey , Ada Diaconescu , Isabelle Demeure
9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Apr 2012, Novi Sad, Serbia
Conference papers hal-02286263v1

A Generic Holonic Control Architecture for Heterogeneous Multi-Scale and Multi-Objective Smart Micro-Grids

Sylvain Frey , Ada Diaconescu , David Menga , Isabelle Demeure
ACM Transactions on Autonomous and Adaptive Systems, 2015, 10 (2), pp.9:1-9:21
Journal articles hal-02287025v1

Towards a reference model for multi-goal, highly-distributed and dynamic autonomic systems

Sylvain Frey , Ada Diaconescu , Menga David , Isabelle Demeure
10th International Conference on Autonomic Computing (ICAC), Self-aware Internet of Things (Self-IoT) track, Jun 2013, San Jose, Ca, United States
Conference papers hal-02286685v1
Image document

Scénarios pour un Micro Smart Grid Autonomique.

Sylvain Frey , François Huguet , Isabelle Demeure , Ada Diaconescu , David Menga et al.
UbiMob, Jun 2011, Toulouse, France. pp.88-95
Conference papers hal-00639077v1
Image document

A Decentralised Architecture for Multi-Objective Autonomic Management

Sylvain Frey , Philippe Lalanda , Ada Diaconescu
4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), 2010, pp.267. ⟨10.1109/SASO.2010.34⟩
Journal articles hal-00879548v1

A Holonic Control Architecture for a Heterogeneous Multi-Objective Smart Micro-Grid

Sylvain Frey , Ada Diaconescu , Menga David , Isabelle Demeure
Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2013, Philladelphia, United States
Conference papers hal-02288388v1

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

Dynamic Cluster Size Optimization in Hybrid Cellular-Vehicular Networks

Julian Garbiso , Ada Diaconescu , Marceau Coupechoux , Bertrand Leroy
IEEE Intelligent Transportation Systems Conference, Nov 2016, Rio de Janeiro, Brazil. pp.1-7
Conference papers hal-02287402v1

Auto-Adaptive Multi-Hop Clustering for Hybrid Cellular-Vehicular Networks

Julian Garbiso , Ada Diaconescu , Marceau Coupechoux , Bertrand Leroy
IEEE International Conference on Intelligent Transportation Systems (ITSC), Oct 2017, Yokohama, Japan. pp.1-6
Conference papers hal-02288490v1

Risks and security of internet and systems

Joaquin Garcia‐alfaro , Jean Leneutre , Nora Cuppens , Reda Yaich
CRISIS 2020: 15th International Conference on Risks and Security of Internet and Systems, Nov 2020, Paris, France. 12528, Springer, pp.xi-378, 2021, Lecture Notes in Computer Science (LNCS), 978-3-030-68886-8. ⟨10.1007/978-3-030-68887-5⟩
Proceedings hal-03628457v1

An ontology for multi-paradigm modelling

Holger Giese , Dominique Blouin , Rima Al-Ali , Hana Mkaouar , Soumyadip Bandyopadhyay et al.
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.67-122, 2021, ⟨10.1016/B978-0-12-819105-7.00009-X⟩
Book sections hal-03219279v1

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

SuperVision : controler spatialement les objets connectés dans une maison intelligente

Sarthak Gosh , Gilles Bailly , Robin Despouys , Eric Lecolinet , Rémi Sharrock et al.
IHM'14: Conférence francophone sur l'Interaction Homme Machine, Oct 2014, Lille, France. ⟨10.1145/2670444.2670471⟩
Conference papers hal-01442956v1
Image document

SuperVision: Spatial Control of Connected Objects in a Smart Home

Sarthak Gosh , Gilles Bailly , Robin Despouys , Eric Lecolinet , Rémi Sharrock et al.
CHI Extended Abstracts: ACM Conference on Human Factors in Computing Systems, Apr 2015, Soul, South Korea. pp.2079-2084, ⟨10.1145/2702613.2732779⟩
Conference papers hal-01147717v1
Image document

Brief Announcement: A Concurrency-Optimal List-Based Set

Vincent Gramoli , Petr Kuznetsov , Srivatsan Ravi , Di Shang
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Conference papers hal-01207872v1

Generalized mixed-criticality scheduling based on RUN

Romain Gratia , Thomas Robert , Laurent Pautet
23rd International Conference on Real-Time Networks and Systems (RTNS '15), Nov 2015, Lille France, France. pp.267-276, ⟨10.1145/2834848.2834873⟩
Conference papers hal-03629047v1

Scheduling of mixed-criticality systems with RUN

Romain Gratia , Thomas Robert , Laurent Pautet
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), Sep 2015, Luxembourg, France. pp.1-8, ⟨10.1109/ETFA.2015.7301484⟩
Conference papers hal-02922757v1

Scalable Byzantine Reliable Broadcast

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovic , Dragos-Adrian Seredinschi et al.
DISC, Oct 2019, Budapest, Hungary
Conference papers hal-03022562v1

AT2: Asynchronous Trustworthy Transfers

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovic , Dragos-Adrian Seredinschi et al.
CoRR, 2018, abs/1812.10844
Journal articles hal-02288008v1

The Consensus Number of a Cryptocurrency

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovič , Dragos-Adrian Seredinschi et al.
the 2019 ACM PODC, Jul 2019, Toronto ON, Canada. pp.307-316, ⟨10.1145/3293611.3331589⟩
Conference papers hal-02364290v1