Search - Archive ouverte HAL Access content directly

Filter your results

346 Results
Image document

Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report

Paolo Crisafulli , Dominique Blouin , Françoise Caron , Cristian Maxim
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers hal-02454258v1

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

AADL: A Language to Specify the Architecture of Cyber-Physical Systems

Dominique Blouin , Etienne Borde
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020
Book sections hal-03022808v1

Multi-hop Data Fragmentation in Energy Harvesting Wireless Sensor Networks

Keun-Woo Lim , Katarzyna Kapusta , Gerard Memmi , Woo-Sung Jung
2020 Global Internet of Things Summit (GIoTS), Jun 2020, Dublin, France. pp.1-6, ⟨10.1109/GIOTS49054.2020.9119569⟩
Conference papers hal-03559678v1

Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets

Florian Brandner , Camille Noûs
RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, Paris France, France. pp.44-55, ⟨10.1145/3394810.3394811⟩
Conference papers hal-02894150v1

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

ChainIDE 2.0: Facilitating Smart Contract Development for Consortium Blockchain

Xiao Wu , Han Qiu , Shuyi Zhang , Gerard Memmi , Keke Gai et al.
IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Jul 2020, Toronto, France. pp.388-393, ⟨10.1109/INFOCOMWKSHPS50562.2020.9163051⟩
Conference papers hal-03559687v1
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

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

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

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

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

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

Revisiting Shared Data Protection Against Key Exposure

Katarzyna Kapusta , Gerard Memmi , Matthieu Rambaud
AsiaCCS, Sep 2020, taipei, Taiwan. ⟨10.1145/3320269.3372198⟩
Conference papers hal-03024707v1

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

Affine Tasks for k-Test-and-Set

Petr Kuznetsov , Thibault Rieutord
2020
Preprints, Working Papers, ... hal-01810601v2

Brief Announcement: On Decidability of 2-Process Affine Models

Petr Kuznetsov , Thibault Rieutord
DISC, Oct 2020, VIRTUAL, France
Conference papers hal-03022583v1

Asynchronous Reconfiguration with Byzantine Failures

Petr Kuznetsov , Andrei Tonkikh
DISC, Oct 2020, VIRTUAL, France
Conference papers hal-03022581v1

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

Topological Graph Convolutional Network-Based Urban Traffic Flow and Density Prediction

Han Qiu , Qinkai Zheng , Mounira Msahli , Gerard Memmi , Meikang Qiu et al.
IEEE Transactions on Intelligent Transportation Systems, 2020, pp.1-10. ⟨10.1109/TITS.2020.3032882⟩
Journal articles hal-03042201v1
Image document

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

Privacy as a Service: Anonymisation of NetFlow Traces

Ashref Aloui , Mounira Msahli , Talel Abdessalem , Sihem Mesnager , Stéphane Bressan et al.
Advances in E-Business Engineering for Ubiquitous Computing, pp.561-571, 2020, ⟨10.1007/978-3-030-34986-8_39⟩
Book sections hal-03042197v1
Image document

Energy trading marketplace using Ethereum private network

Dongmin Son , Sawsan Al Zahr , Gerard Memmi
[Technical Report] Telecom Paris. 2020
Reports hal-03157038v1

Perfect failure detection with very few bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord et al.
Information and Computation, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩
Journal articles hal-03559548v1

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

Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020

Petr Kuznetsov , Vitaly Aksenov
ACM SIGACT News, 2020, 51 (4), pp.82-84. ⟨10.1145/3444815.3444828⟩
Journal articles hal-03559549v1
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

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

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

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

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

An ontology for multi-paradigm modelling

Holger Giese , Dominique Blouin , Rima Al-Ali , Hana Mkaouar , Soumyadip Bandyopadhyay et al.
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.67-122, 2021, ⟨10.1016/B978-0-12-819105-7.00009-X⟩
Book sections hal-03219279v1

An ontological foundation for multi-paradigm modelling for cyber-physical systems

Dominique Blouin , Rima Al-Ali , Mauro Iacono , Bedir Tekinerdogan , Holger Giese et al.
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.9-43, 2021, ⟨10.1016/B978-0-12-819105-7.00007-6⟩
Book sections hal-03225338v1
Image document

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

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 of Systems and Software, 2021, ⟨10.1016/j.jss.2021.111081⟩
Journal articles hal-03338594v1
Image document

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

A Survey on the Current Security Landscape of Intelligent Transportation Systems

Ayyoub Lamssaggad , Nabil Benamar , Abdelhakim Senhaji Hafid , Mounira Msahli
IEEE Access, 2021, pp.1-1. ⟨10.1109/ACCESS.2021.3050038⟩
Journal articles hal-03104867v1

Machine Learning Detection for SMiShing Frauds

Mounira Msahli , Badr Eddine Boukari , Akshaya Ravi
2021 IEEE 18th Annual Consumer Communications & Networking Conference (CCNC), Jan 2021, Las Vegas, France. pp.1-2, ⟨10.1109/CCNC49032.2021.9369640⟩
Conference papers hal-03569422v1
Image document

On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometry

Stéphane Ballet , Julia Pieltant , Jean Chaumine , Matthieu Rambaud , Hugues Randriambololona et al.
Russian Mathematical Surveys, 2021, 76 (1), pp.29-89. ⟨10.1070/RM9928⟩
Journal articles hal-03661954v1
Image document

Fair Self-Adaptive Clustering for Hybrid Cellular-Vehicular Networks

Julian Garbiso , Ada Diaconescu , Marceau Coupechoux , Bertrand Leroy
IEEE Transactions on Intelligent Transportation Systems, 2021, 22 (2), pp.1225-1236
Journal articles hal-02421005v1
Image document

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

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

Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain

Dongmin Son , Sawsan Al Zahr , Gerard Memmi
2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), May 2021, Sydney, France. pp.1-3, ⟨10.1109/ICBC51069.2021.9461115⟩
Conference papers hal-03559711v1
Image document

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

Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic Programming

Nan Li , Eric Goubault , Laurent Pautet , S. Putot
Opportunities and challenges with autonomous racing, 2021 ICRA workshop, May 2021, Online, United States
Conference papers hal-03749355v1
Image document

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

Moussa Amrani , Dominique Blouin , Robert Heinrich , Arend Rensink , Hans Vangheluwe et al.
Software and Systems Modeling, 2021, 20, pp.611 - 639. ⟨10.1007/s10270-021-00876-z⟩
Journal articles hal-03572782v1

Natural Strategic Abilities in Voting Protocols

Wojciech Jamroga , Damian Kurpiewski , Vadim Malvone
Socio-Technical Aspects in Security and Trust, 12812, Springer International Publishing, pp.45-62, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79318-0_3⟩
Book sections hal-03779036v1

Precise, efficient, and context-sensitive cache analysis

Florian Brandner , Camille Noûs
Real-Time Systems, 2021, ⟨10.1007/s11241-021-09372-5⟩
Journal articles hal-03559857v1

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

Adversarial Attacks Against Network Intrusion Detection in IoT Systems

Han Qiu , Tian Dong , Tianwei Zhang , Jialiang Lu , Gerard Memmi et al.
IEEE Internet of Things Journal, 2021, 8 (13), pp.10327-10335. ⟨10.1109/JIOT.2020.3048038⟩
Journal articles hal-03559698v1