Sebastian Bogan

According to our database, Sebastian Bogan authored at least 2 papers in 2008.

Collaborative distances:

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

2008

Formal specification of a simple operating system.

Sebastian Bogan

PhD thesis, 2008

Model Stack for the Pervasive Verification of a Microkernel-based Operating System.

Matthias Daum, Jan Dörrenbächer, Sebastian Bogan

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008