Gilles Nies
Gilles Nies
PhD Student, Dependable Systems and Software, Saarland Informatics Campus, Saarland University
Geverifieerd e-mailadres voor cs.uni-saarland.de
Titel
Geciteerd door
Geciteerd door
Jaar
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
252019
Recharging probably keeps batteries alive
H Hermanns, J Krčál, G Nies
International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2015
132015
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
102017
Mastering Operational Limitations of LEO Satellites–The
G Nies, M Stenger, J Krcál, H Hermanns
Theoretical Computer Science 126, 183-235, 2016
5*2016
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
42018
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
32017
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–8