Nigamanth Sridhar

Associate Professor

Ph.D., The Ohio State University, Columbus OH, USA, 2004


Refereed Publications

Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by the appropriate copyright.

    2012

  1. A Case Study in Verification of Embedded Network Software. Kalyan Regula, Heather Harton, Hampton Smith, Jason Hallstrom, Murali Sitaraman and Nigamanth Sridhar. Proceedings of the Fourth NASA Formal Methods Symposium (NFM 2012). April 3--5, 2012. Norfolk, VA, USA.
    [PDF]
  2. Utilization of a Wrist-Mounted Accelerometer to Count Movement Repetitions. Sriram Sanka, Prashanth G. Reddy, Amber Alt, Ann Reinthal, and Nigamanth Sridhar. Proceedings of the COMSNETS Workshop on Networked Healthcare Technology (NetHealth) 2012. January 3, 2012. Bangalore, India.
    [PDF]

    2011

  3. Stackless Preemptive Multithreading for TinyOS. William P. McCartney and Nigamanth Sridhar. Proceedings of the 7th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS'11). June 27-29. Barcelona, Spain.
    [PDF]
  4. A Mobility Management Framework for Optimizing the Trajectory of a Mobile Base-Station. Madhu M. Mudigonda, Trisul Kanipakam, Adam M. Dutko, Manohar Bathula, Nigamanth Sridhar, Srini Seetharaman, and Jason O. Hallstrom. Proceedings of the 8th European Conference on Wireless Sensor Networks (EWSN'11). February 23-25, Bonn, Germany.
    [PDF]

    2010

  5. SFS3: A Simulation Framework for Self-Stabilizing Systems. Sally K. Wahba, Jason O. Hallstrom, Pradip K. Srimani, and Nigamanth Sridhar. Proceedings of the 43rd Annual Simulation Symposium (ANSS'10). April 11-15, Orlando, FL, USA.
  6. Lakon: A Middle-Ground Approach to High-Frequency Data Acquisition and In-network Processing in Sensor Networks. Prashanth G. Reddy and Nigamanth Sridhar. Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN SPOTS'10). April 12-16, Stockholm, Sweden.
    [PDF]

    2009

  7. A Sensor Network System for Measuring Traffic in Short-Term Construction Work Zones. Manohar Bathula, Mehrdad Ramezanali, Ishu Pradhan, Nilesh Patel, Joe Gotschall, Nigamanth Sridhar. Proceedings of the 5th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS '09). June 8--10, 2009. Marina Del Rey, CA, USA. To appear.
    [PDF]
  8. A Specification Idiom for Reactive Systems. Nigamanth Sridhar and Jason O. Hallstrom. Proceedings of the 31st International Conference on Software Engineering (New Ideas and Emerging Results Track). May 16-24, 2009. Vancouver, Canada. To appear.
    [PDF]
  9. Measuring Traffic in Short-Term Construction Work Zones. (Poster paper) Manohar Bathula, Mehrdad Ramezanali, Ishu Pradhan, Nilesh Patel, Joe Gotschall, Nigamanth Sridhar. Proceedings of the 8th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN '09). April 13-16, 2009, San Francisco, USA. To appear
    [PDF]
  10. Integrating Engineering into High School Curricula. Joseph E. Marencik, Stephen F. Duffy, Diane E. Burrowbridge, and Nigamanth Sridhar Proceedings of the 2009 Northeast American Society of Engineering Education Conference. April 3-4, 2009, Bridgeport CT, USA. To appear.
  11. GenQA: Automated Addition of Architectural Quality Attribute Support for Java Software. Sarthak Grover and Nigamanth Sridhar. Proceedings of the 2009 Symposium on Applied Computing (Software Engineering Track). March 8 - 12, 2009. Honolulu, Hawaii, USA.
    [PDF]
  12. 2008

  13. Failure Detectors for Wireless Sensor Actuator Networks. Hamza A. Zia, Nigamanth Sridhar, and Shivakumar Sastry. Elsevier Ad Hoc Networks. In Press.
  14. Reducing the Impact of Link Quality Variation in Embedded Wireless Networks. Andy Dalton, Jason O. Hallstrom, Hamza A. Zia, and Nigamanth Sridhar. Ad Hoc & Sensor Wireless Networks. In Press.
  15. A Wrapper-Based Approach to Sustained Time Synchronization in Wireless Sensor Networks. Dheeraj R. Bheemidi and Nigamanth Sridhar. Proceedings of the 17th International Conference on Computer Communications and Networks. August 3--7, 2008. St. Thomas US Virgin Islands.
    [PDF] [PS]
  16. DESAL-a: An Implementation of the Dynamic Embedded Sensor-Actuator Language Andrew Dalton, William P. McCartney, Kajari Ghosh-Dastidar, Jason O. Hallstrom, Nigamanth Sridhar, Ted Herman, William Leal, Anish Arora, Mohamed Gouda. Proceedings of the 17th International Conference on Computer Communications and Networks. August 3--7, 2008. St. Thomas US Virgin Islands.
    [PDF] [PS]
  17. Getting TinyOS and NesC Ready for Prime Time. William P. McCartney and Nigamanth Sridhar. Proceedings of HotEmNets '08: 5th Workshop on Hot Topics in Embedded Networks. June 2-3, 2008. Charlottesville, VA.
    [PDF] [PS]
  18. 2007

  19. A state-based language for sensor-actuator networks. Anish Arora, Mohamed Gouda, Jason Hallstrom, Ted Herman, William Leal, and Nigamanth Sridhar. ACM SIGBed Review. April 2007.
    [PDF] [PS]
  20. Serfs: Dynamically-bound parameterized components. Nigamanth Sridhar. Journal of Systems and Software, Vol. 80, No. 5, May 2007. pp 736--749.
  21. 2006

  22. Abstractions for Safe Concurrent Programming in Networked Embedded Systems. William P. McCartney and Nigamanth Sridhar. Proceedings of SenSys '06: 4th ACM Conference on Embedded Networked Sensor Systems, November 1--3 2006. Pages 167--180.
    Acceptance rate: 19.3% (24 out of 124)
    [PDF] [PS] [Abstract] [BibTeX]
  23. TOSDev: A Rapid Development Environment for TinyOS. William P. McCartney and Nigamanth Sridhar. Proceedings of SenSys '06: 4th ACM Conference on Embedded Networked Sensor Systems, November 1--3 2006. Pages 387--388.
    Demo Abstract
    [PDF] [PS] [BibTeX]
  24. Improving Network Link Quality in Embedded Wireless Systems. Andy R. Dalton, Jason O. Hallstrom, Hamza A. Zia, and Nigamanth Sridhar. Proceedings of the 3rd Workshop on Dependable Embedded Systems, October 1 2006. Pages 43--48.
    [PDF] [PS] [Abstract] [BibTeX]
  25. Decentralized Local Failure Detection in Dynamic Distributed Systems. Nigamanth Sridhar. Proceedings of SRDS '06: 25th International Symposium on Reliable Distributed Systems, October 2--4 2006. Pages 143--152. IEEE Press.
    [PDF] [PS] [Abstract] [BibTeX]
  26. Container-Based Component Deployment: A Case Study. Nigamanth Sridhar, Jason O. Hallstrom, and Paolo A.G. Sivilotti. Proceedings of SEKE '06: International Conference on Software Engineering and Knowledge Engineering, July 5--7 2006. To appear.
    [PDF] [PS] [Abstract] [BibTeX]
  27. A Behavioral Model for Software Containers. Nigamanth Sridhar and Jason O. Hallstrom Proceedings of FASE '06: Fundamental Approaches to Software Engineering, March 2006. Pages 139--154. LNCS 3922.
    Acceptance rate: 16.67% (30 out of 180)
    [PDF] [PS] [Abstract] [BibTeX]
  28. Dynamic Instantiation-Checking Wrappers. Nigamanth Sridhar. Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC 2006), April 2006. To appear.
    [PDF] [PS] [Abstract] [BibTeX]
  29. 2004

  30. Dynamically Reconfigurable Parameterized Components. Nigamanth Sridhar. Ph.D. Thesis, The Ohio State University, March 2004.
    [PDF] [PS] [Abstract] [BibTeX]
  31. A Container-Based Approach to Object-Oriented Product Lines. Jason O. Hallstrom, Nigamanth Sridhar, Paolo A.G. Sivilotti, Anish Arora, and William M. Leal. Journal of Object Technology, Vol. 3, No. 4, April 2004. pp 161--175
    [PDF] [PS] [Abstract] [BibTeX]
  32. Encapsulating Concurrency as an Approach to Unification. Santosh Kumar, Bruce W. Weide, Paolo A.G. Sivilotti, Nigamanth Sridhar, Jason O. Hallstrom, and Scott M. Pike. FSE Workshop on Specification and Verification of Component-Based Systems, October 2004.
    [PDF] [PS] [Abstract] [BibTeX]
  33. 2003

  34. Reasoning About Parameterized Components with Dynamic Binding. Nigamanth Sridhar and Bruce W. Weide. Poster presentation. Proceedings of the Workshop on Specification and Verification of Component-Based Systems at ESEC/FSE 2003. Pages 92--95. Helsinki, Finland. Sep 1--2, 2003.
    [PDF] [PS] [Abstract] [BibTeX]
  35. Dynamic Module Replacement in Distributed Protocols. Nigamanth Sridhar, Scott M. Pike and Bruce W. Weide.< International Conference on Distributed Computing Systems (ICDCS) 2003. Pages 620--627. May 17 -- 19. Providence RI.
    [PDF] [PS] [Abstract] [BibTeX]
  36. Generating Configurable Containers for Component-Based Software. Nigamanth Sridhar and Jason O. Hallstrom. ICSE Workshop on Component-Based Software Engineering at ICSE 2003. May 3 -- 4. Portland OR.
    [PDF] [PS] [Abstract] [BibTeX]
  37. 2002

  38. Lazy Snapshots. Nigamanth Sridhar and Paolo A. G. Sivilotti. IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS) 2002. Nov 4 -- 6. Cambridge MA.
    [PDF] [PS] [Abstract] [BibTeX] [PPT] [Talk (PDF)]
  39. Iterators Reconsidered. Jason O. Hallstrom, Scott M. Pike and Nigamanth Sridhar. ICSE Workshop on Component-Based Software Engineering at ICSE 2002. May 19 -- 20. Orlando FL.
    [PDF] [PS] [Abstract] [BibTeX]
  40. Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies. Nigamanth Sridhar, Bruce W. Weide and Paolo Bucci. International Conference on Software Reuse (ICSR) 2002. Pages 309--326. Apr 15 -- 19. Austin TX.
    [PDF] [PS] [Abstract] [BibTeX]
  41. Early Reply Components: Concurrent Execution with Sequential Reasoning. Scott M. Pike and Nigamanth Sridhar. International Conference on Software Reuse (ICSR) 2002. Pages 46--61. Apr 15 -- 19. Austin TX.
    [PDF] [PS] [Abstract] [BibTeX]
  42. 2000

  43. A New Resource Allocation Algorithm with Optimal Failure Locality. Paolo A. G. Sivilotti, Scott M. Pike and Nigamanth Sridhar. IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS) 2000. Nov 6 -- 9. Las Vegas NV.
    [PDF] [PS] [Abstract] [BibTeX]

Nigamanth Sridhar