| 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 | 12 | 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 |
| 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 |
| System and method for adaptive traffic engineering based on predicted traffic demand M Anand, R Iyer US Patent 9,929,800, 2018 | 10 | 2018 |
| 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 |
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
