Oto Havle

According to our database, Oto Havle authored at least 5 papers between 2010 and 2015.

Collaborative distances:

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

2015

Testing the IPC Protocol for a Real-Time Operating System.

Achim D. Brucker, Oto Havle, Yakoub Nemouchi, Burkhart Wolff

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Formal API Specification of the PikeOS Separation Kernel.

Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Formal Specification of a Generic Separation Kernel.

Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz

Arch. Formal Proofs, 2014

2011

On a numerical flux for the shallow water equations.

Jirí Felcman, Oto Havle

Appl. Math. Comput., 2011

2010

The <i>L</i>²-Optimality of the IIPG Method for Odd Degrees of Polynomial Approximation in 1D.

Vít Dolejsí, Oto Havle

J. Sci. Comput., 2010