Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Proving Memory Separation in a Microkernel by Code Level Verification.

C. Baumann, T. Bormer, H. Blasum, und S. Tverdyshev. ISORC Workshops, Seite 25-32. IEEE Computer Society, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Univ. -Prof. Dr. -Ing. Holger Steeb University of Stuttgart

Modeling Internal Erosion in Porous MediaH. Steeb, S. Diebels, und I. Vardoulakis. Computer Applications In Geotechnical Engineering, American Society of Civil Engineers, (Oktober 2007)

Modeling Internal Erosion in Porous MediaH. Steeb, S. Diebels, und I. Vardoulakis. Computer Applications In Geotechnical Engineering, American Society of Civil Engineers, (Oktober 2007)Internal erosion in gas-flow weak conditionsH. Steeb. AIP Conference Proceedings, 1227, Seite 115-134. AIP Publishing, (2010)Estimation of Capillary‐Associated NAPL‐Water Interfacial Areas for Unconsolidated Porous Media by Kinetic Interface Sensitive (KIS) Tracer MethodA. Tatomir, H. Gao, H. Abdullah, C. Pötzl, N. Karadimitriou, H. Steeb, T. Licha, H. Class, R. Helmig, und M. Sauter. Water Resources Research, (Dezember 2023)

Dr. Holger Jakob University of Stuttgart

Holger Sauter University of Stuttgart

Dr. -Ing. Holger Röseler University of Stuttgart

Dr. Holger Dietrich University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Lessons Learned From Microkernel Verification -- Specification is the New BottleneckC. Baumann, B. Beckert, H. Blasum, und T. Bormer. SSV, Volume 102 von EPTCS, Seite 18-32. (2012)Formal Specification of a Generic Separation Kernel.F. Verbeek, S. Tverdyshev, O. Havle, H. Blasum, B. Langenstein, W. Stephan, Y. Nemouchi, A. Feliachi, B. Wolff, und J. Schmaltz. Archive of Formal Proofs, (2014)Ease Standard Compliance by Technical Means via MILS.S. Nordhoff, und H. Blasum. MILS, Zenodo, (2017)Proving Memory Separation in a Microkernel by Code Level Verification.C. Baumann, T. Bormer, H. Blasum, und S. Tverdyshev. ISORC Workshops, Seite 25-32. IEEE Computer Society, (2011)Formal Verification of a Microkernel Used in Dependable Software Systems.C. Baumann, B. Beckert, H. Blasum, und T. Bormer. SAFECOMP, Volume 5775 von Lecture Notes in Computer Science, Seite 187-200. Springer, (2009)Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms.H. Blasum. MILS@HiPEAC, Zenodo, (2015)Formal API Specification of the PikeOS Separation Kernel.F. Verbeek, O. Havle, J. Schmaltz, S. Tverdyshev, H. Blasum, B. Langenstein, W. Stephan, B. Wolff, und Y. Nemouchi. NFM, Volume 9058 von Lecture Notes in Computer Science, Seite 375-389. Springer, (2015)On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.A. Ramirez, J. Schmaltz, F. Verbeek, B. Langenstein, und H. Blasum. SAFECOMP, Volume 8666 von Lecture Notes in Computer Science, Seite 246-261. Springer, (2014)Security Architecture and Specification Framework for Safe and Secure Industrial Automation.S. Tverdyshev, H. Blasum, E. Rudina, D. Kulagin, P. Dyakin, und S. Moiseev. CRITIS, Volume 9578 von Lecture Notes in Computer Science, Seite 3-14. Springer, (2015)MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures.K. Mueller, M. Paulitsch, S. Tverdyshev, und H. Blasum. DSN Workshops, Seite 1-6. IEEE Computer Society, (2012)