Follow
Naveen Chandra Ranganath
Naveen Chandra Ranganath
Unknown affiliation
Verified email at alum.mit.edu
Title
Cited by
Cited by
Year
Iodine: a tool to automatically infer dynamic invariants for hardware designs
S Hangal, N Chandra, S Narayanan, S Chakravorty
Proceedings of the 42nd annual Design Automation Conference, 775-778, 2005
1382005
A toolset for modelling and verification of GALS systems
S Ramesh, S Sonalkar, V D’silva, N Chandra R, B Vijayalakshmi
International Conference on Computer Aided Verification, 506-509, 2004
362004
Secure installation of encryption enabling software onto electronic devices
KNF Haghighi, S Mokhtari, E Amundson, N Ranganath, A Sorvari, D Heim
US Patent 9,386,008, 2016
332016
Cloud-based microgrid control
S Mokhtari, KNF Haghighi, E Amundson, DD Heim, N Ranganath, ...
US Patent 10,606,296, 2020
82020
Automatic extraction of design properties
SG Hangal, N Chandra
US Patent 7,689,399, 2010
52010
New frontiers in diffusion modeling
NC Ranganath
Massachusetts Institute of Technology, 2012
12012
Cloud-based microgrid control
S Mokhtari, KNF Haghighi, E Amundson, DD Heim, N Ranganath, ...
US Patent App. 16/790,199, 2020
2020
Systems Engineering for the Design of a Smart Energy Box
J Hickey, P Kashyap, J Moreno, N Ranganath, A Thomas
INCOSE International Symposium 22 (1), 2156-2172, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–8