Search - Equipe Autonomic and Critical Embedded Systems Access content directly

Filter your results

42 Results
producedDateY_i : 2019

The weakest failure detector for eventual consistency

Swan Dubois , Rachid Guerraoui , Petr Kuznetsov , Franck Petit , Pierre Sens
Distributed Computing, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
Journal articles hal-02413314v1

Run or Hide? Both! A Method Based on IPv6 Address Switching to Escape While Being Hidden

Maxime Ayrault , Etienne Borde , Ulrich Kühne
the 6th ACM Workshop, Nov 2019, London, France. pp.47-56, ⟨10.1145/3338468.3356827⟩
Conference papers hal-02449676v1
Image document

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

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

A survey on game-theoretic approaches for intrusion detection and response optimization

Christophe Kiennert , Ismail Ziad , Hervé Debar , Jean Leneutre
ACM Computing Surveys, 2019, 51 (5), pp.article 90 -. ⟨10.1145/3232848⟩
Journal articles hal-02009646v1

Additively homomorphic encryption and fragmentation scheme for data aggregation inside unattended wireless sensor networks

Katarzyna Kapusta , Gérard Memmi , Hassan Noura
Annals of Telecommunications - annales des télécommunications, 2019, 74 (3-4), pp.157-165. ⟨10.1007/s12243-018-0684-x⟩
Journal articles hal-02450271v1
Image document

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

Scalable Byzantine Reliable Broadcast

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

Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems

Farouk Hebbache
Hardware Architecture [cs.AR]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT044⟩
Theses tel-02494421v1
Image document

Reconfigurable Lattice Agreement and Applications

Petr Kuznetsov , Thibault Rieutord , Sara Tucci-Piergiovanni
[Research Report] Institut Polytechnique Paris; CEA List. 2019
Reports cea-02321547v1

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

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

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

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

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

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

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

Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour

Artur Rataj , Etienne Borde
the 30th International Workshop, Oct 2019, New York, France. pp.50-56, ⟨10.1145/3339985.3358492⟩
Conference papers hal-02449670v1

Multi-objective exploration of architectural designs by composition of model transformations

Smail Rahmoun , Asma Mehiaoui-Hamitou , Etienne Borde , Laurent Pautet , Elie Soubiran
Software and Systems Modeling, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩
Journal articles hal-02292455v1

Reconfigurable Lattice Agreement and Applications

Petr Kuznetsov , Thibault Rieutord , Tucci-Piergiovanni Sara
OPODIS, Dec 2019, Neuchatel, Switzerland
Conference papers hal-03022570v1
Image document

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

Explanatory AI for Pertinent Communication in Autonomic Systems

Arles Rodríguez , Nathaly Botina , Jonatan Gómez , Marius Pol , Jean-Louis Dessalles , et al.
Intelligent Systems and Applications, Sep 2019, Londres, United Kingdom. pp.212-227, ⟨10.1007/978-3-030-29516-5_16⟩
Conference papers hal-02449644v1
Image document

Deployment of mixed criticality and data driven systems on multi-cores architectures

Roberto Medina
Embedded Systems. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT004⟩
Theses tel-02086680v1

Efficiency vs Creativity as Organising Principles of Socio-Technical Systems

Ada Diaconescu
IEEE Technology and Society Magazine, 2019
Journal articles hal-03023532v1

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

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

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

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

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

The Consensus Number of a Cryptocurrency

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

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

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

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

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

Translation of ATL to AGT and application to a code generator for Simulink

Elie Richa , Etienne Borde , Laurent Pautet
Software and Systems Modeling, 2019, 18 (1), pp.321-344. ⟨10.1007/s10270-017-0607-8⟩
Journal articles hal-02449688v1

Efficiency Versus Creativity as Organizing Principles of Socio-Technical Systems: Why Do We Build (Intelligent) Systems? [Commentary]

Ada Diaconescu
IEEE Technology and Society Magazine, 2019, 38 (1), pp.13-22. ⟨10.1109/MTS.2019.2894455⟩
Journal articles hal-02449500v1
Image document

Arbitration-Induced Preemption Delays

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
Conference papers hal-02447339v1

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

Work-conserving dynamic time-division multiplexing for multi-criticality systems

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
Real-Time Systems, 2019, ⟨10.1007/s11241-019-09336-w⟩
Journal articles hal-02447512v1

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

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

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

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