Author of the publication

Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems.

, , and . RTCSA, page 1-11. IEEE, (2019)

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

Dynamic Budget Management with Service Guarantees for Mixed-Criticality Systems., and . CoRR, (2020)Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems., , , and . CoRR, (2020)Contention-free executions for real-time multiprocessor scheduling., , and . ACM Trans. Embed. Comput. Syst., 13 (2s): 69:1-69:25 (2014)A Game-Theoretic Approach to Secure Estimation and Control for Cyber-Physical Systems with a Digital Twin., and . ICCPS, page 20-29. IEEE, (2020)Guest Editor Introduction.. IEEE Embed. Syst. Lett., 11 (2): 33 (2019)Global EDF Schedulability Analysis for Parallel Tasks on Multi-Core Platforms., , , , , and . IEEE Trans. Parallel Distributed Syst., 28 (5): 1331-1345 (2017)Scheduling Parallel Real-Time Tasks on the Minimum Number of Processors., , , , , and . IEEE Trans. Parallel Distributed Syst., 31 (1): 171-186 (2020)Area-constrained technology mapping for in-memory computing using ReRAM devices., , and . ASP-DAC, page 69-74. IEEE, (2017)Evaluation of an artificial pancreas in in silico patients with online-tuned internal model control., , , and . Biomed. Signal Process. Control., (2018)A Game-Theoretic Approach to Secure Estimation and Control for Cyber-Physical Systems with a Digital Twin., and . CoRR, (2021)