CSDAI

Department of Institut Polytechnique de Paris

Group aces

aces (Autonomous Critical Embedded Systems)

LTCI, Telecom Paris

Themes: foundations of computer science; digital trust; next generation digital infrastructure

The research areas of the Autonomous Critical Embedded Systems team address concurrent systems, including parallel systems and distributed systems, for which non-operational properties such as performance and security need to be guaranteed.

Contact person: Laurent Pautet, https://perso.telecom-paristech.fr/pautet/

Web site: https://www.telecom-paris.fr/en/research/laboratories/information-processing-and-communication-laboratory-ltci/research-teams/autonomous-critical-embedded-systems

Journal articles

2023

ref_biblio
Francesco Belardinelli, Angelo Ferrando, Vadim Malvone. An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. Artificial Intelligence, 2023, 316, pp.103847. ⟨10.1016/j.artint.2022.103847⟩. ⟨hal-03960910⟩
Accès au bibtex
BibTex
ref_biblio
Yiming Sun, Daniel M. German, Stefano Zacchiroli. Using the Uniqueness of Global Identifiers to Determine the Provenance of Python Software Source Code. Empirical Software Engineering, In press, ⟨10.1007/s10664-023-10317-8⟩. ⟨hal-04101937⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04101937/file/main.pdf BibTex
ref_biblio
Na Xu, Ning Ding, Long Liu, Fahmi Zaïri, Linan Tian, et al.. Microscopic characteristics of copper wires with short-circuit molten marks in electrical fire. Materials Testing, 2023, 65 (6), pp.844-854. ⟨10.1515/mt-2022-0423⟩. ⟨hal-04129515⟩
Accès au bibtex
BibTex
ref_biblio
Théo Zimmermann, Jean-Rémy Falleri. A grounded theory of Community Package Maintenance Organizations. Empirical Software Engineering, 2023, 28 (4), pp.101. ⟨10.1007/s10664-023-10337-4⟩. ⟨hal-03976601⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03976601/file/paper.pdf BibTex

2022

ref_biblio
Maxime Ayrault, Ulrich Kühne, Etienne Borde. Finding Optimal Moving Target Defense Strategies: A Resilience Booster for Connected Cars. Information, 2022, 13 (5), pp.242. ⟨10.3390/info13050242⟩. ⟨hal-03670106⟩
Accès au bibtex
BibTex
ref_biblio
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu. Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. Journal of Artificial Intelligence Research, 2022, 73, pp.897-932. ⟨10.1613/jair.1.12539⟩. ⟨hal-03779030⟩
Accès au bibtex
BibTex
ref_biblio
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, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩. ⟨hal-03702426⟩
Accès au bibtex
BibTex
ref_biblio
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi. The consensus number of a cryptocurrency. Distributed Computing, 2022, 35 (1), pp.1-15. ⟨10.1007/s00446-021-00399-2⟩. ⟨hal-04084120⟩
Accès au bibtex
BibTex
ref_biblio
Étienne Houzé, Jean-Louis Dessalles, Ada Diaconescu, David Menga. What Should I Notice? Using Algorithmic Information Theory to Evaluate the Memorability of Events in Smart Homes. Entropy, 2022, 24 (3), pp.346. ⟨10.3390/e24030346⟩. ⟨hal-03813989⟩
Accès au bibtex
BibTex
ref_biblio
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone. How to measure usable security: Natural strategies in voting protocols1. Journal of Computer Security, 2022, 30 (3), pp.381-409. ⟨10.3233/JCS-210049⟩. ⟨hal-03779032⟩
Accès au bibtex
BibTex
ref_biblio
Martin Kunev, Petr Kuznetsov, Denis Sheynikhovich. Agreement in Spiking Neural Networks. Journal of Computational Biology, 2022, 29 (4), pp.358 - 369. ⟨10.1089/cmb.2021.0365⟩. ⟨inserm-03719607⟩
Accès au texte intégral et bibtex
https://inserm.hal.science/inserm-03719607/file/cmb.2021.0365.pdf BibTex
ref_biblio
Hana Mkaouar, Dominique Blouin, Etienne Borde. A benchmark of incremental model transformation tools based on an industrial case study with AADL. Software and Systems Modeling, 2022, ⟨10.1007/s10270-022-00989-z⟩. ⟨hal-03905646⟩
Accès au bibtex
BibTex
ref_biblio
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, 2022, ⟨10.1177/14614448221090474⟩. ⟨hal-03662850⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03662850/file/IndustrialPublicGoods_preprint.pdf BibTex

2021

ref_biblio
Mohamed Allouche, Tarek Frikha, Mihai Mitrea, Gérard Memmi, Faten Chaabane. Lightweight blockchain processing: case study: scanned document tracking on Tezos blockchain. Applied Sciences, 2021, 11 (15), pp.7169:1-7169:17. ⟨10.3390/app11157169⟩. ⟨hal-03559645⟩
Accès au bibtex
BibTex
ref_biblio
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, 2021, 20, pp.611 - 639. ⟨10.1007/s10270-021-00876-z⟩. ⟨hal-03572782⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03572782/file/Amrani2021_Article_Multi-paradigmModellingForCybe.pdf BibTex
ref_biblio
Stéphane Ballet, Julia Pieltant, Jean Chaumine, Matthieu Rambaud, Hugues Randriambololona, et al.. On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometry. Russian Mathematical Surveys, 2021, 76 (1), pp.29-89. ⟨10.1070/RM9928⟩. ⟨hal-03661954⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03661954/file/Survey_mult.pdf BibTex
ref_biblio
Ankica Barisic, Ivan Ruchkin, Dušan Savić, Mustafa Abshir Mohamed, Rima Al-Ali, et al.. Multi-Paradigm Modeling for Cyber-Physical Systems: A Systematic Mapping Review. Journal of Systems and Software, 2021, ⟨10.1016/j.jss.2021.111081⟩. ⟨hal-03338594⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03338594/file/MPM4CPS_SLR.pdf BibTex
ref_biblio
Kirstie Bellman, Jean F Botev, Ada Diaconescu, Lukas Esterle, Christian Gruhl, et al.. Self-improving system integration: Mastering continuouschange. Future Generation Computer Systems, 2021. ⟨hal-03023144⟩
Accès au bibtex
BibTex
ref_biblio
Gordon Blair, Richard Bassett, Louis Bastin, L. Beevers, Maribel Borrajo Garcia, et al.. The Role of Digital Technologies in Responding to the Grand Challenges of the Natural Environment: The Windermere Accord. Patterns, In press. ⟨hal-03023290⟩
Accès au bibtex
BibTex
ref_biblio
Florian Brandner, Camille Noûs. Precise, efficient, and context-sensitive cache analysis. Real-Time Systems, 2021, ⟨10.1007/s11241-021-09372-5⟩. ⟨hal-03559857⟩
Accès au bibtex
BibTex
ref_biblio
Ada Diaconescu, Louisa Jane Di Felice, Patricia Mellodge. Exogenous coordination in multi-scale systems: How information flows and timing affect system properties. Future Generation Computer Systems, 2021. ⟨hal-03023050⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03023050/file/S0167739X20304726.pdf BibTex
ref_biblio
Julian Garbiso, Ada Diaconescu, Marceau Coupechoux, Bertrand Leroy. Fair Self-Adaptive Clustering for Hybrid Cellular-Vehicular Networks. IEEE Transactions on Intelligent Transportation Systems, 2021, 22 (2), pp.1225-1236. ⟨hal-02421005⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02421005/file/Fair_Self_Adaptive_Clustering_for_Hybrid_Cellular_Vehicular_Networks___V3__Sep_2019_.pdf BibTex
ref_biblio
Ayyoub Lamssaggad, Nabil Benamar, Abdelhakim Senhaji Hafid, Mounira Msahli. A Survey on the Current Security Landscape of Intelligent Transportation Systems. IEEE Access, 2021, pp.1-1. ⟨10.1109/ACCESS.2021.3050038⟩. ⟨hal-03104867⟩
Accès au bibtex
BibTex
ref_biblio
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 , 2021, ⟨10.1007/s12095-021-00551-6⟩. ⟨hal-03569465⟩
Accès au bibtex
BibTex
ref_biblio
Laurent Pautet, Thomas Robert, Samuel Tardieu. Litmus-RT plugins for global static scheduling of mixed criticality systems. Journal of Systems Architecture, 2021, 118, pp.102221. ⟨10.1016/j.sysarc.2021.102221⟩. ⟨hal-03276250⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03276250/file/aeic2021.pdf BibTex
ref_biblio
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, 2021, 8 (13), pp.10327-10335. ⟨10.1109/JIOT.2020.3048038⟩. ⟨hal-03559698⟩
Accès au bibtex
BibTex
ref_biblio
Arles Rodriguez, Jonatan Gomez, Ada Diaconescu. Self-healing Networks via Self-organising Mobile Agents. Journal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2021. ⟨hal-03023085⟩
Accès au bibtex
BibTex

