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
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
Reconfigurable Lattice Agreement and Applications
Petr Kuznetsov
,
Thibault Rieutord
,
Sara Tucci-Piergiovanni
[Research Report] Institut Polytechnique Paris; CEA List. 2019
Reports
cea-02321547v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Run or Hide? Both! A Method Based on IPv6 Address Switching to Escape While Being Hidden
Maxime Ayrault
,
Etienne Borde
,
Ulrich Kühne
Conference papers
hal-02449676v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems
Farouk Hebbache
Theses
tel-02494421v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The weakest failure detector for eventual consistency
Swan Dubois
,
Rachid Guerraoui
,
Petr Kuznetsov
,
Franck Petit
,
Pierre Sens
et al.
Journal articles
hal-02413314v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Reconfigurable Lattice Agreement and Applications
Petr Kuznetsov
,
Thibault Rieutord
,
Tucci-Piergiovanni Sara
OPODIS , Dec 2019, Neuchatel, Switzerland
Conference papers
hal-03022570v1
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
Anticanonical codes from del Pezzo surfaces with Picard rank one
Régis Blache
,
Alain Couvreur
,
Emmanuel Hallouin
,
David Madore
,
Jade Nardi
et al.
Journal articles
hal-02075926v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Holarchic structures for decentralized deep learning: a performance analysis
Evangelos Pournaras
,
Srivatsan Yadhunathan
,
Ada Diaconescu
Cluster Computing , 2020
Journal articles
hal-03023065v1
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
CoRA: a scalable Collective Remote Attestation protocol for sensor networks
Aida Diop
,
Maryline Laurent
,
Jean Leneutre
,
Jacques Traoré
ICISSP 2020: 6th International Conference on Information Systems Security and Privacy , Feb 2020, Valletta, Malta. pp.84-95,
⟨10.5220/0008962700840095⟩
Conference papers
hal-03024074v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
AADL: A Language to Specify the Architecture of Cyber-Physical Systems
Dominique Blouin
,
Etienne Borde
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems , 2020
Book sections
hal-03022808v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Multi-hop Data Fragmentation in Energy Harvesting Wireless Sensor Networks
Keun-Woo Lim
,
Katarzyna Kapusta
,
Gerard Memmi
,
Woo-Sung Jung
Conference papers
hal-03559678v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets
Florian Brandner
,
Camille Noûs
RTNS 2020: 28th International Conference on Real-Time Networks and Systems , Jun 2020, Paris France, France. pp.44-55,
⟨10.1145/3394810.3394811⟩
Conference papers
hal-02894150v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Online Payments by Merely Broadcasting Messages
Daniel Collins
,
Rachid Guerraoui
,
Jovan Komatovic
,
Petr Kuznetsov
,
Matteo Monti
et al.
DSN , Jun 2020, Valencia, Spain
Conference papers
hal-03022579v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
ChainIDE 2.0: Facilitating Smart Contract Development for Consortium Blockchain
Xiao Wu
,
Han Qiu
,
Shuyi Zhang
,
Gerard Memmi
,
Keke Gai
et al.
Conference papers
hal-03559687v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Privacy-preserving content-based publish/subscribe with encrypted matching and data splitting
Nathanaël Denis
,
Pierre Chaffardon
,
Denis Conan
,
Maryline Laurent
,
Sophie Chabridon
et al.
SECRYPT 2020: 17th International Conference on Security and Cryptography , Jul 2020, Lieusaint - Paris, France. pp.405-414,
⟨10.5220/0009833204050414⟩
Conference papers
hal-02910407v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Reactive or Stable: A Plant-inspired Approach for Business Organisation Morphogenesis
Payam Zahada
,
Ada Diaconescu
International Conference on Artificial Life (ALife) , Jul 2020, Montreal (virtual), Canada
Conference papers
hal-03023157v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Decentralized Approach to Explanatory Artificial Intelligence for Autonomic Systems
Etienne Houze
,
Ada Diaconescu
,
Jean-Louis Dessalles
,
David Menga
,
Mathieu Schumann
et al.
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) , Aug 2020, Washington, France. pp.115-120,
⟨10.1109/ACSOS-C51401.2020.00041⟩
Conference papers
hal-02963566v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach
Françoise Caron
,
Cristian Maxim
,
Dominique Blouin
,
Paolo Crisafulli
IEEE SYSCON2020 , Aug 2020, Vancouver (virtual conference), Canada
Conference papers
hal-02940241v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture
Benjamin Binder
,
Mihail Asavoae
,
Florian Brandner
,
Belgacem Ben Hedia
,
Mathieu Jan
et al.
International Conference on Formal Methods for Industrial Critical Systems , Sep 2020, Vienna, Austria
Conference papers
hal-03022552v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Revisiting Shared Data Protection Against Key Exposure
Katarzyna Kapusta
,
Gerard Memmi
,
Matthieu Rambaud
Conference papers
hal-03024707v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
RFC 8902 TLS Authentication Using Intelligent Transport System (ITS) Certificates
Mounira Msahli
,
Nancy Cam-Winget
,
William Whyte
,
Ahmed Serhrouchni
,
Houda Labiod
et al.
2020
Books
hal-03023137v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Affine Tasks for k-Test-and-Set
Petr Kuznetsov
,
Thibault Rieutord
2020
Preprints, Working Papers, ...
hal-01810601v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Brief Announcement: On Decidability of 2-Process Affine Models
Petr Kuznetsov
,
Thibault Rieutord
DISC , Oct 2020, VIRTUAL, France
Conference papers
hal-03022583v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Asynchronous Reconfiguration with Byzantine Failures
Petr Kuznetsov
,
Andrei Tonkikh
DISC , Oct 2020, VIRTUAL, France
Conference papers
hal-03022581v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
COOB: Hybrid secure device pairing scheme in a hostile environment
Jean Leneutre
,
Sameh Khalfaoui
,
Arthur Villard
,
Xingjuan Ma
16th EAI International Conference on Security and Privacy in Communication Networks , Oct 2020, Washington DC, United States
Conference papers
hal-03024246v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Topological Graph Convolutional Network-Based Urban Traffic Flow and Density Prediction
Han Qiu
,
Qinkai Zheng
,
Mounira Msahli
,
Gerard Memmi
,
Meikang Qiu
et al.
Journal articles
hal-03042201v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More