search
menu
icon-carat-right
cmu-wordmark
✕
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
Enterprise Risk and Resilience Management
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webcasts
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity and Inclusion
Internship Opportunities
Working at the SEI
Carnegie Mellon University
Software Engineering Institute
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cloud Computing
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webcasts Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity, and Inclusion
Internship Opportunities
Home
Publications
Authors
Mark H. Klein
Mark Klein
Software Engineering Institute
All
Tech Publications
Blog Posts
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 (Vanderbilt University)
,
David Tate (Institute of Defense Analysis)
,
Gordon Putsche (The Boeing Company)
,
Ronald Koontz (Boeing Company)
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 (Vanderbilt University)
,
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
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 (Vanderbilt University)
,
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
Cyber-Physical Systems
December 1, 2016
•
White Paper
By
Bjorn Andersson
,
Sagar Chaki
,
Dionisio de Niz
,
Jeffrey Hansen
,
Scott Hissam
,
John J. Hudak
,
Mark H. Klein
,
David Kyle
,
Gabriel Moreno
More from Mark 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 (Vanderbilt University)
,
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
Send a Message