2020

ref_biblio
Régis Blache, Alain Couvreur, Emmanuel Hallouin, David Madore, Jade Nardi, et al.. Anticanonical codes from del Pezzo surfaces with Picard rank one. Transactions of the American Mathematical Society, 2020, ⟨10.1090/tran/8119⟩. ⟨hal-02075926⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02075926/file/AnticanonicalCodesFinal_3.pdf BibTex
ref_biblio
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord. Perfect failure detection with very few bits. Information and Computation, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩. ⟨hal-03559548⟩
Accès au bibtex
BibTex
ref_biblio
Julian Garbiso, Ada Diaconescu, Marceau Coupechoux, Bertrand Leroy. Fair Self-Adaptive Clustering for HybridCellular-Vehicular Networks. IEEE Transactions on Intelligent Transportation Systems, 2020. ⟨hal-03023217⟩
Accès au bibtex
BibTex
ref_biblio
Petr Kuznetsov, Vitaly Aksenov. Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020. ACM SIGACT News, 2020, 51 (4), pp.82-84. ⟨10.1145/3444815.3444828⟩. ⟨hal-03559549⟩
Accès au bibtex
BibTex
ref_biblio
Evangelos Pournaras, Srivatsan Yadhunathan, Ada Diaconescu. Holarchic structures for decentralized deep learning: a performance analysis. Cluster Computing, 2020. ⟨hal-03023065⟩
Accès au bibtex
BibTex
ref_biblio
Han Qiu, Qinkai Zheng, Mounira Msahli, Gerard Memmi, Meikang Qiu, et al.. Topological Graph Convolutional Network-Based Urban Traffic Flow and Density Prediction. IEEE Transactions on Intelligent Transportation Systems, 2020, pp.1-10. ⟨10.1109/TITS.2020.3032882⟩. ⟨hal-03042201⟩
Accès au bibtex
BibTex

2019

ref_biblio
Ada Diaconescu. Efficiency vs Creativity as Organising Principles of Socio-Technical Systems. IEEE Technology and Society Magazine, 2019. ⟨hal-03023532⟩
Accès au bibtex
BibTex
ref_biblio
Ada Diaconescu. Efficiency Versus Creativity as Organizing Principles of Socio-Technical Systems: Why Do We Build (Intelligent) Systems? [Commentary]. IEEE Technology and Society Magazine, 2019, 38 (1), pp.13-22. ⟨10.1109/MTS.2019.2894455⟩. ⟨hal-02449500⟩
Accès au bibtex
BibTex
ref_biblio
Swan Dubois, Rachid Guerraoui, Petr Kuznetsov, Franck Petit, Pierre Sens. The weakest failure detector for eventual consistency. Distributed Computing, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩. ⟨hal-02413314⟩
Accès au bibtex
https://arxiv.org/pdf/1505.03469 BibTex
ref_biblio
Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet. Work-conserving dynamic time-division multiplexing for multi-criticality systems. Real-Time Systems, 2019, ⟨10.1007/s11241-019-09336-w⟩. ⟨hal-02447512⟩
Accès au bibtex
BibTex
ref_biblio
Katarzyna Kapusta, Gérard Memmi, Hassan Noura. Additively homomorphic encryption and fragmentation scheme for data aggregation inside unattended wireless sensor networks. Annals of Telecommunications - annales des télécommunications, 2019, 74 (3-4), pp.157-165. ⟨10.1007/s12243-018-0684-x⟩. ⟨hal-02450271⟩
Accès au bibtex
BibTex
ref_biblio
Christophe Kiennert, Ismail Ziad, Hervé Debar, Jean Leneutre. A survey on game-theoretic approaches for intrusion detection and response optimization. ACM Computing Surveys, 2019, 51 (5), pp.article 90 -. ⟨10.1145/3232848⟩. ⟨hal-02009646⟩
Accès au bibtex
BibTex
ref_biblio
Han Qiu, Katarzyna Kapusta, Zhihui Lu, Meikang Qiu, Gérard Memmi. All-Or-Nothing data protection for ubiquitous communication: Challenges and perspectives. Information Sciences, 2019, 502, pp.434-445. ⟨10.1016/j.ins.2019.06.031⟩. ⟨hal-02450300⟩
Accès au bibtex
BibTex
ref_biblio
Han Qiu, Meikang Qiu, Zhihui Lu, Gérard Memmi. An efficient key distribution system for data fusion in V2X heterogeneous networks. Information Fusion, 2019, 50, pp.212-220. ⟨10.1016/j.inffus.2019.02.002⟩. ⟨hal-02450299⟩
Accès au bibtex
BibTex
ref_biblio
Han Qiu, Gérard Memmi, Xuan Chen, Jian Xiong. DC coefficient recovery for JPEG images in ubiquitous communication systems. Future Generation Computer Systems, 2019, 96, pp.23-31. ⟨10.1016/j.future.2019.01.037⟩. ⟨hal-02450213⟩
Accès au bibtex
BibTex
ref_biblio
Smail Rahmoun, Asma Mehiaoui-Hamitou, Etienne Borde, Laurent Pautet, Elie Soubiran. Multi-objective exploration of architectural designs by composition of model transformations. Software and Systems Modeling, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩. ⟨hal-02292455⟩
Accès au bibtex
BibTex
ref_biblio
Elie Richa, Etienne Borde, Laurent Pautet. Translation of ATL to AGT and application to a code generator for Simulink. Software and Systems Modeling, 2019, 18 (1), pp.321-344. ⟨10.1007/s10270-017-0607-8⟩. ⟨hal-02449688⟩
Accès au bibtex
BibTex
ref_biblio
Arles Rodrigues, Nathaly Botina, Jonatan Gomez, Ada Diaconescu. Improving data collection in complex networks with failure-prone agents via local marking. Journal of Intelligent and Fuzzy Systems, 2019. ⟨hal-03023128⟩
Accès au bibtex
BibTex

2018

ref_biblio
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit. Inherent limitations of hybrid transactional memory. Distributed Computing, 2018, 31 (3), pp.167-185. ⟨10.1007/s00446-017-0305-3⟩. ⟨hal-02364297⟩
Accès au bibtex
https://arxiv.org/pdf/1405.5689 BibTex
ref_biblio
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi. AT2: Asynchronous Trustworthy Transfers. CoRR, 2018, abs/1812.10844. ⟨hal-02288008⟩
Accès au bibtex
BibTex
ref_biblio
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi. AT2: Asynchronous Trustworthy Transfers. CoRR, 2018, abs/1812.10844. ⟨hal-02288004⟩
Accès au bibtex
BibTex
ref_biblio
Petr Kuznetsov. The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017. SIGACT News, 2018, 49 (1), pp.81-90. ⟨10.1145/3197406.3197421⟩. ⟨hal-02287904⟩
Accès au bibtex
BibTex

2017

ref_biblio
Vitaly Aksenov, Petr Kuznetsov. Parallel Combining: Making Use of Free Cycles. CoRR, 2017, abs/1710.07588. ⟨hal-02287770⟩
Accès au bibtex
BibTex
ref_biblio
Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani. On the uncontended complexity of anonymous agreement. Distributed Computing, 2017, 30 (6), pp.459-468. ⟨10.1007/s00446-017-0297-z⟩. ⟨hal-02287767⟩
Accès au bibtex
BibTex
ref_biblio
Karel de Vogeleer, Gérard Memmi, Pierre Jouvelot. Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors. Journal of Sustainable Computing, Informatics and Systems, 2017, 15, pp.16-27. ⟨hal-02287590⟩
Accès au bibtex
BibTex
ref_biblio
Ada Diaconescu, Jeremy Pitt. Technological Impacts in Socio-Technical Communities. Values and Pathologies. IEEE Technology and Society Magazine, 2017. ⟨hal-02287625⟩
Accès au bibtex
BibTex
ref_biblio
Petr Kuznetsov, Sathya Peri. Non-interference and local correctness in transactional memory. Theor. Comput. Sci., 2017, 688, pp.103-116. ⟨10.1016/j.tcs.2016.06.021⟩. ⟨hal-02287768⟩
Accès au bibtex
https://arxiv.org/pdf/1211.6315 BibTex
ref_biblio
Gerard Memmi, Matthieu Rambaud. Note sur la cryptanalyse de Diffie-Hellman. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2017. ⟨hal-03022599⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03022599/file/GL201703%20Diffie-Hellman%20cryptanalyse.pdf BibTex
ref_biblio
Matthieu Rambaud, Gérard Memmi. Note sur la cryptanalyse de Diffie-Hellman. Génie Logiiel, 2017, 120, pp.56-60. ⟨hal-02287591⟩
Accès au bibtex
BibTex
ref_biblio
Elie Richa, Etienne Borde, Laurent Pautet. Translation of ATL to AGT and Application to a Code Generator for Simulink. Software and Systems Modeling, 2017. ⟨hal-02287624⟩
Accès au bibtex
BibTex

