Browse by search - Equipe Autonomic and Critical Embedded Systems

Autonomous Critical Embedded Systems team

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	hal-03723556v1 Conference papers Zeinab Abou Khalil, Stefano Zacchiroli. 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 Daniele Serafini, Stefano Zacchiroli. Efficient Prior Publication Identification for Open Source Code 18th International Conference on Open Source Systems (OSS 2022), Sep 2022, Madrid, Spain
	tel-03721520v1 Theses Etienne Houzé. 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 Sameh Khalfaoui. Security bootstrapping for Internet of Things Cryptography and Security [cs.CR]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT023⟩
	hal-03702493v1 Conference papers Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner. 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 Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan. 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 Davide Rossi, Stefano Zacchiroli. 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 Stefano Zacchiroli. 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 Zeinab Abou Khalil, Stefano Zacchiroli. 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 Davide Rossi, Stefano Zacchiroli. 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 Maxime Ayrault, Ulrich Kühne, Etienne Borde. 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 Mathieu O'Neil, Xiaolan Cai, Laure Muselli, Stefano Zacchiroli. 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 Martin Kunev, Petr Kuznetsov, Denis Sheynikhovich. 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 Sihem Mesnager, Bimal Mandal, Mounira Msahli. 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 Antoine Durand. 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 Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci-Piergiovanni. 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 Petr Kuznetsov, Yvonne-Anne Pignolet, Pavel Ponomarev, Andrei Tonkikh. Permissionless and Asynchronous Asset Transfer DISC, Oct 2021, Strasbourg, France. ⟨10.4230/LIPIcs.DISC.2021.28⟩
	hal-03338607v1 Preprints, Working Papers, ... Ankica Barisic, Antonio Cicchetti, Ivan Ruchkin, Dominique Blouin. Literature Classification Data for a Systematic Mapping Study on Multi-Paradigm Modeling for Cyber-Physical Systems 2021
	hal-03276250v1 Journal articles Laurent Pautet, Thomas Robert, Samuel Tardieu. 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 Petr Kuznetsov, Vitaly Aksenov, Vincent Gramoli, Srivatsan Ravi. Optimal Concurrency for List-Based Sets Parallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia
	hal-03559899v1 Conference papers Florian Brandner, Benjamin Binder, Mihail Asavoae, Belgacem Ben Hedia, Mathieu Jan. 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 Mohamed Allouche, Tarek Frikha, Mihai Mitrea, Gérard Memmi, Faten Chaabane. 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 Laetitia Debesse, Sihem Mesnager, Mounira Msahli. 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 Petr Kuznetsov, Andrei Tonkikh, Yan Zhang. 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 Han Qiu, Tian Dong, Tianwei Zhang, Jialiang Lu, Gerard Memmi et al. 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 Florian Brandner, Camille Noûs. Precise, efficient, and context-sensitive cache analysis Real-Time Systems, Springer Verlag, 2021, ⟨10.1007/s11241-021-09372-5⟩
	hal-03572782v1 Journal articles Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe et al. 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 Lucas Massoni Sguerra, Pierre Jouvelot, Emilio Jesús Gallego Arias, Gérard Memmi, Fabien Coelho. 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 Dongmin Son, Sawsan Al Zahr, Gerard Memmi. 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 Qinkai Zheng, Han Qiu, Tianwei Zhang, Gerard Memmi, Meikang Qiu et al. 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⟩
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize