Is This Still Normal? Putting Definitions of Timing Anomalies to the Test
Florian Brandner
,
Benjamin Binder
,
Mihail Asavoae
,
Belgacem Ben Hedia
,
Mathieu Jan
et al.
2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) , Aug 2021, Houston, France. pp.139-148,
⟨10.1109/RTCSA52859.2021.00024⟩
Conference papers
hal-03559899v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Precise, efficient, and context-sensitive cache analysis
Florian Brandner
,
Camille Noûs
Journal articles
hal-03559857v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain
Dongmin Son
,
Sawsan Al Zahr
,
Gerard Memmi
Conference papers
hal-03559711v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Adversarial Attacks Against Network Intrusion Detection in IoT Systems
Han Qiu
,
Tian Dong
,
Tianwei Zhang
,
Jialiang Lu
,
Gerard Memmi
et al.
Journal articles
hal-03559698v1
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
Multi-hop Data Fragmentation in Energy Harvesting Wireless Sensor Networks
Keun-Woo Lim
,
Katarzyna Kapusta
,
Gerard Memmi
,
Woo-Sung Jung
Conference papers
hal-03559678v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Resisting Adversarial Examples via Wavelet Extension and Denoising
Qinkai Zheng
,
Han Qiu
,
Tianwei Zhang
,
Gerard Memmi
,
Meikang Qiu
et al.
Smart Computing and Communication , 12608, Springer International Publishing, pp.204-214, 2021, Lecture Notes in Computer Science,
⟨10.1007/978-3-030-74717-6_22⟩
Book sections
hal-03559661v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Lightweight blockchain processing: case study: scanned document tracking on Tezos blockchain
Mohamed Allouche
,
Tarek Frikha
,
Mihai Mitrea
,
Gérard Memmi
,
Faten Chaabane
et al.
Journal articles
hal-03559645v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Permissionless and Asynchronous Asset Transfer
Petr Kuznetsov
,
Yvonne-Anne Pignolet
,
Pavel Ponomarev
,
Andrei Tonkikh
Conference papers
hal-03559627v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Revisiting Optimal Resilience of Fast Byzantine Consensus
Petr Kuznetsov
,
Andrei Tonkikh
,
Yan Zhang
PODC '21: ACM Symposium on Principles of Distributed Computing , Jul 2021, Virtual Event Italy, France. pp.343-353,
⟨10.1145/3465084.3467924⟩
Conference papers
hal-03559623v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement
Luciano Freitas de Souza
,
Petr Kuznetsov
,
Thibault Rieutord
,
Sara Tucci-Piergiovanni
Conference papers
hal-03559551v1
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
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
Protecting data confidentiality combining data fragmentation, encryption, and dispersal over a distributed environment
Katarzyna Kapusta
Theses
tel-03523671v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Hybrid Cryptographic Protocol for Secure Vehicle Data Sharing Over a Consortium Blockchain
Kei Leo Brousmiche
,
Antoine Durand
,
Thomas Heno
,
Christian Poulain
,
Antoine Dalmieres
et al.
2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) , Jul 2018, Halifax, Canada. pp.1281-1286,
⟨10.1109/Cybermatics_2018.2018.00223⟩
Conference papers
hal-03506544v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Control plane in dynamic software networks
Adrien Wion
Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2021. English.
⟨NNT : 2021IPPAT007⟩
Theses
tel-03506284v1
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
Strengthening fonctional validation of critical system by using Model Checking : application to Instrumentation and control systems in nuclear power plants
Yanjun Sun
Theses
tel-03419751v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An efficient data protection architecture based on fragmentation and encryption
Han Qiu
Theses
tel-03419019v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Approche sémantique de la conception de services connectés : cadre d'architecture, algorithmique de composition, application à la maison connectée
Rayhana Bouali Baghli
Theses
tel-03411977v1
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
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
Literature Classification Data for a Systematic Mapping Study on Multi-Paradigm Modeling for Cyber-Physical Systems
Ankica Barisic
,
Antonio Cicchetti
,
Ivan Ruchkin
,
Dominique Blouin
2021
Preprints, Working Papers, ...
hal-03338607v1
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
Building an Efficient Overlay for Publish/Subscribe in Wireless Sensor Networks
Claude Chaudet
,
Nicola Costagliola
,
Isabelle Demeure
,
Salma Ktari
,
Samuel Tardieu
et al.
9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON) , Jun 2012, Seoul, South Korea. pp.362-370,
⟨10.1109/SECON.2012.6275798⟩
Conference papers
hal-00780006v1
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
Controlling self-organising software applications with archetypes
Bassem Debbabi
,
Ada Diaconescu
,
Philippe Lalanda
IEEE International Conference on Self-Adaptive and Self-Organizing Systems , Sep 2012, Lyon, France.
⟨10.1109/SASO.2012.21⟩
Conference papers
hal-02286412v1
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
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
Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)
Lucas Massoni Sguerra
,
Pierre Jouvelot
,
Emilio Jesús Gallego Arias
,
Gérard Memmi
,
Fabien Coelho
et al.
FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain , University of California, Davis, May 2021, Davis / Virtual, United States
Conference papers
hal-03210222v1
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
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
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
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
A Survey on the Current Security Landscape of Intelligent Transportation Systems
Ayyoub Lamssaggad
,
Nabil Benamar
,
Abdelhakim Senhaji Hafid
,
Mounira Msahli
Journal articles
hal-03104867v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Data-based access control in Named Data Networking
Balkis Hamdane
,
Mounira Msahli
,
Ahmed Serhrouchni
,
Sihem Guemara El Fatmi
Conference papers
hal-03042232v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Access control in probative value cloud
Mounira Msahli
,
Rached Abdeljaoued
,
Ahmed Serhrouchni
8th International Conference for Internet Technology and Secured Transactions (ICITST 2013) , Dec 2013, London, France. pp.607-611,
⟨10.1109/ICITST.2013.6750274⟩
Conference papers
hal-03042230v1
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
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
Privacy as a Service: Anonymisation of NetFlow Traces
Ashref Aloui
,
Mounira Msahli
,
Talel Abdessalem
,
Sihem Mesnager
,
Stéphane Bressan
et al.
16th International Conference on e-Business Engineerin,(ICEBE 2019) , Oct 2019, Shanghai, China
Conference papers
hal-03035791v1
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
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
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
CoRA: a scalable Collective Remote Attestation protocol for sensor networks
Aida Diop
,
Maryline Laurent
,
Jean Leneutre
,
Jacques Traoré
ICISSP 2020: 6th International Conference on Information Systems Security and Privacy , Feb 2020, Valletta, Malta. pp.84-95,
⟨10.5220/0008962700840095⟩
Conference papers
hal-03024074v1
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
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
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
Fair Self-Adaptive Clustering for HybridCellular-Vehicular Networks
Julian Garbiso
,
Ada Diaconescu
,
Marceau Coupechoux
,
Bertrand Leroy
IEEE Transactions on Intelligent Transportation Systems , 2020
Journal articles
hal-03023217v1
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
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