Self-integrating Organic Control Systems: from Crayfish to Smart Homes
Ada Diaconescu
,
Pembe Mata
,
Kirstie Bellman
2018
Other publications
hal-01996515v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An Asynchronous Computability Theorem for Fair Adversaries
Petr Kuznetsov
,
Thibault Rieutord
,
Yuan He
2017
Preprints, Working Papers, ...
hal-01572257v4
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
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
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
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
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
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
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
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
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
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
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
SuperVision : controler spatialement les objets connectés dans une maison intelligente
Sarthak Gosh
,
Gilles Bailly
,
Robin Despouys
,
Eric Lecolinet
,
Rémi Sharrock
et al.
Conference papers
hal-01442956v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Service Orchestration with Orcharts and Typecharts
Elie Najm
Seminaire INRIA , Mar 2010, Rennes, France
Conference papers
hal-02278638v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017
Petr Kuznetsov
Journal articles
hal-02287904v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Litmus-RT plugins for global static scheduling of mixed criticality systems
Laurent Pautet
,
Thomas Robert
,
Samuel Tardieu
Journal articles
hal-03276250v1
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
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Public Privacy and Brick Houses Made of Glass
Stephen Marsh
,
Ada Diaconescu
,
David Evans
,
Tracy Ann Kosa
,
Peter R. Lewis
et al.
Conference papers
hal-01855989v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Real-Time NMPC Controller for Autonomous Vehicle Racing
Nan Li
,
Eric Goubault
,
Laurent Pautet
,
Sylvie Putot
Conference papers
hal-04009646v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The consensus number of a cryptocurrency
Rachid Guerraoui
,
Petr Kuznetsov
,
Matteo Monti
,
Matej Pavlovic
,
Dragos-Adrian Seredinschi
et al.
Journal articles
hal-04084120v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Profile centric modelling
Mounira Msahli
,
Ahmed Serhrouchni
Journal articles
hal-02354927v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More