The weakest failure detector for eventual consistency
Swan Dubois
,
Rachid Guerraoui
,
Petr Kuznetsov
,
Franck Petit
,
Pierre Sens
Journal articles
hal-02413314v1
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
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development
Stefan Klikovits
,
Rima Al-Ali
,
Moussa Amrani
,
Ankica Barisic
,
Fernando Barros
,
et al.
[Research Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168832v1
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
A survey on game-theoretic approaches for intrusion detection and response optimization
Christophe Kiennert
,
Ismail Ziad
,
Hervé Debar
,
Jean Leneutre
Journal articles
hal-02009646v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Additively homomorphic encryption and fragmentation scheme for data aggregation inside unattended wireless sensor networks
Katarzyna Kapusta
,
Gérard Memmi
,
Hassan Noura
Journal articles
hal-02450271v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Authenticated and Privacy-Preserving Consent Management in the Internet of Things
Maryline Laurent
,
Jean Leneutre
,
Sophie Chabridon
,
Imane Laaouane
ANT 2019: 10th International Conference on Ambient Systems, Networks and Technologies (ANT) , Apr 2019, Leuven, Belgium. pp.256-263,
⟨10.1016/j.procs.2019.04.037⟩
Conference papers
hal-02147191v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Scalable Byzantine Reliable Broadcast
Rachid Guerraoui
,
Petr Kuznetsov
,
Matteo Monti
,
Matej Pavlovic
,
Dragos-Adrian Seredinschi
DISC , Oct 2019, Budapest, Hungary
Conference papers
hal-03022562v1
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
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
CHARIOT - Towards a Continuous High-Level Adaptive Runtime Integration Testbed
Chloe Barnes
,
Kirstie Bellman
,
Jean F Botev
,
Ada Diaconescu
,
Lukas Esterle
,
et al.
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W) , Jun 2019, Umea, France. pp.52-55,
⟨10.1109/FAS-W.2019.00026⟩
Conference papers
hal-02449653v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Integration of Pervasive Platforms with iCasa
Philippe Lalanda
,
Ada Diaconescu
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W) , Jun 2019, Umea, France. pp.49-51,
⟨10.1109/FAS-W.2019.00025⟩
Conference papers
hal-02449649v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems
Ankica Barisic
,
Dušan Savić
,
Rima Al-Ali
,
Ivan Ruchkin
,
Dominique Blouin
,
et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168834v1
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
Journal articles
hal-02450300v1
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
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
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
Multi-objective exploration of architectural designs by composition of model transformations
Smail Rahmoun
,
Asma Mehiaoui-Hamitou
,
Etienne Borde
,
Laurent Pautet
,
Elie Soubiran
Journal articles
hal-02292455v1
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
Framework to Relate / Combine Modeling Languages and Techniques
Rima Al-Ali
,
Moussa Amrani
,
Soumyadip Bandyopadhyay
,
Ankica Barisic
,
Fernando Barros
,
et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168831v1
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
Deployment of mixed criticality and data driven systems on multi-cores architectures
Roberto Medina
Theses
tel-02086680v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficiency vs Creativity as Organising Principles of Socio-Technical Systems
Ada Diaconescu
IEEE Technology and Society Magazine , 2019
Journal articles
hal-03023532v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Poster Abstract: Secure Data Sharing by Means of Fragmentation, Encryption, and Dispersion
Katarzyna Kapusta
,
Han Qiu
,
Gérard Memmi
IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) , Apr 2019, Paris, France. pp.1051-1052,
⟨10.1109/INFCOMW.2019.8845243⟩
Conference papers
hal-02450308v1
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
From Behavioural Contracts to Session Types
Alessandro Fantechi
,
Elie Najm
,
Jean-Bernard Stefani
Book sections
hal-02448995v1
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
The Consensus Number of a Cryptocurrency
Rachid Guerraoui
,
Petr Kuznetsov
,
Matteo Monti
,
Matej Pavlovič
,
Dragos-Adrian Seredinschi
Conference papers
hal-02364290v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Improving quality of experience in multimedia streaming by leveraging Information-Centric Networking
Jacques Samain
Networking and Internet Architecture [cs.NI]. Université Paris Saclay (COmUE), 2019. English.
⟨NNT : 2019SACLT012⟩
Theses
tel-02164014v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Improving data collection in complex networks with failure-prone agents via local marking
Arles Rodrigues
,
Nathaly Botina
,
Jonatan Gomez
,
Ada Diaconescu
Journal of Intelligent and Fuzzy Systems , 2019
Journal articles
hal-03023128v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Security Interoperability for Cooperative ITS: Architecture and Validation
Mounira Msahli
,
Houda Labiod
,
Gilles Ampt
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS) , Jun 2019, CANARY ISLANDS, France. pp.1-6,
⟨10.1109/NTMS.2019.8763819⟩
Conference papers
hal-02354694v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Multi-Scale Feedbacks for Large-Scale Coordination in Self-Systems
Ada Diaconescu
,
Louisa Jane Di Felice
,
Patricia Mellodge
2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO) , Jun 2019, Umea, France. pp.137-142,
⟨10.1109/SASO.2019.00025⟩
Conference papers
hal-02449657v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Translation of ATL to AGT and application to a code generator for Simulink
Elie Richa
,
Etienne Borde
,
Laurent Pautet
Journal articles
hal-02449688v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficiency Versus Creativity as Organizing Principles of Socio-Technical Systems: Why Do We Build (Intelligent) Systems? [Commentary]
Ada Diaconescu
Journal articles
hal-02449500v1
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
Privacy as a Service: Anonymisation of NetFlow Traces
Ashref Aloui
,
Mounira Msahli
,
Talel Abdessalem
,
Sihem Mesnager
,
Stéphane Bressan
16th International Conference on e-Business Engineerin,(ICEBE 2019) , Oct 2019, Shanghai, China
Conference papers
hal-03035791v1
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
Evolving, Growing, and Gardening Cyber-physical Systems
Susan Stepney
,
Ada Diaconescu
,
René Doursat
,
Jean-Louis Giavitto
,
Julian Miller
,
et al.
Experimental Architecture - Designing the Unknown , 2019
Book sections
hal-03023230v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Enabling Relevant Dialogue between Users and Autonomic Systems: a Design for Explainable AI for the Smart Home
Etienne Houzé
,
Ada Diaconescu
,
Jean-Louis Dessalles
,
David Menga
2019
Other publications
hal-01996461v1
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
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