Software Engineering Institute

Mark H. Klein

Software Engineering Institute

All

Tech Publications

Blog Posts

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

November 15, 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)

Challenges to Assuring Large-Scale Systems

October 14, 2024 • Blog Post

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

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

July 23, 2024 • Technical Note

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

Explainable Verification: Survey, Situations, and New Ideas

April 16, 2024 • White Paper

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

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

January 18, 2024 • 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

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

November 15, 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

July 23, 2024 • Technical Note

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

Explainable Verification: Survey, Situations, and New Ideas

April 16, 2024 • White Paper

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

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

January 18, 2024 • 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)

Ultra-Large-Scale Systems: Socio-adaptive Systems

December 1, 2016 • White Paper

By Scott Hissam , Mark H. Klein , Gabriel Moreno , Linda M. Northrop , Lutz Wrage

More from Mark Klein

Challenges to Assuring Large-Scale Systems

October 14, 2024 • Blog Post

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

Join the SEI and White House OSTP to Explore the Future of Software and AI Engineering

May 30, 2023 • Blog Post

By Anita Carleton , John E. Robert , Mark H. Klein , Douglas Schmidt (William & Mary) , Erin Harper

Software Engineering as a Strategic Advantage: A National Roadmap for the Future

November 15, 2021 • Blog Post

By Anita Carleton , John E. Robert , Mark H. Klein , Erin Harper

More from Mark Klein

Mark H. Klein

Send a Message