( en | de | ru )

 

Disambiguierung von "Kang, Eunsuk"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-based security analysis of a water treatment system.

, , , und . SEsCPS@ICSE, Seite 22-28. ACM, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ewha Kang

Mihyun Kang

Mujin Kang

Kang Teng

Andree Kang

 

Weitere Publikationen von Autoren mit dem selben Namen

Preference Adaptation: user satisfaction is all you need!, , , , und . SEAMS, Seite 133-144. IEEE, (2023)Modeling and Analysis of Explanation for Secure Industrial Control Systems., , , und . ACM Trans. Auton. Adapt. Syst., 17 (3-4): 1-26 (Dezember 2022)System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints., , , , , , , , , und . ACM Trans. Cyber Phys. Syst., 7 (3): 21:1-21:28 (Juli 2023)Explanations for human-on-the-loop: a probabilistic model checking approach., , , und . SEAMS@ICSE, Seite 181-187. ACM, (2020)A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility., , , , und . MSWiM, Seite 225-234. ACM, (2019)Separation of concerns for dependable software design., und . FoSER, Seite 173-176. ACM, (2010)Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design., , , und . DATE, Seite 246-251. IEEE, (2019)Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems., , , , , , , und . CoRR, (2024)Feature Interactions on Steroids: On the Composition of ML Models., , und . CoRR, (2021)Multi-representational security modeling and analysis.. Massachusetts Institute of Technology, Cambridge, MA, USA, (2016)ndltd.org (oai:dspace.mit.edu:1721.1/103738).