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 |