Rahul Krishnan

According to our database, Rahul Krishnan authored at least 13 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics.

Keith J. C. Johnson, Rahul Krishnan, Thomas W. Reps, Loris D'Antoni

Proc. ACM Program. Lang., 2024

2022

Synthesizing fine-grained synchronization protocols for implicit monitors.

Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig

Proc. ACM Program. Lang., 2022

Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version).

Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig

CoRR, 2022

Integrated System Design and Safety Framework for Model-Based Safety Assessment.

Rahul Krishnan, Shamsnaz Virani Bhada

IEEE Access, 2022

2021

A Model Centric Framework and Approach for Complex Systems Policy.

Shamsnaz Virani Bhada, Rahul Krishnan

IEEE Syst. J., 2021

2020

An Integrated System Design and Safety Framework for Model-Based Safety Analysis.

Rahul Krishnan, Shamsnaz Virani Bhada

IEEE Access, 2020

Identifying Cyber-Physical Vulnerabilities in Additive Manufacturing Systems using a Systems Approach.

Rahul Krishnan, Shamsnaz Virani Bhada

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Routing protocol Analysis for Heterogeneous Nodes in a Dynamic and Sparse Environment.

Gopalakrishnan P, Sidhant Gupta, Rahul Krishnan, Dhruv Patel, Dhivvya J. P, Sruthy Anand, Dhanesh Raj

Proceedings of the 11th International Conference on Computing, 2020

2019

Systems thinking approach to hazard analysis for complex robots.

Rahul Krishnan, Shamsnaz Virani Bhada

Proceedings of the International Symposium on Systems Engineering, 2019

2015

A Game Theory-Based Energy Management System Using Price Elasticity for Smart Grids.

Kun Wang, Zhiyou Ouyang, Rahul Krishnan, Lei Shu, Lei He

IEEE Trans. Ind. Informatics, 2015

2014

REscope: High-dimensional Statistical Circuit Simulation towards Full Failure Region Coverage.

Wei Wu, Wenyao Xu, Rahul Krishnan, Yen-Lung Chen, Lei He

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Exploiting Parallelism by Data Dependency Elimination: A Case Study of Circuit Simulation Algorithms.

Wei Wu, Fang Gong, Rahul Krishnan, Lei He, Hao Yu

IEEE Des. Test, 2013

Stochastic behavioral modeling of analog/mixed-signal circuits by maximizing entropy.

Rahul Krishnan, Wei Wu, Fang Gong, Lei He

Proceedings of the International Symposium on Quality Electronic Design, 2013