A computer vision approach to mining big solar data. - Simon Felix; André Csillaghy (IEEE BigData, 2014)

From Verified Scala to STIX File System Embedded Code Using Stainless. - Jad Hamza; Simon Felix; Viktor Kuncak; Ivo Nussbaumer; Filip Schramka (NFM, 2022)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study. - Mario Bucev; Samuel Chassot; Simon Felix; Filip Schramka; Viktor Kuncak (VMCAI (2), 2025)