Carsten Gerstacker

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 4

Top Topics

Functional Programs

Design Decisions

Provably Correct

Top Venues

Int. J. Satell. Commun. Netw.

IEEE Trans. Green Commun. Netw.

Publications

Juan A. Fraire, Carsten Gerstacker, Holger Hermanns, Gilles Nies, Morten Bisgaard, Kristian Bay
On the scalability of battery-aware contact plan design for LEO satellite constellations. Int. J. Satell. Commun. Netw. 39 (2) (2021)
Juan A. Fraire, Gilles Nies, Carsten Gerstacker, Holger Hermanns, Kristian Bay, Morten Bisgaard
Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. IEEE Trans. Green Commun. Netw. 4 (1) (2020)
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
Bounded Synthesis of Reactive Programs. ATVA (2018)
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
Bounded Synthesis of Reactive Programs. CoRR (2018)