2016

ref_biblio
Liron Schiff, Stefan Schmid, Petr Kuznetsov. In-Band Synchronization for Distributed SDN Control Planes. Computer Communication Review, 2016, 46 (1), pp.37-43. ⟨hal-02287556⟩
Accès au bibtex
BibTex

2015

ref_biblio
Ada Diaconescu, Jeremy Pitt. "Holonic Institutions for Multi-Scale Polycentric Self-Governance. Lecture Notes in Computer Science, 2015, 9372, pp.19-35. ⟨hal-02287383⟩
Accès au bibtex
BibTex
ref_biblio
Sylvain Frey, Ada Diaconescu, David Menga, Isabelle Demeure. A Generic Holonic Control Architecture for Heterogeneous Multi-Scale and Multi-Objective Smart Micro-Grids. ACM Transactions on Autonomous and Adaptive Systems, 2015, 10 (2), pp.9:1-9:21. ⟨hal-02287025⟩
Accès au bibtex
BibTex

2014

ref_biblio
Jeremy Pitt, Ada Diaconescu, David Bollier. Technology for Collective Action [Special Section Introduction]. IEEE Technology and Society Magazine, 2014, 3, pp.32-34. ⟨hal-02287021⟩
Accès au bibtex
BibTex
ref_biblio
Yanjun Sun, Gérard Memmi, Sylvie Vignes, Frédéric Daumas. CONNEXION : Éléments de méthodologie de vérification et validation. Épisode 1 : relever les principaux défis. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109, pp.50-60. ⟨hal-02287057⟩
Accès au bibtex
BibTex

2012

ref_biblio
Nouha Oualha, Jean Leneutre, Yves Roudier. Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocols. Peer-to-Peer Networking and Applications, 2012, 5 (3), pp.231-243. ⟨hal-02286502⟩
Accès au bibtex
BibTex

2011

ref_biblio
Gérard Memmi. Deux retours d’expérience avec la méthodologie SCRUM. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.52-58. ⟨hal-02287375⟩
Accès au bibtex
BibTex

2010

ref_biblio
Isabelle. Perseil, Jean-Michel Bruel, Agusti Canals, Robert de Simone, Sébastien Gérard, et al.. Introduction to special issue: papers from UML&FM'2009. Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3. ⟨hal-02286673⟩
Accès au bibtex
BibTex

2009

ref_biblio
Etienne Borde, Peter H. Feiler, Gregory Haïk, Laurent Pautet. Model driven code generation for critical and adaptative embedded systems. ACM SIGBED Review, 2009, 6 (3), pp.10:1-10:5. ⟨hal-02286671⟩
Accès au bibtex
BibTex

Conference papers

2023

ref_biblio
Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩. ⟨hal-04098856v2⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-04098856/file/LIPIcs-ITP-2023-12.pdf BibTex
ref_biblio
Ella Hamonic, Rémi Sharrock, Petra Bonfert-Taylor, Michael Goudzwaard, Gérard Memmi, et al.. Designing a unique revision loop updating courses simultaneously on different MOOC platforms. Learning With MOOCs, MIT, Oct 2023, Cambridge (MA), US, United States. pp.1-6, ⟨10.1109/LWMOOCS58322.2023.10305900⟩. ⟨hal-04255412⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-04255412/file/RS1570906029.pdf BibTex
ref_biblio
Luı́s Soeiro, Thomas Robert, Stefano Zacchiroli. Assessing the Threat Level of Software Supply Chains with the Log Model. 2023 IEEE International Conference on Big Data - 6th Annual Workshop on Cyber Threat Intelligence and Hunting, Dec 2023, Sorrento, Italy, France. ⟨hal-04292650⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04292650/file/main.pdf BibTex

2022

ref_biblio
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-03723556⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03723556/file/main.pdf BibTex
ref_biblio
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-03623109⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03623109/file/main.pdf BibTex
ref_biblio
Francesco Belardinelli, Borja G. León, Vadim 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-03779034⟩
Accès au bibtex
BibTex
ref_biblio
Francesco Belardinelli, Wojciech Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, et al.. Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2022, Auckland (virtual), New Zealand. pp.62--71. ⟨hal-03666430⟩
Accès au bibtex
https://arxiv.org/pdf/2201.09616 BibTex
ref_biblio
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu 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-03867187⟩
Accès au bibtex
BibTex
ref_biblio
Hassan Chaitou, Jean Leneutre, Laurent 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⟩. ⟨hal-03801012⟩
Accès au bibtex
BibTex
ref_biblio
Antoine Durand, Gérard Memmi. The devil hides in the model: Reviewing Blockchain and BFT protocols. Blockchain 22 4th International Congress on Blockchain and Applications, Jul 2022, L'Aquila, Italy. ⟨hal-03860862⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03860862/file/Benchmarking_Blockchain_and_BFT_protocols.pdf BibTex
ref_biblio
Katarzyna Kapusta, Gerard Memmi. PE-AONT: Partial Encryption All or Nothing Transform. SECRYPT, Jul 2022, Lisbon, Portugal. pp.636-641, ⟨10.5220/0011300600003283⟩. ⟨hal-03860852⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03860852/file/SECRYPT_22___PAONT.pdf BibTex
ref_biblio
Nan Li, Eric Goubault, Laurent Pautet, Sylvie Putot. A Real-Time NMPC Controller for Autonomous Vehicle Racing. 2022 6th International Conference on Automation, Control and Robots (ICACR), Sep 2022, Shanghai, China. pp.148-155, ⟨10.1109/ICACR55854.2022.9935523⟩. ⟨hal-04009646⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04009646/file/Nan_Li-RealTimeCtrlerForAutoVehRacing.pdf BibTex
ref_biblio
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-03702493⟩
Accès au bibtex
BibTex
ref_biblio
Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay. Solving the instance model-view update problem in AADL. MODELS '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⟩. ⟨hal-03905639⟩
Accès au bibtex
BibTex
ref_biblio
Matthieu Rambaud, Andrei Tonkikh, Mark Abspoel. Linear View Change in Optimistically Fast BFT. ConsensusDay '22: Proceedings of the 2022 ACM Workshop on Developments in Consensus, Nov 2022, Los Angeles CA USA, France. pp.67-78, ⟨10.1145/3560829.3563562⟩. ⟨hal-04252576⟩
Accès au bibtex
BibTex
ref_biblio
Davide Rossi, Stefano Zacchiroli. Geographic Diversity in Public Code Contributions: An Exploratory Large-Scale Study Over 50 Years. The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528471⟩. ⟨hal-03622621⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03622621/file/main.pdf BibTex
ref_biblio
Davide Rossi, Stefano Zacchiroli. Worldwide Gender Differences in Public Code Contributions: and how they have been affected by the COVID-19 pandemic. 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-03571837⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03571837/file/main.pdf BibTex
ref_biblio
Eric Senn, Lucie Bourdon, Dominique Blouin. Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models. 4th International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.677-683, ⟨10.1145/3550356.3563129⟩. ⟨hal-03905633⟩
Accès au bibtex
BibTex
ref_biblio
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. ⟨hal-03735961⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03735961/file/main.pdf BibTex
ref_biblio
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-03624198⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03624198/file/main.pdf BibTex

2021

ref_biblio
Mark Abspoel, Thomas Attema, Matthieu Rambaud. Brief Announcement: Malicious Security Comes for Free in Consensus with Leaders. PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.195-198, ⟨10.1145/3465084.3467953⟩. ⟨hal-03800650⟩
Accès au bibtex
BibTex
ref_biblio
Maxime Ayrault, Etienne Borde, Ulrich Kühne, Jean 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⟩. ⟨hal-03758375⟩
Accès au bibtex
BibTex
ref_biblio
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-03559899⟩
Accès au bibtex
BibTex
ref_biblio
Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent 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-03775550⟩
Accès au bibtex
BibTex
ref_biblio
Kanvaly Fadiga, Ada Diaconescu, Jean-Louis Dessalles, Etienne 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-03814048⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03814048/file/To_do_or_not_to_do_.pdf BibTex
ref_biblio
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-03559551⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03559551/file/LIPIcs-DISC-2021-54.pdf BibTex
ref_biblio
Sameh Khalfaoui, Jean Leneutre, Arthur Villard, Ivan Gazeau, Jingxuan Ma, et al.. Water- PUF: An Insider Threat Resistant PUF Enrollment Protocol Based on Machine Learning Watermarking. 2021 IEEE 20th International Symposium on Network Computing and Applications (NCA), Nov 2021, Boston, United States. pp.1-10, ⟨10.1109/NCA53618.2021.9685239⟩. ⟨hal-04262875⟩
Accès au bibtex
BibTex
ref_biblio
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-03560232⟩
Accès au bibtex
BibTex
ref_biblio
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-03559623⟩
Accès au bibtex
BibTex
ref_biblio
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-03559627⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03559627/file/LIPIcs-DISC-2021-28.pdf BibTex
ref_biblio
Nan Li, Eric Goubault, Laurent Pautet, S. 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-03749355⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03749355/file/Nan_Li-AutoRacingMIQP-OCAR_ICRA_2021.pdf BibTex
ref_biblio
Mounira Msahli, Badr Eddine Boukari, Akshaya 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-03569422⟩
Accès au bibtex
BibTex
ref_biblio
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-03559711⟩
Accès au bibtex
BibTex

