Rahul Krishnan

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 8

Top Topics

Complex Systems

Safety Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig
Synthesizing fine-grained synchronization protocols for implicit monitors. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Rahul Krishnan, Shamsnaz Virani Bhada
Integrated System Design and Safety Framework for Model-Based Safety Assessment. IEEE Access 10 (2022)
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors. CoRR (2022)
Shamsnaz Virani Bhada, Rahul Krishnan
A Model Centric Framework and Approach for Complex Systems Policy. IEEE Syst. J. 15 (1) (2021)
Rahul Krishnan, Shamsnaz Virani Bhada
An Integrated System Design and Safety Framework for Model-Based Safety Analysis. IEEE Access 8 (2020)
Gopalakrishnan P, Sidhant Gupta, Rahul Krishnan, Dhruv Patel, Dhivvya J. P, Sruthy Anand, Dhanesh Raj
Routing protocol Analysis for Heterogeneous Nodes in a Dynamic and Sparse Environment. ICCCNT (2020)
Rahul Krishnan, Shamsnaz Virani Bhada
Identifying Cyber-Physical Vulnerabilities in Additive Manufacturing Systems using a Systems Approach. SMC (2020)
Rahul Krishnan, Shamsnaz Virani Bhada
Systems thinking approach to hazard analysis for complex robots. ISSE (2019)
Kun Wang, Zhiyou Ouyang, Rahul Krishnan, Lei Shu, Lei He
A Game Theory-Based Energy Management System Using Price Elasticity for Smart Grids. IEEE Trans. Ind. Informatics 11 (6) (2015)
Wei Wu, Wenyao Xu, Rahul Krishnan, Yen-Lung Chen, Lei He
REscope: High-dimensional Statistical Circuit Simulation towards Full Failure Region Coverage. DAC (2014)
Wei Wu, Fang Gong, Rahul Krishnan, Lei He, Hao Yu
Exploiting Parallelism by Data Dependency Elimination: A Case Study of Circuit Simulation Algorithms. IEEE Des. Test 30 (1) (2013)
Rahul Krishnan, Wei Wu, Fang Gong, Lei He
Stochastic behavioral modeling of analog/mixed-signal circuits by maximizing entropy. ISQED (2013)