default search action
Nigamanth Sridhar
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j8]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): 24:1-24:21 (2023) - 2017
- [j7]Brian Krupp, Nigamanth Sridhar, Wenbing Zhao:
SPE: Security and Privacy Enhancement Framework for Mobile Devices. IEEE Trans. Dependable Secur. Comput. 14(4): 433-446 (2017) - 2015
- [j6]William P. McCartney, Nigamanth Sridhar:
Stackless Multi-Threading for Embedded Systems. IEEE Trans. Computers 64(10): 2940-2952 (2015) - 2009
- [j5]Hamza A. Zia, Nigamanth Sridhar, Shivakumar Sastry:
Failure detectors for wireless sensor-actuator systems. Ad Hoc Networks 7(5): 1001-1013 (2009) - [j4]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): 139-167 (2009) - 2007
- [j3]Nigamanth Sridhar:
Serfs: Dynamically-bound parameterized components. J. Syst. Softw. 80(5): 736-749 (2007) - [j2]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): 25-30 (2007) - 2004
- [j1]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): 161-175 (2004)
Conference and Workshop Papers
- 2021
- [c36]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: 335-336 - [c35]Nigamanth Sridhar, Li Yang, James Joshi, Victor Piotrowski:
Cybersecurity Education in the Age of Artificial Intelligence. SIGCSE 2021: 1365 - 2020
- [c34]Renee Fall, Seth Freeman, Ronald I. Greenberg, Dan Kaiser, Nigamanth Sridhar:
Computer Science through Concurrent Enrollment: A Strategy to Broaden Participation. SIGCSE 2020: 805-806 - 2019
- [c33]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: 962-963 - 2018
- [c32]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: 741-746 - 2017
- [c31]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: 202-211 - [c30]Jeff Gray, Jennifer Rosato, Bradley Beth, Nigamanth Sridhar:
Teaching the Global Impact of Computing. SIGCSE 2017: 661-662 - 2016
- [c29]Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide:
Panel: Engage in Reasoning with Tools. SIGCSE 2016: 160-161 - 2015
- [c28]Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock:
Refinement-Based Verification of the FreeRTOS Scheduler in VCC. ICFEM 2015: 170-186 - [c27]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: 307-312 - 2014
- [c26]Brian Krupp, Nigamanth Sridhar, Wenbing Zhao:
An Ontology for Enforcing Security and Privacy Policies on Mobile Devices. KEOD 2014: 288-295 - [c25]Jiannan Zhai, Nigamanth Sridhar, Jason O. Hallstrom:
Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems. RV 2014: 108-123 - [c24]Sumesh Divakaran, Deepak D'Souza, Nigamanth Sridhar:
Efficient Refinement Checking in VCC. VSTTE 2014: 21-36 - 2013
- [c23]Brian Krupp, Nigamanth Sridhar, Wenbing Zhao:
A Framework for Enhancing Security and Privacy on Unmodified Mobile Operating Systems. ICDCS Workshops 2013: 404-409 - 2012
- [c22]Sriram Sanka, Prashanth G. Reddy, Amber Alt, M. Ann Reinthal, Nigamanth Sridhar:
Utilization of a wrist-mounted accelerometer to count movement repetitions. COMSNETS 2012: 1-6 - [c21]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: 433-448 - 2011
- [c20]William P. McCartney, Nigamanth Sridhar:
Stackless preemptive multi-threading for TinyOS. DCOSS 2011: 1-8 - [c19]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: 81-97 - 2010
- [c18]Prashanth G. Reddy, Nigamanth Sridhar:
Lakon: a middle-ground approach to high-frequency data acquisition and in-network processing in sensor networks. IPSN 2010: 140-150 - [c17]Sally K. Wahba, Jason O. Hallstrom, Pradip K. Srimani, Nigamanth Sridhar:
SFS3: a simulation framework for self-stabilizing systems. SpringSim 2010: 172 - 2009
- [c16]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: 216-230 - [c15]Nigamanth Sridhar, Jason O. Hallstrom:
A specification idiom for reactive systems. ICSE Companion 2009: 267-270 - [c14]Manohar Bathula, Mehrdad Ramezanali, Ishu Pradhan, Nilesh Patel, Joe Gotschall, Nigamanth Sridhar:
Poster abstract: Measuring traffic in short-term construction work zones. IPSN 2009: 361-362 - [c13]Sarthak Grover, Nigamanth Sridhar:
GenQA: automated addition of architectural quality attribute support for Java software? SAC 2009: 483-487 - 2008
- [c12]Dheeraj Reddy Bheemidi, Nigamanth Sridhar:
A Wrapper-Based Approach to Sustained Time Synchronization in Wireless Sensor Networks. ICCCN 2008: 209-214 - [c11]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: 541-547 - 2006
- [c10]Nigamanth Sridhar, Jason O. Hallstrom:
A Behavioral Model for Software Containers. FASE 2006: 139-154 - [c9]Nigamanth Sridhar:
Dynamic instantiation-checking components. SAC 2006: 1442-1446 - [c8]Nigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti:
Container-Based Component Deployment: A Case Study. SEKE 2006: 274-277 - [c7]William P. McCartney, Nigamanth Sridhar:
Abstractions for safe concurrent programming in networked embedded systems. SenSys 2006: 167-180 - [c6]William P. McCartney, Nigamanth Sridhar:
TOSDev: a rapid development environment for tinyOS. SenSys 2006: 387-388 - [c5]Nigamanth Sridhar:
Decentralized Local Failure Detection in Dynamic Distributed Systems. SRDS 2006: 143-154 - 2003
- [c4]Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide:
Dynamic Module Replacement in Distributed Protocols. ICDCS 2003: 620-627 - 2002
- [c3]Scott M. Pike, Nigamanth Sridhar:
Early-Reply Components: Concurrent Execution with Sequential Reasoning. ICSR 2002: 46-61 - [c2]Nigamanth Sridhar, Bruce W. Weide, Paolo Bucci:
Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies. ICSR 2002: 309-326 - [c1]Nigamanth Sridhar, Paolo A. G. Sivilotti:
Lazy Snapshorts. IASTED PDCS 2002: 96-101
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint