Daniel Stefan Dietiker

According to our database, Daniel Stefan Dietiker authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

2023

Monitoring the Internet Computer.

David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Monitoring the Internet Computer (Artifact).

David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan

Dataset, November, 2022