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

2025

ref_biblio: Antonio Boffa, Roberto Di Cosmo, Paolo Ferragina, Andrea Guerra, Giovanni Manzini, et al.. On the compressibility of large-scale source code datasets. Journal of Systems and Software, 2025, 227, pp.112429. ⟨10.1016/j.jss.2025.112429⟩. ⟨hal-05064394⟩
Accès au texte intégral et bibtex

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. Journal of Automated Reasoning, 2025, 69 (8), pp.1-29. ⟨10.1007/s10817-025-09720-1⟩. ⟨hal-05081623⟩
Accès au texte intégral et bibtex

ref_biblio: Minghui Sun, Georgios Bakirtzis, Hassan Jafarzadeh, Cody Fleming. Correct-by-construction requirement decomposition. Software and Systems Modeling, 2025, pp.1-16. ⟨10.1007/s10270-025-01291-4⟩. ⟨hal-05110632⟩
Accès au texte intégral et bibtex

2024

ref_biblio: Stefano Balla, Maurizio Gabbrielli, Stefano Zacchiroli. Code stylometry vs formatting and minification. PeerJ Computer Science, 2024, 10, pp.e2142. ⟨10.7717/peerj-cs.2142⟩. ⟨hal-04793169⟩
Accès au texte intégral et bibtex

ref_biblio: Annalí Casanueva, Davide Rossi, Stefano Zacchiroli, Théo Zimmermann. The Impact of the COVID-19 Pandemic on Women's Contribution to Public Code. Empirical Software Engineering, In press, ⟨10.1007/s10664-024-10552-7⟩. ⟨hal-04716803⟩
Accès au texte intégral et bibtex

ref_biblio: Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli. Stylometry for real-world expert coders: a zero-shot approach. PeerJ Computer Science, 2024, 10, pp.e2429. ⟨10.7717/peerj-cs.2429⟩. ⟨hal-04793178⟩
Accès au texte intégral et bibtex

ref_biblio: Laure Muselli, Mathieu O'Neil, Fred Pailler, Stefano Zacchiroli. Subverting or preserving the institution: Competing IT firm and foundation discourses about open source. New Media and Society, 2024, ⟨10.1177/14614448231222249⟩. ⟨hal-04416993⟩
Accès au texte intégral et bibtex

ref_biblio: Hai Nam Tran, Frank Singhoff, Jérôme Hugues, Pierre Dissaux, Bruce Lewis, et al.. ADEPT 2023 Workshop Summary. ACM SIGAda Ada Letters, 2024, 44 (1), pp.23-25. ⟨10.1145/3706601.3706603⟩. ⟨hal-05117657⟩
Accès au bibtex

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 texte intégral et bibtex

ref_biblio: Dominique Blouin, Paolo Crisafulli, Cristian Maxim, Francoise Caron. An Introduction to ALISA and Its Usage for an Industrial Railway System Case Study. Ada Letters, 2023, 43 (1), pp.69-72. ⟨10.1145/3631483.3631493⟩. ⟨hal-04438276⟩
Accès au bibtex

ref_biblio: Davide Catta, Jean Leneutre, Vadim Malvone. Attack Graphs & Subset Sabotage Games. Intelligenza Artificiale, 2023, 17 (1), pp.77-88. ⟨10.3233/IA-221080⟩. ⟨hal-04336220⟩
Accès au bibtex

ref_biblio: Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent Pautet. Intrinsic weaknesses of IDSs to malicious adversarial attacks and their mitigation. Communications in Computer and Information Science, 2023, Communications in Computer and Information Science, 1849, pp.122-155. ⟨10.1007/978-3-031-45137-9_6⟩. ⟨hal-04320964⟩
Accès au texte intégral et bibtex

ref_biblio: Jesús M. González-Barahona, Sergio Montes-Leon, Gregorio Robles, Stefano Zacchiroli. The Software Heritage License Dataset (2022 Edition). Empirical Software Engineering, In press, ⟨10.1007/s10664-023-10377-w⟩. ⟨hal-04180447⟩
Accès au texte intégral et bibtex

ref_biblio: Petr Kuznetsov, Yvonne-Anne Pignolet, Pavel Ponomarev, Andrei Tonkikh. Permissionless and asynchronous asset transfer. Distributed Computing, 2023, 36 (3), pp.349-371. ⟨10.1007/S00446-023-00449-X⟩. ⟨hal-04337958⟩
Accès au bibtex

ref_biblio: Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner. A formal framework to design and prove trustworthy memory controllers. Real-Time Systems, 2023, 59 (4), pp.664-704. ⟨10.1007/s11241-023-09411-3⟩. ⟨hal-04337937⟩
Accès au bibtex

ref_biblio: Eric Lubat, Eric Jenn, Dominique Blouin, Marc Kaufmann. Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications. Psychology in Spain, 2023, pp.549-558. ⟨10.1109/MODELS-C59198.2023.00092⟩. ⟨hal-04497326⟩
Accès au bibtex

ref_biblio: Akshaya Ravi, Mounira Msahli, Han Qiu, Gérard Memmi, Albert Bifet, et al.. Wangiri Fraud: Pattern Analysis and Machine-Learning-Based Detection. IEEE Internet of Things Journal, 2023, 10 (8), pp.6794-6802. ⟨10.1109/JIOT.2022.3174143⟩. ⟨hal-04468369⟩
Accès au 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

