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/
Journal articles
2024
- 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
- 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
2023
- ref_biblio
- Francesco Belardinelli, Angelo Ferrando, Vadim Malvone. An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. Artificial Intelligence, 2023, 316, pp.103847. ⟨10.1016/j.artint.2022.103847⟩. ⟨hal-03960910⟩
- Accès au bibtex
- 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. CoRR, 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. CoRR, 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
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, 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
- 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
- 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
- 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
- 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
- Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud. Formal Analysis of C-ITS PKI protocols. SECRYPT : International Conference on Information Security and Cryptography, Jul 2024, Dijon, France. ⟨hal-04620494⟩
- 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, 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
- 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
- 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, 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, 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. 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
- 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
- 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
- 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. 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
- 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
- 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, Borja G. León, Vadim Malvone. Enabling Markovian Representations under Imperfect Information. 14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩. ⟨hal-03779034⟩
- Accès au bibtex
- 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
- 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. 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
- 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
- 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. 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
- 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
- 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. Combine Model Checking and Runtime Verification in Multi-Agent Systems. ICTCS, Sep 2021, Bologna, Italy. ⟨hal-04336413⟩
- Accès au 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
- 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, 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
- 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, 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
- 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, 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
- 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
- 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. 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. 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. 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. Model-Based Verification Directed by Structural Coverage and Functional Requirements. Model-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria. ⟨hal-02287373⟩
- Accès au bibtex
- 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
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. 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
- 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
- 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. 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. 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. 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
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, 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
- 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
- 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. 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
- 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
- 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 à 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. 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
- ref_biblio
- Sameh Khalfaoui, Arthur Villard, Jingxuan MA, Jean Leneutre. Pairing Method. France, Patent n° : EP3913951. 2023. ⟨hal-04427695⟩
- 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
- Romain Lefeuvre, Jessie Galasso, Benoit Combemale, Houari Sahraoui, Stefano Zacchiroli. Fingerprinting and Building Large Reproducible Datasets. ACM REP '23: Proceedings of the 2023 ACM Conference on Reproducibility and Replicability, 2023, ⟨10.5281/zenodo.7989955⟩. ⟨hal-04132604⟩
- Accès au texte intégral et 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
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, ...
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