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 | 145 | 2005 |
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 | 41 | 2016 |
A toolset for modelling and verification of GALS systems S Ramesh, S Sonalkar, V D’silva, N Chandra R, B Vijayalakshmi Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 35 | 2004 |
Cloud-based microgrid control S Mokhtari, KNF Haghighi, E Amundson, DD Heim, N Ranganath, ... US Patent 10,606,296, 2020 | 12 | 2020 |
Automatic extraction of design properties SG Hangal, N Chandra US Patent 7,689,399, 2010 | 5 | 2010 |
New frontiers in diffusion modeling NC Ranganath Massachusetts Institute of Technology, 2012 | 1 | 2012 |
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 |