2020

ref_biblio
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu 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-03022552⟩
Accès au bibtex
BibTex
ref_biblio
Florian Brandner, Camille 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-02894150⟩
Accès au bibtex
BibTex
ref_biblio
Françoise Caron, Cristian Maxim, Dominique Blouin, Paolo Crisafulli. Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach. IEEE SYSCON2020, Aug 2020, Vancouver (virtual conference), Canada. ⟨hal-02940241⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02940241/file/SeamlessIntegrationBetweenReal-timeAnalyses.pdf BibTex
ref_biblio
Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov, Matteo Monti, et al.. Online Payments by Merely Broadcasting Messages. DSN, Jun 2020, Valencia, Spain. ⟨hal-03022579⟩
Accès au bibtex
BibTex
ref_biblio
Paolo Crisafulli, Dominique Blouin, Françoise Caron, Cristian 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-02454258⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02454258/file/ERTS2020PaperCrisafulliMaxim.pdf BibTex
ref_biblio
Nathanaël Denis, Pierre Chaffardon, Denis Conan, Maryline Laurent, Sophie 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-02910407⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02910407/file/paper.pdf BibTex
ref_biblio
Aida Diop, Maryline Laurent, Jean Leneutre, Jacques 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-03024074⟩
Accès au bibtex
BibTex
ref_biblio
Antoine Durand, Guillaume Hébert, Khalifa Toumi, Gérard Memmi, Emmanuelle Anceaume. The StakeCube blockchain : Instantiation, Evaluation & Applications. BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8. ⟨hal-03024408⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03024408/file/main.pdf BibTex
ref_biblio
Etienne Houze, Ada Diaconescu, Jean-Louis Dessalles, David Menga, Mathieu 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-02963566⟩
Accès au bibtex
BibTex
ref_biblio
Katarzyna Kapusta, Gerard Memmi, Matthieu Rambaud. Revisiting Shared Data Protection Against Key Exposure. AsiaCCS, Sep 2020, taipei, Taiwan. ⟨10.1145/3320269.3372198⟩. ⟨hal-03024707⟩
Accès au bibtex
https://arxiv.org/pdf/1901.08083 BibTex
ref_biblio
Petr Kuznetsov, Thibault Rieutord. Brief Announcement: On Decidability of 2-Process Affine Models. DISC, Oct 2020, VIRTUAL, France. ⟨hal-03022583⟩
Accès au bibtex
BibTex
ref_biblio
Petr Kuznetsov, Andrei Tonkikh. Asynchronous Reconfiguration with Byzantine Failures. DISC, Oct 2020, VIRTUAL, France. ⟨hal-03022581⟩
Accès au bibtex
BibTex
ref_biblio
Jean Leneutre, Sameh Khalfaoui, Arthur Villard, Xingjuan 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-03024246⟩
Accès au bibtex
BibTex
ref_biblio
Keun-Woo Lim, Katarzyna Kapusta, Gerard Memmi, Woo-Sung Jung. Multi-hop Data Fragmentation in Energy Harvesting Wireless Sensor Networks. 2020 Global Internet of Things Summit (GIoTS), Jun 2020, Dublin, Ireland. pp.1-6, ⟨10.1109/GIOTS49054.2020.9119569⟩. ⟨hal-03559678⟩
Accès au bibtex
BibTex
ref_biblio
Marius Pol, Ada 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-03023108⟩
Accès au bibtex
BibTex
ref_biblio
Xiao Wu, Han Qiu, Shuyi Zhang, Gerard Memmi, Keke 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-03559687⟩
Accès au bibtex
BibTex
ref_biblio
Payam Zahada, Ada Diaconescu. Reactive or Stable: A Plant-inspired Approach for Business Organisation Morphogenesis. International Conference on Artificial Life (ALife), Jul 2020, Montreal (virtual), Canada. ⟨hal-03023157⟩
Accès au bibtex
BibTex

2019

ref_biblio
Ashref Aloui, Mounira Msahli, Talel Abdessalem, Sihem Mesnager, Stéphane Bressan. Privacy as a Service: Anonymisation of NetFlow Traces. 16th International Conference on e-Business Engineerin,(ICEBE 2019), Oct 2019, Shanghai, China. ⟨hal-03035791⟩
Accès au bibtex
BibTex
ref_biblio
Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans 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. ⟨hal-03022707⟩
Accès au bibtex
BibTex
ref_biblio
Maxime Ayrault, Etienne Borde, Ulrich Kühne. Run or Hide? Both! A Method Based on IPv6 Address Switching to Escape While Being Hidden. the 6th ACM Workshop, Nov 2019, London, France. pp.47-56, ⟨10.1145/3338468.3356827⟩. ⟨hal-02449676⟩
Accès au bibtex
BibTex
ref_biblio
Chloe Barnes, Kirstie Bellman, Jean F Botev, Ada Diaconescu, Lukas Esterle, et al.. CHARIOT - Towards a Continuous High-Level Adaptive Runtime Integration Testbed. 2019 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⟩. ⟨hal-02449653⟩
Accès au bibtex
BibTex
ref_biblio
Ada Diaconescu, Louisa Jane Di Felice, Patricia Mellodge. Multi-Scale Feedbacks for Large-Scale Coordination in Self-Systems. 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Jun 2019, Umea, France. pp.137-142, ⟨10.1109/SASO.2019.00025⟩. ⟨hal-02449657⟩
Accès au bibtex
BibTex
ref_biblio
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi. Scalable Byzantine Reliable Broadcast. DISC, Oct 2019, Budapest, Hungary. ⟨hal-03022562⟩
Accès au bibtex
BibTex
ref_biblio
Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovič, Dragos-Adrian Seredinschi. The Consensus Number of a Cryptocurrency. the 2019 ACM PODC, Jul 2019, Toronto ON, Canada. pp.307-316, ⟨10.1145/3293611.3331589⟩. ⟨hal-02364290⟩
Accès au bibtex
BibTex
ref_biblio
Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet. Arbitration-Induced Preemption Delays. 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩. ⟨hal-02447339⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02447339/file/LIPIcs-ECRTS-2019-19.pdf BibTex
ref_biblio
Katarzyna Kapusta, Han Qiu, Gérard Memmi. Reinforcing Protection Against Chosen-Plaintext Attack Using Ciphertext Fragmentation in Multi-cloud Environments. 2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), Jun 2019, Paris, France. pp.7-9, ⟨10.1109/CSCloud/EdgeCom.2019.00011⟩. ⟨hal-02450307⟩
Accès au bibtex
BibTex
ref_biblio
Katarzyna Kapusta, Han Qiu, Gérard Memmi. Poster Abstract: Secure Data Sharing by Means of Fragmentation, Encryption, and Dispersion. IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Apr 2019, Paris, France. pp.1051-1052, ⟨10.1109/INFCOMW.2019.8845243⟩. ⟨hal-02450308⟩
Accès au bibtex
BibTex
ref_biblio
Katarzyna Kapusta, Han Qiu, Gérard Memmi. Secure Data Sharing with Fast Access Revocation through Untrusted Clouds. 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, CANARY ISLANDS, France. pp.1-5, ⟨10.1109/NTMS.2019.8763850⟩. ⟨hal-02450309⟩
Accès au bibtex
BibTex
ref_biblio
Petr Kuznetsov, Thibault Rieutord, Tucci-Piergiovanni Sara. Reconfigurable Lattice Agreement and Applications. OPODIS, Dec 2019, Neuchatel, Switzerland. ⟨hal-03022570⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Lalanda, Ada Diaconescu. Integration of Pervasive Platforms with iCasa. 2019 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⟩. ⟨hal-02449649⟩
Accès au bibtex
BibTex
ref_biblio
Maryline Laurent, Jean Leneutre, Sophie Chabridon, Imane Laaouane. Authenticated and Privacy-Preserving Consent Management in the Internet of Things. ANT 2019: 10th International Conference on Ambient Systems, Networks and Technologies (ANT), Apr 2019, Leuven, Belgium. pp.256-263, ⟨10.1016/j.procs.2019.04.037⟩. ⟨hal-02147191⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02147191/file/1-s2.0-S1877050919304995-main.pdf BibTex
ref_biblio
Han Qiu, Qinkai Zheng, Meikang Qiu, Gé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-02450312⟩
Accès au bibtex
BibTex
ref_biblio
Artur Rataj, Etienne Borde. Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour. the 30th International Workshop, Oct 2019, New York, France. pp.50-56, ⟨10.1145/3339985.3358492⟩. ⟨hal-02449670⟩
Accès au bibtex
BibTex
ref_biblio
Arles Rodríguez, Nathaly Botina, Jonatan Gómez, Marius Pol, Jean-Louis Dessalles, et al.. Explanatory AI for Pertinent Communication in Autonomic Systems. Intelligent Systems and Applications, Sep 2019, Londres, United Kingdom. pp.212-227, ⟨10.1007/978-3-030-29516-5_16⟩. ⟨hal-02449644⟩
Accès au bibtex
BibTex
ref_biblio
Simon van Mierlo, Eugene Syriani, Dominique Blouin, Moussa Amrani, Julien 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-02428017⟩
Accès au bibtex
BibTex

