Filter your results
- 231
- 79
- 2
- 184
- 72
- 25
- 13
- 8
- 3
- 2
- 2
- 2
- 1
- 305
- 26
- 8
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 29
- 38
- 30
- 41
- 23
- 37
- 19
- 28
- 21
- 18
- 9
- 5
- 5
- 5
- 1
- 1
- 1
- 296
- 16
- 308
- 17
- 8
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 46
- 43
- 36
- 35
- 28
- 21
- 21
- 20
- 16
- 16
- 13
- 11
- 11
- 10
- 10
- 10
- 9
- 9
- 8
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020ACM SIGACT News, 2020, 51 (4), pp.82-84. ⟨10.1145/3444815.3444828⟩
Journal articles
hal-03559549v1
|
|||
|
Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freibourg, Germany. ⟨10.4230/LIPIcs.DISC.2021.54⟩
Conference papers
hal-03559551v1
|
||
|
Worldwide Gender Differences in Public Code Contributions44th International Conference on Software Engineering (ICSE 2022) - Software Engineering in Society (SEIS) Track, May 2022, Pittsburgh, PA, United States. ⟨10.1145/3510458.3513011⟩
Conference papers
hal-03571837v1
|
||
SBaaS: Safe Box as a serviceIEEE Internationale Conference, CollaborateCom, Oct 2013, Austin, Texas, United States
Conference papers
hal-02288435v1
|
|||
PCM in cloudIEEE International Conference on Granular Computing (GrC), Oct 2014, Noboribetsu, Japan
Conference papers
hal-02288436v1
|
|||
Integration of Pervasive Platforms with iCasa2019 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
|
|||
CHARIOT - Towards a Continuous High-Level Adaptive Runtime Integration Testbed2019 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
|
|||
Autonomic Computing: Principles, Design and ImplementationSpringer, pp.298, 2013
Books
hal-02286670v1
|
|||
Progressive Transactional Memory in Time and SpacePaCT, Sep 2015, Petrozavodsk, Russia
Conference papers
hal-02287223v1
|
|||
Safety of session-based service orchestration revisited with an unreliable communication modelWeb Services Formal Methods, Aug 2013, beijing, China
Conference papers
hal-02286789v1
|
|||
Optimal Deployment of Security Policies: Application to Industrial Control Systems14th European Dependable Computing Conference (EDCC 2018), Sep 2018, Iasi, Romania
Conference papers
hal-02287944v1
|
|||
optimal Chudnovsky Chudnovsky multiplication algorithmsWAIFI 2014, Jul 2015, gebze, Turkey
Conference papers
hal-02287379v1
|
|||
|
Software Artifact Mining in Software Engineering Conferences: A Meta-AnalysisACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2022), Sep 2022, Helsinki, Finland. ⟨10.1145/3544902.3546239⟩
Conference papers
hal-03723556v1
|
||
Parallel Combining: Making Use of Free CyclesCoRR, 2017, abs/1710.07588
Journal articles
hal-02287770v1
|
|||
Reactive or Stable: A Plant-inspired Approach for Business Organisation MorphogenesisInternational Conference on Artificial Life (ALife), Jul 2020, Montreal (virtual), Canada
Conference papers
hal-03023157v1
|
|||
Online Payments by Merely Broadcasting MessagesDSN, Jun 2020, Valencia, Spain
Conference papers
hal-03022579v1
|
|||
Brief Announcement: On Decidability of 2-Process Affine ModelsDISC, Oct 2020, VIRTUAL, France
Conference papers
hal-03022583v1
|
|||
|
Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168834v1
|
||
Towards a model driven refinement process through architecture evaluationNFPinDSML '12, Dec 2012, Innsbruck, Austria. pp.4:1-4:6, ⟨10.1145/2420942.2420946⟩
Conference papers
hal-02286708v1
|
|||
A benchmark of incremental model transformation tools based on an industrial case study with AADLSoftware and Systems Modeling, 2022, ⟨10.1007/s10270-022-00989-z⟩
Journal articles
hal-03905646v1
|
|||
|
To do or not to do: finding causal relations in smart homes2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Sep 2021, Washington, France. pp.110-119, ⟨10.1109/ACSOS52086.2021.00030⟩
Conference papers
hal-03814048v1
|
||
|
Efficient Prior Publication Identification for Open Source Code18th International Conference on Open Source Systems (OSS 2022), Sep 2022, Madrid, Spain
Conference papers
hal-03735961v1
|
||
|
Geographic Diversity in Public Code ContributionsThe 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528471⟩
Conference papers
hal-03622621v1
|
||
|
Security bootstrapping for Internet of ThingsCryptography and Security [cs.CR]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT023⟩
Theses
tel-03719946v1
|
||
|
Inherent limitations of hybrid transactional memoryDistributed Computing, 2018, 31 (3), pp.167-185. ⟨10.1007/s00446-017-0305-3⟩
Journal articles
hal-02364297v1
|
||
Digital safe: Secure synchronization of shared files2015 11th International Conference on Information Assurance and Security (IAS), Dec 2015, Marrakech, France. pp.67-72, ⟨10.1109/ISIAS.2015.7492747⟩
Conference papers
hal-02354919v1
|
|||
Towards an Efficient File Synchronization between Digital Safes2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA), Mar 2017, Taipei, France. pp.136-143, ⟨10.1109/AINA.2017.115⟩
Conference papers
hal-02354920v1
|
|||
SyncDS: A digital safe based file synchronization approach2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2016, Las Vegas, France. pp.317-318, ⟨10.1109/CCNC.2016.7444796⟩
Conference papers
hal-02354922v1
|
|||
|
Note sur la cryptanalyse de Diffie-HellmanGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2017
Journal articles
hal-03022599v1
|
||
Adversarial Attacks Against Network Intrusion Detection in IoT SystemsIEEE Internet of Things Journal, 2021, 8 (13), pp.10327-10335. ⟨10.1109/JIOT.2020.3048038⟩
Journal articles
hal-03559698v1
|