Recharging Probably Keeps Batteries Alive. - Holger Hermanns; Jan Krcál; Gilles Nies (CyPhy, 2015)

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. - Zhengkui Zhang; Brian Nielsen; Kim Guldstrand Larsen; Gilles Nies; Marvin Stenger; Holger Hermanns (ICFEM, 2017)

How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty. - Holger Hermanns; Jan Krcál; Gilles Nies (Leibniz Trans. Embed. Syst., 2017)

Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. - Juan A. Fraire; Gilles Nies; Holger Hermanns; Kristian Bay; Morten Bisgaard (GLOBECOM, 2018)

Battery-aware scheduling in low orbit: the GomX-3 case. - Morten Bisgaard; David Gerhardt; Holger Hermanns; Jan Krcál; Gilles Nies; Marvin Stenger (Formal Aspects Comput., 2019)

Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. - Juan A. Fraire; Gilles Nies; Carsten Gerstacker; Holger Hermanns; Kristian Bay; Morten Bisgaard (IEEE Trans. Green Commun. Netw., 2020)

On the scalability of battery-aware contact plan design for LEO satellite constellations. - Juan A. Fraire; Carsten Gerstacker; Holger Hermanns; Gilles Nies; Morten Bisgaard; Kristian Bay (Int. J. Satell. Commun. Netw., 2021)

Quantification of Battery Depletion Risk Made Efficient. - Holger Hermanns; Gilles Nies (NFM, 2022)