Desai, Ankush
92  Ergebnisse:
Personensuche X
?
4

The incidence and risk factors of postpartum diabetes in wo..:

Gupta, Yashdeep ; Kapoor, Deksha ; Lakshmi, Josyula K....
Diabetes Research and Clinical Practice.  204 (2023)  - p. 110893 , 2023
 
?
5

Ulgen: A Runtime Assurance Framework for Programming Safe C..:

Yalcinkaya, Beyazit ; Torfah, Hazem ; Desai, Ankush.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  42 (2023)  11 - p. 3679-3692 , 2023
 
?
6

Message Chains for Distributed System Verification:

Mora, Federico ; Desai, Ankush ; Polgreen, Elizabeth.
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 2224-2250 , 2023
 
?
 
?
 
?
 
?
11

PSec: Programming Secure Distributed Systems using Enclaves:

, In: Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security,
 
?
12

Factors affecting achievement of glycemic targets among typ..:

Masood, Muhammad Q. ; Singh, Kavita ; Kondal, Dimple...
Diabetes Research and Clinical Practice.  171 (2021)  - p. 108555 , 2021
 
?
13

SOTER on ROS: A Run-Time Assurance Framework on the Robot O..:

, In: Runtime Verification; Lecture Notes in Computer Science,
 
?
 
1-15