ref_biblio: Danny Weyns, Radu Calinescu, Raffaela Mirandola, Kenji Tei, Maribel Acosta, et al.. Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. Software Engineering Notes, 2023, 48 (4), pp.20-36. ⟨10.1145/3617946.3617951⟩. ⟨hal-04362266⟩
Accès au 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

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

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

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

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

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

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 texte intégral et 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

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

ref_biblio: Petr Kuznetsov, Andrei Tonkikh. Asynchronous reconfiguration with Byzantine failures. Distributed Computing, 2022, 35 (6), pp.477-502. ⟨10.1007/S00446-022-00421-1⟩. ⟨hal-04337916⟩
Accès au 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

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

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

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

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

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

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

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

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

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

ref_biblio: Georges Fokoua, Antoine Durand, Philippe Cuvelier. Ombroscopic imaging and PTV to reduce the depth of field in a flow with strong curvature effects. Optics and Lasers in Engineering, 2021, 137, pp.106386. ⟨10.1016/j.optlaseng.2020.106386⟩. ⟨hal-04481500⟩
Accès au 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. ⟨10.1109/TITS.2020.2966279⟩. ⟨hal-02421005⟩
Accès au texte intégral et bibtex

ref_biblio: Sameh Khalfaoui, Jean Leneutre, Arthur Villard, Jingxuan Ma, Pascal Urien. Security Analysis of Out-of-Band Device Pairing Protocols: A Survey. Wireless Communications and Mobile Computing, 2021, 2021, pp.1-30. ⟨10.1155/2021/8887472⟩. ⟨hal-04427682⟩
Accès au bibtex

ref_biblio: Sameh Khalfaoui, Jean Leneutre, Arthur Villard, Ivan Gazeau, Jingxuan Ma, et al.. Security Analysis of Machine Learning-Based PUF Enrollment Protocols: A Review. Sensors, 2021, 21 (24), pp.8415. ⟨10.3390/s21248415⟩. ⟨hal-04427680⟩
Accès au 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

ref_biblio: Roberto Medina, Etienne Borde, Laurent Pautet. Generalized Mixed-Criticality Static Scheduling for Periodic Directed Acyclic Graphs on Multi-Core Processors. IEEE Transactions on Computers, 2021, 70 (3), pp.457-470. ⟨10.1109/TC.2020.2990229⟩. ⟨hal-04482593⟩
Accès au 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

ref_biblio: Heejong Park, Arvind Easwaran, Etienne Borde. Online cycle detection for models with mode-dependent input and output dependencies. Journal of Systems Architecture, 2021, 115, pp.102017. ⟨10.1016/j.sysarc.2021.102017⟩. ⟨hal-04494613⟩
Accès au 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

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

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

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

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 texte intégral et 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

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

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

ref_biblio: Saravanan Ramanathan, Nitin Shivaraman, Seima Suryasekaran, Arvind Easwaran, Etienne Borde, et al.. A survey on time-sensitive resource allocation in the cloud continuum. Information Technology, 2020, 62 (5-6), pp.241-255. ⟨10.1515/itit-2020-0013⟩. ⟨hal-04494669⟩
Accès au bibtex

ref_biblio: Arles Rodríguez, Jonatan Gómez, Ada Diaconescu. A decentralised self-healing approach for network topology maintenance. Autonomous Agents and Multi-Agent Systems, 2020, 35 (6), pp.1-36. ⟨10.1007/s10458-020-09486-3⟩. ⟨hal-04362312⟩
Accès au bibtex

2019

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

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

ref_biblio: Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi. AT2: Asynchronous Trustworthy Transfers. Computing Research Repository, 2019. ⟨hal-02288008⟩
Accès au 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

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

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

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

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

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

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

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

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

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, 2018, 51 (5), pp.1-31. ⟨10.1145/3232848⟩. ⟨hal-02009646⟩
Accès au 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

ref_biblio: Amine Naji, Sahar Abbaspour, Florian Brandner, Mathieu Jan. Analysis of preemption costs for the stack cache. Real-Time Systems, 2018, ⟨10.1007/s11241-018-9298-7⟩. ⟨cea-01773654⟩
Accès au texte intégral et bibtex

2017

ref_biblio: Vitaly Aksenov, Petr Kuznetsov. Parallel Combining: Making Use of Free Cycles. Computing Research Repository, 2017, abs/1710.07588. ⟨hal-02287770⟩
Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Conference papers

2025

ref_biblio: Stefano Balla, Thomas Degueule, Romain Robbes, Jean-Rémy Falleri, Stefano Zacchiroli. Automatic Classification of Software Repositories: a Systematic Mapping Study. International Conference on Evaluation and Assessment in Software Engineering (EASE 2025), Jun 2025, Istanbul, Turkey. ⟨hal-05049757⟩
Accès au texte intégral et bibtex

ref_biblio: Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli. Is This You, LLM? Recognizing AI-written Programs with Multilingual Code Stylometry. IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2025, Mar 2025, Montréal, Canada. ⟨10.48550/arXiv.2412.14611⟩. ⟨hal-04845581⟩
Accès au texte intégral et bibtex

ref_biblio: Dimitri Kokkonis, Michaël Marcozzi, Emilien Decoux, Stefano Zacchiroli. ROSA: Finding Backdoors with Fuzzing. 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), Apr 2025, Ottawa (Ontario), Canada. pp.720, ⟨10.1109/ICSE55347.2025.00183⟩. ⟨hal-05063960⟩
Accès au texte intégral et bibtex

