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

A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility., , , , and . MSWiM, page 225-234. ACM, (2019)Explanations for human-on-the-loop: a probabilistic model checking approach., , , and . SEAMS@ICSE, page 181-187. ACM, (2020)Alloy*: a general-purpose higher-order relational constraint solver., , , and . Formal Methods Syst. Des., 55 (1): 1-32 (2019)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)On tolerance of discrete systems with respect to transition perturbations., , , and . Discret. Event Dyn. Syst., 33 (4): 395-424 (December 2023)Preference Adaptation: user satisfaction is all you need!, , , , and . SEAMS, page 133-144. IEEE, (2023)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)Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design., , , and . DATE, page 246-251. IEEE, (2019)