Abhishek Murthy

13 papers B 1Misc 2Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2019 — conf
Robustness of Neural Networks to Parameter Quantization.
From Reactive Systems to Cyber-Physical Systems
Abhishek Murthy, Himel Das, Md. Ariful Islam
2019 J jnl
Robustness of Neural Networks to Parameter Quantization.
CoRR
Abhishek Murthy, Himel Das, Md. Ariful Islam
2018 — conf
Object Recognition under Lighting Variations using Pre-Trained Networks.
AIPR
Kalpathy Sivaraman, Abhishek Murthy
2017 B conf
A Simplex Architecture for Hybrid Systems Using Barrier Certificates.
SAFECOMP
Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller
2017 Misc conf
Automated Lamp-Type Identification for City-Wide Outdoor Lighting Infrastructures.
HotMobile
Shengrong Yin, Talmai Oliveira, Abhishek Murthy
2017 Misc conf
Embedded sensor-data compression frameworks for connected lighting systems: poster.
SEC
Arvind Ramesh, Olaitan Olaleye, Abhishek Murthy
2015 — conf
Computing bisimulation functions using SOS optimization and
HSCC
Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2015 — conf
Lighting-Enabled Smart City Applications and Ecosystems based on the IoT.
WF-IoT
Abhishek Murthy, Dong Han, Dan Jiang, Talmai Oliveira
2015 J jnl
Model-order reduction of ion channel dynamics using approximate bisimulation.
Theor. Comput. Sci.
Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
2014 — conf
Compositionality results for cardiac cell dynamics.
HSCC
Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu
2013 J jnl
Curvature Analysis of Cardiac Excitation Wavefronts.
IEEE ACM Trans. Comput. Biol. Bioinform.
Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Elizabeth Cherry, Scott A. Smolka, Radu Grosu
2012 — conf
Approximate Bisimulations for Sodium Channel Dynamics.
CMSB
Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
2011 — conf
Curvature analysis of cardiac excitation wavefronts.
CMSB
Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Scott A. Smolka, Radu Grosu