106 citations
- National Institute for AstrophysicsIT2 papers
- Aix-Marseille UniversitéFR1 paper
- Astrophysique, Instrumentation et ModélisationFR1 paper
- Atmospheric Observatory of Austral PatagoniaAR1 paper
- Brera Astronomical ObservatoryIT1 paper
- California Institute of TechnologyUS1 paper
- CEA Paris-SaclayFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Chalmers University of TechnologySE1 paper
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR1 paper
- Consejo Superior de Investigaciones CientíficasES1 paper
- Cornell UniversityUS1 paper
3 papers
astro-ph.IM2025★ 106 cited
The NewAthena mission concept in the context of the next decade of X-ray astronomy
Mike Cruise, Matteo Guainazzi, James Aird +16
Large X-ray observatories such as Chandra and XMM-Newton have been delivering scientific breakthroughs in research fields as diverse as our Solar System, the astrophysics of stars,…
astro-ph.IM2021★ 27 cited
Ariel: Enabling planetary science across light-years
Giovanna Tinetti, Paul Eccleston, Carole Haswell +313
Ariel, the Atmospheric Remote-sensing Infrared Exoplanet Large-survey, was adopted as the fourth medium-class mission in ESA's Cosmic Vision programme to be launched in 2029. Durin…
cs.PL2018
Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers
Andrey Mokhov, Georgy Lukyanov, Jakob Lechner
Verification of functional correctness of control programs is an essential task for the development of space electronics; it is difficult and time-consuming and typically outweighs…