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
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
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
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
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
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
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
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
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
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
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
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
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
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
DC Coefficients Recovery from AC Coefficients in the JPEG Compression Scenario
Han Qiu
,
Qinkai Zheng
,
Meikang Qiu
,
Gérard Memmi
Conference papers
hal-02450312v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An efficient key distribution system for data fusion in V2X heterogeneous networks
Han Qiu
,
Meikang Qiu
,
Zhihui Lu
,
Gérard Memmi
Journal articles
hal-02450299v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
All-Or-Nothing data protection for ubiquitous communication: Challenges and perspectives
Han Qiu
,
Katarzyna Kapusta
,
Zhihui Lu
,
Meikang Qiu
,
Gérard Memmi
et al.
Journal articles
hal-02450300v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Privacy as a Service: Anonymisation of NetFlow Traces
Ashref Aloui
,
Mounira Msahli
,
Talel Abdessalem
,
Sihem Mesnager
,
Stéphane Bressan
et al.
16th International Conference on e-Business Engineerin,(ICEBE 2019) , Oct 2019, Shanghai, China
Conference papers
hal-03035791v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)
Simon van Mierlo
,
Eugene Syriani
,
Dominique Blouin
,
Moussa Amrani
,
Julien Deantoni
et al.
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems , Sep 2019, Munich, Germany. pp.2,
⟨10.1109/MODELS-C.2019.00066⟩
Conference papers
hal-02428017v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards a Formal Specification of Multi-paradigm Modelling
Moussa Amrani
,
Dominique Blouin
,
Robert Heinrich
,
Arend Rensink
,
Hans Vangheluwe
et al.
First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems , Sep 2019, Munich, Germany
Conference papers
hal-03022707v1
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
The Consensus Number of a Cryptocurrency
Rachid Guerraoui
,
Petr Kuznetsov
,
Matteo Monti
,
Matej Pavlovič
,
Dragos-Adrian Seredinschi
et al.
Conference papers
hal-02364290v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Work-conserving dynamic time-division multiplexing for multi-criticality systems
Farouk Hebbache
,
Florian Brandner
,
Mathieu Jan
,
Laurent Pautet
Journal articles
hal-02447512v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Arbitration-Induced Preemption Delays
Farouk Hebbache
,
Florian Brandner
,
Mathieu Jan
,
Laurent Pautet
Conference papers
hal-02447339v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Arbitration-Induced Preemption Delays
Farouk Hebbache
,
Florian Brandner
,
Mathieu Jan
,
Laurent Pautet
31st Euromicro Conference on Real-Time Systems (ECRTS 2019) , Jul 2019, Stuttgart,, Germany
Conference papers
hal-02447655v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
From Behavioural Contracts to Session Types
Alessandro Fantechi
,
Elie Najm
,
Jean-Bernard Stefani
Book sections
hal-02448995v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
DC coefficient recovery for JPEG images in ubiquitous communication systems
Han Qiu
,
Gérard Memmi
,
Xuan Chen
,
Jian Xiong
Journal articles
hal-02450213v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Secure Data Sharing with Fast Access Revocation through Untrusted Clouds
Katarzyna Kapusta
,
Han Qiu
,
Gérard Memmi
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS) , Jun 2019, CANARY ISLANDS, France. pp.1-5,
⟨10.1109/NTMS.2019.8763850⟩
Conference papers
hal-02450309v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More