Ben Fiedler

According to our database, Ben Fiedler authored at least 4 papers between 2020 and 2024.

Collaborative distances:

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

2024

Verified Fault Handling for Modern Board Management Controllers.

Ben Fiedler, Zikai Liu, David A. Cock, Timothy Roscoe

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

Specifying the de-facto OS of a production SoC.

Ben Fiedler, Roman Meier, Jasmin Schult, Daniel Schwyn, Timothy Roscoe

Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023

Putting out the hardware dumpster fire.

Ben Fiedler, Daniel Schwyn, Constantin Gierczak-Galle, David A. Cock, Timothy Roscoe

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

2020

A Formal Proof of The Chandy-Lamport Distributed Snapshot Algorithm.

Ben Fiedler, Dmitriy Traytel

Arch. Formal Proofs, 2020