Author of the publication

The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems.

, , and . ECRTS, volume 165 of LIPIcs, page 7:1-7:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing., , , and . IEEE Trans. Computers, 64 (5): 1241-1253 (2015)Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources., , , , , , and . IEEE Trans. Computers, 70 (7): 1006-1018 (2021)The AirTight Protocol for Mixed Criticality Wireless CPS., , , , , and . ACM Trans. Cyber Phys. Syst., 4 (2): 19:1-19:28 (2020)Broadening Real-Time Systems Research.. ACM Comput. Surv., 28 (4es): 178 (1996)A complete run-time overhead-aware schedulability analysis for MrsP under nested resources., , , , , and . J. Syst. Softw., (2020)Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis., , , , , and . ACM Trans. Embed. Comput. Syst., 19 (5): 31:1-31:26 (2020)Real-Time Guarantees in Routerless Networks-on-Chip., and . ACM Trans. Embed. Comput. Syst., 22 (5): 88:1-88:27 (September 2023)Effective Analysis for Engineering Real-Time Fixed Priority Schedulers., , and . IEEE Trans. Software Eng., 21 (5): 475-480 (1995)Implementing Atomic Actions in Ada 95., and . IEEE Trans. Software Eng., 23 (2): 107-123 (1997)Data Consistency in Hard Real-Time Systems., , , and . Informatica (Slovenia), (1995)