ref_biblio: Julien Malka, Stefano Zacchiroli, Théo Zimmermann. Does Functional Package Management Enable Reproducible Builds at Scale? Yes. 22nd International Conference on Mining Software Repositories, Apr 2025, Ottawa, Canada. ⟨hal-04913007v2⟩
Accès au texte intégral et bibtex

ref_biblio: Luı́s Soeiro, Thomas Robert, Stefano Zacchiroli. Wild SBOMs: a Large-scale Dataset of Software Bills of Materials from Public Code. Mining Software Repositories 2025 (MSR 2025), Apr 2025, Ottawa (Canada), Canada. ⟨hal-04995784⟩
Accès au texte intégral et bibtex

2024

ref_biblio: Moussa Amrani, Mittal Rakshit, Miguel Goulão, Vasco Amaral, Sylvain Guérin, et al.. A Survey of Federative Approaches for Model Management in MBSE. 1st International Workshop on Model Management (MoM) at MODELS 2024, Sep 2024, Linz (AUSTRIA), Austria. ⟨10.1145/3652620.3688221⟩. ⟨hal-04721128⟩
Accès au texte intégral et bibtex

ref_biblio: Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi. Strategic Reasoning under Capacity-constrained Agents. 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2024, Auckland (Nouvelle Zelande), New Zealand. pp.123--131, ⟨10.5555/3635637.3662859⟩. ⟨hal-04580662⟩
Accès au bibtex

ref_biblio: Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano. Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2024, Auckland (Nouvelle Zelande), New Zealand. ⟨10.5555/3635637.3662875⟩. ⟨hal-04580667⟩
Accès au bibtex

ref_biblio: Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone. A Formal Verification Approach to Handle Attack Graphs. 16th International Conference on Agents and Artificial Intelligence, Feb 2024, Rome, Italy. pp.125-132, ⟨10.5220/0012310000003636⟩. ⟨hal-04580655⟩
Accès au bibtex

ref_biblio: Florient Champenois, Florian Brandner, Thierry Grandpierre, Etienne Borde, Abraham Suissa, et al.. Multi-Criteria Optimization of Distributed Real-Time Network Topologies. 2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC), May 2024, Tunis, Tunisia. pp.1-11, ⟨10.1109/ISORC61049.2024.10551327⟩. ⟨hal-04736794⟩
Accès au bibtex

ref_biblio: Franco Cordeiro, Samuel Tardieu, Laurent Pautet. Shackling Uncertainty using Mixed Criticality in Monte-Carlo Tree Search. 2024 IEEE 14th International Symposium on Industrial Embedded Systems, Oct 2024, Chengdu, China. pp.34-41, ⟨10.1109/SIES62473.2024.10767910⟩. ⟨hal-04820824⟩
Accès au texte intégral et bibtex

ref_biblio: Ludovic Courtès, Timothy Sample, Simon Tournier, Stefano Zacchiroli. Source Code Archiving to the Rescue of Reproducible Deployment. 2024 ACM Conference on Reproducibility and Replicability, Jun 2024, Rennes, France. ⟨10.1145/3641525.3663622⟩. ⟨hal-04586520⟩
Accès au texte intégral et bibtex

ref_biblio: Tommaso Fontana, Sebastiano Vigna, Stefano Zacchiroli. WebGraph: The Next Generation (Is in Rust). ACM Web Conference 2024, May 2024, Singapore, Singapore. ⟨10.1145/3589335.3651581⟩. ⟨hal-04494627⟩
Accès au texte intégral et bibtex

ref_biblio: Lorenzo Guerra, Linhan Xu, Paolo Bellavista, Thomas Chapuis, Guillaume Duc, et al.. AI-Driven Intrusion Detection Systems (IDS) on the ROAD Dataset: A Comparative Analysis for Automotive Controller Area Network (CAN). CSCS '24: Proceedings of the 2024 on Cyber Security in CarS Workshop, Oct 2024, Salt Lake City, United States. pp.39-49, ⟨10.1145/3689936.3694696⟩. ⟨hal-04795854⟩
Accès au texte intégral et bibtex

ref_biblio: Thomas Lamiaux, Pierre Rousselin, Théo Zimmermann. Coq Platform docs: A Compilation of Short Interactive Tutorials and How-To Guides for Coq. The 15th Coq Workshop 2024, Clément Pit-Gaudel; Théo Winterhalter, Sep 2024, Tbilisi / Hybrid, Georgia. ⟨hal-04823184⟩
Accès au texte intégral et bibtex

ref_biblio: Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner. Leveraging Reusable Code and Proofs to Design Complex DRAM Controllers - A Case Study. 2024 27th Euromicro Conference on Digital System Design (DSD), EUROMICRO, Aug 2024, Paris, France. pp.298-305, ⟨10.1109/DSD64264.2024.00047⟩. ⟨hal-05098432⟩
Accès au bibtex

ref_biblio: Julien Malka, Stefano Zacchiroli, Théo Zimmermann. Reproducibility of Build Environments through Space and Time. 46th International Conference on Software Engineering (ICSE 2024) - New Ideas and Emerging Results (NIER) Track, Apr 2024, Lisbonne, Portugal. ⟨10.1145/3639476.3639767⟩. ⟨hal-04430009⟩
Accès au texte intégral et bibtex

ref_biblio: Julien Malka. Increasing Trust in the Open Source Supply Chain with Reproducible Builds and Functional Package Management. 46th International Conference on Software Engineering (ICSE 2024) - Doctoral Symposium (DS) Track, Apr 2024, Lisbonne, Portugal. ⟨10.1145/3639478.3639806⟩. ⟨hal-04482192⟩
Accès au texte intégral et bibtex

ref_biblio: Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud. Formal Analysis of C-ITS PKI protocols. SECRYPT 2024 : International Conference on Information Security and Cryptography, Jul 2024, Dijon, France. ⟨hal-04620494⟩
Accès au texte intégral et bibtex

ref_biblio: Grégor Quétel, Eric Alata, Pierre-François Gimenez, Laurent Pautet, Thomas Robert. A Parser-Based Data Collector for Intrusion Detection. RESSI 2024 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France. pp.1-2. ⟨hal-04871463⟩
Accès au texte intégral et bibtex

ref_biblio: Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot. Experimental Assessment and Biaffine Modeling of the Impact of Ambient Temperature on SoC Power Requirements. SAMOS 2024 : International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Jun 2024, Samos (Greece), Greece. ⟨hal-04604958v2⟩
Accès au texte intégral et bibtex

ref_biblio: Hugo Teixeira de Castro, Ahmed Hussain, Gregory Blanc, Jamal El Hachem, Dominique Blouin, et al.. A model-based approach for assessing the security of cyber-physical systems. The 19th International Conference on Availability, Reliability and Security (ARES) (2024), Jul 2024, Vienne, Austria. pp.1-10, ⟨10.1145/3664476.3670470⟩. ⟨hal-04669279⟩
Accès au texte intégral et bibtex

2023

ref_biblio: Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona. Automatically Verifying Expressive Epistemic Properties of Programs. The Thirty-Seventh AAAI Conference on Artificial Intelligence, Feb 2023, Washington, United States. pp.6245-6252, ⟨10.1609/AAAI.V37I5.25769⟩. ⟨hal-04336236⟩
Accès au bibtex

ref_biblio: Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano. Scalable Verification of Strategy Logic through Three-Valued Abstraction. Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.46-54, ⟨10.24963/IJCAI.2023/6⟩. ⟨hal-04336265⟩
Accès au bibtex

ref_biblio: Davide Catta, Aniello Murano, Vadim Malvone. Reasoning about Intuitionistic Computation Tree Logic. AREA 2023, Sep 2023, Krakow (Cracovie), Poland. pp.42-48, ⟨10.4204/EPTCS.391.6⟩. ⟨hal-04336273⟩
Accès au bibtex

ref_biblio: Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano. A Game Theoretic Approach to Attack Graphs. ICAART 2023 - 15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbon, Portugal. pp.347-354, ⟨10.5220/0011776900003393⟩. ⟨hal-04336262⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Catta, Jean Leneutre, Vadim Malvone. Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. ECAI, Sep 2023, Kracow, Poland. pp.365 - 372, ⟨10.3233/FAIA230292⟩. ⟨hal-04336248⟩
Accès au bibtex

ref_biblio: Davide Catta, Jean Leneutre, Vadim Malvone. Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). IPS-RCRA-SPIRIT@AI*IA, Nov 2023, Rome, Italy. ⟨hal-04427546⟩
Accès au texte intégral et bibtex

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

ref_biblio: Louisa Jane Di Felice, Ada Diaconescu. Hierarchy Beyond Top-Down Control: The Architecture of Self-Organised Social Systems. 2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Sep 2023, Toronto, Canada. pp.80-85, ⟨10.1109/ACSOS-C58168.2023.00042⟩. ⟨hal-04362233⟩
Accès au bibtex

ref_biblio: Ada Diaconescu, David King, Kirstie Bellman, Christopher Landauer, Phyllis Nelson. Towards systems that dynamically change and evaluate abstractions. 13th Conference on Cognitive Situation Management (CogSIMA), Oct 2023, Philadelphia, United States. ⟨hal-04362439⟩
Accès au bibtex

ref_biblio: Angelo Ferrando, Vadim Malvone. Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. AAMAS, May 2023, London, United Kingdom. ⟨hal-04336296⟩
Accès au bibtex

ref_biblio: Angelo Ferrando, Vadim Malvone. How to Find Good Coalitions to Achieve Strategic Objectives. 15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbon, Portugal. pp.105-113, ⟨10.5220/0011778700003393⟩. ⟨hal-04336255⟩
Accès au 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

ref_biblio: Romain Lefeuvre, Jessie Galasso, Benoit Combemale, Houari Sahraoui, Stefano Zacchiroli. Fingerprinting and Building Large Reproducible Datasets. ACM REP 2023 - ACM Conference on Reproducibility and Replicability, Jun 2023, Santa Cruz, United States. pp.27-36, ⟨10.1145/3589806.3600043⟩. ⟨hal-04132604⟩
Accès au texte intégral et bibtex

ref_biblio: Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner. From the Standards to Silicon : Formally Proved Memory Controllers. NFM 2023 : NASA Formal Methods Symposium, NASA Formal Methods, May 2023, Houston (TX), United States. pp.295-311, ⟨10.1007/978-3-031-33170-1_18⟩. ⟨hal-04337961⟩
Accès au bibtex

