• 
  Agnès Comte, Alexandra Grout, Anne Crance, Maxime Nebule, Romain Cassiaux, et al.. Guide de bonnes pratiques numérique responsable pour les organisations. Direction interministérielle du numérique (DINUM); MiNumEco, mission interministérielle numérique écoresponsable; Ministère de la Transition écologique et de la Cohésion des territoires; Institut du Numérique Responsable (INR); EcoInfo. 2023. ⟨hal-04556114⟩
• 
  Philippe Ciblat, Jacques Combaz, Marceau Coupechoux, Kevin Marquet, Anne-Cécile Orgerie. Effets environnementaux de la 5G. 1024 : Bulletin de la Société Informatique de France, 2024, 23, pp.53-72. ⟨10.48556/SIF.1024.23.53⟩. ⟨hal-03810501v2⟩
• 
  François Bérard. Congruent Indirect Touch vs. mouse pointing performance. International Journal of Human-Computer Studies, 2024, 187, pp.103261. ⟨10.1016/j.ijhcs.2024.103261⟩. ⟨hal-04522270⟩
• 
  Baptiste de Goër, Hersch Micha, Sophie Quinton. Informatique et durabilité, une difficile transposition didactique. DidaSTIC 2024 - Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, Jan 2024, Louvain-La-Neuve, Belgique. pp.23-32. ⟨hal-04482133⟩
• 
  Sophie Quinton, Jean-Bernard Stefani. Taking conviviality seriously (extended abstract). 2024 - 1st conference on Undone Science in Computer Science, Feb 2024, Nantes, France. pp.1-4. ⟨hal-04448759⟩
• 
  Baptiste de Goër, Micha Hersch, Sophie Quinton. Informatique et durabilité, une difficile transposition didactique. Didapro 10 2024 - Didactique de l'informatique et des STIC, Jan 2024, Louvain-la-Neuve, Belgique. pp.1-10. ⟨hal-04448717⟩
• 
  Gauthier Roussilhe, Anne-Laure Ligozat, Sophie Quinton. A long road ahead: a review of the state of knowledge of the environmental effects of digitization. Current Opinion in Environmental Sustainability, 2023, 62, pp.101296. ⟨10.1016/j.cosust.2023.101296⟩. ⟨hal-04448683⟩
• 
  Boubacar Diarra, Karine Guillouard, Meryem Ouzzif, Philippe Merle, Jean-Bernard Stefani. In-depth analysis of Kubernetes manifest verification tools for robust CNF deployment. ICIN 2024 - Conference on Innovation in Clouds, Internet and Networks, DNAC, Mar 2024, Paris, France. pp.1-8. ⟨hal-04421758⟩
• 
  Pascal Fradet, Xiaojie Guo, Sophie Quinton. CertiCAN : Certifying CAN Analyses and Their Results. Real-Time Systems, 2023, 59 (2), pp.160-198. ⟨10.1007/s11241-023-09393-2⟩. ⟨hal-03941096⟩
• 
  Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet. Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled. ICT4S 2023 - 9th International Conference on Information and Communications Technology for Sustainability, Jun 2023, Rennes, France. pp.120-131, ⟨10.1109/ICT4S58814.2023.00021⟩. ⟨hal-04401006⟩
• 
  Alexandre Honorat, Hai Nam Tran, Thierry Gautier, Loïc Besnard, Shuvra S. Bhattacharyya, et al.. Real-Time Fixed Priority Scheduling Synthesis using Affine DataFlow Graphs: from Theory to Practice. ACM Transactions on Embedded Computing Systems (TECS), 2023, pp.1-30. ⟨10.1145/3615586⟩. ⟨hal-04200195⟩
• 
  Alexandre Honorat, Mickaël Dardaillon, Hugo Miomandre, Jean-François Nezan. Automated Buffer Sizing of Dataflow Applications in a High-Level Synthesis Workflow. ACM Transactions on Reconfigurable Technology and Systems (TRETS), 2024, 17 (1), pp.1-26. ⟨10.1145/3626103⟩. ⟨hal-04237266⟩
• 
  Eugene Yip, Alain Girault, Partha S Roop, Morteza Biglari-Abhari. Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC. ACM Transactions on Programming Languages and Systems (TOPLAS), 2023, 45 (2), pp.1-74. ⟨10.1145/3591594⟩. ⟨hal-04338823⟩
• 
  Charles K. Assaad, Emilie Devijver, Eric Gaussier, Gregor Gössler, Anouar Meynaoui. Identifiability of total effects from abstractions of time series causal graphs. 2023. ⟨hal-04250602v2⟩
• 
  Vincent Bonczak, Pascal Fradet. A formally verified circuit transformation to tolerate SEMTs. RR-9523, Inria Grenoble - Rhône-Alpes. 2023, pp.1-25. ⟨hal-04236869⟩
• 
  Aurélie Kong Win Chang, Jerome Feret, Gregor Gössler. A Semantics of Core Erlang with Handling of Signals. Erlang 2023 - 22nd ACM SIGPLAN International Workshop on Erlang, Sep 2023, Seattle WA, United States. pp.31-38, ⟨10.1145/3609022.3609417⟩. ⟨hal-04222884⟩
• 
  Pascal Fradet, Alain Girault, Alexandre Honorat. Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization. LCTES 2023 - 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2023, Orlando (FL), United States. pp.76-86, ⟨10.1145/3589610.3596280⟩. ⟨hal-04163123⟩
• 
  Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. A Behavioral Theory For Crash Failures and Erlang-style Recoveries In Distributed Systems. RR-9511, Inria. 2023. ⟨hal-04123758⟩
• 
  Emmanuel Beffara, Martin Bodin, Nadine Mandran, Rémi Molinier. Instrumentation de l'association de registres sémiotiques dans un assistant de preuve. EIAH2023 - 11ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain, Association des Technologies de l’Information pour l’Éducation et la Formation, Jun 2023, Brest, France. pp.1-5. ⟨hal-04096240⟩
• 
  Aina Rasoldier, Jacques Combaz, Alain Girault, Kevin Marquet, Sophie Quinton. How realistic are claims about the benefits of using digital technologies for GHG emissions mitigation?. LIMITS 2022 - Eighth Workshop on Computing within Limits, Jun 2022, Virtual, France. ⟨hal-03949261⟩

124

42