Early-Reply Components: Concurrent Execution with Sequential Reasoning. - Scott M. Pike; Nigamanth Sridhar (ICSR, 2002)

Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies. - Nigamanth Sridhar; Bruce W. Weide; Paolo Bucci (ICSR, 2002)

Lazy Snapshorts. - Nigamanth Sridhar; Paolo A. G. Sivilotti (IASTED PDCS, 2002)

Dynamic Module Replacement in Distributed Protocols. - Nigamanth Sridhar; Scott M. Pike; Bruce W. Weide (ICDCS, 2003)

A Container-Based Approach to Object-Oriented Product Lines. - Jason O. Hallstrom; Nigamanth Sridhar; Paolo A. G. Sivilotti; Anish Arora; William Leal (J. Object Technol., 2004)

A Behavioral Model for Software Containers. - Nigamanth Sridhar; Jason O. Hallstrom (FASE, 2006)

Dynamic instantiation-checking components. - Nigamanth Sridhar (SAC, 2006)

Container-Based Component Deployment: A Case Study. - Nigamanth Sridhar; Jason O. Hallstrom; Paolo A. G. Sivilotti (SEKE, 2006)

Abstractions for safe concurrent programming in networked embedded systems. - William P. McCartney; Nigamanth Sridhar (SenSys, 2006)

TOSDev: a rapid development environment for tinyOS. - William P. McCartney; Nigamanth Sridhar (SenSys, 2006)

Decentralized Local Failure Detection in Dynamic Distributed Systems. - Nigamanth Sridhar (SRDS, 2006)

Serfs: Dynamically-bound parameterized components. - Nigamanth Sridhar (J. Syst. Softw., 2007)

A state-based language for sensor-actuator networks. - Anish Arora; Mohamed G. Gouda; Jason O. Hallstrom; Ted Herman; William Leal; Nigamanth Sridhar (SIGBED Rev., 2007)

A Wrapper-Based Approach to Sustained Time Synchronization in Wireless Sensor Networks. - Dheeraj Reddy Bheemidi; Nigamanth Sridhar (ICCCN, 2008)

DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language. - Andrew R. Dalton; William P. McCartney; Kajari Ghosh Dastidar; Jason O. Hallstrom; Nigamanth Sridhar; Ted Herman; William Leal; Anish Arora; Mohamed G. Gouda (ICCCN, 2008)

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 (DCOSS, 2009)

A specification idiom for reactive systems. - Nigamanth Sridhar; Jason O. Hallstrom (ICSE Companion, 2009)

Poster abstract: Measuring traffic in short-term construction work zones. - Manohar Bathula; Mehrdad Ramezanali; Ishu Pradhan; Nilesh Patel; Joe Gotschall; Nigamanth Sridhar (IPSN, 2009)

GenQA: automated addition of architectural quality attribute support for Java software? - Sarthak Grover; Nigamanth Sridhar (SAC, 2009)

Failure detectors for wireless sensor-actuator systems. - Hamza A. Zia; Nigamanth Sridhar; Shivakumar Sastry (Ad Hoc Networks, 2009)

Reducing the Impact of Link Quality Variation in Embedded Wireless Networks? - Andrew R. Dalton; Jason O. Hallstrom; Hamza A. Zia; Nigamanth Sridhar (Ad Hoc Sens. Wirel. Networks, 2009)

Lakon: a middle-ground approach to high-frequency data acquisition and in-network processing in sensor networks. - Prashanth G. Reddy; Nigamanth Sridhar (IPSN, 2010)

SFS3: a simulation framework for self-stabilizing systems. - Sally K. Wahba; Jason O. Hallstrom; Pradip K. Srimani; Nigamanth Sridhar (SpringSim, 2010)

Stackless preemptive multi-threading for TinyOS. - William P. McCartney; Nigamanth Sridhar (DCOSS, 2011)

A Mobility Management Framework for Optimizing the Trajectory of a Mobile Base-Station. - Madhu Mudigonda; Trisul Kanipakam; Adam Dutko; Manohar Bathula; Nigamanth Sridhar; Srinivasan Seetharaman; Jason O. Hallstrom (EWSN, 2011)

