Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

A Dynamic Scalable Blockchain Based Communication Architecture for IoT

Han Qiu , Meikang Qiu , Meiqin Liu , Zhong Ming , Gérard Memmi et al.
SmartBlock'18, Dec 2018, Tokyo, Japan. pp.159-166
Conference papers hal-02288555v1
Image document

Towards end-to-end privacy for publish/subscribe architectures in the Internet of Things

Stevan Coroller , Sophie Chabridon , Maryline Laurent , Denis Conan , Jean Leneutre et al.
M4IoT 2018: 5th Workshop on Middleware and Applications for the Internet of Things at the 2018 ACM/IFIP International Middleware Conference, Dec 2018, Rennes, France. pp.35 - 40, ⟨10.1145/3286719.3286727⟩
Conference papers hal-01940866v1
Image document

Scheduling Multi-Periodic Mixed-Criticality DAGs on Multi-Core Architectures

Roberto Medina , Etienne Borde , Laurent Pautet
39th IEEE Real-Time Systems Symposium (RTSS 2018), Dec 2018, Nashville, TN, United States. ⟨10.1109/RTSS.2018.00042⟩
Conference papers hal-01994627v1

Shedding the Shackles of Time-Division Multiplexing

Farouk Hebbache , Mathieu Jan , Florian Brandner , Laurent Pautet
RTSS 2018 - IEEE Real-Time Systems Symposium, Dec 2018, Nashville, France. pp.456-468, ⟨10.1109/RTSS.2018.00059⟩
Conference papers hal-01994629v1
Image document

Protecting data confidentiality combining data fragmentation, encryption, and dispersal over a distributed environment

Katarzyna Kapusta
Cryptography and Security [cs.CR]. Télécom ParisTech, 2018. English. ⟨NNT : 2018ENST0061⟩
Theses tel-03523671v1
Image document

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

Efficiency vs Creativity as Organising Principles of Socio-Technical Systems

Ada Diaconescu
IEEE Technology and Society Magazine, 2019
Journal articles hal-03023532v1

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

Improving data collection in complex networks with failure-prone agents via local marking

Arles Rodrigues , Nathaly Botina , Jonatan Gomez , Ada Diaconescu
Journal of Intelligent and Fuzzy Systems, 2019
Journal articles hal-03023128v1

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

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

Enabling Relevant Dialogue between Users and Autonomic Systems: a Design for Explainable AI for the Smart Home

Etienne Houzé , Ada Diaconescu , Jean-Louis Dessalles , David Menga
2019
Other publications hal-01996461v1
Image document

Deployment of mixed criticality and data driven systems on multi-cores architectures

Roberto Medina
Embedded Systems. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLT004⟩
Theses tel-02086680v1

Multi-objective exploration of architectural designs by composition of model transformations

Smail Rahmoun , Asma Mehiaoui-Hamitou , Etienne Borde , Laurent Pautet , Elie Soubiran et al.
Software and Systems Modeling, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩
Journal articles hal-02292455v1

Translation of ATL to AGT and application to a code generator for Simulink

Elie Richa , Etienne Borde , Laurent Pautet
Software and Systems Modeling, 2019, 18 (1), pp.321-344. ⟨10.1007/s10270-017-0607-8⟩
Journal articles hal-02449688v1

Efficiency Versus Creativity as Organizing Principles of Socio-Technical Systems: Why Do We Build (Intelligent) Systems? [Commentary]

Ada Diaconescu
IEEE Technology and Society Magazine, 2019, 38 (1), pp.13-22. ⟨10.1109/MTS.2019.2894455⟩
Journal articles hal-02449500v1
Image document

Improving quality of experience in multimedia streaming by leveraging Information-Centric Networking

Jacques Samain
Networking and Internet Architecture [cs.NI]. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLT012⟩
Theses tel-02164014v1

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

Poster Abstract: Secure Data Sharing by Means of Fragmentation, Encryption, and Dispersion

Katarzyna Kapusta , Han Qiu , Gérard Memmi
IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Apr 2019, Paris, France. pp.1051-1052, ⟨10.1109/INFCOMW.2019.8845243⟩
Conference papers hal-02450308v1

CHARIOT - Towards a Continuous High-Level Adaptive Runtime Integration Testbed

Chloe Barnes , Kirstie Bellman , Jean F Botev , Ada Diaconescu , Lukas Esterle et al.
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.52-55, ⟨10.1109/FAS-W.2019.00026⟩
Conference papers hal-02449653v1

Integration of Pervasive Platforms with iCasa

Philippe Lalanda , Ada Diaconescu
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.49-51, ⟨10.1109/FAS-W.2019.00025⟩
Conference papers hal-02449649v1

Multi-Scale Feedbacks for Large-Scale Coordination in Self-Systems

Ada Diaconescu , Louisa Jane Di Felice , Patricia Mellodge
2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Jun 2019, Umea, France. pp.137-142, ⟨10.1109/SASO.2019.00025⟩
Conference papers hal-02449657v1

Reinforcing Protection Against Chosen-Plaintext Attack Using Ciphertext Fragmentation in Multi-cloud Environments

