Author of the publication

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

Performance, Security Tradeoffs in Secure Control., , and . IEEE Embed. Syst. Lett., 11 (4): 102-105 (2019)SERD: A simulation framework for estimation of system level reliability degradation., and . DATE, page 524-529. IEEE, (2017)Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress., , , and . EMSOFT Companion, page 2:1-2:2. ACM, (2017)Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems., , , and . ACM Trans. Embed. Comput. Syst., 19 (3): 21:1-21:29 (2020)RELSPEC: a framework for reliability aware design of component based embedded systems., , , , , and . Des. Autom. Embed. Syst., 21 (1): 37-87 (2017)Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems., , , , and . VDAT, page 1-6. IEEE, (2016)Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations., , , , , , , , and . CoRR, (2020)Design and validation of fault-tolerant embedded controllers., , , , and . DATE, page 1283-1288. IEEE, (2018)Skip to Secure: Securing Cyber-Physical Control Loops with Intentionally Skipped Executions., , , , , and . CPSIOTSEC@CCS, page 81-86. ACM, (2020)RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications., , and . VLSID, page 41-46. IEEE Computer Society, (2015)