Gilles Nies
Gilles Nies
PhD Student, Dependable Systems and Software, Saarland Informatics Campus, Saarland University
Verified email at
Cited by
Cited by
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, 261-285, 2019
Battery-aware contact plan design for LEO satellite constellations: The ulloriaq case study
JA Fraire, G Nies, C Gerstacker, H Hermanns, K Bay, M Bisgaard
IEEE Transactions on Green Communications and Networking 4 (1), 236-245, 2019
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
Mastering Operational Limitations of LEO Satellites–The
G Nies, M Stenger, J Krcál, H Hermanns
Theoretical Computer Science 126, 183-235, 2016
Recharging probably keeps batteries alive
H Hermanns, J Krčál, G Nies
Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International …, 2015
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
Pareto optimal reachability analysis for simple priced timed automata
Z Zhang, B Nielsen, KG Larsen, G Nies, M Stenger, H Hermanns
Formal Methods and Software Engineering: 19th International Conference on …, 2017
Quantification of Battery Depletion Risk Made Efficient
H Hermanns, G Nies
NASA Formal Methods Symposium, 156-174, 2022
Mastering satellite operation: on model-based and data-driven optimal battery-aware scheduling
G Nies
Saarländische Universitäts-und Landesbibliothek, 2021
Battery-Aware Contact Plan Design for LEO Satellite
JA Fraire, G Nies, H Hermanns, K Bay
IEEE Sensors Journal 14 (11), 3874-3882, 2014
Representations of Boolean Functions in Constructive Type Theory
G Nies
Saarland University, 2012
The system can't perform the operation now. Try again later.
Articles 1–11