Development of a Virtual Reality Cycling Simulator. - Filip Schramka; Stefan Arisona; Michael Joos; Alexander Erath (J. Comput., 2018)

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)