Author of the publication

Modeling and Analysis of Explanation for Secure Industrial Control Systems.

, , , and . ACM Trans. Auton. Adapt. Syst., 17 (3-4): 1-26 (December 2022)

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

Alloy*: a general-purpose higher-order relational constraint solver., , , and . Formal Methods Syst. Des., 55 (1): 1-32 (2019)A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility., , , , and . MSWiM, page 225-234. ACM, (2019)On tolerance of discrete systems with respect to transition perturbations., , , and . Discret. Event Dyn. Syst., 33 (4): 395-424 (December 2023)Explanations for human-on-the-loop: a probabilistic model checking approach., , , and . SEAMS@ICSE, page 181-187. ACM, (2020)Modeling and Analysis of Explanation for Secure Industrial Control Systems., , , and . ACM Trans. Auton. Adapt. Syst., 17 (3-4): 1-26 (December 2022)Reliable Smart Road Signs., , , , and . IEEE Trans. Intell. Transp. Syst., 21 (12): 4995-5009 (2020)System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints., , , , , , , , , and . ACM Trans. Cyber Phys. Syst., 7 (3): 21:1-21:28 (July 2023)Preference Adaptation: user satisfaction is all you need!, , , , and . SEAMS, page 133-144. IEEE, (2023)Separation of concerns for dependable software design., and . FoSER, page 173-176. ACM, (2010)Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design., , , and . DATE, page 246-251. IEEE, (2019)