Author of the publication

A2G2V: Automatic Attack Graph Generation and Visualization and Its Applications to Computer and SCADA Networks

, , , and . IEEE Transactions on Systems, Man, and Cybernetics: Systems, (2019)

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

"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification., , and . CoRR, (2021)Distributed-MPC with Data-Driven Estimation of Bus Admittance Matrix in Voltage Stabilization., and . CoRR, (2022)Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems., and . IEEE Trans. Automat. Contr., 52 (10): 1783-1794 (2007)Synthesis of Inference-Based Decentralized Control for Discrete Event Systems., and . IEEE Trans. Automat. Contr., 53 (2): 522-534 (2008)Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion., , and . IEEE Trans. Automat. Contr., 53 (10): 2425-2430 (2008)Implementation of inference-based diagnosis: computing delay bound and ambiguity levels., and . Discrete Event Dynamic Systems, 28 (2): 315-348 (2018)A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making., and . IEEE Trans. Automat. Contr., 62 (6): 2778-2793 (2017)Comments on "Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" versus "Decentralized Failure Diagnosis of Discrete Event Systems": Complexity Clarification., and . IEEE Trans. Automat. Contr., 59 (5): 1391-1392 (2014)Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds., and . IEEE Trans. Automat. Contr., 60 (6): 1542-1553 (2015)A probabilistic language formalism for stochastic discrete-event systems., , and . IEEE Trans. Automat. Contr., 44 (2): 280-293 (1999)