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
ChainIDE 2.0: Facilitating Smart Contract Development for Consortium Blockchain
Xiao Wu
,
Han Qiu
,
Shuyi Zhang
,
Gerard Memmi
,
Keke Gai
et al.
Conference papers
hal-03559687v1
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
Reactive or Stable: A Plant-inspired Approach for Business Organisation Morphogenesis
Payam Zahada
,
Ada Diaconescu
International Conference on Artificial Life (ALife) , Jul 2020, Montreal (virtual), Canada
Conference papers
hal-03023157v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Decentralized Approach to Explanatory Artificial Intelligence for Autonomic Systems
Etienne Houze
,
Ada Diaconescu
,
Jean-Louis Dessalles
,
David Menga
,
Mathieu Schumann
et al.
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) , Aug 2020, Washington, France. pp.115-120,
⟨10.1109/ACSOS-C51401.2020.00041⟩
Conference papers
hal-02963566v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Cognitive Control System for Managing Runtime Uncertainty in Self-Integrating Autonomic Systems
Marius Pol
,
Ada Diaconescu
SISSY workshop, IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) , Aug 2020, Washington DC (virtual), France
Conference papers
hal-03023108v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach
Françoise Caron
,
Cristian Maxim
,
Dominique Blouin
,
Paolo Crisafulli
IEEE SYSCON2020 , Aug 2020, Vancouver (virtual conference), Canada
Conference papers
hal-02940241v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture
Benjamin Binder
,
Mihail Asavoae
,
Florian Brandner
,
Belgacem Ben Hedia
,
Mathieu Jan
et al.
International Conference on Formal Methods for Industrial Critical Systems , Sep 2020, Vienna, Austria
Conference papers
hal-03022552v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Revisiting Shared Data Protection Against Key Exposure
Katarzyna Kapusta
,
Gerard Memmi
,
Matthieu Rambaud
Conference papers
hal-03024707v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
RFC 8902 TLS Authentication Using Intelligent Transport System (ITS) Certificates
Mounira Msahli
,
Nancy Cam-Winget
,
William Whyte
,
Ahmed Serhrouchni
,
Houda Labiod
et al.
2020
Books
hal-03023137v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Affine Tasks for k-Test-and-Set
Petr Kuznetsov
,
Thibault Rieutord
2020
Preprints, Working Papers, ...
hal-01810601v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Brief Announcement: On Decidability of 2-Process Affine Models
Petr Kuznetsov
,
Thibault Rieutord
DISC , Oct 2020, VIRTUAL, France
Conference papers
hal-03022583v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Asynchronous Reconfiguration with Byzantine Failures
Petr Kuznetsov
,
Andrei Tonkikh
DISC , Oct 2020, VIRTUAL, France
Conference papers
hal-03022581v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
COOB: Hybrid secure device pairing scheme in a hostile environment
Jean Leneutre
,
Sameh Khalfaoui
,
Arthur Villard
,
Xingjuan Ma
16th EAI International Conference on Security and Privacy in Communication Networks , Oct 2020, Washington DC, United States
Conference papers
hal-03024246v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Topological Graph Convolutional Network-Based Urban Traffic Flow and Density Prediction
Han Qiu
,
Qinkai Zheng
,
Mounira Msahli
,
Gerard Memmi
,
Meikang Qiu
et al.
Journal articles
hal-03042201v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The StakeCube blockchain : Instantiation, Evaluation & Applications
Antoine Durand
,
Guillaume Hébert
,
Khalifa Toumi
,
Gérard Memmi
,
Emmanuelle Anceaume
et al.
BCCA 2020 - International Conference on Blockchain Computing and Applications , Nov 2020, Virtual, Turkey. pp.1-8
Conference papers
hal-03024408v1
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.
Book sections
hal-03042197v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Energy trading marketplace using Ethereum private network
Dongmin Son
,
Sawsan Al Zahr
,
Gerard Memmi
[Technical Report] Telecom Paris. 2020
Reports
hal-03157038v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Perfect failure detection with very few bits
Pierre Fraigniaud
,
Sergio Rajsbaum
,
Corentin Travers
,
Petr Kuznetsov
,
Thibault Rieutord
et al.
Journal articles
hal-03559548v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ
Mark Abspoel
,
Ronald Cramer
,
Ivan Damgård
,
Daniel Escudero
,
Matthieu Rambaud
et al.
Advances in Cryptology – ASIACRYPT 2020 , 12493, Springer International Publishing, pp.151-180, 2020, Lecture Notes in Computer Science,
⟨10.1007/978-3-030-64840-4_6⟩
Book sections
hal-03800662v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020
Petr Kuznetsov
,
Vitaly Aksenov
Journal articles
hal-03559549v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Risks and security of internet and systems
Joaquin Garcia‐alfaro
,
Jean Leneutre
,
Nora Cuppens
,
Reda Yaich
CRISIS 2020: 15th International Conference on Risks and Security of Internet and Systems , Nov 2020, Paris, France. 12528, Springer, pp.xi-378, 2021, Lecture Notes in Computer Science (LNCS), 978-3-030-68886-8.
⟨10.1007/978-3-030-68887-5⟩
Proceedings
hal-03628457v1
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
Self-healing Networks via Self-organising Mobile Agents
Arles Rodriguez
,
Jonatan Gomez
,
Ada Diaconescu
Journal of Autonomous Agents and Multi-agent Systems (JAAMAS) , 2021
Journal articles
hal-03023085v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Role of Digital Technologies in Responding to the Grand Challenges of the Natural Environment: The Windermere Accord
Gordon Blair
,
Richard Bassett
,
Louis Bastin
,
L. Beevers
,
Maribel Borrajo Garcia
et al.
Patterns , In press
Journal articles
hal-03023290v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Exogenous coordination in multi-scale systems: How information flows and timing affect system properties
Ada Diaconescu
,
Louisa Jane Di Felice
,
Patricia Mellodge
Future Generation Computer Systems , 2021
Journal articles
hal-03023050v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An ontology for multi-paradigm modelling
Holger Giese
,
Dominique Blouin
,
Rima Al-Ali
,
Hana Mkaouar
,
Soumyadip Bandyopadhyay
et al.
Book sections
hal-03219279v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An ontological foundation for multi-paradigm modelling for cyber-physical systems
Dominique Blouin
,
Rima Al-Ali
,
Mauro Iacono
,
Bedir Tekinerdogan
,
Holger Giese
et al.
Book sections
hal-03225338v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Multi-Paradigm Modeling for Cyber-Physical Systems: A Systematic Mapping Review
Ankica Barisic
,
Ivan Ruchkin
,
Dušan Savić
,
Mustafa Abshir Mohamed
,
Rima Al-Ali
et al.
Journal articles
hal-03338594v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An integrated ontology for multi-paradigm modelling for cyber-physical systems
Dominique Blouin
,
Rima Al-Ali
,
Holger Giese
,
Stefan Klikovits
,
Soumyadip Bandyopadhyay
et al.
Bedir Tekinerdogan; Dominique Blouin; Hans Vangheluwe; Miguel Goulão; Paulo Carreira; Vasco Amaral.
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems , Elsevier, pp.123-145, 2021, 978-0-12-819105-7.
⟨10.1016/B978-0-12-819105-7.00010-6⟩
Book sections
hal-03167819v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More