Artykuły udostępnione publicznie: - Dionisio de NizWięcej informacji
Niedostępny w żadnym miejscu: 1
Combining symbolic runtime enforcers for cyber-physical systems
B Andersson, S Chaki, D de Niz
International Conference on Runtime Verification, 68-84, 2017
Upoważnienia: US Department of Defense
Dostępne w jakimś miejscu: 23
Many suspensions, many problems: a review of self-suspending tasks in real-time systems
JJ Chen, G Nelissen, WH Huang, M Yang, B Brandenburg, K Bletsas, ...
Real-Time Systems 55 (1), 144-207, 2019
Upoważnienia: US National Science Foundation, US Department of Defense, National Natural …
Schedulability analysis of tasks with corunner-dependent execution times
B Andersson, H Kim, DD Niz, M Klein, R Rajkumar, J Lehoczky
ACM Transactions on Embedded Computing Systems (TECS) 17 (3), 1-29, 2018
Upoważnienia: US Department of Defense
Mixed-trust computing for real-time systems
D de Niz, B Andersson, M Klein, J Lehoczky, A Vasudevan, H Kim, ...
2019 IEEE 25th International Conference on Embedded and Real-Time Computing …, 2019
Upoważnienia: US Department of Defense
Safety enforcement for the verification of autonomous systems
D de Niz, B Andersson, G Moreno
Autonomous Systems: Sensors, Vehicles, Security, and the Internet of …, 2018
Upoważnienia: US Department of Defense
Software rejuvenation for safe operation of cyber–physical systems in the presence of run-time cyberattacks
R Romagnoli, BH Krogh, D de Niz, AD Hristozov, B Sinopoli
IEEE Transactions on Control Systems Technology 31 (4), 1565-1580, 2023
Upoważnienia: US Department of Defense
Runtime system support for cps software rejuvenation
R Romagnoli, BH Krogh, D de Niz, AD Hristozov, B Sinopoli
IEEE Transactions on Emerging Topics in Computing 11 (3), 594-604, 2023
Upoważnienia: US Department of Defense
Mixed-criticality processing pipelines
D de Niz, B Andersson, H Kim, M Klein, LTX Phan, R Rajkumar
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
Upoważnienia: US Department of Defense
Formal verification of a timing enforcer implementation
S Chaki, DD Niz
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017
Upoważnienia: US Department of Defense
Certifiable Runtime Assurance of Distributed Real-Time Systems
S Chaki, D de Niz
AIAA Information Systems-AIAA Infotech@ Aerospace, 0561, 2017
Upoważnienia: US Department of Defense
Satisfying real-time requirements of multicore software on ARINC 653: the issue of undocumented hardware
B Andersson, D de Niz, M Klein
2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC), 1-10, 2022
Upoważnienia: US Department of Defense
Contract-based verification of timing enforcers
S Chaki, D de Niz
ACM SIGAda Ada Letters 36 (2), 27-30, 2017
Upoważnienia: US Department of Defense
Symbolic Refinement for CPS
D de Niz, L Wrage
ACM SIGAda Ada Letters 43 (1), 88-93, 2023
Upoważnienia: US Department of Defense
Assessing the Use of Machine Learning to Find the Worst-Case Execution Time of Avionics Software
B Andersson, D de Niz, G Moreno, J Hansen, M Klein
United States. Department of Transportation. Federal Aviation Administration …, 2023
Upoważnienia: US Department of Transportation
Addressing multi-core timing interference using co-runner locking
H Kim, D de Niz, B Andersson, M Klein, J Lehoczky
2021 IEEE Real-Time Systems Symposium (RTSS), 54-67, 2021
Upoważnienia: US Department of Defense
Work-In-Progress: Toward Precomputation in Real-Time Mixed-Trust Scheduling
D de Niz, B Andersson, H Kim, M Klein, J Lehoczky
2020 IEEE Real-Time Systems Symposium (RTSS), 411-414, 2020
Upoważnienia: US Department of Defense
Explainable Verification: Survey Situations and New Ideas
B Andersson, D de Niz, M Klein
Technical Note, Software Engineering Institute at Carnegie Mellon University, 2023
Upoważnienia: US Department of Defense
Methodology of combining empirical stress testing and formal-methods based schedulability analysis for real-time multicore software
B Andersson, D de Niz, W Vance, J Ross, M Wotell, T Bui
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023
Upoważnienia: US Department of Defense
ENCODING VERIFICATION ARGUMENTS TO ANALYZE HIGH-LEVEL DESIGN CERTIFICATION CLAIMS: EXPERIMENT ZERO (E0)
D de Niz, B Andersson, M Klein, J Lehoczky, H Kim, G Romanski, ...
Upoważnienia: US Department of Defense
A Tool for Satisfying Real-Time Requirements of Software Executing on ARINC 653 with Undocumented Multicore
B Andersson, D de Niz, M Klein
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023
Upoważnienia: US Department of Defense
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy