• 
  Bruno Gaujal, Alain Girault, Stéphan Plassart. An MDP-Based Solution for the Energy Minimization of Non-Clairvoyant Hard Real-Time Systems. 2024. ⟨hal-02371742v3⟩
• 
  Emmanuel Beffara, Martin Bodin. Un jeu de plateau pour comprendre la dualité en logique. Adjectif : analyses et recherches sur les TICE, 2024, 2024 (1). ⟨hal-04748800⟩
• 
  Aina Rasoldier. Comment évaluer le potentiel d'une solution numérique face à l'urgence écologique ? Application aux plateformes de covoiturage régulier à l'échelle locale. Systèmes embarqués. Université Grenoble Alpes [2020-..], 2024. Français. ⟨NNT : 2024GRALM004⟩. ⟨tel-04702139v2⟩
• 
  Sylvain Bouveret, Aurélie Bugeau, Anne-Cécile Orgerie, Sophie Quinton. De l'eau dans les nuages. Annales des Mines - Enjeux Numériques, 2024, 27, pp.40-47. ⟨hal-04698568⟩
• 
  Pascal Fradet, Alain Girault, Alexandre Honorat. Graph Transformations for Memory Peak Minimization by Scheduling. RR-9554, Inria - Research Centre Grenoble – Rhône-Alpes. 2024, pp.1-42. ⟨hal-04688921⟩
• 
  Baptiste de Goër. Parler de durabilité en cours d'informatique au lycée. 2024. ⟨hal-04644556⟩
• 
  Pietro Lami, Ivan Lanese, Jean-Bernard Stefani. A Small-Step Semantics for Janus. RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.105 - 123, ⟨10.1007/978-3-031-62076-8_8⟩. ⟨hal-04610285⟩
• 
  Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. Reversibility with Holes. RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.69 - 74, ⟨10.1007/978-3-031-62076-8_5⟩. ⟨hal-04610283⟩
• 
  Ivan Lanese, Gregor Gössler. Causal Debugging for Concurrent Systems. RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.3-9, ⟨10.1007/978-3-031-62076-8_1⟩. ⟨hal-04610282⟩
• 
  Charles Assaad, Emilie Devijver, Éric Gaussier, Gregor Gössler, Anouar Meynaoui. Identifiability of total effects from abstractions of time series causal graphs. 40th Conference on Uncertainty in Artificial Intelligence, Association for Uncertainty in Artificial Intelligence (AUAI), Jul 2024, Barcelone, Spain. ⟨hal-04250602v4⟩
• 
  Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti. Reversible debugging of concurrent Erlang programs: Supporting imperative primitives. Journal of Logical and Algebraic Methods in Programming, 2024, 138, pp.100944. ⟨10.1016/j.jlamp.2024.100944⟩. ⟨hal-04575594⟩
• 
  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⟩
• 
  Sebti Mouelhi, Antoine Girard, Gregor Gössler. CoSyMA: A Tool for Controller Synthesis using Multi-scale Abstractions. 16th international conference on Hybrid systems: computation and control, Apr 2013, Philadelphia, United States. pp.83-88, ⟨10.1145/2461328.2461343⟩. ⟨hal-04482406⟩
• 
  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⟩
• 
  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⟩

132

42