Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

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

Gardening Cyber-Physical Systems

Susan Stepney , Ada Diaconescu , René Doursat , Jean-Louis Giavitto , Taras Kowaliw et al.
Unconventionnal Computation and Natural Computation (UCNC'2012), Sep 2012, Orléans, France. pp.1-1
Conference papers hal-01161014v1

Generalized mixed-criticality scheduling based on RUN

Romain Gratia , Thomas Robert , Laurent Pautet
23rd International Conference on Real-Time Networks and Systems (RTNS '15), Nov 2015, Lille France, France. pp.267-276, ⟨10.1145/2834848.2834873⟩
Conference papers hal-03629047v1
Image document

Geographic Diversity in Public Code Contributions

Davide Rossi , Stefano Zacchiroli
The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528471⟩
Conference papers hal-03622621v1

Goal-oriented Holonic Systems

Ada Diaconescu
Organic Computing: Technical Systems for Survival in the Real World,, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.209-258, 2017
Book sections hal-02287627v1

Goal-oriented Holonics for Complex System (Self-)Integration: Concepts and Case Studies

Ada Diaconescu , Sylvain Frey , Christian Müller-Schloer , Jeremy Pitt , Sven Tomforde et al.
10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), Sep 2016, Augsburg, Germany. pp.10
Conference papers hal-02287380v1
Image document

Grasping the Gap between Blocking and Non-Blocking Transactional Memories

Petr Kuznetsov , Srivatsan Ravi
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_16⟩
Conference papers hal-01206451v1

Handling criticality mode change in time-triggered systems through linear programming

M. Jan , L. Zaourar , V. Legout , Laurent Pautet
Ada User Journal, 2014, 35 (2), pp.133-137
Journal articles cea-01844456v1

Hierarchical Self-awareness and Authority for Scalable Self-integrating Systems

Ada Diaconescu , Barry Porter , Roberto Rodrigues , Evangelos Pournaras
2018
Other publications hal-01996481v1

Holarchic structures for decentralized deep learning: a performance analysis

Evangelos Pournaras , Srivatsan Yadhunathan , Ada Diaconescu
Cluster Computing, 2020
Journal articles hal-03023065v1

Holonic Institutions for Multi-Scale Polycentric Self-Governance

Ada Diaconescu , Jeremy Pitt
Lecture Notes in Computer Science, 2015, 9372, pp.19-35
Journal articles hal-02287383v1

How to measure usable security: Natural strategies in voting protocols1

Wojciech Jamroga , Damian Kurpiewski , Vadim Malvone
Journal of Computer Security, 2022, 30 (3), pp.381-409. ⟨10.3233/JCS-210049⟩
Journal articles hal-03779032v1

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

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

Jonathan Gomez , Arles Rodriguez , Nathaly Botina , Ada Diaconescu
6th International Symposium of Language and Knowledge Engineering (LKE 2018), Oct 2018, Puebla, Mexico
Conference papers hal-01996468v1

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

Improving Reusability of Model Transformations by Automating their Composition

Cuauhtemoc Castellanos , Etienne Borde , Laurent Pautet , Sébastien Gardoll , Thomas Vergnaud et al.
EUROMICRO-SEAA, Aug 2015, Madeira, Portugal. pp.267-274
Conference papers hal-02287271v1

In-Band Synchronization for Distributed SDN Control Planes

Liron Schiff , Stefan Schmid , Petr Kuznetsov
Computer Communication Review, 2016, 46 (1), pp.37-43
Journal articles hal-02287556v1

Incentive-oriented Task Assignment in Holonic Organic Systems

Jan Kantert , Sven Tomforde , Ada Diaconescu , Christian Müller-Schloer
5th International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems, SAOS@ARCS 2017, Apr 2017, Vienna, Austria
Conference papers hal-02287560v1

Inherent limitations of hybrid transactional memory

Dan Alistarh , Justin Kopinsky , Petr Kuznetsov , Srivatsan Ravi , Nir Shavit et al.
Distributed Computing, 2018, 31 (3), pp.167-185. ⟨10.1007/s00446-017-0305-3⟩
Journal articles hal-02364297v1
Image document

Inherent Limitations of Hybrid Transactional Memory

Dan Alistarh , Justin Kopinsky , Petr Kuznetsov , Srivatsan Ravi , Nir Shavit et al.
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_13⟩
Conference papers hal-01206434v1

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

Interactional Justice for Sustainable Management of Common-Pool Resources

Jeremy Pitt , Ada Diaconescu
XVI Biennial IASC Conference "Practicing the commons: self-governance, cooperation, and institutional change, Jul 2017, Utrecht, Netherlands Antilles
Conference papers hal-02287559v1

Interactive Self-Governance and Value-Sensitive Design for Self-Organising Socio-Technical Systems

Jeremy Pitt , Ada Diaconescu
Fourth International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST@SASO2016), Sep 2016, Ausgburg, Germany
Conference papers hal-02288465v1

Introduction to special issue: papers from UML&FM'2009

Isabelle. Perseil , Jean-Michel Bruel , Agusti Canals , Robert de Simone , Sébastien Gérard et al.
Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3
Journal articles hal-02286673v1

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

Keynote speech

Mounira Msahli
2018 Fourth International Conference on Mobile and Secure Services (MobiSecServ), Feb 2018, Miami Beach, France. pp.1-1, ⟨10.1109/MOBISECSERV.2018.8311434⟩
Conference papers hal-02354925v1

Lightweight blockchain processing: case study: scanned document tracking on Tezos blockchain

Mohamed Allouche , Tarek Frikha , Mihai Mitrea , Gérard Memmi , Faten Chaabane et al.
Applied Sciences, 2021, 11 (15), pp.7169:1-7169:17. ⟨10.3390/app11157169⟩
Journal articles hal-03559645v1
Image document

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

Litmus-RT plugins for global static scheduling of mixed criticality systems

Laurent Pautet , Thomas Robert , Samuel Tardieu
Journal of Systems Architecture, 2021, 118, pp.102221. ⟨10.1016/j.sysarc.2021.102221⟩
Journal articles hal-03276250v1