Latest publications

Julian Garbiso, Ada Diaconescu, Marceau Coupechoux, Bertrand Leroy. Fair Self-Adaptive Clustering for Hybrid Cellular-Vehicular Networks. IEEE Transactions on Intelligent Transportation Systems, IEEE, 2021, 22 (2), pp.1225-1236. ⟨hal-02421005⟩
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⟩
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⟩
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, American Mathematical Society, 2020, ⟨10.1090/tran/8119⟩. ⟨hal-02075926⟩
Farouk Hebbache. Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems. Hardware Architecture [cs.AR]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT044⟩. ⟨tel-02494421⟩
Petr Kuznetsov, Thibault Rieutord, Sara Tucci-Piergiovanni. Reconfigurable Lattice Agreement and Applications. [Research Report] Institut Polytechnique Paris; CEA List. 2019. ⟨cea-02321547⟩
Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet. Arbitration-Induced Preemption Delays. 31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩. ⟨hal-02447339⟩
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⟩
Jacques Samain. Improving quality of experience in multimedia streaming by leveraging Information-Centric Networking. Networking and Internet Architecture [cs.NI]. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLT012⟩. ⟨tel-02164014⟩
Roberto Medina. Deployment of mixed criticality and data driven systems on multi-cores architectures. Embedded Systems. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLT004⟩. ⟨tel-02086680⟩
Roberto Medina, Etienne Borde, Laurent Pautet. Scheduling Multi-Periodic Mixed-Criticality DAGs on Multi-Core Architectures. 39th IEEE Real-Time Systems Symposium (RTSS 2018), Dec 2018, Nashville, TN, United States. ⟨10.1109/RTSS.2018.00042⟩. ⟨hal-01994627⟩
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⟩
Vitalii Aksenov, Dan Alistarh, Petr Kuznetsov. Brief Announcement: Performance Prediction for Coarse-Grained Locking. PODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩. ⟨hal-01887733⟩
Stephen Marsh, Ada Diaconescu, David Evans, Tracy Kosa, Peter Lewis, et al.. Public Privacy and Brick Houses Made of Glass. 12th IFIP International Conference on Trust Management (TM), Jul 2018, Toronto, ON, Canada. pp.137-148, ⟨10.1007/978-3-319-95276-5_10⟩. ⟨hal-01855989⟩
Aida Diop, Said Gharout, Maryline Laurent, Jean Leneutre, Jacques Traoré. Questioning the security and efficiency of the ESIoT approach. WISEC 2018: 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2018, Stockholm, Sweden. pp.202 - 207, ⟨10.1145/3212480.3212491⟩. ⟨hal-01850383⟩
Petr Kuznetsov, Thibault Rieutord. Affine Tasks for k-Test-and-Set. 2018. ⟨hal-01810601v1⟩
Vitalii Aksenov, Petr Kuznetsov, Anatoly Shalyto. On Helping and Stacks. The International Conference on Networked Systems, May 2018, Essaouira, Morocco. ⟨hal-01888607⟩
Damien Imbs, Petr Kuznetsov, Thibault Rieutord. Progress-Space Tradeoffs in Single-Writer Memory Implementations. 21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisbon, Portugal. ⟨10.4230/LIPIcs.OPODIS.2017.9⟩. ⟨hal-01787848⟩
Karel de Vogeleer, Kameswar Rao Vaddina, Florian Brandner, Pierre Jouvelot, Gérard Memmi. Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity Rule. The Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017), Oct 2017, Nanjing, China. pp.1-10. ⟨hal-01622778⟩
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⟩
Petr Kuznetsov, Thibault Rieutord, Yuan He. An Asynchronous Computability Theorem for Fair Adversaries. 2017. ⟨hal-01572257v4⟩
Gerard Memmi, Matthieu Rambaud. Note sur la cryptanalyse de Diffie-Hellman. Génie logiciel, C & S, 2017. ⟨hal-03022599⟩
Karel de Vogeleer, Gerard Memmi, Pierre Jouvelot. Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application Processors. Sustainable Computing : Informatics and Systems, Elsevier, 2017, 15, pp.16-27. ⟨10.1016/j.suscom.2017.05.001⟩. ⟨hal-01531295⟩
Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, et al.. Formal semantics of behavior specifications in the architecture analysis and design language standard. HLDVT 2016 - 18th IEEE International High-Level Design Validation and Test Workshop, Oct 2016, Santa Cruz, United States. pp.30-39, ⟨10.1109/HLDVT.2016.7748252⟩. ⟨hal-01419968⟩
Petr Dmitriev, Yara Bou Saada, Carla Dib, Eugénie Ansseau, Ana Barat, et al.. DUX4-induced constitutive DNA damage and oxidative stress contribute to aberrant differentiation of myoblasts from FSHD patients. Free Radical Biology and Medicine, Elsevier, 2016, 99, pp.244 - 258. ⟨10.1016/j.freeradbiomed.2016.08.007⟩. ⟨hal-01804819⟩
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord. Perfect Failure Detection with Very Few Bits. [Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016. ⟨hal-01365304⟩
Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani. Complexité du consensus anonyme en l'absence de concurrence. ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France. ⟨hal-01304268v2⟩
Loïc Besnard, Thierry Gautier, Paul Le Guernic, Clément Guy, Jean-Pierre Talpin, et al.. Formal semantics of behavior specifications in the architecture analysis and design language standard. [Research Report] RR-8950, INRIA. 2016, pp.30 - 39. ⟨hal-01419973⟩
Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani. Brief Announcement: On the Uncontended Complexity of Anonymous Consensus. DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨hal-01207895⟩
Petr Kuznetsov, Srivatsan Ravi. Grasping the Gap between Blocking and Non-Blocking Transactional Memories . DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_16⟩. ⟨hal-01206451⟩

Latest publications