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

Precoding Design for Energy Efficiency Maximization in MIMO Half-Duplex Wireless Sensor Networks with SWIPT., , , , and . Sensors, 19 (22): 4923 (2019)Non-cooperative Interference Radio Localization with Binary Proximity Sensors., , , and . TIIS, 9 (9): 3432-3448 (2015)Generation of finite tight frames by Householder transformations., , and . Adv. Comput. Math., 24 (1-4): 297-309 (2006)Controllability and stabilizability of switched linear-systems., and . Systems & Control Letters, 48 (2): 135-155 (2003)Mixed-type reverse-order laws of (AB)(1, 3), (AB)(1, 2, 3)(AB)(1, 3), (AB)(1, 2, 3) and (AB)(1, 3, 4)(AB)(1, 3, 4)., and . Applied Mathematics and Computation, (2013)Buffering-aided resource allocation for Type I relay in LTE-Advanced cellular networks., , , , and . GLOBECOM, page 4484-4489. IEEE, (2014)Towards an Understanding of Oversubscription in Cloud., , and . Hot-ICE, USENIX Association, (2012)Performance optimization and coordinated control of multiple biomimetic robotic fish., , , , and . ROBIO, page 206-211. IEEE, (2005)A Framework for Cloud-Based Large-Scale Data Analytics and Visualization: Case Study on Multiscale Climate Data., , , , , , and . CloudCom, page 618-622. IEEE Computer Society, (2011)SIMON: Seamless servIce MigratiON in Mobile Network., , , , , and . TRIDENTCOM, volume 137 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 261-270. Springer, (2014)