Dionisio de Niz
Carnegie Mellon University
H-index: 25
North America-United States
Top articles of Dionisio de Niz
ENCODING VERIFICATION ARGUMENTS TO ANALYZE HIGH-LEVEL DESIGN CERTIFICATION CLAIMS: EXPERIMENT ZERO (E0)
2024/1
EXPLAINABLE VERIFICATION: SURVEY, SITUATIONS, AND NEW IDEAS
2023/11
Bjorn Andersson
H-Index: 30
Dionisio De Niz
H-Index: 15
Symbolic Refinement for CPS
ACM SIGAda Ada Letters
2023/10/31
Dionisio De Niz
H-Index: 15
Methodology of Combining Empirical Stress Testing and Formal-Methods Based Schedulability Analysis for Real-Time Multicore Software
2023/10/1
A Tool for Satisfying Real-Time Requirements of Software Executing on ARINC 653 with Undocumented Multicore
2023/10/1
Bjorn Andersson
H-Index: 30
Dionisio De Niz
H-Index: 15
Assuring Cyber-Physical Systems Research Overview
2023/9/1
Dionisio De Niz
H-Index: 15
Symbolic Assurance Refinement
2023/7/5
Dionisio De Niz
H-Index: 15
Large Scale Assurance Briefing to Army AvMC
2023/7/1
Dionisio De Niz
H-Index: 15
Low Pass Filter to Prevent the A330 Incident of Flight CI202 China Airlines A333 at Taipei on June 14th 2020
2023/6/18
Bjorn Andersson
H-Index: 30
Dionisio De Niz
H-Index: 15
Runtime System Support for CPS Software Rejuvenation
IEEE Transactions on Emerging Topics in Computing
2023/4/21
Assessing the Use of Machine Learning to Find the Worst-Case Execution Time of Avionics Software
2023/4/1
Mixed-Trust Real-Time Computation
2023/3/31
Dionisio De Niz
H-Index: 15
Software rejuvenation for safe operation of cyber–physical systems in the presence of run-time cyberattacks
IEEE Transactions on Control Systems Technology
2023/1/24
Maturing Assurance Contracts in Model-Based Engineering
2022/11/14
Dionisio De Niz
H-Index: 15
Satisfying real-time requirements of multicore software on ARINC 653: the issue of undocumented hardware
2022/9/18
Bjorn Andersson
H-Index: 30
Dionisio De Niz
H-Index: 15
Verifying Trust in Cyber-Physical Systems with Untrusted Components
2022/7/21
Resilient Scalable Verification of Cyber-Physical Systems
2022/3/1
Dionisio De Niz
H-Index: 15
On Design Diversity
2022
Dionisio De Niz
H-Index: 15
Addressing Multi-Core Timing Interference using Co-Runner Locking
2021/12/7
