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

Preface.

R. Huuck, G. Klein, und B. Schlich. Electron. Notes Theor. Comput. Sci., (2009)

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.

Dominic Klein University of Stuttgart

Dr. -Ing. Simon Kleinknecht University of Stuttgart

Aya Isabel Kleine University of Stuttgart

Tillmann Kleiner University of Stuttgart

Johannes Kleinert University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Qualification of Formal Methods Tools (Dagstuhl Seminar 15182).D. Cofer, G. Klein, K. Slind, und V. Wiels. Dagstuhl Reports, 5 (4): 142-159 (2015)A Formal Approach to Constructing Secure Air Vehicle Software.D. Cofer, A. Gacek, J. Backes, M. Whalen, L. Pike, A. Foltzer, M. Podhradsky, G. Klein, I. Kuz, J. Andronick und 2 andere Autor(en). IEEE Computer, 51 (11): 14-23 (2018)Verified bytecode verifiers.G. Klein, und T. Nipkow. Theor. Comput. Sci., 298 (3): 583-626 (2003)Simulation modeling of a large-scale formal verification process.H. Zhang, G. Klein, M. Staples, J. Andronick, L. Zhu, und R. Kolanski. ICSSP, Seite 3-12. IEEE Computer Society, (2012)Challenges and Experiences in Managing Large-Scale Proofs.T. Bourke, M. Daum, G. Klein, und R. Kolanski. AISC/MKM/Calculemus, Volume 7362 von Lecture Notes in Computer Science, Seite 32-48. Springer, (2012)seL4: From General Purpose to a Proof of Information Flow Enforcement.T. Murray, D. Matichuk, M. Brassil, P. Gammie, T. Bourke, S. Seefried, C. Lewis, X. Gao, und G. Klein. IEEE Symposium on Security and Privacy, Seite 415-429. IEEE Computer Society, (2013)Running the manual: an approach to high-assurance microkernel development.P. Derrin, K. Elphinstone, G. Klein, D. Cock, und M. Chakravarty. Haskell, Seite 60-71. ACM, (2006)Types, bytes, and separation logic.H. Tuch, G. Klein, und M. Norrish. POPL, Seite 97-108. ACM, (2007)An empirical research agenda for understanding formal methods productivity.D. Jeffery, M. Staples, J. Andronick, G. Klein, und T. Murray. Information & Software Technology, (2015)Formally Verified System Initialisation.A. Boyton, J. Andronick, C. Bannister, M. Fernandez, X. Gao, D. Greenaway, G. Klein, C. Lewis, und T. Sewell. ICFEM, Volume 8144 von Lecture Notes in Computer Science, Seite 70-85. Springer, (2013)