Nupur Kothari

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 1

Top Topics

Heterogeneous Systems

Coloured Petri Nets

Top Venues

Publications

Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein
Analyzing Protocol Implementations for Interoperability. NSDI (2015)
Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi
Finding protocol manipulation attacks. SIGCOMM (2011)
Aman Kansal, Feng Zhao, Jie Liu, Nupur Kothari, Arka Aloke Bhattacharya
Virtual machine power metering and provisioning. SoCC (2010)
Nupur Kothari, Todd D. Millstein, Ramesh Govindan
Deriving State Machines from TinyOS Programs Using Symbolic Execution. IPSN (2008)
Nupur Kothari, Kiran Nagaraja, Vijay Raghunathan, Florin Sultan, Srimat T. Chakradhar
HERMES: A Software Architecture for Visibility and Control in Wireless Sensor Network Deployments. IPSN (2008)
Ramakrishna Gummadi, Nupur Kothari, Todd D. Millstein, Ramesh Govindan
Declarative failure recovery for sensor networks. AOSD (2007)
Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan
Reliable and efficient programming abstractions for wireless sensor networks. PLDI (2007)
Krishna Chintalapudi, Tat S. Fu, Jeongyeup Paek, Nupur Kothari, Sumit Rangwala, John Caffrey, Ramesh Govindan, Erik A. Johnson, Sami F. Masri
Monitoring Civil Structures with a Wireless Sensor Network. IEEE Internet Comput. 10 (2) (2006)
Krishna Chintalapudi, Jeongyeup Paek, Nupur Kothari, Sumit Rangwala, Ramesh Govindan, Erik A. Johnson
Embedded Sensing of Structures: A Reality Check. RTCSA (2005)
Nupur Kothari, Vartika Bhandari, Dheeraj Sanghi
On Reciprocal Altruism and Its Application to QoS. MMNS (2003)