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., Schmaltz, J., Tverdyshev, S., Blasum, H., Langenstein, B., Werner, S., Wolff, B., & Nemouchi, 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, O, Schmaltz, J, Tverdyshev, S, Blasum, H, Langenstein, B, Werner, S, Wolff, B & Nemouchi, 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. 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 O, Schmaltz J, Tverdyshev S, Blasum H, Langenstein B 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