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

Model-Based Cybersecurity Assessment with NESCOR Smart Grid Failure Scenarios., , , , , , and . PRDC, page 319-324. IEEE Computer Society, (2015)Designing Dependable Storage Solutions for Shared Application Environments., , , and . IEEE Trans. Dependable Sec. Comput., 7 (4): 366-380 (2010)SCPSE: Security-Oriented Cyber-Physical State Estimation for Power Grid Critical Infrastructures., , , , , and . IEEE Trans. Smart Grid, 3 (4): 1790-1799 (2012)Frameworks for evaluating discrete event dynamic systems., and . Discrete Event Dynamic Systems, 3 (2-3): 113-118 (1993)Probabilistic Verification of a Synchronous Round-Based Consensus Protocol., , and . SRDS, page 165-174. IEEE Computer Society, (1997)The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human Systems., and . QEST, page 233-242. IEEE Computer Society, (2011)On Low-Cost Error Containment and Recovery Methods for Guarded Software Upgrading., , , , and . ICDCS, page 548-555. IEEE Computer Society, (2000)Content-Based Scheduling of Virtual Machines (VMs) in the Cloud., , , , and . ICDCS, page 93-101. IEEE Computer Society, (2013)Ön-the-fly" solution techniques for stochastic Petri nets and extensions., and . PNPM, page 132-141. IEEE, (1997)Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations., , and . QEST, page 151-160. IEEE Computer Society, (2007)