Nigamanth Sridhar

According to our database1, Nigamanth Sridhar authored at least 43 papers between 2002 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Cybersecurity Education in the Age of Artificial Intelligence.
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?
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.
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.
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.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

2017
SPE: Security and Privacy Enhancement Framework for Mobile Devices.
IEEE Trans. Dependable Secur. Comput., 2017

Teaching the Global Impact of Computing.
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.
Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2016
Panel: Engage in Reasoning with Tools.
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

2015
Stackless Multi-Threading for Embedded Systems.
IEEE Trans. Computers, 2015

DESAL ^\beta : A Framework For Implementing Self-stabilizing Embedded Network Applications.
Proceedings of the Internet of Things. IoT Infrastructures, 2015

Refinement-Based Verification of the FreeRTOS Scheduler in VCC.
Proceedings of the Formal Methods and Software Engineering, 2015

2014
Efficient Refinement Checking in VCC.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems.
Proceedings of the Runtime Verification - 5th International Conference, 2014

An Ontology for Enforcing Security and Privacy Policies on Mobile Devices.
Proceedings of the KEOD 2014, 2014

2013
A Framework for Enhancing Security and Privacy on Unmodified Mobile Operating Systems.
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.
Proceedings of the NASA Formal Methods, 2012

Utilization of a wrist-mounted accelerometer to count movement repetitions.
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.
Proceedings of the Wireless Sensor Networks - 8th European Conference, 2011

Stackless preemptive multi-threading for TinyOS.
Proceedings of the Distributed Computing in Sensor Systems, 2011

2010
<i>SFS</i><sup>3</sup>: a simulation <i>f</i>ramework for <i>s</i>elf-<i>s</i>tabilizing <i>s</i>ystems.
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.
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?
Ad Hoc Sens. Wirel. Networks, 2009

Failure detectors for wireless sensor-actuator systems.
Ad Hoc Networks, 2009

GenQA: automated addition of architectural quality attribute support for Java software?
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Poster abstract: Measuring traffic in short-term construction work zones.
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

A specification idiom for reactive systems.
Proceedings of the 31st International Conference on Software Engineering, 2009

A Sensor Network System for Measuring Traffic in Short-Term Construction Work Zones.
Proceedings of the Distributed Computing in Sensor Systems, 2009

2008
DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language.
Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

A Wrapper-Based Approach to Sustained Time Synchronization in Wireless Sensor Networks.
Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

2007
A state-based language for sensor-actuator networks.
SIGBED Rev., 2007

Serfs: Dynamically-bound parameterized components.
J. Syst. Softw., 2007

2006
Decentralized Local Failure Detection in Dynamic Distributed Systems.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

TOSDev: a rapid development environment for tinyOS.
Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006

Abstractions for safe concurrent programming in networked embedded systems.
Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006

Container-Based Component Deployment: A Case Study.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Dynamic instantiation-checking components.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A Behavioral Model for Software Containers.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

2004
A Container-Based Approach to Object-Oriented Product Lines.
J. Object Technol., 2004

2003
Dynamic Module Replacement in Distributed Protocols.
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

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

Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies.
Proceedings of the Software Reuse: Methods, 2002

Early-Reply Components: Concurrent Execution with Sequential Reasoning.
Proceedings of the Software Reuse: Methods, 2002


  Loading...