Nigamanth Sridhar

43 papers A 7B 10C 3Misc 5Journal 8Unranked 10

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