Nigamanth Sridhar

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 10

Top Topics

Case Based Reasoner

Privacy Policies

Professional Development

Dependent Variables

Top Venues

IEEE Trans. Computers

Publications

Karla Hamlen Mansour, Debbie K. Jackson, Lisa Bievenue, Adam Voight, Nigamanth Sridhar
Understanding the Impact of Peer Instruction in CS Principles Teacher Professional Development. ACM Trans. Comput. Educ. 23 (2) (2023)
Ambareen Siraj, Nigamanth Sridhar, John A. Drew Hamilton, Latifur Khan, Siddharth Kaza, Maanak Gupta, Sudip Mittal
Is there a Security Mindset and Can it be Taught? CODASPY (2021)
Nigamanth Sridhar, Li Yang, James Joshi, Victor Piotrowski
Cybersecurity Education in the Age of Artificial Intelligence. SIGCSE (2021)
Renee Fall, Seth Freeman, Ronald I. Greenberg, Dan Kaiser, Nigamanth Sridhar
Computer Science through Concurrent Enrollment: A Strategy to Broaden Participation. SIGCSE (2020)
Colleen M. Lewis, Daniel D. Garcia, Helen H. Hu, Saber Khan, Nigamanth Sridhar, Bryan Twarek, Chinma Uche
Microteaching: Recursion, Coding Style, Creative Coding, Inheritance and Polymorphism, Loops, and the Internet. SIGCSE (2019)
Karla R. Hamlen, Nigamanth Sridhar, Lisa Bievenue, Debbie K. Jackson, Anil Lalwani
Effects of Teacher Training in a Computer Science Principles Curriculum on Teacher and Student Skills, Confidence, and Beliefs. SIGCSE (2018)
Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar
Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. CSEE&T (2017)
Jeff Gray, Jennifer Rosato, Bradley Beth, Nigamanth Sridhar
Teaching the Global Impact of Computing. SIGCSE (2017)
Brian Krupp, Nigamanth Sridhar, Wenbing Zhao
SPE: Security and Privacy Enhancement Framework for Mobile Devices. IEEE Trans. Dependable Secur. Comput. 14 (4) (2017)
Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide
Panel: Engage in Reasoning with Tools. SIGCSE (2016)
Yangyang He, Yuheng Du, Shiree Hughes, Jiannan Zhai, Jason O. Hallstrom, Nigamanth Sridhar
DESAL ^\beta : A Framework For Implementing Self-stabilizing Embedded Network Applications. IoT 360 (2) (2015)
William P. McCartney, Nigamanth Sridhar
Stackless Multi-Threading for Embedded Systems. IEEE Trans. Computers 64 (10) (2015)
Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock
Refinement-Based Verification of the FreeRTOS Scheduler in VCC. ICFEM (2015)
Sumesh Divakaran, Deepak D'Souza, Nigamanth Sridhar
Efficient Refinement Checking in VCC. VSTTE (2014)
Brian Krupp, Nigamanth Sridhar, Wenbing Zhao
An Ontology for Enforcing Security and Privacy Policies on Mobile Devices. KEOD (2014)
Jiannan Zhai, Nigamanth Sridhar, Jason O. Hallstrom
Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems. RV (2014)
Brian Krupp, Nigamanth Sridhar, Wenbing Zhao
A Framework for Enhancing Security and Privacy on Unmodified Mobile Operating Systems. ICDCS Workshops (2013)
Kalyan C. Regula, Hampton Smith, Heather Keown, Jason O. Hallstrom, Nigamanth Sridhar, Murali Sitaraman
A Case Study in Verification of Embedded Network Software. NASA Formal Methods (2012)
Sriram Sanka, Prashanth G. Reddy, Amber Alt, M. Ann Reinthal, Nigamanth Sridhar
Utilization of a wrist-mounted accelerometer to count movement repetitions. COMSNETS (2012)
William P. McCartney, Nigamanth Sridhar
Stackless preemptive multi-threading for TinyOS. DCOSS (2011)
Madhu Mudigonda, Trisul Kanipakam, Adam Dutko, Manohar Bathula, Nigamanth Sridhar, Srinivasan Seetharaman, Jason O. Hallstrom
A Mobility Management Framework for Optimizing the Trajectory of a Mobile Base-Station. EWSN (2011)
Prashanth G. Reddy, Nigamanth Sridhar
Lakon: a middle-ground approach to high-frequency data acquisition and in-network processing in sensor networks. IPSN (2010)
Sally K. Wahba, Jason O. Hallstrom, Pradip K. Srimani, Nigamanth Sridhar
ystems. SpringSim (2010)
Manohar Bathula, Mehrdad Ramezanali, Ishu Pradhan, Nilesh Patel, Joe Gotschall, Nigamanth Sridhar
Poster abstract: Measuring traffic in short-term construction work zones. IPSN (2009)
Manohar Bathula, Mehrdad Ramezanali, Ishu Pradhan, Nilesh Patel, Joe Gotschall, Nigamanth Sridhar
A Sensor Network System for Measuring Traffic in Short-Term Construction Work Zones. DCOSS (2009)
Hamza A. Zia, Nigamanth Sridhar, Shivakumar Sastry
Failure detectors for wireless sensor-actuator systems. Ad Hoc Networks 7 (5) (2009)
Andrew R. Dalton, Jason O. Hallstrom, Hamza A. Zia, Nigamanth Sridhar
Reducing the Impact of Link Quality Variation in Embedded Wireless Networks? Ad Hoc Sens. Wirel. Networks 7 (3-4) (2009)
Nigamanth Sridhar, Jason O. Hallstrom
A specification idiom for reactive systems. ICSE Companion (2009)
Sarthak Grover, Nigamanth Sridhar
GenQA: automated addition of architectural quality attribute support for Java software? SAC (2009)
Dheeraj Reddy Bheemidi, Nigamanth Sridhar
A Wrapper-Based Approach to Sustained Time Synchronization in Wireless Sensor Networks. ICCCN (2008)
Andrew R. Dalton, William P. McCartney, Kajari Ghosh Dastidar, Jason O. Hallstrom, Nigamanth Sridhar, Ted Herman, William Leal, Anish Arora, Mohamed G. Gouda
DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language. ICCCN (2008)
Nigamanth Sridhar
Serfs: Dynamically-bound parameterized components. J. Syst. Softw. 80 (5) (2007)
Anish Arora, Mohamed G. Gouda, Jason O. Hallstrom, Ted Herman, William Leal, Nigamanth Sridhar
A state-based language for sensor-actuator networks. SIGBED Rev. 4 (3) (2007)
William P. McCartney, Nigamanth Sridhar
Abstractions for safe concurrent programming in networked embedded systems. SenSys (2006)
Nigamanth Sridhar, Jason O. Hallstrom
A Behavioral Model for Software Containers. FASE (2006)
Nigamanth Sridhar
Dynamic instantiation-checking components. SAC (2006)
Nigamanth Sridhar
Decentralized Local Failure Detection in Dynamic Distributed Systems. SRDS (2006)
Nigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti
Container-Based Component Deployment: A Case Study. SEKE (2006)
William P. McCartney, Nigamanth Sridhar
TOSDev: a rapid development environment for tinyOS. SenSys (2006)
Jason O. Hallstrom, Nigamanth Sridhar, Paolo A. G. Sivilotti, Anish Arora, William Leal
A Container-Based Approach to Object-Oriented Product Lines. J. Object Technol. 3 (4) (2004)
Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide
Dynamic Module Replacement in Distributed Protocols. ICDCS (2003)
Nigamanth Sridhar, Paolo A. G. Sivilotti
Lazy Snapshorts. IASTED PDCS (2002)
Nigamanth Sridhar, Bruce W. Weide, Paolo Bucci
Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies. ICSR (2002)
Scott M. Pike, Nigamanth Sridhar
Early-Reply Components: Concurrent Execution with Sequential Reasoning. ICSR (2002)