2018

ref_biblio
Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto. Parallel Combining: Benefits of Explicit Synchronization. 22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, 2018, Hong Kong, China. pp.11:1-11:16, ⟨10.4230/LIPIcs.OPODIS.2018.11⟩. ⟨hal-02412405⟩
Accès au bibtex
BibTex
ref_biblio
Rayhana Baghli, Elie Najm, Bruno Traverson. Defining services and service orchestrators acting on shared sensors and actuators. 6th International Conference on Model-Driven Engineering and Software Development (ModelsWard'18), Jan 2018, Funchal, Portugal. ⟨hal-02412326⟩
Accès au bibtex
BibTex
ref_biblio
Stevan Coroller, Sophie Chabridon, Maryline Laurent, Denis Conan, Jean Leneutre. Towards end-to-end privacy for publish/subscribe architectures in the Internet of Things. M4IoT 2018: 5th Workshop on Middleware and Applications for the Internet of Things at the 2018 ACM/IFIP International Middleware Conference, Dec 2018, Rennes, France. pp.35 - 40, ⟨10.1145/3286719.3286727⟩. ⟨hal-01940866⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01940866/file/article_fonts_included.pdf BibTex
ref_biblio
Ada Diaconescu, Jeremy Pitt. Self-awareness and Decision-taking in Socio-Cyber-Physical Systems. An Architectural Perspective. 3rd International Workshop on Self-Awareness in Cyber-Physical Systems (SelPhyS'18), Apr 2018, Birmingham, United Kingdom. ⟨hal-02287875⟩
Accès au bibtex
BibTex
ref_biblio
Ziad Ismail, Jean Leneutre, Alia Fourati. Optimal Deployment of Security Policies: Application to Industrial Control Systems. 14th European Dependable Computing Conference (EDCC 2018), Sep 2018, Iasi, Romania. ⟨hal-02287944⟩
Accès au bibtex
BibTex
ref_biblio
Katarzyna Kapusta, Gérard Memmi. Enhancing data protection with a structure-wise fragmentation and dispersal of encrypted data. TrustCom'18, Aug 2018, New-York, United States. ⟨hal-02287926⟩
Accès au bibtex
BibTex
ref_biblio
Katarzyna Kapusta, Gérard Memmi. POSTER: Circular AON: A very fast Scheme to protect Encrypted Data Against Key Exposure. ACM CCS’18, Oct 2018, Toronto, Canada. ⟨hal-02288015⟩
Accès au bibtex
BibTex
ref_biblio
Katarzyna Kapusta, Gérard Memmi. A Fast and Scalable Fragmentation Algorithm For Data Protection For Multi-Storage Over Independent Locations. Esorics’18, STM workshop, Sep 2018, Barcelona, Spain. ⟨hal-02288556⟩
Accès au bibtex
BibTex
ref_biblio
Katarzyna Kapusta, Gérard Memmi. Selective All-Or-Nothing Transform: Protecting Outsourced Data Against Key Exposure. CSS’18, 10th International Symposium on Cyberspace Safety and Security, Oct 2018, Amalfi, Italy. ⟨hal-02288014⟩
Accès au bibtex
BibTex
ref_biblio
Petr Kuznetsov, Nayuta Yanagisawa. Task Computability in Unreliable Anonymous Networks. 22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, 2018, Hong Kong, China. pp.23:1-23:13, ⟨10.4230/LIPIcs.OPODIS.2018.23⟩. ⟨hal-02412406⟩
Accès au bibtex
BibTex
ref_biblio
Han Qiu, Meikang Qiu, Meiqin Liu, Zhong Ming, Gérard Memmi. A Dynamic Scalable Blockchain Based Communication Architecture for IoT. SmartBlock'18, Dec 2018, Tokyo, Japan. pp.159-166. ⟨hal-02288555⟩
Accès au bibtex
BibTex

2017

ref_biblio
Ankica Barisic, Dominique Blouin, Vasco Amaral, Miguel Goulao. A Requirements Engineering Approach for Usability-Driven DSL Development. International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada. ⟨hal-01649727⟩
Accès au bibtex
BibTex
ref_biblio
Ankica Barisic, Dominique Blouin, Vasco Amaral, Miguel Goulao. A Requirements Engineering Approach for Usability-Driven DSL Development. International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada. ⟨hal-03340371⟩
Accès au bibtex
BibTex
ref_biblio
Florian Brandner, Naji Amine. Worst-Case Execution Time Analysis of Predicated Architectures. Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩. ⟨hal-02288493⟩
Accès au bibtex
BibTex
ref_biblio
Julian Garbiso, Ada Diaconescu, Marceau Coupechoux, Bertrand Leroy. Auto-Adaptive Multi-Hop Clustering for Hybrid Cellular-Vehicular Networks. IEEE International Conference on Intelligent Transportation Systems (ITSC), Oct 2017, Yokohama, Japan. pp.1-6. ⟨hal-02288490⟩
Accès au bibtex
BibTex
ref_biblio
Farouk Hebbache, Mathieu Jan, Florian Brandner, Laurent Pautet. Dynamic Arbitration of Memory Requests with TDM-like Guarantees. Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France. ⟨hal-02287739⟩
Accès au bibtex
BibTex
ref_biblio
Jan Kantert, Sven Tomforde, Ada Diaconescu, Christian Müller-Schloer. Incentive-oriented Task Assignment in Holonic Organic Systems. 5th International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems, SAOS@ARCS 2017, Apr 2017, Vienna, Austria. ⟨hal-02287560⟩
Accès au bibtex
BibTex
ref_biblio
Katarzyna Kapusta, Gérard Memmi, Hassan Noura. Secure and Resilient Scheme for Data Protection in Unattanded Wireless Sensor Networks. 1st IEEE-IFIP CSNet, Oct 2017, Rio de Janero, Brazil. ⟨hal-02287748⟩
Accès au bibtex
BibTex
ref_biblio
Jeremy Pitt, Ada Diaconescu. Interactional Justice for Sustainable Management of Common-Pool Resources. XVI Biennial IASC Conference "Practicing the commons: self-governance, cooperation, and institutional change, Jul 2017, Utrecht, Netherlands Antilles. ⟨hal-02287559⟩
Accès au bibtex
BibTex
ref_biblio
Han Qiu, Gérard Memmi, Hassan Noura. An efficient Secure Storage Scheme Based on Information Fragmentation. 4th IEEE Int. Conf. on Cyber Security and Cloud Computing, Jun 2017, New-York, United States. pp.108-113. ⟨hal-02287645⟩
Accès au bibtex
BibTex
ref_biblio
Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot. Experimental Energy Profiling of Energy-Critical Embedded Applications. 25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6. ⟨hal-01625409v2⟩
Accès au texte intégral et bibtex
https://minesparis-psl.hal.science/hal-01625409/file/A-666-v2.pdf BibTex
ref_biblio
Arles Rodriguez, Jonatan Gomez, Ada Diaconescu. Replication-Based Self-healing of Mobile Agents Exploring Complex Networks. 15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI,, Jun 2017, Porto, Portugal. pp.222-233, ⟨10.1007/978-3-319-59930-4_18⟩. ⟨hal-02287746⟩
Accès au bibtex
BibTex

2016

ref_biblio
Naji Amine, Florian Brandner. Eager Stack Cache Memory Transfers. Workshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France. ⟨hal-02287376⟩
Accès au bibtex
BibTex
ref_biblio
Istvan David, Eugene Syriani, Clark Verbrugge, Didier Buchs, Dominique Blouin, et al.. Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies. 1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France. ⟨hal-02287520⟩
Accès au bibtex
BibTex
ref_biblio
Ada Diaconescu, Sylvain Frey, Christian Müller-Schloer, Jeremy Pitt, Sven Tomforde. Goal-oriented Holonics for Complex System (Self-)Integration: Concepts and Case Studies. 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), Sep 2016, Augsburg, Germany. pp.10. ⟨hal-02287380⟩
Accès au bibtex
BibTex
ref_biblio
Julian Garbiso, Ada Diaconescu, Marceau Coupechoux, Bertrand Leroy. Dynamic Cluster Size Optimization in Hybrid Cellular-Vehicular Networks. IEEE Intelligent Transportation Systems Conference, Nov 2016, Rio de Janeiro, Brazil. pp.1-7. ⟨hal-02287402⟩
Accès au bibtex
BibTex
ref_biblio
Katarzyna Kapusta, Gérard Memmi, Hassan Noura. POSTER: A Keyless Efficient Algorithm for Data Protection by Means of Fragmentation. ACM Conference on Computer and Communications Security 2016, Oct 2016, Vienna, Austria. ⟨hal-02287535⟩
Accès au bibtex
BibTex
ref_biblio
Jeremy Pitt, Ada Diaconescu. Interactive Self-Governance and Value-Sensitive Design for Self-Organising Socio-Technical Systems. Fourth International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST@SASO2016), Sep 2016, Ausgburg, Germany. ⟨hal-02288465⟩
Accès au bibtex
BibTex
ref_biblio
Yanjun Sun, Gérard Memmi, Sylvie Vignes. A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing. Int. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180. ⟨hal-02287374⟩
Accès au bibtex
BibTex
ref_biblio
Yanjun Sun, Gérard Memmi, Sylvie Vignes. Model-Based Verification Directed by Structural Coverage and Functional Requirements. Model-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria. ⟨hal-02287373⟩
Accès au bibtex
BibTex

