Author of the publication

Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems.

, , and . SAC, page 478-485. ACM, (2012)

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

Formal specification and analysis of accelerated heartbeat protocols., and . SummerSim, page 403-412. Society for Computer Simulation International / ACM DL, (2010)Optimizing Live Migration of Virtual Machines in SMP Clusters for HPC Applications., and . NPC, page 51-58. IEEE Computer Society, (2009)A Semantic-Based Framework for Verbal Autopsy to Identify the Cause of Maternal Death., , , , and . Appl. Clin. Inform., 12 (4): 910-923 (2021)Multi-objective Optimisation of Online Distributed Software Update for DevOps in Clouds., , , , and . ACM Trans. Internet Techn., 19 (3): 43:1-43:20 (2019)Evaluation of High Density GPUs as Sustainable Smart City Infrastructure., , , and . UCC, page 482-487. IEEE Computer Society, (2015)Auto-Setting of Optimal Exposure for Structured Light 3D Cameras., and . IMCOM, page 62:1-62:6. ACM, (2018)Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems., , and . SAC, page 478-485. ACM, (2012)Soft Computing Techniques for Dependable Cyber-Physical Systems., , , , , , , and . IEEE Access, (2019)Controlling the longitudinal dynamics of a vehicle using sensor based haptic feedback., , and . CDC, page 3457-3462. IEEE, (2008)Generalized Likelihood Ratio Test and Cox's F-Test Based on Fuzzy Lifetime Data., , and . Int. J. Intell. Syst., 32 (1): 3-16 (2017)