| 2009 |
|---|
| 13 | EE | Gera Weiss,
Sebastian Fischmeister,
Madhukar Anand,
Rajeev Alur:
Specification and Analysis of Network Resource Requirements of Control Systems.
HSCC 2009: 381-395 |
| 2008 |
|---|
| 12 | EE | Madhukar Anand,
Arvind Easwaran,
Sebastian Fischmeister,
Insup Lee:
Compositional Feasibility Analysis of Conditional Real-Time Task Models.
ISORC 2008: 391-398 |
| 11 | EE | Madhukar Anand,
Insup Lee:
Robust and sustainable schedulability analysis of embedded software.
LCTES 2008: 61-70 |
| 2007 |
|---|
| 10 | EE | Madhukar Anand,
Sebastian Fischmeister,
Insup Lee:
Composition Techniques for Tree Communication Schedules.
ECRTS 2007: 235-246 |
| 9 | EE | Luís Almeida,
Sebastian Fischmeister,
Madhukar Anand,
Insup Lee:
A dynamic scheduling approach to designing flexible safety-critical systems.
EMSOFT 2007: 67-74 |
| 8 | EE | 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 | EE | Arvind Easwaran,
Madhukar Anand,
Insup Lee:
Compositional Analysis Framework Using EDP Resource Models.
RTSS 2007: 129-138 |
| 2006 |
|---|
| 6 | EE | Madhukar Anand,
Sebastian Fischmeister,
Jesung Kim,
Insup Lee:
Generating Sound and Resource-Aware Code from Hybrid Systems Models.
ASWSD 2006: 48-66 |
| 5 | EE | Madhukar Anand,
Sebastian Fischmeister,
Insup Lee:
An analysis framework for network-code programs.
EMSOFT 2006: 122-131 |
| 4 | EE | 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 | EE | Madhukar Anand,
Zachary G. Ives,
Insup Lee:
Quantifying eavesdropping vulnerability in sensor networks.
DMSN 2005: 3-9 |
| 2 | EE | 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 | EE | Madhukar Anand,
Jesung Kim,
Insup Lee:
Code Generation from Hybrid Systems Models for Distributed Embedded Systems.
ISORC 2005: 166-173 |
