| 2009 | ISORC | Resource Scopes: Toward Language Support for Compositional Determinism. | Madhukar Anand, Sebastian Fischmeister, Insup Lee |
| 2008 | ISORC | Compositional Feasibility Analysis of Conditional Real-Time Task Models. | Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee |
| 2007 | ECRTS | Composition Techniques for Tree Communication Schedules. | Madhukar Anand, Sebastian Fischmeister, Insup Lee |
| 2007 | EMSOFT | A dynamic scheduling approach to designing flexible safety-critical systems. | Lus Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee |
| 2007 | RTSS | Compositional Analysis Framework Using EDP Resource Models. | Arvind Easwaran, Madhukar Anand, Insup Lee |
| 2006 | EMSOFT | An analysis framework for network-code programs. | Madhukar Anand, Sebastian Fischmeister, Insup Lee |
| 2006 | ISORC | Formal Modeling and Analysis of the AFDX Frame Management Design. | Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee |
| 2005 | EMSOFT | Distributed-code generation from hybrid systems models for time-delayed multirate systems. | Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee |
| 2005 | ISORC | Code Generation from Hybrid Systems Models for Distributed Embedded Systems. | Madhukar Anand, Jesung Kim, Insup Lee |