Extensible and Scalable Time Triggered Scheduling. - Wei Zheng; Jike Chong; Claudio Pinello; Sri Kanajan; Alberto L. Sangiovanni-Vincentelli (ACSD, 2005)

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 (EMSOFT, 2005)

Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment. - Sri Kanajan; Haibo Zeng 001; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli (DATE, 2006)

Period Optimization for Hard Real-time Distributed Automotive Systems. - Abhijit Davare; Qi Zhu 002; Marco Di Natale; Claudio Pinello; Sri Kanajan; Alberto L. Sangiovanni-Vincentelli (DAC, 2007)

Interactive presentation: Automatic model generation for black box real-time systems. - Thomas Huining Feng; Lynn Wang; Wei Zheng; Sri Kanajan; Sanjit A. Seshia (DATE, 2007)

Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures. - Patrick Popp; Marco Di Natale; Paolo Giusto; Sri Kanajan; Claudio Pinello (DATE, 2007)

A Conceptual Data Model for the Architecture Exploration of Automotive Distributed Embedded Architectures. - Paolo Giusto; Sri Kanajan; Claudio Pinello; Max Chiodo (IRI, 2007)

Time-Triggered Scheduling Synthesis in the Presence of Uncertainty. - Sri Kanajan (ESA, 2008)