ref_biblio: Vadim Malvone. The Impact of Strategies and Information in Model Checking for Multi-Agent Systems. AREA 2023, Sep 2023, Krakow (Cracovie), Poland. pp.63-70, ⟨10.4204/EPTCS.391.8⟩. ⟨hal-04336278⟩
Accès au bibtex

ref_biblio: Gerard Memmi. Minimal Generating Sets for Semiflows. 43th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2023, Lisbon, Portugal. pp.189-205, ⟨10.1007/978-3-031-35355-0_12⟩. ⟨hal-04731934⟩
Accès au texte intégral et bibtex

ref_biblio: Marius Pol, Ada Diaconescu. A Data-Driven Approach for Modeling Unknown Multi-Scale Systems. 2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Sep 2023, Toronto, Canada. pp.35-40, ⟨10.1109/ACSOS-C58168.2023.00033⟩. ⟨hal-04362215⟩
Accès au bibtex

ref_biblio: Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli. Program Semantics and Verification Technique for AI-Centred Programs. FM 2023 : 25th International Symposium on Formal Methods, Formal Methods Europe (FME), Mar 2023, Lubeck, Germany. pp.473-491, ⟨10.1007/978-3-031-27481-7_27⟩. ⟨hal-04336339⟩
Accès au bibtex

ref_biblio: Jules Ronné, Laura Dubuis, Thomas Robert. Experimental evaluation of Rideability Index as a Handling quality indicator. 11th International Cycling Safety Conference, Nov 2023, The Hague, Netherlands. ⟨hal-04984657⟩
Accès au 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

ref_biblio: Andrei Tonkikh, Pavel Ponomarev, Petr Kuznetsov, Yvonne-Anne Pignolet. CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared Accounts. CCS '23: ACM SIGSAC Conference on Computer and Communications Security, Nov 2023, Copenhagen Denmark, France. pp.1556-1570, ⟨10.1145/3576915.3616587⟩. ⟨hal-04337963⟩
Accès au 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

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

ref_biblio: Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde. Reasoning about Moving Target Defense in Attack Modeling Formalisms. MTD'22: Proceedings of the 9th ACM Workshop on Moving Target Defense, Nov 2022, Los Angeles CA USA, United States. pp.55-65, ⟨10.1145/3560828.3564009⟩. ⟨hal-04336316⟩
Accès au 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

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 texte intégral et bibtex

ref_biblio: Adda-Akram Bendoukha, Oana Stan, Renaud Sirdey, Nicolas Quero, Luciano Freitas. Practical homomorphic evaluation of block-cipher-based hash functions with applications. 15th International Symposium on Foundations & Practice of Security, Dec 2022, Ottawa, Canada. pp.88-103, ⟨10.1007/978-3-031-30122-3_6⟩. ⟨cea-04463301⟩
Accès au texte intégral et bibtex

ref_biblio: João Paulo Bezerra, Petr Kuznetsov. Brief Announcement: How to Tame Multiple Spending in Decentralized Cryptocurrencies. PODC '22: ACM Symposium on Principles of Distributed Computing, Jul 2022, Salerno (Italy), Italy. pp.427-429, ⟨10.1145/3519270.3538465⟩. ⟨hal-04337953⟩
Accès au 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, Taiwan. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩. ⟨hal-03867187⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Catta, Jean Leneutre, Vadim Malvone. Subset sabotage games & attack graphs. WOA 2022 - 23rd Workshop From Objects to Agents, Sep 2022, Genova, Italy. ⟨hal-04336385⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Catta, Jean Leneutre, Vadim Malvone. Towards a Formal Verification of Attack Graphs. SPIRIT 2022 - Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, Nov 2022, Udine, Italy. ⟨hal-04336392⟩
Accès au texte intégral et bibtex

ref_biblio: Hassan Chaitou, Thomas Robert, 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

ref_biblio: Ada Diaconescu, David King, Kirstie Bellman, Christopher Landauer, Phyllis Nelson. Lensing: It is All About Perspective. 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Sep 2022, CA, United States. pp.119-125, ⟨10.1109/ACSOSC56246.2022.00044⟩. ⟨hal-04362200⟩
Accès au bibtex

ref_biblio: Ada Diaconescu, Etienne Houze, Jean-Louis Dessalles, Hans Vangheluwe, Romain Franceschini. Multi-scale model-based explanations for cyber-physical systems. MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering : Companion Proceedings Languages and Systems, Oct 2022, Montreal Quebec, Canada. pp.684-691, ⟨10.1145/3550356.3561554⟩. ⟨hal-04362328⟩
Accès au 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

ref_biblio: Angelo Ferrando, Vadim Malvone. Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems. PAAMS, Jul 2022, L'aquila, Italy. ⟨hal-04336322⟩
Accès au bibtex

ref_biblio: Angelo Ferrando, Vadim Malvone. Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa. SPIRIT, Nov 2022, Udine, Italy. ⟨hal-04336398⟩
Accès au bibtex

ref_biblio: Angelo Ferrando, Vadim Malvone. Runtime Verification with Imperfect Information Through Indistinguishability Relations. SEFM 2022: 20th International Conference on Software Engineering and Formal Methods, Institute of Computer Science of Humboldt University Berlin (DE); School of Electronic and Information Engineering of Beijing Jiaotong University (CN), Sep 2022, Berlin, Germany. pp.335-351, ⟨10.1007/978-3-031-17108-6_21⟩. ⟨hal-04336329⟩
Accès au bibtex

