Madhukar Anand

	2012
17		Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan: State-based scheduling with tree schedules: analysis and evaluation. Real-Time Systems 48(4): 430-462 (2012)
	2010
16		Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee: Generating Reliable Code from Hybrid-Systems Models. IEEE Trans. Computers 59(9): 1281-1294 (2010)
	2009
15		Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur: Specification and Analysis of Network Resource Requirements of Control Systems. HSCC 2009: 381-395
14		Madhukar Anand, Sebastian Fischmeister, Insup Lee: Resource Scopes: Toward Language Support for Compositional Determinism. ISORC 2009: 295-304
	2008
13		Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee: Compositional Feasibility Analysis of Conditional Real-Time Task Models. ISORC 2008: 391-398
12		Madhukar Anand, Insup Lee: Robust and sustainable schedulability analysis of embedded software. LCTES 2008: 61-70
	2007
11		Madhukar Anand, Sebastian Fischmeister, Insup Lee: Composition Techniques for Tree Communication Schedules. ECRTS 2007: 235-246
10		Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee: A dynamic scheduling approach to designing flexible safety-critical systems. EMSOFT 2007: 67-74
9		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
8		Arvind Easwaran, Madhukar Anand, Insup Lee: Compositional Analysis Framework Using EDP Resource Models. RTSS 2007: 129-138
	2006
7		Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD 2006: 48-66
6		Madhukar Anand, Sebastian Fischmeister, Insup Lee: An analysis framework for network-code programs. EMSOFT 2006: 122-131
5		Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee: Formal Modeling and Analysis of the AFDX Frame Management Design. ISORC 2006: 393-399
4		Madhukar Anand, Eric Cronin, Micah Sherr, Matt Blaze, Sampath Kannan: Security Protocols with Isotropic Channels. IACR Cryptology ePrint Archive 2006: 396 (2006)
	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	[10]
2	Rajeev Alur	[15]
3	Matt Blaze	[4]
4	Eric Cronin	[4]
5	Samar Dajani-Brown	[5]
6	Arvind Easwaran	[8] [13]
7	Georgios E. Fainekos	[9]
8	Sebastian Fischmeister	[2] [6] [7] [10] [11] [13] [14] [15] [16] [17]
9	Yerang Hur	[16]
10	Zachary G. Ives	[3]
11	A. Agung Julius	[9]
12	Sampath Kannan	[4]
13	Jesung Kim	[1] [2] [7] [16]
14	Insup Lee	[1] [2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17]
15	George J. Pappas	[9]
16	Linh T. X. Phan (Linh Thi Xuan Phan)	[17]
17	Micah Sherr	[4]
18	Steve Vestal	[5]
19	Gera Weiss	[15]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page