Quantifying eavesdropping vulnerability in sensor networks. - Madhukar Anand; Zachary G. Ives; Insup Lee 001 (DMSN, 2005)

Distributed-code generation from hybrid systems models for time-delayed multirate systems. - Madhukar Anand; Sebastian Fischmeister; Jesung Kim; Insup Lee 001 (EMSOFT, 2005)

Code Generation from Hybrid Systems Models for Distributed Embedded Systems. - Madhukar Anand; Jesung Kim; Insup Lee 001 (ISORC, 2005)

Generating Sound and Resource-Aware Code from Hybrid Systems Models. - Madhukar Anand; Sebastian Fischmeister; Jesung Kim; Insup Lee 001 (ASWSD, 2006)

An analysis framework for network-code programs. - Madhukar Anand; Sebastian Fischmeister; Insup Lee 001 (EMSOFT, 2006)

Formal Modeling and Analysis of the AFDX Frame Management Design. - Madhukar Anand; Steve Vestal; Samar Dajani-Brown; Insup Lee 001 (ISORC, 2006)

Sensor Network Security: More Interesting Than You Think. - Madhukar Anand; Eric Cronin; Micah Sherr; Zachary G. Ives; Insup Lee 001 (HotSec, 2006)

Security Protocols with Isotropic Channels. - Madhukar Anand; Eric Cronin; Micah Sherr; Matt Blaze; Sampath Kannan (IACR Cryptol. ePrint Arch., 2006)

Composition Techniques for Tree Communication Schedules. - Madhukar Anand; Sebastian Fischmeister; Insup Lee 001 (ECRTS, 2007)

A dynamic scheduling approach to designing flexible safety-critical systems. - Luís Almeida 001; Sebastian Fischmeister; Madhukar Anand; Insup Lee 001 (EMSOFT, 2007)

Robust Test Generation and Coverage for Hybrid Systems. - A. Agung Julius; Georgios E. Fainekos; Madhukar Anand; Insup Lee 001; George J. Pappas (HSCC, 2007)

Compositional Analysis Framework Using EDP Resource Models. - Arvind Easwaran; Madhukar Anand; Insup Lee 001 (RTSS, 2007)

Compositional Feasibility Analysis of Conditional Real-Time Task Models. - Madhukar Anand; Arvind Easwaran; Sebastian Fischmeister; Insup Lee 001 (ISORC, 2008)

Robust and sustainable schedulability analysis of embedded software. - Madhukar Anand; Insup Lee 001 (LCTES, 2008)

Challenges and opportunities in deeply embedded systems security. - Madhukar Anand; Insup Lee 001 (SIGBED Rev., 2008)

Specification and Analysis of Network Resource Requirements of Control Systems. - Gera Weiss; Sebastian Fischmeister; Madhukar Anand; Rajeev Alur (HSCC, 2009)

Resource Scopes: Toward Language Support for Compositional Determinism. - Madhukar Anand; Sebastian Fischmeister; Insup Lee 001 (ISORC, 2009)

Generating Reliable Code from Hybrid-Systems Models. - Madhukar Anand; Sebastian Fischmeister; Yerang Hur; Jesung Kim; Insup Lee 001 (IEEE Trans. Computers, 2010)

State-based scheduling with tree schedules: analysis and evaluation. - Madhukar Anand; Sebastian Fischmeister; Insup Lee 001; Linh T. X. Phan (Real Time Syst., 2012)

A comparison of compositional schedulability analysis techniques for hierarchical real-time systems. - Madhukar Anand; Sebastian Fischmeister; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2013)

Extending segment routing into optical networks. - Madhukar Anand; Ramesh Subrahmaniam; Soumya Roy; Radhakrishna Valiveti (OFC, 2017)

POINT: An Intent-Driven Framework for Integrated Packet-Optical In-Band Network Telemetry. - Madhukar Anand; Ramesh Subrahmaniam; Radhakrishna Valiveti (ICC, 2018)