2 papers
astro-ph.IM2025
Karabo: A versatile SKA Observation Simulation Framework
Rohit Sharma, Simon Felix, Luis Fernando Machado Poletti Valle +12
Karabo is a versatile Python-based software framework simplifying research with radio astronomy data. It bundles existing software packages into a coherent whole to improve the eas…
cs.SE2024
Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
Mario Bucev, Samuel Chassot, Simon Felix +2
We propose a verified executable Scala backend for ASN1SCC, a compiler for ASN.1/ACN. ASN.1 is a language for describing data structures widely employed in ground and space telecom…