icon-carat-right menu search cmu-wordmark
Carnegie Mellon University cmu-wordmark

Mark H. Klein

Software Engineering Institute

Building Hybrid B-Spline And Neural Network Operators
• White Paper

By Raffaele Romagnoli (Duquesne University) , Jasmine Ratchford , Mark H. Klein

Assurance Evidence of Continuously Evolving Real-Time Systems (ASERT) Workshop 2024
• Special Report

By Dionisio de Niz , Bjorn Andersson , Mark H. Klein , Hyoseung Kim (University of California, Riverside) , John Lehoczky (Carnegie Mellon University) , George Romanski (Federal Aviation Administration) , Jonathan Preston (Lockheed Martin Corporation) , Daniel Shapiro (Institute of Defense Analysis) , Floyd Fazi (Lockheed Martin Corporation) , Ronald Koontz (Boeing Company)

A Model Problem for Assurance Research: An Autonomous Humanitarian Mission Scenario
• Technical Note

By Gabriel Moreno , Anton Hristozov , John E. Robert , Mark H. Klein

Explainable Verification: Survey, Situations, and New Ideas
• White Paper

By Bjorn Andersson , Dionisio de Niz , Mark H. Klein

Encoding Verification Arguments to Analyze High-Level Design Certification Claims: Experiment Zero (E0)
• White Paper

By Dionisio de Niz , Bjorn Andersson , Mark H. Klein , John Lehoczky (Carnegie Mellon University) , Hyoseung Kim (University of California, Riverside) , George Romanski (Federal Aviation Administration) , Jonathan Preston (Lockheed Martin Corporation) , Daniel Shapiro (Institute of Defense Analysis) , Floyd Fazi (Lockheed Martin Corporation) , Douglas Schmidt (William & Mary) , David Tate (Institute of Defense Analysis) , Gordon Putsche (The Boeing Company) , Ronald Koontz (Boeing Company)

More from Mark Klein
Headshot of Mark Klein. Send a Message