Formal API Specification of the PikeOS Separation Kernel

F. Verbeek; O. (Oto) Havle; J. Schmaltz; S. (Sergey) Tverdyshev; H. (Holger) Blasum; B. (Bruno) Langenstein; S. (Stephan) Werner; B. (Burkhardt) Wolff; Y. (Yakoub) Nemouchi

doi:10.1007/978-3-319-17524-9_26

Formal API Specification of the PikeOS Separation Kernel

F. Verbeek^*, O. (Oto) Havle, J. Schmaltz, S. (Sergey) Tverdyshev, H. (Holger) Blasum, B. (Bruno) Langenstein, S. (Stephan) Werner, B. (Burkhardt) Wolff, Y. (Yakoub) Nemouchi

^*Corresponding author for this work

Research Line Resilience (part of LIRS program)

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

Original language	English
Title of host publication	NASA Formal Methods
Subtitle of host publication	7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Editors	Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Place of Publication	Cham
Publisher	Springer International Publishing AG
Chapter	26
Pages	375-389
Number of pages	15
ISBN (Electronic)	9783319175249
ISBN (Print)	9783319175232
DOIs	https://doi.org/10.1007/978-3-319-17524-9_26
Publication status	Published - 2015
Event	7th NASA Formal Methods Symposium: NFM 2015 - Pasadena, United States Duration: 27 Apr 2015 → 29 Apr 2015 Conference number: 7

Publication series

Series	Lecture Notes in Computer Science (LNCS) series
Number	9058
ISSN	0302-9743

Series	Programming and Software Engineering LNPSE
Volume	9058

Conference

Conference	7th NASA Formal Methods Symposium
Country/Territory	United States
City	Pasadena
Period	27/04/15 → 29/04/15

Access to Document

10.1007/978-3-319-17524-9_26

Cite this

Verbeek, F., Havle, O. O., Schmaltz, J., Tverdyshev, S. S., Blasum, H. H., Langenstein, B. B., Werner, S. S., Wolff, B. B., & Nemouchi, Y. Y. (2015). Formal API Specification of the PikeOS Separation Kernel. In K. Havelund, G. Holzmann, & R. Joshi (Eds.), NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (pp. 375-389). Springer International Publishing AG. Lecture Notes in Computer Science (LNCS) series No. 9058Programming and Software Engineering LNPSE Vol. 9058 https://doi.org/10.1007/978-3-319-17524-9_26

Verbeek, F. ; Havle, O. (Oto) ; Schmaltz, J. ; Tverdyshev, S. (Sergey) ; Blasum, H. (Holger) ; Langenstein, B. (Bruno) ; Werner, S. (Stephan) ; Wolff, B. (Burkhardt) ; Nemouchi, Y. (Yakoub). / Formal API Specification of the PikeOS Separation Kernel. NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. editor / Klaus Havelund ; Gerard Holzmann ; Rajeev Joshi. Cham : Springer International Publishing AG, 2015. pp. 375-389 (Lecture Notes in Computer Science (LNCS) series; No. 9058). (Programming and Software Engineering LNPSE, Vol. 9058).

@inproceedings{a02759436ac44e0f9fbaca0d2a03e7ea,

title = "Formal API Specification of the PikeOS Separation Kernel",

author = "F. Verbeek and Havle, {O. (Oto)} and J. Schmaltz and Tverdyshev, {S. (Sergey)} and Blasum, {H. (Holger)} and Langenstein, {B. (Bruno)} and Werner, {S. (Stephan)} and Wolff, {B. (Burkhardt)} and Nemouchi, {Y. (Yakoub)}",

year = "2015",

doi = "10.1007/978-3-319-17524-9_26",

language = "English",

isbn = "9783319175232",

series = "Lecture Notes in Computer Science (LNCS) series",

publisher = "Springer International Publishing AG",

number = "9058",

pages = "375--389",

editor = "Klaus Havelund and Gerard Holzmann and Rajeev Joshi",

booktitle = "NASA Formal Methods",

address = "Switzerland",

note = "7th NASA Formal Methods Symposium : NFM 2015 ; Conference date: 27-04-2015 Through 29-04-2015",

}

Verbeek, F, Havle, OO, Schmaltz, J, Tverdyshev, SS, Blasum, HH, Langenstein, BB, Werner, SS, Wolff, BB & Nemouchi, YY 2015, Formal API Specification of the PikeOS Separation Kernel. in K Havelund, G Holzmann & R Joshi (eds), NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Springer International Publishing AG, Cham, Lecture Notes in Computer Science (LNCS) series, no. 9058, Programming and Software Engineering LNPSE, vol. 9058, pp. 375-389, 7th NASA Formal Methods Symposium, Pasadena, United States, 27/04/15. https://doi.org/10.1007/978-3-319-17524-9_26

Formal API Specification of the PikeOS Separation Kernel. / Verbeek, F.; Havle, O. (Oto); Schmaltz, J.; Tverdyshev, S. (Sergey); Blasum, H. (Holger); Langenstein, B. (Bruno); Werner, S. (Stephan); Wolff, B. (Burkhardt); Nemouchi, Y. (Yakoub).

NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. ed. / Klaus Havelund; Gerard Holzmann; Rajeev Joshi. Cham : Springer International Publishing AG, 2015. p. 375-389 (Lecture Notes in Computer Science (LNCS) series; No. 9058). (Programming and Software Engineering LNPSE, Vol. 9058).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

TY - GEN

T1 - Formal API Specification of the PikeOS Separation Kernel

AU - Verbeek, F.

AU - Havle, O. (Oto)

AU - Schmaltz, J.

AU - Tverdyshev, S. (Sergey)

AU - Blasum, H. (Holger)

AU - Langenstein, B. (Bruno)

AU - Werner, S. (Stephan)

AU - Wolff, B. (Burkhardt)

AU - Nemouchi, Y. (Yakoub)

N1 - Conference code: 7

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-17524-9_26

DO - 10.1007/978-3-319-17524-9_26

M3 - Conference article in proceeding

SN - 9783319175232

T3 - Lecture Notes in Computer Science (LNCS) series

SP - 375

EP - 389

BT - NASA Formal Methods

A2 - Havelund, Klaus

A2 - Holzmann, Gerard

A2 - Joshi, Rajeev

PB - Springer International Publishing AG

CY - Cham

T2 - 7th NASA Formal Methods Symposium

Y2 - 27 April 2015 through 29 April 2015

ER -

Verbeek F, Havle OO, Schmaltz J, Tverdyshev SS, Blasum HH, Langenstein BB et al. Formal API Specification of the PikeOS Separation Kernel. In Havelund K, Holzmann G, Joshi R, editors, NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Cham: Springer International Publishing AG. 2015. p. 375-389. (Lecture Notes in Computer Science (LNCS) series; No. 9058). (Programming and Software Engineering LNPSE, Vol. 9058). https://doi.org/10.1007/978-3-319-17524-9_26