Utilization of a wrist-mounted accelerometer to count movement repetitions. - Sriram Sanka; Prashanth G. Reddy; Amber Alt; M. Ann Reinthal; Nigamanth Sridhar (COMSNETS, 2012)

A Case Study in Verification of Embedded Network Software. - Kalyan C. Regula; Hampton Smith; Heather Keown; Jason O. Hallstrom; Nigamanth Sridhar; Murali Sitaraman (NASA Formal Methods, 2012)

A Framework for Enhancing Security and Privacy on Unmodified Mobile Operating Systems. - Brian Krupp; Nigamanth Sridhar; Wenbing Zhao 001 (ICDCS Workshops, 2013)

An Ontology for Enforcing Security and Privacy Policies on Mobile Devices. - Brian Krupp; Nigamanth Sridhar; Wenbing Zhao 001 (KEOD, 2014)

Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems. - Jiannan Zhai; Nigamanth Sridhar; Jason O. Hallstrom (RV, 2014)

Efficient Refinement Checking in VCC. - Sumesh Divakaran; Deepak D'Souza; Nigamanth Sridhar (VSTTE, 2014)

Refinement-Based Verification of the FreeRTOS Scheduler in VCC. - Sumesh Divakaran; Deepak D'Souza; Anirudh Kushwah; Prahladavaradan Sampath; Nigamanth Sridhar; Jim Woodcock 001 (ICFEM, 2015)

DESAL ^ beta : A Framework For Implementing Self-stabilizing Embedded Network Applications. - Yangyang He; Yuheng Du; Shiree Hughes; Jiannan Zhai; Jason O. Hallstrom; Nigamanth Sridhar (IoT 360 (2), 2015)

Stackless Multi-Threading for Embedded Systems. - William P. McCartney; Nigamanth Sridhar (IEEE Trans. Computers, 2015)

Panel: Engage in Reasoning with Tools. - Gregory Kulczycki; Murali Sitaraman; Nigamanth Sridhar; Bruce W. Weide (SIGCSE, 2016)

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. - Wayne D. Heym; Paolo A. G. Sivilotti; Paolo Bucci; Murali Sitaraman; Kevin Plis; Joseph E. Hollingsworth; Joan Krone; Nigamanth Sridhar (CSEE&T, 2017)

Teaching the Global Impact of Computing. - Jeff Gray 001; Jennifer Rosato; Bradley Beth; Nigamanth Sridhar (SIGCSE, 2017)

SPE: Security and Privacy Enhancement Framework for Mobile Devices. - Brian Krupp; Nigamanth Sridhar; Wenbing Zhao 001 (IEEE Trans. Dependable Secur. Comput., 2017)

Effects of Teacher Training in a Computer Science Principles Curriculum on Teacher and Student Skills, Confidence, and Beliefs. - Karla R. Hamlen; Nigamanth Sridhar; Lisa Bievenue; Debbie K. Jackson; Anil Lalwani (SIGCSE, 2018)

Microteaching: Recursion, Coding Style, Creative Coding, Inheritance and Polymorphism, Loops, and the Internet. - Colleen M. Lewis; Daniel D. Garcia; Helen H. Hu; Saber Khan; Nigamanth Sridhar; Bryan Twarek; Chinma Uche (SIGCSE, 2019)

Computer Science through Concurrent Enrollment: A Strategy to Broaden Participation. - Renee Fall; Seth Freeman; Ronald I. Greenberg; Dan Kaiser; Nigamanth Sridhar (SIGCSE, 2020)

Is there a Security Mindset and Can it be Taught? - Ambareen Siraj; Nigamanth Sridhar; John A. Drew Hamilton; Latifur Khan; Siddharth Kaza; Maanak Gupta; Sudip Mittal (CODASPY, 2021)

Cybersecurity Education in the Age of Artificial Intelligence. - Nigamanth Sridhar; Li Yang; James Joshi; Victor Piotrowski (SIGCSE, 2021)

Understanding the Impact of Peer Instruction in CS Principles Teacher Professional Development. - Karla Hamlen Mansour; Debbie K. Jackson; Lisa Bievenue; Adam Voight; Nigamanth Sridhar (ACM Trans. Comput. Educ., 2023)