Autonomous Critical Embedded Systems team | ![]() |
|
||
---|---|---|
hal-03723556v1
Conference papers
Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2022), Sep 2022, Helsinki, Finland. ⟨10.1145/3544902.3546239⟩ |
||
hal-03735961v1
Conference papers
Efficient Prior Publication Identification for Open Source Code 18th International Conference on Open Source Systems (OSS 2022), Sep 2022, Madrid, Spain |
||
tel-03721520v1
Theses
A generic and adaptive approach to explainable AI in autonomic systems : the case of the smart home Ubiquitous Computing. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT022⟩ |
||
tel-03719946v1
Theses
Security bootstrapping for Internet of Things Cryptography and Security [cs.CR]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT023⟩ |
||
hal-03702493v1
Conference papers
A Coq Framework for More Trustworthy DRAM Controllers RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩ |
||
hal-03702426v1
Journal articles
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture International Journal on Software Tools for Technology Transfer, Springer Verlag, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩ |
||
hal-03622621v1
Conference papers
Geographic Diversity in Public Code Contributions The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528471⟩ |
||
hal-03624198v1
Conference papers
A Large-scale Dataset of (Open Source) License Text Variants The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528491⟩ |
||
hal-03623109v1
Conference papers
The General Index of Software Engineering Papers MSR 2022 - The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528494⟩ |
||
hal-03571837v1
Conference papers
Worldwide Gender Differences in Public Code Contributions 44th International Conference on Software Engineering (ICSE 2022) - Software Engineering in Society (SEIS) Track, May 2022, Pittsburgh, PA, United States. ⟨10.1145/3510458.3513011⟩ |
||
hal-03670106v1
Journal articles
Finding Optimal Moving Target Defense Strategies: A Resilience Booster for Connected Cars Information, MDPI, 2022, 13 (5), pp.242. ⟨10.3390/info13050242⟩ ![]() |
||
hal-03662850v1
Journal articles
Co-producing industrial public goods on GitHub: Selective firm cooperation, volunteer-employee labour and participation inequality New Media and Society, SAGE Publications, 2022, ⟨10.1177/14614448221090474⟩ |
||
inserm-03719607v1
Journal articles
Agreement in Spiking Neural Networks Journal of Computational Biology, Mary Ann Liebert, 2022, 29 (4), pp.358 - 369. ⟨10.1089/cmb.2021.0365⟩ |
||
hal-03569465v1
Journal articles
Survey on recent trends towards generalized differential and boomerang uniformities Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , Springer, 2021, ⟨10.1007/s12095-021-00551-6⟩ |
||
tel-03583890v1
Theses
Consensus Byzantin et blockchain : Modèles unifiés et nouveaux protocoles Data Structures and Algorithms [cs.DS]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT025⟩ |
||
hal-03559551v1
Conference papers
Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement 35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freibourg, Germany. ⟨10.4230/LIPIcs.DISC.2021.54⟩ |
||
hal-03559627v1
Conference papers
Permissionless and Asynchronous Asset Transfer DISC, Oct 2021, Strasbourg, France. ⟨10.4230/LIPIcs.DISC.2021.28⟩ |
||
hal-03338607v1
Preprints, Working Papers, ...
Literature Classification Data for a Systematic Mapping Study on Multi-Paradigm Modeling for Cyber-Physical Systems 2021 |
||
hal-03276250v1
Journal articles
Litmus-RT plugins for global static scheduling of mixed criticality systems Journal of Systems Architecture, Elsevier, 2021, 118, pp.102221. ⟨10.1016/j.sysarc.2021.102221⟩ |
||
hal-03560232v1
Conference papers
Optimal Concurrency for List-Based Sets Parallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia |
||
hal-03559899v1
Conference papers
Is This Still Normal? Putting Definitions of Timing Anomalies to the Test 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⟩ |
||
hal-03559645v1
Journal articles
Lightweight blockchain processing: case study: scanned document tracking on Tezos blockchain Applied Sciences, MDPI, 2021, 11 (15), pp.7169:1-7169:17. ⟨10.3390/app11157169⟩ ![]() |
||
hal-03569438v1
Book sections
POSTER: Resistance Analysis of Two AES-Like Against the Boomerang Attack Applied Cryptography and Network Security Workshops, 12809, Springer International Publishing, pp.485-489, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-81645-2_27⟩ |
||
hal-03559623v1
Conference papers
Revisiting Optimal Resilience of Fast Byzantine Consensus PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.343-353, ⟨10.1145/3465084.3467924⟩ |
||
hal-03559698v1
Journal articles
Adversarial Attacks Against Network Intrusion Detection in IoT Systems IEEE internet of things journal, IEEE, 2021, 8 (13), pp.10327-10335. ⟨10.1109/JIOT.2020.3048038⟩ |
||
hal-03559857v1
Journal articles
Precise, efficient, and context-sensitive cache analysis Real-Time Systems, Springer Verlag, 2021, ⟨10.1007/s11241-021-09372-5⟩ |
||
hal-03572782v1
Journal articles
Multi-paradigm modelling for cyber–physical systems: a descriptive framework Software and Systems Modeling, Springer Verlag, 2021, 20, pp.611 - 639. ⟨10.1007/s10270-021-00876-z⟩ |
||
hal-03210222v1
Conference papers
Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper) FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States |
||
hal-03559711v1
Conference papers
Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain 2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), May 2021, Sydney, France. pp.1-3, ⟨10.1109/ICBC51069.2021.9461115⟩ |
||
hal-03559661v1
Book sections
Resisting Adversarial Examples via Wavelet Extension and Denoising 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⟩ |
||
|