2015

ref_biblio
Naji Amine, Florian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses. 9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16. ⟨hal-02287276⟩
Accès au bibtex
BibTex
ref_biblio
Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Sébastien Gardoll, Thomas Vergnaud. Improving Reusability of Model Transformations by Automating their Composition. EUROMICRO-SEAA, Aug 2015, Madeira, Portugal. pp.267-274. ⟨hal-02287271⟩
Accès au bibtex
BibTex
ref_biblio
Sarthak Gosh, Gilles Bailly, Robin Despouys, Eric Lecolinet, Rémi Sharrock. SuperVision: Spatial Control of Connected Objects in a Smart Home. CHI Extended Abstracts: ACM Conference on Human Factors in Computing Systems, Apr 2015, Soul, South Korea. pp.2079-2084, ⟨10.1145/2702613.2732779⟩. ⟨hal-01147717⟩
Accès au texte intégral et bibtex
https://imt.hal.science/hal-01147717/file/inproceedings-2015-15299-6.pdf BibTex
ref_biblio
Ziad Ismail, J. Leneutre, Alia Fourati. An Attack Execution Model for Industrial Control Systems Security Assessment.. CyberICS/WOS-CPS@ESORICS 2015, Jan 2015, Vienna, Austria. pp.157-167. ⟨hal-02287737⟩
Accès au bibtex
BibTex
ref_biblio
Katarzyna Kapusta, Gérard Memmi. Data protection by means of fragmentation in distributed storage systems. CFIP-Notere, Jul 2015, Paris, France. ⟨hal-02288464⟩
Accès au bibtex
BibTex
ref_biblio
Jens Knoop, Florian Brandner. Exchange between the German and French Compiler Communities. 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Oct 2015, Pörtschach am Wörthersee, Austria. pp.83-84. ⟨hal-02287275⟩
Accès au bibtex
BibTex
ref_biblio
Petr Kuznetsov, Srivatsan Ravi. Progressive Transactional Memory in Time and Space. PaCT, Sep 2015, Petrozavodsk, Russia. ⟨hal-02287223⟩
Accès au bibtex
BibTex
ref_biblio
Trung Nguyen, Jean Leneutre. A Secure and Effective Device Pairing Protocol. 12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States. ⟨hal-02288430⟩
Accès au bibtex
BibTex
ref_biblio
Jeremy Pitt, Andrzej Nowak, Ada Diaconescu. Value Sensitive Design for Self-Organising Digital Communities. Charting the Next Decade for Value Sensitive Design Workshop (held with the Critical Alternatives Conference), Aug 2015, Aarhus, Denmark. ⟨hal-02287385⟩
Accès au bibtex
BibTex
ref_biblio
Smail Rahmoun, Etienne Borde, Laurent Pautet. Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES). ICECCS, Dec 2015, Gold Coast, Australia. pp.21-30. ⟨hal-02292449⟩
Accès au bibtex
BibTex
ref_biblio
Smail Rahmoun, Etienne Borde, Laurent Pautet. Automatic selection and composition of model transformations alternatives using evolutionary algorithms. ECSA Workshops 2015, Sep 2015, Dubrovnik/Cavtat, Croatia. pp.25:1-25:7. ⟨hal-02292448⟩
Accès au bibtex
BibTex
ref_biblio
Arles Rodrigues, Jonatan Gomez, Ada Diaconescu. Foraging-inspired Self-organisation for Terrain Exploration with Failure-prone Agents. The 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'15), Sep 2015, Cambridge, MA, United States. pp.10. ⟨hal-02287382⟩
Accès au bibtex
BibTex

2014

ref_biblio
Etienne Borde, Laurent Pautet, Fabien Cadoret, Smail Rahmoun, Frank Singhoff. Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems. International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50. ⟨hal-01115723⟩
Accès au bibtex
BibTex
ref_biblio
Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Thomas Vergnaud, Thomas Dérive. Automatic Production of Transformation Chains Using Structural Constraints on Output Models. Euromicro Conference on Software Engineering and Advanced Applications, Aug 2014, Verona, Italy. pp.158 - 165. ⟨hal-01115708⟩
Accès au bibtex
BibTex
ref_biblio
Robin Despouys, Rémi Sharrock, Isabelle Demeure. Sensemaking in the autonomic smart-home. UBICOMP Ubiquitous computing, Sep 2014, Seattle, United States. ⟨hal-02288439⟩
Accès au bibtex
BibTex
ref_biblio
Sarthak Gosh, Gilles Bailly, Robin Despouys, Eric Lecolinet, Rémi Sharrock. SuperVision : controler spatialement les objets connectés dans une maison intelligente. IHM'14: Conférence francophone sur l'Interaction Homme Machine, Oct 2014, Lille, France. ⟨10.1145/2670444.2670471⟩. ⟨hal-01442956⟩
Accès au texte intégral et bibtex
https://imt.hal.science/hal-01442956/file/inproceedings-2014-15197-6.pdf BibTex
ref_biblio
Trung Nguyen, Jean Leneutre. Formal Analysis of Secure Device Pairing Protocols. IEEE 13th International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, Massachusetts, United States. ⟨hal-02287084⟩
Accès au bibtex
BibTex
ref_biblio
Laurent Pautet, Etienne Borde, Thomas Robert, Antoine Jaouen. PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. International Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165. ⟨hal-01115671⟩
Accès au bibtex
BibTex
ref_biblio
Jeremy Pitt, Didac Busquets, Ada Diaconescu, Andrzej Nowak, Agnieszka Rychwalska, et al.. Algorithmic Self-Governance and the Design of Socio-Technical Systems. European Conference on Social Intelligence, Nov 2014, Barcelona, Spain. ⟨hal-02287024⟩
Accès au bibtex
BibTex
ref_biblio
Elie Richa, Etienne Borde, Laurent Pautet, Matteo Bordin, José Riuz. Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains. MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43. ⟨hal-01115716⟩
Accès au bibtex
BibTex
ref_biblio
Elie Richa, Etienne Borde, Laurent Pautet, Matteo Bordin, José Riuz. Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation. AMT@MoDELS, Sep 2014, Valencia, Spain. pp.34-43. ⟨hal-02287272⟩
Accès au bibtex
BibTex

2013

