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
Webinar 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
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
Dionisio de Niz
Dionisio de Niz
Software Engineering Institute
All
Tech Publications
Blog Posts
Videos
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
Predictable Use of Multicore in the Army and Beyond
May 4, 2022
•
Webcast
By
Bjorn Andersson
,
Dionisio de Niz
Rapid Certifiable Trust
November 7, 2021
•
Presentation
By
Dionisio de Niz
Rapid Certifiable Trust
November 4, 2021
•
Video
By
Dionisio de Niz
More from Dionisio de Niz
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
Certifiable Distributed Runtime Assurance
October 30, 2017
•
Poster
By
Dionisio de Niz
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 Dionisio de Niz
Accelerating Safety Assurance
June 7, 2021
• By
Dionisio de Niz
Certifiable Distributed Runtime Assurance in Cyber-Physical Systems
July 16, 2018
• By
Dionisio de Niz
Verifying Software with Timers and Clocks (STACs)
December 12, 2016
• By
Sagar Chaki
,
Dionisio de Niz
Toward Safe Optimization of Cyber-Physical Systems
October 31, 2011
• By
Dionisio de Niz
Ensuring Safety in Cyber-Physical Systems
April 25, 2011
• 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