icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
Home
Publications
Authors
Dionisio de Niz
Dionisio de Niz
Software Engineering Institute
All
Tech Publications
Blog Posts
Videos
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
Preview of Maturing Assurance Contracts in Model-Based Engineering
November 7, 2022
•
Video
By
Dionisio de Niz
More from Dionisio de Niz
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
Certifiable Distributed Runtime Assurance
October 23, 2018
•
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
Send a Message
