dblp.uni-trier.dewww.uni-trier.de

Madhukar Anand

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)