Madhukar Anand

	2009
14		Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur: Specification and Analysis of Network Resource Requirements of Control Systems. HSCC 2009: 381-395
13		Madhukar Anand, Sebastian Fischmeister, Insup Lee: Resource Scopes: Toward Language Support for Compositional Determinism. ISORC 2009: 295-304
	2008
12		Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee: Compositional Feasibility Analysis of Conditional Real-Time Task Models. ISORC 2008: 391-398
11		Madhukar Anand, Insup Lee: Robust and sustainable schedulability analysis of embedded software. LCTES 2008: 61-70
	2007
10		Madhukar Anand, Sebastian Fischmeister, Insup Lee: Composition Techniques for Tree Communication Schedules. ECRTS 2007: 235-246
9		Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee: A dynamic scheduling approach to designing flexible safety-critical systems. EMSOFT 2007: 67-74
8		A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas: Robust Test Generation and Coverage for Hybrid Systems. HSCC 2007: 329-342
7		Arvind Easwaran, Madhukar Anand, Insup Lee: Compositional Analysis Framework Using EDP Resource Models. RTSS 2007: 129-138
	2006
6		Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD 2006: 48-66
5		Madhukar Anand, Sebastian Fischmeister, Insup Lee: An analysis framework for network-code programs. EMSOFT 2006: 122-131
4		Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee: Formal Modeling and Analysis of the AFDX Frame Management Design. ISORC 2006: 393-399
	2005
3		Madhukar Anand, Zachary G. Ives, Insup Lee: Quantifying eavesdropping vulnerability in sensor networks. DMSN 2005: 3-9
2		Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT 2005: 210-213
1		Madhukar Anand, Jesung Kim, Insup Lee: Code Generation from Hybrid Systems Models for Distributed Embedded Systems. ISORC 2005: 166-173

Coauthor Index

1	Luís Almeida	[9]
2	Rajeev Alur	[14]
3	Samar Dajani-Brown	[4]
4	Arvind Easwaran	[7] [12]
5	Georgios E. Fainekos	[8]
6	Sebastian Fischmeister	[2] [5] [6] [9] [10] [12] [13] [14]
7	Zachary G. Ives	[3]
8	A. Agung Julius	[8]
9	Jesung Kim	[1] [2] [6]
10	Insup Lee	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
11	George J. Pappas	[8]
12	Steve Vestal	[4]
13	Gera Weiss	[14]