Author of the publication

A Static Analysis of Dynamic Fault Trees with Priority-AND Gates.

, , , , , and . LADC, page 58-67. IEEE Computer Society, (2013)

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

Identification of Smallest Unacceptable Combinations of Simultaneous Component Failures in Information Systems., , , and . IEICE Trans. Inf. Syst., 96-D (9): 1941-1951 (2013)Robust Transfer Vehicle Swarm for Unreliable Production Facility., , , , and . CCTA, page 471-476. IEEE, (2018)Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios., , and . EPEW, volume 9951 of Lecture Notes in Computer Science, page 174-186. Springer, (2016)Composing hierarchical stochastic model from SysML for system availability analysis., , , and . ISSRE, page 51-60. IEEE Computer Society, (2013)Software rejuvenation impacts on a phased-mission system for Mars exploration., , , , and . ISSRE (Supplemental Proceedings), page 275-280. IEEE Computer Society, (2013)Digital Watermarking of Virtual Machine Images., , , , and . IFIP Int. Conf. Digital Forensics, volume 337 of IFIP Advances in Information and Communication Technology, page 257-268. Springer, (2010)Automatic Synthesis of Static Fault Trees from System Models., , , and . SSIRI, page 127-136. IEEE Computer Society, (2011)Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates., , , , , and . ISSRE Workshops, page 3-4. IEEE Computer Society, (2012)Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis., , , and . SAFECOMP, volume 6894 of Lecture Notes in Computer Science, page 296-309. Springer, (2011)Virtualized server infrastructure for resilient voice communication service., , , , , , and . NOMS, page 1-8. IEEE, (2014)