2008 |
17 | EE | Krishnendu Chatterjee,
Arkadeb Ghosal,
Thomas A. Henzinger,
Daniel T. Iercan,
Christoph M. Kirsch,
Claudio Pinello,
Alberto L. Sangiovanni-Vincentelli:
Logical Reliability of Interacting Real-Time Tasks.
DATE 2008: 909-914 |
16 | EE | Stavros Tripakis,
Claudio Pinello,
Albert Benveniste,
Alberto L. Sangiovanni-Vincentelli,
Paul Caspi,
Marco Di Natale:
Implementing Synchronous Models on Loosely Time Triggered Architectures.
IEEE Trans. Computers 57(10): 1300-1314 (2008) |
15 | EE | Claudio Pinello,
Luca P. Carloni,
Alberto L. Sangiovanni-Vincentelli:
Fault-Tolerant Distributed Deployment of Embedded Control Software.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(5): 906-919 (2008) |
2007 |
14 | EE | Abhijit Davare,
Qi Zhu,
Marco Di Natale,
Claudio Pinello,
Sri Kanajan,
Alberto L. Sangiovanni-Vincentelli:
Period Optimization for Hard Real-time Distributed Automotive Systems.
DAC 2007: 278-283 |
13 | EE | Patrick Popp,
Marco Di Natale,
Paolo Giusto,
Sri Kanajan,
Claudio Pinello:
Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures.
DATE 2007: 504-509 |
12 | EE | Wei Zheng,
Marco Di Natale,
Claudio Pinello,
Paolo Giusto,
Alberto L. Sangiovanni-Vincentelli:
Synthesis of task and message activation models in real-time distributed automotive systems.
DATE 2007: 93-98 |
11 | EE | Albert Benveniste,
Paul Caspi,
Marco Di Natale,
Claudio Pinello,
Alberto L. Sangiovanni-Vincentelli,
Stavros Tripakis:
Loosely time-triggered architectures based on communication-by-sampling.
EMSOFT 2007: 231-239 |
10 | EE | Marco Di Natale,
Wei Zheng,
Claudio Pinello,
Paolo Giusto,
Alberto L. Sangiovanni-Vincentelli:
Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 293-302 |
9 | EE | Paolo Giusto,
Sri Kanajan,
Claudio Pinello,
Max Chiodo:
A Conceptual Data Model for the Architecture Exploration of Automotive Distributed Embedded Architectures.
IRI 2007: 582-587 |
2006 |
8 | EE | Sri Kanajan,
Haibo Zeng,
Claudio Pinello,
Alberto L. Sangiovanni-Vincentelli:
Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment.
DATE 2006: 548-553 |
2005 |
7 | EE | Wei Zheng,
Jike Chong,
Claudio Pinello,
Sri Kanajan,
Alberto L. Sangiovanni-Vincentelli:
Extensible and Scalable Time Triggered Scheduling.
ACSD 2005: 132-141 |
6 | EE | Mark L. McKelvin Jr.,
Jonathan Sprinkle,
Claudio Pinello,
Alberto L. Sangiovanni-Vincentelli:
Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment.
ECBS 2005: 229-235 |
5 | EE | Mark L. McKelvin Jr.,
Gabriel Eirea,
Claudio Pinello,
Sri Kanajan,
Alberto L. Sangiovanni-Vincentelli:
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems.
EMSOFT 2005: 237-246 |
2004 |
4 | EE | Claudio Pinello,
Luca P. Carloni,
Alberto L. Sangiovanni-Vincentelli:
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications.
DATE 2004: 1164-1169 |
2003 |
3 | EE | Trevor Meyerowitz,
Claudio Pinello,
Alberto L. Sangiovanni-Vincentelli:
A tool for describing and evaluating hierarchical real-time bus scheduling policies.
DAC 2003: 312-317 |
2002 |
2 | EE | Luigi Palopoli,
Claudio Pinello,
Alberto L. Sangiovanni-Vincentelli,
Laurent Elghaoui,
Antonio Bicchi:
Synthesis of Robust Control Systems under Resource Constraints.
HSCC 2002: 337-350 |
1998 |
1 | | Andrea Balluchi,
Maria Domenica Di Benedetto,
Claudio Pinello,
C. Rossi,
Alberto L. Sangiovanni-Vincentelli:
Hybrid Control for Automotive Engine Management: The Cut-Off Case.
HSCC 1998: 13-32 |