Skip to Main content Skip to Navigation
New interface

hal-03723556v1  Conference papers
Zeinab Abou KhalilStefano 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 SerafiniStefano Zacchiroli. Efficient Prior Publication Identification for Open Source Code
18th International Conference on Open Source Systems (OSS 2022), Sep 2022, Madrid, Spain
hal-03867187v1  Conference papers
Benjamin BinderMihail AsavoaeFlorian BrandnerBelgacem Ben HediaMathieu Jan. The Role of Causality in a Formal Definition of Timing Anomalies
2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
hal-03801012v1  Conference papers
Hassan ChaitouJean LeneutreLaurent Pautet. Threats to Adversarial Training for IDSs and Mitigation
19th International Conference on Security and Cryptography, Jul 2022, Lisbon, France. pp.226-236, ⟨10.5220/0011277600003283⟩
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 MalaquiasMihail AsavoaeFlorian 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-03622621v1  Conference papers
Davide RossiStefano 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 KhalilStefano 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 RossiStefano 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⟩
inserm-03719607v1  Journal articles
Martin KunevPetr KuznetsovDenis 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-03779034v1  Conference papers
Francesco BelardinelliBorja G. LeónVadim Malvone. Enabling Markovian Representations under Imperfect Information
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
hal-03779030v1  Journal articles
Francesco BelardinelliAlessio LomuscioVadim MalvoneEmily Yu. Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2022, 73, pp.897-932. ⟨10.1613/jair.1.12539⟩
hal-03860813v1  Book sections
Mingming QiuElie NajmRémi SharrockBruno Traverson. PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services
Christine Strauss; Alfredo Cuzzocrea; Gabriele Kotsis; A Min Tjoa; Ismail Khalil. Database and Expert Systems Applications. 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part II, 13427, Springer International Publishing, pp.158-173, 2022, Lecture Notes in Computer Science, 978-3-031-12425-9. ⟨10.1007/978-3-031-12426-6_13⟩
hal-03569465v1  Journal articles
Sihem MesnagerBimal MandalMounira 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⟩
hal-03758375v1  Conference papers
Maxime AyraultEtienne BordeUlrich KühneJean Leneutre. Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach
2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC), Dec 2021, Perth, Australia. pp.27-36, ⟨10.1109/PRDC53464.2021.00014⟩
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-03814048v1  Conference papers
Kanvaly FadigaAda DiaconescuJean-Louis DessallesEtienne Houze. To do or not to do: finding causal relations in smart homes
2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Sep 2021, Washington, France. pp.110-119, ⟨10.1109/ACSOS52086.2021.00030⟩
hal-03560232v1  Conference papers
Petr KuznetsovVitaly AksenovVincent GramoliSrivatsan Ravi. Optimal Concurrency for List-Based Sets
Parallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia
hal-03559899v1  Conference papers
Florian BrandnerBenjamin BinderMihail AsavoaeBelgacem Ben HediaMathieu 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-03775550v1  Conference papers
Hassan ChaitouThomas RobertJean LeneutreLaurent Pautet. Assessing adversarial training effect on IDSs and GANs
2021 IEEE International Conference on Cyber Security and Resilience (CSR) Workshop on Resilient Artificial Intelligence, Jul 2021, Rhodes, France. pp.543-550, ⟨10.1109/CSR51186.2021.9527949⟩
hal-03569438v1  Book sections
Laetitia DebesseSihem MesnagerMounira 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 KuznetsovAndrei TonkikhYan 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 QiuTian DongTianwei ZhangJialiang LuGerard 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-03779036v1  Book sections
Wojciech JamrogaDamian KurpiewskiVadim Malvone. Natural Strategic Abilities in Voting Protocols
Socio-Technical Aspects in Security and Trust, 12812, Springer International Publishing, pp.45-62, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79318-0_3⟩
hal-03749355v1  Conference papers
Nan LiEric GoubaultLaurent PautetS. Putot. Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic Programming
Opportunities and challenges with autonomous racing, 2021 ICRA workshop, May 2021, Online, United States
hal-03210222v1  Conference papers
Lucas Massoni SguerraPierre JouvelotEmilio Jesús Gallego AriasGérard MemmiFabien 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 SonSawsan Al ZahrGerard 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 ZhengHan QiuTianwei ZhangGerard MemmiMeikang 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⟩
tel-03506284v1  Theses
Adrien Wion. Control plane in dynamic software networks
Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT007⟩
hal-02421005v1  Journal articles
Julian GarbisoAda DiaconescuMarceau CoupechouxBertrand Leroy. Fair Self-Adaptive Clustering for Hybrid Cellular-Vehicular Networks
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2021, 22 (2), pp.1225-1236
hal-03569422v1  Conference papers
Mounira MsahliBadr Eddine BoukariAkshaya Ravi. Machine Learning Detection for SMiShing Frauds
2021 IEEE 18th Annual Consumer Communications & Networking Conference (CCNC), Jan 2021, Las Vegas, France. pp.1-2, ⟨10.1109/CCNC49032.2021.9369640⟩
hal-03023085v1  Journal articles
Arles RodriguezJonatan GomezAda Diaconescu. Self-healing Networks via Self-organising Mobile Agents
Journal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2021
hal-03628457v1  Proceedings
Joaquin Garcia‐alfaroJean LeneutreNora CuppensReda Yaich. Risks and security of internet and systems
CRISIS 2020: 15th International Conference on Risks and Security of Internet and Systems, Nov 2020, Paris, France. 12528, Springer, pp.xi-378, 2021, Lecture Notes in Computer Science (LNCS), 978-3-030-68886-8. ⟨10.1007/978-3-030-68887-5⟩
hal-03219279v1  Book sections
Holger GieseDominique BlouinRima Al-AliHana MkaouarSoumyadip Bandyopadhyay et al.  An ontology for multi-paradigm modelling
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.67-122, 2021, ⟨10.1016/B978-0-12-819105-7.00009-X⟩
hal-03167819v1  Book sections
Dominique BlouinRima Al-AliHolger GieseStefan KlikovitsSoumyadip Bandyopadhyay et al.  An integrated ontology for multi-paradigm modelling for cyber-physical systems
Bedir Tekinerdogan; Dominique Blouin; Hans Vangheluwe; Miguel Goulão; Paulo Carreira; Vasco Amaral. Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.123-145, 2021, 978-0-12-819105-7. ⟨10.1016/B978-0-12-819105-7.00010-6⟩
hal-03089815v3  Reports
Gérard Memmi. Description de la méthode SCRUM à travers deux expériences en entreprise
[Rapport de recherche] LTCI - Laboratoire Traitement et Communication de l'Information [Paris]. 2020
hal-03559549v1  Journal articles
Petr KuznetsovVitaly Aksenov. Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020
ACM SIGACT News, Association for Computing Machinery (ACM), 2020, 51 (4), pp.82-84. ⟨10.1145/3444815.3444828⟩
hal-03024408v1  Conference papers
Antoine DurandGuillaume HébertKhalifa ToumiGérard MemmiEmmanuelle Anceaume. The StakeCube blockchain : Instantiation, Evaluation & Applications
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
hal-03024246v1  Conference papers
Jean LeneutreSameh KhalfaouiArthur VillardXingjuan Ma. COOB: Hybrid secure device pairing scheme in a hostile environment
16th EAI International Conference on Security and Privacy in Communication Networks, Oct 2020, Washington DC, United States
hal-03022552v1  Conference papers
Benjamin BinderMihail AsavoaeFlorian BrandnerBelgacem Ben HediaMathieu Jan. Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture
International Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria
hal-03023108v1  Conference papers
Marius PolAda Diaconescu. A Cognitive Control System for Managing Runtime Uncertainty in Self-Integrating Autonomic Systems
SISSY workshop, IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Aug 2020, Washington DC (virtual), France
hal-02963566v1  Conference papers
Etienne HouzeAda DiaconescuJean-Louis DessallesDavid MengaMathieu Schumann. A Decentralized Approach to Explanatory Artificial Intelligence for Autonomic Systems
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Aug 2020, Washington, France. pp.115-120, ⟨10.1109/ACSOS-C51401.2020.00041⟩
hal-03023157v1  Conference papers
Payam ZahadaAda Diaconescu. Reactive or Stable: A Plant-inspired Approach for Business Organisation Morphogenesis
International Conference on Artificial Life (ALife), Jul 2020, Montreal (virtual), Canada
hal-02910407v1  Conference papers
Nathanaël DenisPierre ChaffardonDenis ConanMaryline LaurentSophie Chabridon et al.  Privacy-preserving content-based publish/subscribe with encrypted matching and data splitting
SECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩
hal-03559687v1  Conference papers
Xiao WuHan QiuShuyi ZhangGerard MemmiKeke Gai et al.  ChainIDE 2.0: Facilitating Smart Contract Development for Consortium Blockchain
IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Jul 2020, Toronto, France. pp.388-393, ⟨10.1109/INFOCOMWKSHPS50562.2020.9163051⟩
hal-02894150v1  Conference papers
Florian BrandnerCamille Noûs. Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets
RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, Paris France, France. pp.44-55, ⟨10.1145/3394810.3394811⟩
hal-03022808v1  Book sections
Dominique BlouinEtienne Borde. AADL: A Language to Specify the Architecture of Cyber-Physical Systems
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020
hal-03024074v1  Conference papers
Aida DiopMaryline LaurentJean LeneutreJacques Traoré. CoRA: a scalable Collective Remote Attestation protocol for sensor networks
ICISSP 2020: 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valletta, Malta. pp.84-95, ⟨10.5220/0008962700840095⟩
hal-02454258v1  Conference papers
Paolo CrisafulliDominique BlouinFrançoise CaronCristian Maxim. Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
hal-03023217v1  Journal articles
Julian GarbisoAda DiaconescuMarceau CoupechouxBertrand Leroy. Fair Self-Adaptive Clustering for HybridCellular-Vehicular Networks
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2020
hal-02075926v1  Journal articles
Régis BlacheAlain CouvreurEmmanuel HallouinDavid MadoreJade Nardi et al.  Anticanonical codes from del Pezzo surfaces with Picard rank one
Transactions of the American Mathematical Society, American Mathematical Society, 2020, ⟨10.1090/tran/8119⟩
cea-02321547v1  Reports
Petr KuznetsovThibault RieutordSara Tucci-Piergiovanni. Reconfigurable Lattice Agreement and Applications
[Research Report] Institut Polytechnique Paris; CEA List. 2019
hal-02450312v1  Conference papers
Han QiuQinkai ZhengMeikang QiuGérard Memmi. DC Coefficients Recovery from AC Coefficients in the JPEG Compression Scenario
Smart Computing and Communication, Oct 2019, Birmingham, United Kingdom. pp.266-276, ⟨10.1007/978-3-030-34139-8_26⟩
hal-03035791v1  Conference papers
Ashref AlouiMounira MsahliTalel AbdessalemSihem MesnagerStéphane Bressan. Privacy as a Service: Anonymisation of NetFlow Traces
16th International Conference on e-Business Engineerin,(ICEBE 2019), Oct 2019, Shanghai, China
hal-02428017v1  Conference papers
Simon van MierloEugene SyrianiDominique BlouinMoussa AmraniJulien Deantoni et al.  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⟩
hal-03022707v1  Conference papers
Moussa AmraniDominique BlouinRobert HeinrichArend RensinkHans Vangheluwe et al.  Towards a Formal Specification of Multi-paradigm Modelling
First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany