The L2-Optimality of the IIPG Method for Odd Degrees of Polynomial Approximation in 1D. - Vít Dolejsí; Oto Havle (J. Sci. Comput., 2010)

On a numerical flux for the shallow water equations. - Jirí Felcman; Oto Havle (Appl. Math. Comput., 2011)

Formal Specification of a Generic Separation Kernel. - Freek Verbeek; Sergey Tverdyshev; Oto Havle; Holger Blasum; Bruno Langenstein; Werner Stephan 001; Yakoub Nemouchi; Abderrahmane Feliachi; Burkhart Wolff; Julien Schmaltz (Arch. Formal Proofs, 2014)

Formal API Specification of the PikeOS Separation Kernel. - Freek Verbeek; Oto Havle; Julien Schmaltz; Sergey Tverdyshev; Holger Blasum; Bruno Langenstein; Werner Stephan 001; Burkhart Wolff; Yakoub Nemouchi (NFM, 2015)

Testing the IPC Protocol for a Real-Time Operating System. - Achim D. Brucker; Oto Havle; Yakoub Nemouchi; Burkhart Wolff (VSTTE, 2015)