Author of the publication

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations.

, , , , , , , and . CoRR, (2023)

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

Explanations for human-on-the-loop: a probabilistic model checking approach., , , and . SEAMS@ICSE, page 181-187. ACM, (2020)A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility., , , , and . MSWiM, page 225-234. ACM, (2019)Modeling and Analysis of Explanation for Secure Industrial Control Systems., , , and . ACM Trans. Auton. Adapt. Syst., 17 (3-4): 1-26 (December 2022)System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints., , , , , , , , , and . ACM Trans. Cyber Phys. Syst., 7 (3): 21:1-21:28 (July 2023)Separation of concerns for dependable software design., and . FoSER, page 173-176. ACM, (2010)Preference Adaptation: user satisfaction is all you need!, , , , and . SEAMS, page 133-144. IEEE, (2023)Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design., , , and . DATE, page 246-251. IEEE, (2019)Multi-representational security modeling and analysis.. Massachusetts Institute of Technology, Cambridge, MA, USA, (2016)ndltd.org (oai:dspace.mit.edu:1721.1/103738).Stealthy deception attacks for cyber-physical systems., , , and . CDC, page 4224-4230. IEEE, (2017)AlloyMax: bringing maximum satisfaction to relational specifications., , , , , , and . ESEC/SIGSOFT FSE, page 155-167. ACM, (2021)