Publications:

* Brian Krupp, Nigamanth Sridhar, and Wenbing Zhao. An Ontology for Enforcing Security and Privacy Policies on Mobile Devices. Proceedings of the 6th International Conference on Knowledge Engineering and Ontology Development (KEOD¿14). October 21¿24, 2014. Rome, Italy.

* Jiannan Zhai, Nigamanth Sridhar, and Jason O. Hallstrom. Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems. Proceedings of the 14th Interna- tional Conference on Runtime Verification (RV 2014). September 22¿25, Toronto, ON, Canada.

* Sumesh Divakaran, Deepak D¿Souza, and Nigamanth Sridhar. Efficient Refinement Checking us- ing VCC. Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2014). July 17¿18, 2014, Vienna, Austria.

* Debbie K. Jackson, Nigamanth Sridhar, Stephen Duffy, Joanne Goodell, and Gina Weisblat. Academic Requirements for Success in STEM. Proceedings of the NSTA Annual Conference. April 3¿6, 2014, Boston MA.

* Nigamanth Sridhar and Debbie K. Jackson. An investigation of the current landscape of K-12 engineering education and the potential impact of NGSS on first year engineering curricula. Proceedings of the 2013 First Year Engineering Experience Conference (FYEE 2013). August 8¿9, Pittsburgh, PA, USA.

* Brian Krupp, Nigamanth Sridhar, and Wenbing Zhao. A Proposed Framework for Enhancing Secu- rity and Privacy on Unmodified Mobile Operating Systems. Proceedings of the ICDCS Workshop on Mobile Cloud and Social Computing (MCSC 2013). July 8¿11, Philadelphia PA, USA.

* Debbie K. Jackson, Stephen F. Duffy, Nigamanth Sridhar, and Diane E. Burrowbridge. Integrating Engineering in K-12 Science. Proceedings of the NSTA Annual Conference. April 11¿14, 2013, San Antonio TX, USA.

* 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.

* 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.

* 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.

* 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.

* 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.

* 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.

* 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.

* 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.  

* 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.

* 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.

* 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.

* Failure Detectors for Wireless Sensor Actuator Networks. Hamza A. Zia, Nigamanth Sridhar, and Shivakumar Sastry. Elsevier Ad Hoc Networks.

* 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.

* 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.

* 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.

* 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.

* 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.

* Serfs: Dynamically-bound parameterized components. Nigamanth Sridhar. Journal of Systems and Software, Vol. 80, No. 5, May 2007. pp 736--749.

* 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.

* 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.

* 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.

* 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.

* 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.

* 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.

* Dynamic Instantiation-Checking Wrappers. Nigamanth Sridhar. Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC 2006), April 2006.

* Dynamically Reconfigurable Parameterized Components. Nigamanth Sridhar. Ph.D. Thesis, The Ohio State University, March 2004.

* 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

* 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.

* 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.

* 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.

* 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.

* 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.

* 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.

* 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.

* 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.

* 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.