Search - Equipe Autonomic and Critical Embedded Systems Access content directly

Filter your results

345 Results
level0_domain_s : Computer Science [cs]

Self-integrating Organic Control Systems: from Crayfish to Smart Homes

Ada Diaconescu , Pembe Mata , Kirstie Bellman
2018
Other publications hal-01996515v1
Image document

An Asynchronous Computability Theorem for Fair Adversaries

Petr Kuznetsov , Thibault Rieutord , Yuan He
2017
Preprints, Working Papers, ... hal-01572257v4

Compressed Σ-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures

Thomas Attema , Ronald Cramer , Matthieu Rambaud
Advances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.526-556, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_18⟩
Book sections hal-03800630v1

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

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

Self-improving system integration: Mastering continuouschange

Kirstie Bellman , Jean F Botev , Ada Diaconescu , Lukas Esterle , Christian Gruhl et al.
Future Generation Computer Systems, 2021
Journal articles hal-03023144v1

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic , Dominique Blouin , Vasco Amaral , Miguel Goulao
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers hal-01649727v1
Image document

Description de la méthode SCRUM à travers deux expériences en entreprise

Gérard Memmi
[Rapport de recherche] LTCI - Laboratoire Traitement et Communication de l'Information [Paris]. 2020
Reports hal-03089815v3
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

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic , Dominique Blouin , Vasco Amaral , Miguel Goulao
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers hal-03340371v1

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

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

Sensemaking in the autonomic smart-home

Robin Despouys , Rémi Sharrock , Isabelle Demeure
UBICOMP Ubiquitous computing, Sep 2014, Seattle, United States
Conference papers hal-02288439v1

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

A Secure and Effective Device Pairing Protocol

Trung Nguyen , Jean Leneutre
12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States
Conference papers hal-02288430v1
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

Replication-Based Self-healing of Mobile Agents Exploring Complex Networks

Arles Rodriguez , Jonatan Gomez , Ada Diaconescu
15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI,, Jun 2017, Porto, Portugal. pp.222-233, ⟨10.1007/978-3-319-59930-4_18⟩
Conference papers hal-02287746v1
Image document

Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses

Vincent Legout , Mathieu Jan , Laurent Pautet
First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
Conference papers hal-00922522v1

Service Orchestration with Orcharts and Typecharts

Elie Najm
Seminaire INRIA, Mar 2010, Rennes, France
Conference papers hal-02278638v1

The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017

Petr Kuznetsov
SIGACT News, 2018, 49 (1), pp.81-90. ⟨10.1145/3197406.3197421⟩
Journal articles hal-02287904v1

Enhancing data protection with a structure-wise fragmentation and dispersal of encrypted data

Katarzyna Kapusta , Gérard Memmi
TrustCom'18, Aug 2018, New-York, United States
Conference papers hal-02287926v1
Image document

Litmus-RT plugins for global static scheduling of mixed criticality systems

Laurent Pautet , Thomas Robert , Samuel Tardieu
Journal of Systems Architecture, 2021, 118, pp.102221. ⟨10.1016/j.sysarc.2021.102221⟩
Journal articles hal-03276250v1
Image document

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

Modélisation de la consommation énergétique des programmes : aspects thermiques et loi de convexité énergie-fréquence

Pierre Jouvelot , Karel de Vogeleer , Gerard Memmi
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2016, 117, pp 47-59
Journal articles hal-01531341v1
Image document

Public Privacy and Brick Houses Made of Glass

Stephen Marsh , Ada Diaconescu , David Evans , Tracy Ann Kosa , Peter R. Lewis et al.
12th IFIP International Conference on Trust Management (TM), Jul 2018, Toronto, ON, Canada. pp.137-148, ⟨10.1007/978-3-319-95276-5_10⟩
Conference papers hal-01855989v1
Image document

Brief Announcement: On the Uncontended Complexity of Anonymous Consensus

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Conference papers hal-01207895v1
Image document

A Real-Time NMPC Controller for Autonomous Vehicle Racing

Nan Li , Eric Goubault , Laurent Pautet , Sylvie Putot
2022 6th International Conference on Automation, Control and Robots (ICACR), Sep 2022, Shanghai, China. pp.148-155, ⟨10.1109/ICACR55854.2022.9935523⟩
Conference papers hal-04009646v1

The consensus number of a cryptocurrency

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovic , Dragos-Adrian Seredinschi et al.
Distributed Computing, 2022, 35 (1), pp.1-15. ⟨10.1007/s00446-021-00399-2⟩
Journal articles hal-04084120v1

Profile centric modelling

Mounira Msahli , Ahmed Serhrouchni
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2014, 5 (4), pp.344. ⟨10.1504/IJITST.2014.068713⟩
Journal articles hal-02354927v1