Madhukar Anand

22 papers A 1B 2C 4Misc 3Journal 5Unranked 7

Year	Rank	Type	Title / 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