ref_biblio: Luciano Freitas, Petr Kuznetsov, Andrei Tonkikh. Distributed Randomness from Approximate Agreement. DISC 2022 : 36th International Symposium on Distributed Computing, Oct 2022, Augusta, GA, United States. ⟨10.4230/LIPICS.DISC.2022.24⟩. ⟨hal-04337948⟩
Accès au bibtex

ref_biblio: Luciano Freitas, Petr Kuznetsov, Andrei Tonkikh. Brief Announcement. PODC '22: ACM Symposium on Principles of Distributed Computing, Jul 2022, Salerno Italy, France. pp.103-105, ⟨10.1145/3519270.3538461⟩. ⟨hal-04337935⟩
Accès au bibtex

ref_biblio: Etienne Houze, Ada Diaconescu, Jean-Louis Dessalles, David Menga. A generic and modular reference architecture for self-explainable smart homes. 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Sep 2022, Califonia, United States. pp.101-110, ⟨10.1109/ACSOS55765.2022.00028⟩. ⟨hal-04362167⟩
Accès au 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

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

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

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

ref_biblio: Rakshit Mittal, Dominique Blouin. OSATE-DIM solves 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. pp.1-6, ⟨10.1145/3550356.3559083⟩. ⟨hal-04497323⟩
Accès au bibtex

ref_biblio: Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson. Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services. 2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA), Dec 2022, Nassau, Bahamas. pp.7-14, ⟨10.1109/ICMLA55696.2022.00010⟩. ⟨hal-03860833⟩
Accès au texte intégral et 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

ref_biblio: Davide Rossi, Stefano Zacchiroli. Geographic Diversity in Public Code Contributions. The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528471⟩. ⟨hal-03622621⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Rossi, Stefano Zacchiroli. Worldwide Gender Differences in Public Code Contributions. 44th International Conference on Software Engineering (ICSE 2022) - Software Engineering in Society (SEIS) Track, May 2022, Pittsburgh, PA, United States. ⟨10.1145/3510458.3513011⟩. ⟨hal-03571837⟩
Accès au texte intégral et 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

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

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

ref_biblio: Payam Zahadat, Ada Diaconescu. The Impact of Multi-scale Control Topology on Asset Distribution in Dynamic Environments. 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Sep 2022, CA, United States. pp.31-36, ⟨10.1109/ACSOSC56246.2022.00023⟩. ⟨hal-04353671⟩
Accès au 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

ref_biblio: Thomas Attema, Ronald Cramer, Matthieu Rambaud. Compressed Σ-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures. Asiacrypt, Dec 2021, Singapore, Singapore. pp.526-556, ⟨10.1007/978-3-030-92068-5_18⟩. ⟨hal-03800630⟩
Accès au 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

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

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

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. Crypto, Aug 2021, Virtual event, France. pp.656-686, ⟨10.1007/978-3-030-84252-9_22⟩. ⟨hal-03800642⟩
Accès au bibtex

ref_biblio: Ada Diaconescu, Dominique Blouin, Alice Ludvig. Multi-paradigm Modelling for Policy-driven Socio-technical Systems. 1st Workshop on Agent-based Modeling and Policy-Making (AMPM2021), Dec 2021, Vulnius, Lithuania. ⟨hal-04362355⟩
Accès au 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

ref_biblio: Angelo Ferrando, Vadim Malvone. Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall. AAMAS, May 2021, Online, United Kingdom. ⟨hal-04336405⟩
Accès au bibtex

ref_biblio: Angelo Ferrando, Vadim Malvone. Combine Model Checking and Runtime Verification in Multi-Agent Systems. ICTCS, Sep 2021, Bologna, Italy. ⟨hal-04336413⟩
Accès au bibtex

ref_biblio: Luciano Freitas, Petr Kuznetsov, Thibault Rieutord, Sara Tucci. Accountability and reconfiguration: self-healing lattice agreement. OPODIS 2021 - 25th International Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France. pp.25, ⟨10.4230/LIPIcs.OPODIS.2021.25⟩. ⟨cea-04484628⟩
Accès au texte intégral et 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

ref_biblio: Etienne Houze, Ada Diaconescu, Jean-Louis Dessalles. Using Decentralised Conflict-Abduction-Negation in Policy-making. 1st Workshop on Agent-based Modeling and Policy-Making (AMPM2021), Dec 2021, Vulnius, Lithuania. ⟨hal-04362362⟩
Accès au 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

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

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

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

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

ref_biblio: Vadim Malvone, Silvia Stranieri. Towards a Model Checking Tool for Strategy Logic with Simple Goals. ICTCS, Sep 2021, Bologna, Italy. ⟨hal-04336416⟩
Accès au bibtex

ref_biblio: Patricia Mellodge, Ada Diaconescu, Louisa Jane Di Felice. Timing configurations affect the macro-properties of multi-scale feedback systems. 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Sep 2021, Washington, United States. pp.100-109, ⟨10.1109/ACSOS52086.2021.00032⟩. ⟨hal-04362293⟩
Accès au 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

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

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. Asiacrypt, Dec 2020, Daejeon, Korea, South Korea. pp.151-180, ⟨10.1007/978-3-030-64840-4_6⟩. ⟨hal-03800662⟩
Accès au bibtex

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

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

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

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

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

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

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

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

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

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

