Filter your results
- 247
- 97
- 2
- 207
- 76
- 25
- 13
- 10
- 4
- 4
- 3
- 2
- 2
- 338
- 30
- 8
- 5
- 4
- 2
- 1
- 1
- 1
- 1
- 29
- 39
- 30
- 42
- 29
- 40
- 23
- 37
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 330
- 16
- 308
- 22
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 49
- 49
- 44
- 38
- 35
- 21
- 21
- 20
- 17
- 17
- 16
- 13
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 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
- 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
346 Results
Optimal Concurrency for List-Based SetsParallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia
Conference papers
hal-03560232v1
|
|||
|
Brief Announcement: Malicious Security Comes for Free in Consensus with LeadersPODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.195-198, ⟨10.1145/3465084.3467953⟩
Conference papers
hal-03800650v1
|
||
A Comparative Study of the Precision of Stack Cache Occupancy Analyses9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
Conference papers
hal-02287276v1
|
|||
Revisiting Optimal Resilience of Fast Byzantine ConsensusPODC '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
|
|||
On the uncontended complexity of anonymous agreementDistributed Computing, 2017, 30 (6), pp.459-468. ⟨10.1007/s00446-017-0297-z⟩
Journal articles
hal-02287767v1
|
|||
|
Non-interference and local correctness in transactional memoryTheor. Comput. Sci., 2017, 688, pp.103-116. ⟨10.1016/j.tcs.2016.06.021⟩
Journal articles
hal-02287768v1
|
||
Formal Analysis of Secure Device Pairing ProtocolsIEEE 13th International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, Massachusetts, United States
Conference papers
hal-02287084v1
|
|||
Value Sensitive Design for Self-Organising Digital CommunitiesCharting the Next Decade for Value Sensitive Design Workshop (held with the Critical Alternatives Conference), Aug 2015, Aarhus, Denmark
Conference papers
hal-02287385v1
|
|||
The notion of self-aware computingSelf-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, pp.3-16, 2017
Book sections
hal-02287557v1
|
|||
AT2: Asynchronous Trustworthy TransfersCoRR, 2018, abs/1812.10844
Journal articles
hal-02288008v1
|
|||
Worst-Case Execution Time Analysis of Predicated ArchitecturesWorkshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
Conference papers
hal-02288493v1
|
|||
Self-healing Networks via Self-organising Mobile AgentsJournal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2021
Journal articles
hal-03023085v1
|
|||
Fair Self-Adaptive Clustering for HybridCellular-Vehicular NetworksIEEE Transactions on Intelligent Transportation Systems, 2020
Journal articles
hal-03023217v1
|
|||
|
CoRA: a scalable Collective Remote Attestation protocol for sensor networksICISSP 2020: 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valletta, Malta. pp.84-95, ⟨10.5220/0008962700840095⟩
Conference papers
hal-03024074v1
|
||
Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviourthe 30th International Workshop, Oct 2019, New York, France. pp.50-56, ⟨10.1145/3339985.3358492⟩
Conference papers
hal-02449670v1
|
|||
|
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)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
|
||
Solving the instance model-view update problem in AADLMODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.55-65, ⟨10.1145/3550355.3552396⟩
Conference papers
hal-03905639v1
|
|||
Access control in probative value cloud8th 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
|
|||
Extending TLS with KMIP Protocol for Cloud Computing2016 8th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Nov 2016, Larnaca, France. pp.1-6, ⟨10.1109/NTMS.2016.7792452⟩
Conference papers
hal-02343631v1
|
|||
A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical InfrastructuresIEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, FL, United States. ⟨10.1109/HASE.2015.24⟩
Conference papers
hal-01113223v1
|
|||
|
The devil hides in the model: Reviewing Blockchain and BFT protocolsBlockchain 22 4th International Congress on Blockchain and Applications, Jul 2022, L'Aquila, Italy
Conference papers
hal-03860862v1
|
||
|
On Helping and StacksThe International Conference on Networked Systems, May 2018, Essaouira, Morocco
Conference papers
hal-01888607v1
|
||
|
SuperVision: Spatial Control of Connected Objects in a Smart HomeCHI Extended Abstracts: ACM Conference on Human Factors in Computing Systems, Apr 2015, Soul, South Korea. pp.2079-2084, ⟨10.1145/2702613.2732779⟩
Conference papers
hal-01147717v1
|
||
|
Brief Announcement: Performance Prediction for Coarse-Grained LockingPODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
Conference papers
hal-01887733v1
|
||
Complementing Ada with other programming languagesACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114
Conference papers
hal-00479569v1
|
|||
|
A Survey on the Current Security Landscape of Intelligent Transportation SystemsIEEE Access, 2021, pp.1-1. ⟨10.1109/ACCESS.2021.3050038⟩
Journal articles
hal-03104867v1
|
||
|
Développer une nouvelle approche pédagogique ", questionnement autour du cas de PicoLibreQuestions de pédagogies dans l'enseignement supérieur : réflexions, projets et pratiques : actes du 2e colloque, Brest, 25-27 juin 2003, organisé par l'ENSIETA et l'ENST Bretagne, Jun 2003, Brest, France. pp.109 - 114
Conference papers
hal-02274532v1
|
||
Is This Still Normal? Putting Definitions of Timing Anomalies to the Test2021 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
|
|||
A Comparative Study of the Precision of Stack Cache Occupancy Analyses9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
Conference papers
hal-01246343v1
|
|||
|
Revisiting Shared Data Protection Against Key ExposureAsiaCCS, Sep 2020, taipei, Taiwan. ⟨10.1145/3320269.3372198⟩
Conference papers
hal-03024707v1
|