Claudio Pinello
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
6
Active years
2003–2009
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICCAD | First steps towards SAT-based formal analog verification. | Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips, Claudio Pinello, Radu Zlatanovici |
| 2008 | DATE | Logical Reliability of Interacting Real-Time Tasks. | Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
| 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: Towards a methodology for the quantitative evaluation of automotive architectures. | Patrick Popp, Marco Di Natale, Paolo Giusto, Sri Kanajan, Claudio Pinello |
| 2007 | DATE | Synthesis of task and message activation models in real-time distributed automotive systems. | Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
| 2007 | EMSOFT | Loosely time-triggered architectures based on communication-by-sampling. | Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
| 2007 | IRI | A Conceptual Data Model for the Architecture Exploration of Automotive Distributed Embedded Architectures. | Paolo Giusto, Sri Kanajan, Claudio Pinello, Max Chiodo |
| 2007 | RTAS | Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems. | Marco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
| 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 |
| 2004 | DATE | Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications. | Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2003 | DAC | A tool for describing and evaluating hierarchical real-time bus scheduling policies. | Trevor Meyerowitz, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |