Compositional analysis framework using EDP resource models A Easwaran, M Anand, I Lee 28th IEEE International Real-Time Systems Symposium (RTSS 2007), 129-138, 2007 | 269 | 2007 |
Robust test generation and coverage for hybrid systems AA Julius, GE Fainekos, M Anand, I Lee, GJ Pappas International Workshop on Hybrid Systems: Computation and Control, 329-342, 2007 | 166 | 2007 |
Quantifying eavesdropping vulnerability in sensor networks M Anand, Z Ives, I Lee Proceedings of the 2nd international workshop on Data management for sensor …, 2005 | 84 | 2005 |
Security challenges in next generation cyber physical systems M Anand, E Cronin, M Sherr, M Blaze, Z Ives, I Lee Beyond SCADA: Networked Embedded Control for Cyber Physical Systems 41, 2006 | 68 | 2006 |
Formal modeling and analysis of the AFDX frame management design M Anand, S Vestal, S Dajani-Brown, I Lee Ninth IEEE International Symposium on Object and Component-Oriented Real …, 2006 | 37 | 2006 |
Sensor Network Security: More Interesting Than You Think. M Anand, E Cronin, M Sherr, ZG Ives, I Lee HotSec, 2006 | 36 | 2006 |
A dynamic scheduling approach to designing flexible safety-critical systems L Almeida, S Fischmeister, M Anand, I Lee Proceedings of the 7th ACM & IEEE international conference on embedded …, 2007 | 35 | 2007 |
Compositional feasibility analysis of conditional real-time task models M Anand, A Easwaran, S Fischmeister, I Lee 2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008 | 23 | 2008 |
Reliable telemetry M Anand, R Subrahmaniam, R Valiveti US Patent App. 15/947,198, 2019 | 21 | 2019 |
POINT: An Intent-driven Framework for Integrated Packet-Optical Network Telemetry M Anand, R Subrahmaniam, R Valiveti IEEE International Conference on Communications, 2018 | 18* | 2018 |
An analysis framework for network-code programs M Anand, S Fischmeister, I Lee Proceedings of the 6th ACM & IEEE International conference on Embedded …, 2006 | 15 | 2006 |
Generating reliable code from hybrid-systems models M Anand, S Fischmeister, Y Hur, J Kim, I Lee IEEE Transactions on Computers 59 (9), 1281-1294, 2010 | 14 | 2010 |
Specification and analysis of network resource requirements of control systems G Weiss, S Fischmeister, M Anand, R Alur International Workshop on Hybrid Systems: Computation and Control, 381-395, 2009 | 14 | 2009 |
Packet-optical in-band telemetry (POINT) framework M Anand, R Subrahmaniam, S Bardhan, R Valiveti US Patent 10,341,748, 2019 | 13 | 2019 |
Composition techniques for tree communication schedules M Anand, S Fischmeister, I Lee 19th Euromicro Conference on Real-Time Systems (ECRTS'07), 235-246, 2007 | 12 | 2007 |
Code generation from hybrid systems models for distributed embedded systems M Anand, J Kim, I Lee Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2005 | 12 | 2005 |
System and method for adaptive traffic engineering based on predicted traffic demand M Anand, R Iyer US Patent 9,929,800, 2018 | 11 | 2018 |
A comparison of compositional schedulability analysis techniques for hierarchical real-time systems M Anand, S Fischmeister, I Lee ACM Transactions on Embedded Computing Systems (TECS) 13 (1), 1-37, 2013 | 11 | 2013 |
Transport segment OAM routing mechanisms S Bardhan, M Anand, R Subrahmaniam US Patent 10,447,589, 2019 | 9 | 2019 |
Technique for verification of newtork state after device upgrades M Anand, R Subrahmaniam US Patent App. 15/792,135, 2018 | 8 | 2018 |