Software Engineering Institute

Dionisio de Niz

Software Engineering Institute

All

Tech Publications

Blog Posts

Videos

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)

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)

Mixed-Trust Computing for Real-Time Systems

October 16, 2023 • Conference Paper

By Dionisio de Niz , Bjorn Andersson , John Lehoczky (Carnegie Mellon University) , Amit Vasudevan , Hyoseung Kim (University of California, Riverside) , Gabriel Moreno

Maturing Assurance Contracts in Model-Based Engineering

November 11, 2022 • Presentation

By Dionisio de Niz

More from Dionisio de Niz

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)

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)

Poster - Rapid Certifiable Trust

November 4, 2020 • Poster

By Dionisio de Niz

Rapid Certifiable Trust

October 28, 2019 • Poster

By Dionisio de Niz

More from Dionisio de Niz

Accelerating Safety Assurance

June 7, 2021 • Blog Post

By Dionisio de Niz

Certifiable Distributed Runtime Assurance in Cyber-Physical Systems

July 16, 2018 • Blog Post

By Dionisio de Niz

Verifying Software with Timers and Clocks (STACs)

December 12, 2016 • Blog Post

By Sagar Chaki , Dionisio de Niz

Toward Safe Optimization of Cyber-Physical Systems

October 31, 2011 • Blog Post

By Dionisio de Niz

Ensuring Safety in Cyber-Physical Systems

April 25, 2011 • Blog Post

By Dionisio de Niz

More from Dionisio de Niz

Preview of Maturing Assurance Contracts in Model-Based Engineering

November 7, 2022 • Video

By Dionisio de Niz

Predictable Use of Multicore in the Army and Beyond

May 4, 2022 • Webcast

By Bjorn Andersson , Dionisio de Niz

Rapid Certifiable Trust

November 4, 2021 • Video

By Dionisio de Niz

Rapid Certifiable Trust (video)

November 11, 2019 • Video

By Dionisio de Niz

More from Dionisio de Niz

Dionisio de Niz

Send a Message