Claudio Pinello

According to our database, Claudio Pinello authored at least 24 papers between 1998 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

2009

First steps towards SAT-based formal analog verification.

Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips, Claudio Pinello, Radu Zlatanovici

Proceedings of the 2009 International Conference on Computer-Aided Design, 2009

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

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

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

Proceedings of the Design, Automation and Test in Europe, 2008

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

Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

A Conceptual Data Model for the Architecture Exploration of Automotive Distributed Embedded Architectures.

Paolo Giusto, Sri Kanajan, Claudio Pinello, Max Chiodo

Proceedings of the IEEE International Conference on Information Reuse and Integration, 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

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 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

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures.

Patrick Popp, Marco Di Natale, Paolo Giusto, Sri Kanajan, Claudio Pinello

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Period Optimization for Hard Real-time Distributed Automotive Systems.

Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 44th Design Automation Conference, 2007

2006

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

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

Platform-Based Design for Embedded Systems.

Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Fernando De Bernardinis, Claudio Pinello, Luca P. Carloni

Proceedings of the Embedded Systems Handbook., 2005

Maximizing the stability radius of a set of systems under real-time scheduling constraints.

Luigi Palopoli, Claudio Pinello, Antonio Bicchi, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Autom. Control., 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

Proceedings of the EMSOFT 2005, 2005

Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment.

Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Extensible and Scalable Time Triggered Scheduling.

Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications.

Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 2004 Design, 2004

2003

A tool for describing and evaluating hierarchical real-time bus scheduling policies.

Trevor Meyerowitz, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 40th Design Automation Conference, 2003

2002

Synthesis of Robust Control Systems under Resource Constraints.

Luigi Palopoli, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Laurent Elghaoui, Antonio Bicchi

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

2001

Mixed models of computation in the design of automotive engine control.

Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

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

1999

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

1998

Hybrid Control for Automotive Engine Management: The Cut-Off Case.

Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Carlo Rossi, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998