Pai, Rekha
159  results:
Search for persons X
?
1

Role of Genetic Testing in the Management of Indeterminate ..:

Riju, Jeyashanth ; Thomas, Nihal ; Paul, Thomas V....
Indian Journal of Endocrinology and Metabolism.  28 (2024)  1 - p. 3-10 , 2024
 
?
3

Molecular profile & clinical outcome in 121 cases - experie..:

Prabhu, Anne Jennifer ; Kiruthiga K G ; Pai, Rekha..
Indian Journal of Pathology and Oncology.  10 (2023)  2 - p. 163-169 , 2023
 
?
4

Analysis of patients with endometrial carcinoma using the P..:

Dahiya, Alka ; Rajadurai, Abarna ; Daniel, Sherin...
Archives of Gynecology and Obstetrics.  309 (2023)  4 - p. 1499-1508 , 2023
 
?
5

A Formal CHERI-C Semantics for Verification:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Park, Seung Hoon ; Pai, Rekha ; Melham, Tom - p. 549-568 , 2023
 
?
9

Static executes-before analysis for event driven programs:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Pai, Rekha ; Uppar, Abhishek ; Shenoy, Akshatha.. - p. 233-244 , 2022
 
?
10

Static Race Detection for Periodic Programs:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Suresh, Varsha P ; Pai, Rekha ; D'Souza, Deepak.. - p. 290-316 , 2022
 
?
11

Static analysis for detecting high-level races in RTOS kern..:

Pai, Rekha ; Singh, Abhishek ; D'Souza, Deepak..
Formal Methods in System Design.  58 (2021)  1-2 - p. 294-321 , 2021
 
?
13

Static Analysis for Detecting High-Level Races in RTOS Kern..:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,
Singh, Abhishek ; Pai, Rekha ; D'Souza, Deepak. - p. 337-353 , 2019
 
?
14

Data Races and Static Analysis for Interrupt-Driven Kernels:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Chopra, Nikita ; Pai, Rekha ; D'Souza, Deepak - p. 697-723 , 2019
 
?
 
1-15