ref_biblio
Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Thomas Vergnaud, Thomas Dérive. Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability. ISARCS'13, Aug 2013, Montréal, Canada. ⟨hal-02286706⟩
Accès au bibtex
BibTex
ref_biblio
Sylvain Frey, Ada Diaconescu, Menga David, Isabelle Demeure. Towards a reference model for multi-goal, highly-distributed and dynamic autonomic systems. 10th International Conference on Autonomic Computing (ICAC), Self-aware Internet of Things (Self-IoT) track, Jun 2013, San Jose, Ca, United States. ⟨hal-02286685⟩
Accès au bibtex
BibTex
ref_biblio
Sylvain Frey, Ada Diaconescu, Menga David, Isabelle Demeure. A Holonic Control Architecture for a Heterogeneous Multi-Objective Smart Micro-Grid. Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2013, Philladelphia, United States. ⟨hal-02288388⟩
Accès au bibtex
BibTex
ref_biblio
Balkis Hamdane, Mounira Msahli, Ahmed Serhrouchni, Sihem Guemara El Fatmi. Data-based access control in Named Data Networking. 9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, France. ⟨10.4108/icst.collaboratecom.2013.254180⟩. ⟨hal-03042232⟩
Accès au bibtex
BibTex
ref_biblio
Vincent Legout, Mathieu Jan, Laurent Pautet. Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses. First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6. ⟨hal-00922522⟩
Accès au texte intégral et bibtex
https://imt.hal.science/hal-00922522/file/submission.pdf BibTex
ref_biblio
Vincent Legout, Mathieu Jan, Laurent Pautet. Réduction de la consommation statique des systèmes temps-réel multiprocesseurs. École d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4. ⟨hal-00922521⟩
Accès au texte intégral et bibtex
https://imt.hal.science/hal-00922521/file/submission.pdf BibTex
ref_biblio
Vincent Legout, Mathieu Jan, Laurent Pautet. An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumption. First Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH), Feb 2013, Shenzhen, China. pp.7-12. ⟨hal-00919169⟩
Accès au texte intégral et bibtex
https://imt.hal.science/hal-00919169/file/harsh2013_submission_2.pdf BibTex
ref_biblio
Jonathan Michaux, Elie Najm, Alessandro Fantechi. Safety of session-based service orchestration revisited with an unreliable communication model. Web Services Formal Methods, Aug 2013, beijing, China. ⟨hal-02286789⟩
Accès au bibtex
BibTex
ref_biblio
Mounira Msahli, Rached Abdeljaoued, Ahmed Serhrouchni. Access control in probative value cloud. 8th International Conference for Internet Technology and Secured Transactions (ICITST 2013), Dec 2013, London, France. pp.607-611, ⟨10.1109/ICITST.2013.6750274⟩. ⟨hal-03042230⟩
Accès au bibtex
BibTex

2012

ref_biblio
Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet. Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models. ICECCS 2012, Jul 2012, Paris, France. ⟨hal-02286400⟩
Accès au bibtex
BibTex
ref_biblio
Bassem Debbabi, Ada Diaconescu, Philippe Lalanda. Controlling self-organising software applications with archetypes. IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2012, Lyon, France. ⟨10.1109/SASO.2012.21⟩. ⟨hal-02286412⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-02286412/file/Debbabi2012.pdf BibTex
ref_biblio
Sylvain Frey, Ada Diaconescu, Isabelle Demeure. Architectural Integration Patterns for Autonomic Management Systems. 9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Apr 2012, Novi Sad, Serbia. ⟨hal-02286263⟩
Accès au bibtex
BibTex
ref_biblio
Grzegorz Loniewski, Etienne Borde, Emilio Insfran. Towards a model driven refinement process through architecture evaluation. NFPinDSML '12, Dec 2012, Innsbruck, Austria. pp.4:1-4:6, ⟨10.1145/2420942.2420946⟩. ⟨hal-02286708⟩
Accès au bibtex
BibTex

2011

ref_biblio
Claude Chaudet, Isabelle Demeure, Salma Ktari, Nicola Costagliola, Samuel Tardieu. Publish/Subscribe for Wireless Sensor Networks (Invited paper). Asian Internet Engineering Conference (AINTEC) 2011, Nov 2011, Bangkok, Thailand. ⟨hal-02278598⟩
Accès au bibtex
BibTex
ref_biblio
Elie Najm. Controllability of Orchestrated Sessions. Invited Talk - WWV'11, 7th Int'l Workshop on Automated Specification and Verification of Web Systems, Jun 2011, Reykjavik, Iceland. ⟨hal-02288310⟩
Accès au bibtex
BibTex
ref_biblio
Isabelle. Perseil, Laurent Pautet. An Efficient Modeling and Execution Framework for Complex Systems Development. International Conference on Engineering of Complex Computer Systems (ICECCS), 2011, Apr 2011, Las Vegas, United States. pp.317 - 331. ⟨hal-02288369⟩
Accès au bibtex
BibTex
ref_biblio
Samuel Tardieu, Alexis Polti. D'élève à collègue en 10 semaines (ou d'enseignant à collègue en 10 semaines). Questions de pédagogie dans l'enseignement supérieur, Jun 2011, Angers, France. ⟨10.13140/2.1.3803.0085⟩. ⟨hal-04261268⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04261268/file/qpes2011.pdf BibTex

2010

ref_biblio
Elie Najm. Service Orchestration with Orcharts and Typecharts. Seminaire INRIA, Mar 2010, Rennes, France. ⟨hal-02278638⟩
Accès au bibtex
BibTex

2009

ref_biblio
Laurent Pautet, Isabelle. Perseil. An Emerging Need for a New Software Engineering Method. International Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364. ⟨hal-02286672⟩
Accès au bibtex
BibTex

2003

ref_biblio
Eric Cousin, Gérald Ouvradou, C. Bac, O. Berger, P. Lalevee, et al.. " Développer une nouvelle approche pédagogique ", questionnement autour du cas de PicoLibre. Questions 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. ⟨hal-02274532⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02274532/file/napes-03-1.pdf BibTex

1985

ref_biblio
Jean-Claude Bermond, Gerard Memmi. A graph theoretical characterization of minimal deadlocks in Petri nets. Graph theory with applications to algorithms and computer science, Wiley, 1985, Kalamazoo,MI, United States. pp.73-87. ⟨hal-02447228⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02447228/file/59-BM85-deadlocks%20Petrinets.pdf BibTex

Book sections

2023

ref_biblio
Roberto Di Cosmo, Stefano Zacchiroli. The Software Heritage Open Science Ecosystem. Software Ecosystems, Springer International Publishing, pp.33-61, 2023, ⟨10.1007/978-3-031-36060-2_2⟩. ⟨hal-04240651⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04240651/file/chapter-swh.pdf BibTex

2022

ref_biblio
Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno 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-03860813⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03860813/file/PBRE%20A%20Rule%20Extraction%20Method%20from%20Trained%20Neural%20Networks%20Designed%20for%20Smart%20Home%20Services.pdf BibTex

2021

ref_biblio
Thomas Attema, Ronald Cramer, Matthieu Rambaud. Compressed Σ-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures. Advances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.526-556, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_18⟩. ⟨hal-03800630⟩
Accès au bibtex
BibTex
ref_biblio
Dominique Blouin, Rima Al-Ali, Mauro Iacono, Bedir Tekinerdogan, Holger Giese. An ontological foundation for multi-paradigm modelling for cyber-physical systems. Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.9-43, 2021, ⟨10.1016/B978-0-12-819105-7.00007-6⟩. ⟨hal-03225338⟩
Accès au bibtex
BibTex
ref_biblio
Dominique Blouin, Rima Al-Ali, Holger Giese, Stefan Klikovits, Soumyadip 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-03167819⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03167819/file/mpm4cps_approaches_book-114-152.pdf BibTex
ref_biblio
Ronald Cramer, Matthieu Rambaud, Chaoping Xing. Asymptotically-Good Arithmetic Secret Sharing over Z/pℓZ with Strong Multiplication and Its Applications to Efficient MPC. Advances in Cryptology – CRYPTO 2021, 12827, Springer International Publishing, pp.656-686, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-84252-9_22⟩. ⟨hal-03800642⟩
Accès au bibtex
BibTex
ref_biblio
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-03569438⟩
Accès au bibtex
BibTex
ref_biblio
Holger Giese, Dominique Blouin, Rima Al-Ali, Hana Mkaouar, Soumyadip 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-03219279⟩
Accès au bibtex
BibTex
ref_biblio
Wojciech Jamroga, Damian Kurpiewski, Vadim 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-03779036⟩
Accès au bibtex
https://arxiv.org/pdf/2007.12424 BibTex
ref_biblio
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⟩. ⟨hal-03559661⟩
Accès au bibtex
BibTex

2020

ref_biblio
Mark Abspoel, Ronald Cramer, Ivan Damgård, Daniel Escudero, Matthieu Rambaud, et al.. Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ. Advances in Cryptology – ASIACRYPT 2020, 12493, Springer International Publishing, pp.151-180, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-64840-4_6⟩. ⟨hal-03800662⟩
Accès au bibtex
BibTex
ref_biblio
Ashref Aloui, Mounira Msahli, Talel Abdessalem, Sihem Mesnager, Stéphane Bressan. Privacy as a Service: Anonymisation of NetFlow Traces. Advances in E-Business Engineering for Ubiquitous Computing, pp.561-571, 2020, ⟨10.1007/978-3-030-34986-8_39⟩. ⟨hal-03042197⟩
Accès au bibtex
BibTex
ref_biblio
Dominique Blouin, Etienne Borde. AADL: A Language to Specify the Architecture of Cyber-Physical Systems. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020. ⟨hal-03022808⟩
Accès au bibtex
BibTex

