Author of the publication

Formalizing System Behavior for Evaluating a System Hang Detector.

, , and . SRDS, page 269-278. IEEE Computer Society, (2008)

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

Augmentation of Physician Assessments with Multi-Omics Enhances Predictability of Drug Response: A Case Study of Major Depressive Disorder., , , , , , , , and . IEEE Comput. Intell. Mag., 13 (3): 20-31 (2018)Deep learning identifies brain structures that predict cognition and explain heterogeneity in cognitive aging., , , , , , , , , and 7 other author(s). NeuroImage, (2022)An embedded reconfigurable architecture for patient-specific multi-paramater medical monitoring., , , and . EMBC, page 1896-1900. IEEE, (2011)Automated Derivation of Application-Specific Error Detectors Using Dynamic Analysis., , , , and . IEEE Trans. Dependable Secur. Comput., 8 (5): 640-655 (2011)Some applications of probability in the design of engineering systems. University of Queensland, Australia, (1977)Use of Hybrid and Hierarchical Simulation to Reduce Computation Costs., and . MASCOTS, page 197-202. The Society for Computer Simulation, (1993)Adverse Events in Robotic Surgery: A Retrospective Study of 14 Years of FDA Data., , , , and . CoRR, (2015)A Contextual-bandit-based Approach for Informed Decision-making in Clinical Trials., , , and . CoRR, (2018)Efficient and Scalable Workflows for Genomic Analyses., , , , , , and . DIDC@HPDC, page 27-36. ACM, (2016)Preemptive intrusion detection: theoretical framework and real-world measurements., , , , and . HotSoS, page 5:1-5:12. ACM, (2015)