Gilles Nies
Gilles Nies
PhD Student, Dependable Systems and Software, Saarland Informatics Campus, Saarland University
Verified email at cs.uni-saarland.de
Title
Cited by
Cited by
Year
Battery-aware scheduling in low orbit: the GomX–3 case
M Bisgaard, D Gerhardt, H Hermanns, J Krčál, G Nies, M Stenger
Formal Aspects of Computing 31 (2), 261-285, 2019
322019
How is your satellite doing? Battery kinetics with recharging and uncertainty
H Hermanns, J Krčál, G Nies
Leibniz Transactions on Embedded Systems 4 (1), 04-1-04: 28, 2017
152017
Recharging probably keeps batteries alive
H Hermanns, J Krčál, G Nies
International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2015
152015
Battery-aware contact plan design for LEO satellite constellations: The Ulloriaq case study
JA Fraire, G Nies, H Hermanns, K Bay, M Bisgaard
2018 IEEE Global Communications Conference (GLOBECOM), 1-7, 2018
142018
Mastering Operational Limitations of LEO Satellites–The
G Nies, M Stenger, J Krcál, H Hermanns
Theoretical Computer Science 126, 183-235, 2016
11*2016
Pareto optimal reachability analysis for simple priced timed automata
Z Zhang, B Nielsen, KG Larsen, G Nies, M Stenger, H Hermanns
International Conference on Formal Engineering Methods, 481-495, 2017
52017
On the scalability of battery‐aware contact plan design for LEO satellite constellations
JA Fraire, C Gerstacker, H Hermanns, G Nies, M Bisgaard, K Bay
International Journal of Satellite Communications and Networking 39 (2), 193-204, 2021
12021
Battery-Aware Contact Plan Design for LEO Satellite
JA Fraire, G Nies, H Hermanns, K Bay
IEEE Sensors Journal 14 (11), 3874-3882, 2014
2014
Representations of Boolean Functions in Constructive Type Theory
G Nies
Saarland University, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–9