2019

ref_biblio
Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani. From Behavioural Contracts to Session Types. Models, Languages, and Tools for Concurrent and Distributed Programming, pp.278-297, 2019, ⟨10.1007/978-3-030-21485-2_16⟩. ⟨hal-02448995⟩
Accès au bibtex
BibTex
ref_biblio
Susan Stepney, Ada Diaconescu, René Doursat, Jean-Louis Giavitto, Julian Miller, et al.. Evolving, Growing, and Gardening Cyber-physical Systems. Experimental Architecture - Designing the Unknown, 2019. ⟨hal-03023230⟩
Accès au bibtex
BibTex

2017

ref_biblio
Ada Diaconescu. Goal-oriented Holonic Systems. Organic Computing: Technical Systems for Survival in the Real World,, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.209-258, 2017. ⟨hal-02287627⟩
Accès au bibtex
BibTex
ref_biblio
Ada Diaconescu. Organising Complexity: Hierarchies and Holarchies. Organic Computing: Technical Systems for Survival in the Real World, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.89-106, 2017. ⟨hal-02287626⟩
Accès au bibtex
BibTex
ref_biblio
Samuel Kounev, Peter Lewis, Kirstie Bellman, Nelly Bencomo, Javier Camara, et al.. The notion of self-aware computing. Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, pp.3-16, 2017. ⟨hal-02287557⟩
Accès au bibtex
BibTex
ref_biblio
Peter Lewis, Kirstie Bellman, Chris Landauer, Lukas Esterle, Kyrre Glette, et al.. Towards a framework for the levels and aspects of selfaware computing systems. Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing, pp.51-85, 2017. ⟨hal-02287558⟩
Accès au bibtex
BibTex

2015

ref_biblio
Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi. Safety and Deferred Update in Transactional Memory. Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp.50-71, 2015, ⟨10.1007/978-3-319-14720-8_3⟩. ⟨hal-02287873⟩
Accès au bibtex
BibTex

2014

ref_biblio
Jeremy Pitt, Ada Diaconescu. The Algorithmic Governance Of Common-Pool Resources. From Bitcoin to Burning Man and Beyond: The Quest for Identity and Autonomy in a Digital Society, Edited by John H. Clippinger and David Bollier, Published by ID3 in cooperation with Off the Common Books, pp.133-145, 2014. ⟨hal-02287022⟩
Accès au bibtex
BibTex

2013

ref_biblio
Laurent Pautet, B. Zalila. Model-Based Code Generation. Embedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013. ⟨hal-02286688⟩
Accès au bibtex
BibTex
ref_biblio
Thomas Robert, Jérôme Hugues. Analyse à partir du modèle. Modélisation et analyse de systèmes embarqués, Collection SEE - Hermes, pp.267-278, 2013. ⟨hal-02286675⟩
Accès au bibtex
BibTex

Other publications

2022

ref_biblio
Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson. Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services. 2022. ⟨hal-03860833⟩
Accès au texte intégral et bibtex
https://telecom-paris.hal.science/hal-03860833/file/Reinforcement%20Learning%20Based%20Architectures%20for%20Dynamic%20Generation%20of%20Smart%20Home%20Services.pdf BibTex

Books

2020

ref_biblio
Mounira Msahli, Nancy Cam-Winget, William Whyte, Ahmed Serhrouchni, Houda Labiod. RFC 8902 TLS Authentication Using Intelligent Transport System (ITS) Certificates. 2020. ⟨hal-03023137⟩
Accès au bibtex
BibTex

2013

ref_biblio
Philippe Lalanda, Julie Mccann, Ada Diaconescu. Autonomic Computing: Principles, Design and Implementation. Springer, pp.298, 2013. ⟨hal-02286670⟩
Accès au bibtex
BibTex

Patents

2016

ref_biblio
Rayhana Baghli, Elie Najm, Bruno Traverson. Structure informatique perfectionnée d’un objet connecté. France, N° de brevet: B2665. RB-EN-BT:Brevet16. 2016. ⟨hal-02412544⟩
Accès au bibtex
BibTex

2015

ref_biblio
Xavier Jean, Marc Gatti, David Faura, Thomas Robert. CALCULATEUR COMPRENANT UN PROCESSEUR MULTICOEUR ET PROCEDE DE CONTROLE D'UN TEL CALCULATEUR. France, N° de brevet: FR20130002040 20130903. XJTR:BrevMulDet-2015. 2015, pp.31. ⟨hal-02412552⟩
Accès au bibtex
BibTex

Proceedings

2022

ref_biblio
Yasmina Abdeddaïm, Liliana Cucu-Grosjean, Geoffrey Nelissen, Laurent Pautet. RTNS 2022: The 30th International Conference on Real-Time Networks and Systems. ACM, 2022, ⟨10.1145/3534879⟩. ⟨hal-03951192⟩
Accès au bibtex
BibTex

2021

ref_biblio
Joaquin Garcia‐alfaro, Jean Leneutre, Nora Cuppens, Reda Yaich. Risks and security of internet and systems: 15th international conference, CRiSIS 2020, Paris, France, November 4–6, 2020, revised selected papers. 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-03628457⟩
Accès au bibtex
BibTex

Reports

2020

ref_biblio
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-03089815v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03089815/file/Scrum21f2.pdf BibTex
ref_biblio
Dongmin Son, Sawsan Al Zahr, Gerard Memmi. Energy trading marketplace using Ethereum private network. [Technical Report] Telecom Paris. 2020. ⟨hal-03157038⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03157038/file/Energy_trading_marketplace_using_Ethereum_private_network.pdf BibTex

2019

ref_biblio
Rima Al-Ali, Moussa Amrani, Soumyadip Bandyopadhyay, Ankica Barisic, Fernando Barros, et al.. Framework to Relate / Combine Modeling Languages and Techniques. [Technical Report] COST European Cooperation in Science and Technology. 2019. ⟨hal-03168831⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03168831/file/Al-Ali%20et%20al.%20-%202019%20-%20COST%20IC1404%20WG1%20Deliverable%20WG1.2%20Framework%20to%20Relate%20Combine%20Modeling%20Languages%20and%20Techniques-annotated.pdf BibTex
ref_biblio
Ankica Barisic, Dušan Savić, Rima Al-Ali, Ivan Ruchkin, Dominique Blouin, et al.. Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems. [Technical Report] COST European Cooperation in Science and Technology. 2019. ⟨hal-03168834⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03168834/file/Bari%C5%A1i%C4%87%20et%20al.%20-%202019%20-%20Systematic%20Literature%20Review%20on%20Multi-Paradigm%20Modelling%20for%20Cyber-Physical%20Systems-annotated.pdf BibTex
ref_biblio
Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, et al.. State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development. [Research Report] COST European Cooperation in Science and Technology. 2019. ⟨hal-03168832⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03168832/file/Klikovits%20et%20al.%20-%202019%20-%20COST%20IC1404%20WG1%20Deliverable%20WG1.1%20State-of-the-art%20on%20Current%20Formalisms%20used%20in%20Cyber-Physical%20Systems%20Develo-annotated.pdf BibTex

2017

ref_biblio
Rima Al-Ali, Moussa Amrani, Soumyadip Bandyopadhyay, Ankica Barisic, Fernando Barros, et al.. Framework to Relate / Combine Modeling Languages and Techniques. [Technical Report] COST European Cooperation in Science and Technology. 2017. ⟨hal-03168845⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03168845/file/mpm4cps_wg1_d12.pdf BibTex

2014

ref_biblio
Loïc Besnard, Etienne Borde, Pierre Dissaux, Thierry Gautier, Paul Le Guernic, et al.. Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL). [Technical Report] RT-0446, INRIA. 2014, pp.27. ⟨hal-00970244v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00970244/file/RT_446.pdf BibTex

Preprints, Working Papers, ...

2023

ref_biblio
Romain Lefeuvre, Jessie Galasso, Benoit Combemale, Houari Sahraoui, Stefano Zacchiroli. Fingerprinting and Building Large Reproducible Datasets. 2023. ⟨hal-04132604⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04132604/file/Fingerprinting_and_Building_Large_Reproducible_Datasets.pdf BibTex

2021

ref_biblio
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-03338607⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03338607/file/ClasLiteratureMPM4CPS.pdf BibTex

2020

ref_biblio
Petr Kuznetsov, Thibault Rieutord. Affine Tasks for k-Test-and-Set. 2020. ⟨hal-01810601v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01810601/file/paper.pdf BibTex