Filip Schramka

According to our database, Filip Schramka authored at least 3 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study.

Mario Bucev, Samuel Chassot, Simon Felix, Filip Schramka, Viktor Kuncak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2022

From Verified Scala to STIX File System Embedded Code Using Stainless.

Jad Hamza, Simon Felix, Viktor Kuncak, Ivo Nussbaumer, Filip Schramka

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2018

Development of a Virtual Reality Cycling Simulator.

Filip Schramka, Stefan Arisona, Michael Joos, Alexander Erath

J. Comput., 2018