Madhukar Anand

22 papers A 1B 2C 4Misc 3Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2018 — conf
POINT: An Intent-Driven Framework for Integrated Packet-Optical In-Band Network Telemetry.
ICC
Madhukar Anand, Ramesh Subrahmaniam, Radhakrishna Valiveti
2017 — conf
Extending segment routing into optical networks.
OFC
Madhukar Anand, Ramesh Subrahmaniam, Soumya Roy, Radhakrishna Valiveti
2013 J jnl
A comparison of compositional schedulability analysis techniques for hierarchical real-time systems.
ACM Trans. Embed. Comput. Syst.
Madhukar Anand, Sebastian Fischmeister, Insup Lee
2012 J jnl
State-based scheduling with tree schedules: analysis and evaluation.
Real Time Syst.
Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan
2010 J jnl
Generating Reliable Code from Hybrid-Systems Models.
IEEE Trans. Computers
Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee
2009 C conf
Resource Scopes: Toward Language Support for Compositional Determinism.
ISORC
Madhukar Anand, Sebastian Fischmeister, Insup Lee
2009 — conf
Specification and Analysis of Network Resource Requirements of Control Systems.
HSCC
Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur
2008 J jnl
Challenges and opportunities in deeply embedded systems security.
SIGBED Rev.
Madhukar Anand, Insup Lee
2008 C conf
Compositional Feasibility Analysis of Conditional Real-Time Task Models.
ISORC
Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee
2008 B conf
Robust and sustainable schedulability analysis of embedded software.
LCTES
Madhukar Anand, Insup Lee
2007 Misc conf
A dynamic scheduling approach to designing flexible safety-critical systems.
EMSOFT
Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee
2007 B conf
Composition Techniques for Tree Communication Schedules.
ECRTS
Madhukar Anand, Sebastian Fischmeister, Insup Lee
2007 A conf
Compositional Analysis Framework Using EDP Resource Models.
RTSS
Arvind Easwaran, Madhukar Anand, Insup Lee
2007 — conf
Robust Test Generation and Coverage for Hybrid Systems.
HSCC
A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas
2006 Misc conf
An analysis framework for network-code programs.
EMSOFT
Madhukar Anand, Sebastian Fischmeister, Insup Lee
2006 C conf
Formal Modeling and Analysis of the AFDX Frame Management Design.
ISORC
Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee
2006 — conf
Generating Sound and Resource-Aware Code from Hybrid Systems Models.
ASWSD
Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee
2006 J jnl
Security Protocols with Isotropic Channels.
IACR Cryptol. ePrint Arch.
Madhukar Anand, Eric Cronin, Micah Sherr, Matt Blaze, Sampath Kannan
2006 — conf
Sensor Network Security: More Interesting Than You Think.
HotSec
Madhukar Anand, Eric Cronin, Micah Sherr, Zachary G. Ives, Insup Lee
2005 C conf
Code Generation from Hybrid Systems Models for Distributed Embedded Systems.
ISORC
Madhukar Anand, Jesung Kim, Insup Lee
2005 Misc conf
Distributed-code generation from hybrid systems models for time-delayed multirate systems.
EMSOFT
Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee
2005 — conf
Quantifying eavesdropping vulnerability in sensor networks.
DMSN
Madhukar Anand, Zachary G. Ives, Insup Lee