ref_biblio: Petr Kuznetsov, Thibault Rieutord. Brief announcement: on decidability of 2-process affine models. DISC 2020 - : 34th International Symposium on Distributed Computing, Oct 2020, Virtual event, France. pp.54:1-54:3, ⟨10.4230/LIPIcs.DISC.2020.54⟩. ⟨hal-03022583⟩
Accès au texte intégral et bibtex

ref_biblio: Petr Kuznetsov, Andrei Tonkikh. Asynchronous Reconfiguration with Byzantine Failures. DISC, Oct 2020, VIRTUAL, France. ⟨hal-03022581⟩
Accès au 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

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

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

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

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

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

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

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

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

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, Sweden. pp.137-142, ⟨10.1109/SASO.2019.00025⟩. ⟨hal-02449657⟩
Accès au 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

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

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

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

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

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

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

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

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

ref_biblio: Marius Pol, Jean-Louis Dessalles, Ada Diaconescu. Explanatory AI for Pertinent Communication in Autonomic Systems. Intelligent Systems and Applications - Proceedings of the 2019 Intelligent Systems Conference, IntelliSys 2019, Sep 2019, Londres, United Kingdom. pp.212-227, ⟨10.1007/978-3-030-29516-5_16⟩. ⟨hal-02449644⟩
Accès au 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

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

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

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

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

ref_biblio: Kirstie Bellman, Jean Botev, Ada Diaconescu, Lukas Esterle, Christian Gruhl, et al.. Self-Improving System Integration - Status and Challenges after Five Years of SISSY. 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), Sep 2018, Trento, Italy. pp.160-167, ⟨10.1109/FAS-W.2018.00042⟩. ⟨hal-04362422⟩
Accès au 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

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

ref_biblio: Ada Diaconescu, Sven Tomforde, Christian Müller-Schloer. Holonic Cellular Automata: Modelling Multi-level Self-organisation of Structure and Behaviour. The 2018 Conference on Artificial Life, Jul 2018, Tokyo, Japan. pp.186-193, ⟨10.1162/isal_a_00040⟩. ⟨hal-04362430⟩
Accès au 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

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

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

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

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

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

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

ref_biblio: Anthony Stein, Sven Tomforde, Ada Diaconescu, Jörg Hähner, Christian Müller-Schloer. A Concept for Proactive Knowledge Construction in Self-Learning Autonomous Systems. 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), Sep 2018, Trento (Italy), Italy. pp.204-213, ⟨10.1109/FAS-W.2018.00048⟩. ⟨hal-01996487⟩
Accès au 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

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

ref_biblio: Matthias Barkowski, Melanie Schneider, Holger Giese, Johannes Dyck, Dalila Tamzalit, et al.. A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models. 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Sep 2017, Lisbon, France. ⟨10.1109/REW.2017.52⟩. ⟨hal-01873945⟩
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio: Yanjun Sun, Gérard Memmi, Sylvie Vignes. Model-Based Veriﬁcation Directed by Structural Coverage and Functional Requirements. Model-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria. ⟨hal-02287373⟩
Accès au 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

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

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

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

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

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

ref_biblio: Petr Kuznetsov, Srivatsan Ravi. Progressive Transactional Memory in Time and Space. PaCT, Sep 2015, Petrozavodsk, Russia. ⟨hal-02287223⟩
Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2010

ref_biblio: Elie Najm. Service Orchestration with Orcharts and Typecharts. Seminaire INRIA, Mar 2010, Rennes, France. ⟨hal-02278638⟩
Accès au 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

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

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

Book sections

2025

ref_biblio: Georgios Bakirtzis, Andrea Aler Tubella, Andreas Theodorou, David Danks, Ufuk Topcu. Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AI. Bi-directionality in Human-AI Collaborative Systems, Academic Press, 2025, 9780443405532. ⟨10.1016/B978-0-44-340553-2.00019-8⟩. ⟨hal-05111854⟩
Accès au texte intégral et bibtex

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

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

2021

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

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

ref_biblio: Florian Brandner, Diego Novillo. Propagating Information Using SSA. SSA-based Compiler Design, Springer International Publishing, pp.95-106, 2021, 978-3-030-80514-2. ⟨10.1007/978-3-030-80515-9_8⟩. ⟨hal-04341913⟩
Accès au 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

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

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

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

2020

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

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

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

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

2018

ref_biblio: Jeremy Pitt, Ada Diaconescu, Josiah Ober. Knowledge Management for Democratic Governance of Socio-Technical Systems. The Future of Digital Democracy: An Interdisciplinary Approach, 11300, Springer International Publishing, pp.38-61, 2018, 978-3-030-05332-1. ⟨10.1007/978-3-030-05333-8_4⟩. ⟨hal-01996453⟩
Accès au 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

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

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

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

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

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

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

ref_biblio: Thomas Robert, Jérôme Hugues. Analyse à 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

Habilitation à diriger des recherches

2019

ref_biblio: Etienne Borde. Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems. Computer Science [cs]. Sorbonne Universite, 2019. ⟨tel-04339297⟩
Accès au texte intégral et bibtex

Other publications

2022

ref_biblio: Mathieu O'Neil, Laure Muselli, Fred Pailler, Stefano Zacchiroli. Le pillage de la communauté des logiciels libres. 2022, pp.20-21. ⟨hal-04526477⟩
Accès au texte intégral et 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

