| 2007 | DAC | Period Optimization for Hard Real-time Distributed Automotive Systems. | Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
| 2007 | DATE | Interactive presentation: Automatic model generation for black box real-time systems. | Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia |
| 2007 | DATE | Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures. | Patrick Popp, Marco Di Natale, Paolo Giusto, Sri Kanajan, Claudio Pinello |
| 2007 | IRI | A Conceptual Data Model for the Architecture Exploration of Automotive Distributed Embedded Architectures. | Paolo Giusto, Sri Kanajan, Claudio Pinello, Max Chiodo |
| 2006 | DATE | Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment. | Sri Kanajan, Haibo Zeng, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
| 2005 | EMSOFT | A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. | Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |