Sri Kanajan

Design Space Exploration of Automotive Platforms in Metropolis

Alberto Sangiovanni-Vincentelli, C. Pinello, Haibo Zeng, 2006 .

Architecture Exploration for Time-Critical and Cost-Sensitive Distributed Systems

C. Pinello, Marco Di Natale, Paolo Giusto, 2007 .

Period Optimization for Hard Real-time Distributed Automotive Systems

Alberto L. Sangiovanni-Vincentelli, Qi Zhu, Marco Di Natale, 2007, 2007 44th ACM/IEEE Design Automation Conference.

Automatic Model Generation for Black Box Real-Time Systems

Thomas Huining Feng, Wei Zheng, Sri Kanajan, 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

Interactive presentation: Automatic model generation for black box real-time systems

Sanjit A. Seshia, Wei Zheng, Thomas Huining Feng, 2007, DATE.

Towards a Methodology for the Quantitative Evaluation of Automotive Architectures

Marco Di Natale, Paolo Giusto, Claudio Pinello, 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

Towards a Methodology for the Quantitative Evaluation of Automotive Architectures

P. Giusto, M. Natale, C. Pinello, 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

Extensible and scalable time triggered scheduling

Alberto L. Sangiovanni-Vincentelli, Wei Zheng, Jike Chong, 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).