2018

ref_biblio: Petr Kuznetsov, Rachid Guerraoui. Algorithms for concurrent systems. 2018. ⟨hal-04517804⟩
Accès au 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

Patents

2023

ref_biblio: Florient Champenois, Florian Brandner, Thierry Grandpierre. Procédé de calcul d’un pire temps de transmission, programme d’ordinateur et système informatique associés. France, N° de brevet: 2312310 (n°de dépôt). 2023. ⟨hal-04516962⟩
Accès au bibtex

ref_biblio: Sameh Khalfaoui, Arthur Villard, Jingxuan MA, Jean Leneutre. Pairing Method. France, Patent n° : EP3913951. 2023. ⟨hal-04427695⟩
Accès au bibtex

ref_biblio: Sameh Khalfaoui, Arthur Villard, Jingxuan Ma, Jean Leneutre. Procédé et système d’authentification par un équipement vérificateur d’un dispositif à authentifier équipé d’un circuit PUF. France, Patent n° : FR3124870. 2023. ⟨hal-04427708⟩
Accès au bibtex

2022

ref_biblio: Sameh Khalfaoui, Arthur Villard, Jingxuan MA, Jean Leneutre. Procédé d'appairage. France, N° de brevet: FR3110796. 2022. ⟨hal-04427706⟩
Accès au bibtex

2019

ref_biblio: Farouk Hebbache, Mathieu Jan, Florian Brandner, Laurent Pautet. Time-division multiplexing method and circuit for concurrent access to a computer resource. United States, Patent n° : US20210397488A1. 2019. ⟨hal-04487715⟩
Accès au bibtex

ref_biblio: Farouk Hebbache, Mathieu Jan, Florian Brandner, Laurent Pautet. Time-division multiplexing method and circuit for concurrent access to a computer resource. France, Patent n° : EP3850486A1. 2019. ⟨hal-04487723⟩
Accès au bibtex

2018

ref_biblio: Mathieu Jan, Farouk Hebbache, Florian Brandner, Laurent Pautet. Procede et circuit de multiplexage temporel d'acces concurrents a une ressource informatique. France, Patent n° : FR3087982A1. 2018. ⟨hal-04487710⟩
Accès au bibtex

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

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

Proceedings

2023

ref_biblio: Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi. Capacity ATL. Pre-print arXiv:2308.11039, 2023. ⟨hal-04427586⟩
Accès au bibtex

ref_biblio: Vadim Malvone, Aniello Murano. Multi-Agent Systems. EUMAS 2023, 14282, Springer Cham, pp.XX-554, 2023, Lecture Notes in Computer Science, 978-3-031-43263-7. ⟨10.1007/978-3-031-43264-4⟩. ⟨hal-04336283⟩
Accès au bibtex

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

ref_biblio: Luciano Freitas de Souza, Andrei Tonkikh, Sara Tucci-Piergiovanni, Renaud Sirdey, Oana Stan, et al.. RandSolomon: Optimally Resilient Random Number Generator with Deterministic Termination. 25th International Conference on Principles of Distributed Systems (OPODIS 2021), 217, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, pp.23:1-23:16, 2022, Leibniz International Proceedings in Informatics (LIPIcs), ⟨10.4230/LIPIcs.OPODIS.2021.23⟩. ⟨hal-04460195⟩
Accès au bibtex

2021

ref_biblio: Joaquin Garcia‐alfaro, Jean Leneutre, Nora Cuppens, Reda 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-03628457⟩
Accès au bibtex

Reports

2025

ref_biblio: Florian Brandner, Mihail Asăvoae, Jean-Luc Bechennec, Thomas Carle, Hugues Cassé, et al.. Deliverable D2.1: Study of Timing Anomalies Documented in the Literature. VERIMAG UMR 5104, Université Grenoble Alpes, France. 2025, pp.1-32. ⟨hal-05109685⟩
Accès au texte intégral et bibtex

2024

ref_biblio: Victor Languille, David Menga, Gerard Memmi. Fairness-Privacy Issue in Adaptation of ZEXE Protocol for Exchange Between Untrusted Parties. Telecom Paris; EdF; Institut polytechnique de Paris. 2024. ⟨hal-04445164⟩
Accès au texte intégral et bibtex

ref_biblio: Lucas Massoni Sguerra, Pierre Jouvelot, Fabien Coelho, Emilio Jesús Gallego Arias, Gérard Memmi. The Price of Smart Contract Privacy. E/465/CRI, Mines Paris - PSL. 2024. ⟨hal-04702045⟩
Accès au texte intégral et bibtex

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

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

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

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

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

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

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

Preprints, Working Papers, ...

2025

ref_biblio: Olivier Barais, Roberto Di Cosmo, Ludovic Mé, Stefano Zacchiroli, Olivier Zendra. Software Identification for Cybersecurity: Survey and Recommendations for Regulators. 2025. ⟨hal-05009757⟩
Accès au texte intégral et bibtex

ref_biblio: Xhevahire Tërnava, Georges Aaron Randrianaina, Luc Lesoil, Mathieu Acher. Small Yet Configurable: Unveiling Null Variability in Software. 2025. ⟨hal-05097580⟩
Accès au texte intégral et bibtex

2022

ref_biblio: Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde. Reasoning about Moving Target Defense in Attack Modeling Formalisms. 2022. ⟨hal-04427676⟩
Accès au 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

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