Hybrid Control for Automotive Engine Management: The Cut-Off Case. - Andrea Balluchi; Maria Domenica Di Benedetto; Claudio Pinello; Carlo Rossi; Alberto L. Sangiovanni-Vincentelli (HSCC, 1998)

Hybrid control in automotive applications: the cut-off control. - Andrea Balluchi; Maria Domenica Di Benedetto; Claudio Pinello; Carlo Rossi; Alberto L. Sangiovanni-Vincentelli (Autom., 1999)

Automotive engine control and hybrid systems: challenges and opportunities. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli (Proc. IEEE, 2000)

Mixed models of computation in the design of automotive engine control. - Andrea Balluchi; Maria Domenica Di Benedetto; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli (CDC, 2001)

Synthesis of Robust Control Systems under Resource Constraints. - Luigi Palopoli 002; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli; Laurent Elghaoui; Antonio Bicchi (HSCC, 2002)

A tool for describing and evaluating hierarchical real-time bus scheduling policies. - Trevor Meyerowitz; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli (DAC, 2003)

Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications. - Claudio Pinello; Luca P. Carloni; Alberto L. Sangiovanni-Vincentelli (DATE, 2004)

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

Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. - Mark L. McKelvin Jr.; Jonathan Sprinkle; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli (ECBS, 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)

Maximizing the stability radius of a set of systems under real-time scheduling constraints. - Luigi Palopoli 002; Claudio Pinello; Antonio Bicchi; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Autom. Control., 2005)

Platform-Based Design for Embedded Systems. - Marco Sgroi; Alberto L. Sangiovanni-Vincentelli; Fernando De Bernardinis; Claudio Pinello; Luca P. Carloni (Embedded Systems Handbook, 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: Towards a methodology for the quantitative evaluation of automotive architectures. - Patrick Popp; Marco Di Natale; Paolo Giusto; Sri Kanajan; Claudio Pinello (DATE, 2007)

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 (DATE, 2007)

Loosely time-triggered architectures based on communication-by-sampling. - Albert Benveniste; Paul Caspi; Marco Di Natale; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli; Stavros Tripakis (EMSOFT, 2007)

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

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 (IEEE Real-Time and Embedded Technology and Applications Symposium, 2007)

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 (DATE, 2008)

Implementing Synchronous Models on Loosely Time Triggered Architectures. - Stavros Tripakis; Claudio Pinello; Albert Benveniste; Alberto L. Sangiovanni-Vincentelli; Paul Caspi; Marco Di Natale (IEEE Trans. Computers, 2008)

Fault-Tolerant Distributed Deployment of Embedded Control Software. - Claudio Pinello; Luca P. Carloni; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

First steps towards SAT-based formal analog verification. - Saurabh K. Tiwary; Anubhav Gupta 001; Joel R. Phillips; Claudio Pinello; Radu Zlatanovici (ICCAD, 2009)

Post Quantum Secure Command and Control of Mobile Agents Inserting Quantum-Resistant Encryption Schemes in the Secure Robot Operating System. - Richa Varma; Chris Melville; Claudio Pinello; Tuhin Sahai (Int. J. Semantic Comput., 2021)