( en | de | ru )

 

Disambiguation of "Krishnan, Rahul"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesizing fine-grained synchronization protocols for implicit monitors.

, , , , and . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-26 (2022)

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.

Krishnan Sircar

Ajay Krishnan

Venkata Krishnan

Ajay Krishnan

Rahul Gupta

 

Other publications of authors with the same name

Systems thinking approach to hazard analysis for complex robots., and . ISSE, page 1-6. IEEE, (2019)Routing protocol Analysis for Heterogeneous Nodes in a Dynamic and Sparse Environment., , , , , , and . ICCCNT, page 1-7. IEEE, (2020)Identifying Cyber-Physical Vulnerabilities in Additive Manufacturing Systems using a Systems Approach., and . SMC, page 2113-2118. IEEE, (2020)Exploiting Parallelism by Data Dependency Elimination: A Case Study of Circuit Simulation Algorithms., , , , and . IEEE Des. Test, 30 (1): 26-35 (2013)Integrated System Design and Safety Framework for Model-Based Safety Assessment., and . IEEE Access, (2022)Synthesizing fine-grained synchronization protocols for implicit monitors., , , , and . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-26 (2022)Stochastic behavioral modeling of analog/mixed-signal circuits by maximizing entropy., , , and . ISQED, page 572-579. IEEE, (2013)An Integrated System Design and Safety Framework for Model-Based Safety Analysis., and . IEEE Access, (2020)Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)., , , , and . CoRR, (2022)REscope: High-dimensional Statistical Circuit Simulation towards Full Failure Region Coverage., , , , and . DAC, page 82:1-82:6. ACM, (2014)