Gilles Nies

According to our database, Gilles Nies authored at least 8 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Quantification of Battery Depletion Risk Made Efficient.

Holger Hermanns, Gilles Nies

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

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

2020

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

2019

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

2018

Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study.

Juan A. Fraire, Gilles Nies, Holger Hermanns, Kristian Bay, Morten Bisgaard

Proceedings of the IEEE Global Communications Conference, 2018

2017

How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty.

Holger Hermanns, Jan Krcál, Gilles Nies

Leibniz Trans. Embed. Syst., 2017

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata.

Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns

Proceedings of the Formal Methods and Software Engineering, 2017

2015

Recharging Probably Keeps Batteries Alive.

Holger Hermanns, Jan Krcál, Gilles Nies

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015