Nigamanth Sridhar

According to our database, Nigamanth Sridhar authored at least 44 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

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., June, 2023

2021

Cybersecurity Education in the Age of Artificial Intelligence.

Nigamanth Sridhar, Li Yang, James Joshi, Victor Piotrowski

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

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

Proceedings of the CODASPY '21: Eleventh ACM Conference on Data and Application Security and Privacy, 2021

2020

Computer Science through Concurrent Enrollment: A Strategy to Broaden Participation.

Renee Fall, Seth Freeman, Ronald I. Greenberg, Dan Kaiser, Nigamanth Sridhar

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

2019

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

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

2018

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

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

2017

SPE: Security and Privacy Enhancement Framework for Mobile Devices.

Brian Krupp, Nigamanth Sridhar, Wenbing Zhao

IEEE Trans. Dependable Secur. Comput., 2017

Teaching the Global Impact of Computing.

Jeff Gray, Jennifer Rosato, Bradley Beth, Nigamanth Sridhar

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

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

Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2016

Panel: Engage in Reasoning with Tools.

Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

2015

Stackless Multi-Threading for Embedded Systems.

William P. McCartney, Nigamanth Sridhar

IEEE Trans. Computers, 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

Proceedings of the Internet of Things. IoT Infrastructures, 2015

Refinement-Based Verification of the FreeRTOS Scheduler in VCC.

Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Efficient Refinement Checking in VCC.

Sumesh Divakaran, Deepak D'Souza, Nigamanth Sridhar

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems.

Jiannan Zhai, Nigamanth Sridhar, Jason O. Hallstrom

Proceedings of the Runtime Verification - 5th International Conference, 2014

An Ontology for Enforcing Security and Privacy Policies on Mobile Devices.

Brian Krupp, Nigamanth Sridhar, Wenbing Zhao

Proceedings of the KEOD 2014, 2014

2013

A Framework for Enhancing Security and Privacy on Unmodified Mobile Operating Systems.

Brian Krupp, Nigamanth Sridhar, Wenbing Zhao

Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013

2012

A Case Study in Verification of Embedded Network Software.

Kalyan C. Regula, Hampton Smith, Heather Keown, Jason O. Hallstrom, Nigamanth Sridhar, Murali Sitaraman

Proceedings of the NASA Formal Methods, 2012

Utilization of a wrist-mounted accelerometer to count movement repetitions.

Sriram Sanka, Prashanth G. Reddy, Amber Alt, M. Ann Reinthal, Nigamanth Sridhar

Proceedings of the Fourth International Conference on Communication Systems and Networks, 2012

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

Proceedings of the Wireless Sensor Networks - 8th European Conference, 2011

Stackless preemptive multi-threading for TinyOS.

William P. McCartney, Nigamanth Sridhar

Proceedings of the Distributed Computing in Sensor Systems, 2011

2010

<i>SFS</i>³: a simulation <i>f</i>ramework for <i>s</i>elf-<i>s</i>tabilizing <i>s</i>ystems.

Sally K. Wahba, Jason O. Hallstrom, Pradip K. Srimani, Nigamanth Sridhar

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Lakon: a middle-ground approach to high-frequency data acquisition and in-network processing in sensor networks.

Prashanth G. Reddy, Nigamanth Sridhar

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

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

Failure detectors for wireless sensor-actuator systems.

Hamza A. Zia, Nigamanth Sridhar, Shivakumar Sastry

Ad Hoc Networks, 2009

GenQA: automated addition of architectural quality attribute support for Java software?

Sarthak Grover, Nigamanth Sridhar

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Poster abstract: Measuring traffic in short-term construction work zones.

Manohar Bathula, Mehrdad Ramezanali, Ishu Pradhan, Nilesh Patel, Joe Gotschall, Nigamanth Sridhar

Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

A specification idiom for reactive systems.

Nigamanth Sridhar, Jason O. Hallstrom

Proceedings of the 31st International Conference on Software Engineering, 2009

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 Distributed Computing in Sensor Systems, 2009

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

Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

A Wrapper-Based Approach to Sustained Time Synchronization in Wireless Sensor Networks.

Dheeraj Reddy Bheemidi, Nigamanth Sridhar

Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

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

Serfs: Dynamically-bound parameterized components.

Nigamanth Sridhar

J. Syst. Softw., 2007

2006

Decentralized Local Failure Detection in Dynamic Distributed Systems.

Nigamanth Sridhar

Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

TOSDev: a rapid development environment for tinyOS.

William P. McCartney, Nigamanth Sridhar

Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006

Abstractions for safe concurrent programming in networked embedded systems.

William P. McCartney, Nigamanth Sridhar

Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006

Container-Based Component Deployment: A Case Study.

Nigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Dynamic instantiation-checking components.

Nigamanth Sridhar

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A Behavioral Model for Software Containers.

Nigamanth Sridhar, Jason O. Hallstrom

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2004

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

2003

Dynamic Module Replacement in Distributed Protocols.

Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

2002

Lazy Snapshorts.

Nigamanth Sridhar, Paolo A. G. Sivilotti

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies.

Nigamanth Sridhar, Bruce W. Weide, Paolo Bucci

Proceedings of the Software Reuse: Methods, 2002

Early-Reply Components: Concurrent Execution with Sequential Reasoning.

Scott M. Pike, Nigamanth Sridhar

Proceedings of the Software Reuse: Methods, 2002