Follow
Nigamanth Sridhar
Title
Cited by
Cited by
Year
Abstractions for safe concurrent programming in networked embedded systems
WP McCartney, N Sridhar
Proceedings of the 4th international conference on Embedded networked sensor …, 2006
1002006
Decentralized local failure detection in dynamic distributed systems
N Sridhar
2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06), 143-154, 2006
502006
A sensor network system for measuring traffic in short-term construction work zones
M Bathula, M Ramezanali, I Pradhan, N Patel, J Gotschall, N Sridhar
International Conference on Distributed Computing in Sensor Systems, 216-230, 2009
452009
Dynamic module replacement in distributed protocols
N Sridhar, SM Pike, BW Weide
23rd International Conference on Distributed Computing Systems, 2003 …, 2003
372003
SPE: security and privacy enhancement framework for mobile devices
B Krupp, N Sridhar, W Zhao
IEEE Transactions on Dependable and Secure Computing 14 (4), 433-446, 2015
292015
Tosdev: a rapid development environment for tinyos
WP McCartney, N Sridhar
Proceedings of the 4th international conference on Embedded networked sensor …, 2006
272006
Operation STEM: increasing success and improving retention among mathematically underprepared students in STEM
SD Carver, J Van Sickle, JP Holcomb, DK Jackson, A Resnick, SF Duffy, ...
Journal of STEM Education: Innovations and Research 18 (3), 20, 2017
242017
A new distributed resource-allocation algorithm with optimal failure locality
PAG Sivilotti, SM Pike, N Sridhar
Proceedings of the 12th IASTED International Conference on Parallel and …, 2000
242000
Failure detectors for wireless sensor-actuator systems
HA Zia, N Sridhar, S Sastry
Ad Hoc Networks 7 (5), 1001-1013, 2009
192009
Desal alpha: An implementation of the dynamic embedded sensor-actuator language
AR Dalton, WP McCartney, K GhoshDastidar, JO Hallstrom, N Sridhar, ...
2008 Proceedings of 17th International Conference on Computer Communications …, 2008
172008
Stackless preemptive multi-threading for TinyOS
WP McCartney, N Sridhar
2011 International Conference on Distributed Computing in Sensor Systems and …, 2011
162011
A state-based language for sensor-actuator networks
A Arora, M Gouda, JO Hallstrom, T Herman, WM Leal, N Sridhar
ACM SIGBED Review 4 (3), 25-30, 2007
152007
Effects of teacher training in a computer science principles curriculum on teacher and student skills, confidence, and beliefs
K Hamlen, N Sridhar, L Bievenue, DK Jackson, A Lalwani
Proceedings of the 49th ACM technical symposium on computer science …, 2018
132018
Refinement-based verification of the FreeRTOS scheduler in VCC
S Divakaran, D D’Souza, A Kushwah, P Sampath, N Sridhar, J Woodcock
International Conference on Formal Engineering Methods, 170-186, 2015
122015
Generating configurable containers for component-based software
N Sridhar, JO Hallstrom
6th ICSE Workshop on Component-Based Soft. Eng, 2003
122003
Service facilities: Extending abstract factories to decouple advanced dependencies
N Sridhar, BW Weide, P Bucci
International Conference on Software Reuse, 309-326, 2002
102002
Integrating components, contracts, and reasoning in CS curricula with RESOLVE: experiences at multiple institutions
W Heym, PAG Sivilotti, P Bucci, M Sitaraman, K Plis, JE Hollingsworth, ...
2017 IEEE 30th Conference on Software Engineering Education and Training …, 2017
92017
A new course for teaching internet of things: a practical, hands-on, and systems-level approach
N Barendt, N Sridhar, KA Loparo
2018 ASEE Annual Conference & Exposition, 2018
82018
Operation STEM: increasing success and improving retention among first-generation and underrepresented minority students in STEM
S Carver, J Van Sickle, JP Holcomb, C Quinn, DK Jackson, AH Resnick, ...
Journal of STEM Education: Innovations and Research 18 (3), 2017
82017
Efficient refinement checking in VCC
S Divakaran, D D’Souza, N Sridhar
Working Conference on Verified Software: Theories, Tools, and Experiments, 21-36, 2014
82014
The system can't perform the operation now. Try again later.
Articles 1–20