Login / Signup
Oto Havle
Publication Activity (10 Years)
Years Active: 2010-2015
Publications (10 Years): 0
Top Topics
Specification Languages
Kernel Function
Formal Languages
Support Vector
Top Venues
VSTTE
Arch. Formal Proofs
NFM
</>
Publications
</>
Achim D. Brucker
,
Oto Havle
,
Yakoub Nemouchi
,
Burkhart Wolff
Testing the IPC Protocol for a Real-Time Operating System.
VSTTE
(2015)
Freek Verbeek
,
Oto Havle
,
Julien Schmaltz
,
Sergey Tverdyshev
,
Holger Blasum
,
Bruno Langenstein
,
Werner Stephan
,
Burkhart Wolff
,
Yakoub Nemouchi
Formal API Specification of the PikeOS Separation Kernel.
NFM
(2015)
Freek Verbeek
,
Sergey Tverdyshev
,
Oto Havle
,
Holger Blasum
,
Bruno Langenstein
,
Werner Stephan
,
Yakoub Nemouchi
,
Abderrahmane Feliachi
,
Burkhart Wolff
,
Julien Schmaltz
Formal Specification of a Generic Separation Kernel.
Arch. Formal Proofs
2014 (2014)
Jirí Felcman
,
Oto Havle
On a numerical flux for the shallow water equations.
Appl. Math. Comput.
217 (11) (2011)
Vít Dolejsí
,
Oto Havle
-Optimality of the IIPG Method for Odd Degrees of Polynomial Approximation in 1D.
J. Sci. Comput.
42 (1) (2010)