Katarzyna Kapusta , Han Qiu , Gérard Memmi
2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), Jun 2019, Paris, France. pp.7-9, ⟨10.1109/CSCloud/EdgeCom.2019.00011⟩
Conference papers hal-02450307v1

Secure Data Sharing with Fast Access Revocation through Untrusted Clouds

Katarzyna Kapusta , Han Qiu , Gérard Memmi
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, CANARY ISLANDS, France. pp.1-5, ⟨10.1109/NTMS.2019.8763850⟩
Conference papers hal-02450309v1

Security Interoperability for Cooperative ITS: Architecture and Validation

Mounira Msahli , Houda Labiod , Gilles Ampt
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, CANARY ISLANDS, France. pp.1-6, ⟨10.1109/NTMS.2019.8763819⟩
Conference papers hal-02354694v1

DC coefficient recovery for JPEG images in ubiquitous communication systems

Han Qiu , Gérard Memmi , Xuan Chen , Jian Xiong
Future Generation Computer Systems, 2019, 96, pp.23-31. ⟨10.1016/j.future.2019.01.037⟩
Journal articles hal-02450213v1

From Behavioural Contracts to Session Types

Alessandro Fantechi , Elie Najm , Jean-Bernard Stefani
Models, Languages, and Tools for Concurrent and Distributed Programming, pp.278-297, 2019, ⟨10.1007/978-3-030-21485-2_16⟩
Book sections hal-02448995v1
Image document

Arbitration-Induced Preemption Delays

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
Conference papers hal-02447339v1

Arbitration-Induced Preemption Delays

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart,, Germany
Conference papers hal-02447655v1

Work-conserving dynamic time-division multiplexing for multi-criticality systems

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
Real-Time Systems, 2019, ⟨10.1007/s11241-019-09336-w⟩
Journal articles hal-02447512v1

The Consensus Number of a Cryptocurrency

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovič , Dragos-Adrian Seredinschi et al.
the 2019 ACM PODC, Jul 2019, Toronto ON, Canada. pp.307-316, ⟨10.1145/3293611.3331589⟩
Conference papers hal-02364290v1

Explanatory AI for Pertinent Communication in Autonomic Systems

Arles Rodríguez , Nathaly Botina , Jonatan Gómez , Marius Pol , Jean-Louis Dessalles et al.
Intelligent Systems and Applications, Sep 2019, Londres, United Kingdom. pp.212-227, ⟨10.1007/978-3-030-29516-5_16⟩
Conference papers hal-02449644v1

Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)

Simon van Mierlo , Eugene Syriani , Dominique Blouin , Moussa Amrani , Julien Deantoni et al.
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
Conference papers hal-02428017v1

Towards a Formal Specification of Multi-paradigm Modelling

Moussa Amrani , Dominique Blouin , Robert Heinrich , Arend Rensink , Hans Vangheluwe et al.
First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany
Conference papers hal-03022707v1

An efficient key distribution system for data fusion in V2X heterogeneous networks

Han Qiu , Meikang Qiu , Zhihui Lu , Gérard Memmi
Information Fusion, 2019, 50, pp.212-220. ⟨10.1016/j.inffus.2019.02.002⟩
Journal articles hal-02450299v1

All-Or-Nothing data protection for ubiquitous communication: Challenges and perspectives

Han Qiu , Katarzyna Kapusta , Zhihui Lu , Meikang Qiu , Gérard Memmi et al.
Information Sciences, 2019, 502, pp.434-445. ⟨10.1016/j.ins.2019.06.031⟩
Journal articles hal-02450300v1

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

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

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

Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour

Artur Rataj , Etienne Borde
the 30th International Workshop, Oct 2019, New York, France. pp.50-56, ⟨10.1145/3339985.3358492⟩
Conference papers hal-02449670v1
Image document

Reconfigurable Lattice Agreement and Applications

Petr Kuznetsov , Thibault Rieutord , Sara Tucci-Piergiovanni
[Research Report] Institut Polytechnique Paris; CEA List. 2019
Reports cea-02321547v1

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

Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems

Farouk Hebbache
Hardware Architecture [cs.AR]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT044⟩
Theses tel-02494421v1

The weakest failure detector for eventual consistency

Swan Dubois , Rachid Guerraoui , Petr Kuznetsov , Franck Petit , Pierre Sens et al.
Distributed Computing, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
Journal articles hal-02413314v1

Reconfigurable Lattice Agreement and Applications

Petr Kuznetsov , Thibault Rieutord , Tucci-Piergiovanni Sara
OPODIS, Dec 2019, Neuchatel, Switzerland
Conference papers hal-03022570v1

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

Anticanonical codes from del Pezzo surfaces with Picard rank one

Régis Blache , Alain Couvreur , Emmanuel Hallouin , David Madore , Jade Nardi et al.
Transactions of the American Mathematical Society, 2020, ⟨10.1090/tran/8119⟩
Journal articles hal-02075926v1

Holarchic structures for decentralized deep learning: a performance analysis

Evangelos Pournaras , Srivatsan Yadhunathan , Ada Diaconescu
Cluster Computing, 2020
Journal articles hal-03023065v1
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