Software Engineering Institute

Mark Klein

Software Engineering Institute

All

Tech Publications

Blog Posts

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

Architecting the Future of Software Engineering: A National Agenda for Software Engineering Research & Development

November 3, 2021 • Book

By Anita Carleton, Mark H. Klein, John E. Robert, Erin Harper, Robert K Cunningham, Dionisio de Niz, John T. Foreman, John B. Goodenough, James D. Herbsleb, Ipek Ozkaya, Douglas Schmidt (Vanderbilt University), Forrest Shull

More from Mark 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

Socio-Adaptive Systems Challenge Problems Workshop Report

June 1, 2013 • Special Report

By Scott Hissam, Mark H. Klein, Timothy Morrow

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

Mark H. Klein

Send a Message