Claudio Pinello

Publication Activity (10 Years)

Years Active: 1998-2021
Publications (10 Years): 3

Top Topics

Public Key Encryption

Command And Control

Encryption Scheme

Operating System

Top Venues

Int. J. Semantic Comput.

Publications

Richa Varma, Chris Melville, Claudio Pinello, Tuhin Sahai
Post Quantum Secure Command and Control of Mobile Agents Inserting Quantum-Resistant Encryption Schemes in the Secure Robot Operating System. Int. J. Semantic Comput. 15 (3) (2021)
Richa Varma, Chris Melville, Claudio Pinello, Tuhin Sahai
Post Quantum Secure Command and Control of Mobile Agents : Inserting quantum-resistant encryption schemes in the Secure Robot Operating System. CoRR (2020)
Richa Varma, Chris Melville, Claudio Pinello, Tuhin Sahai
Post Quantum Secure Command and Control of Mobile Agents Inserting quantum-resistant encryption schemes in the Secure Robot Operating System. IRC (2020)
Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips, Claudio Pinello, Radu Zlatanovici
First steps towards SAT-based formal analog verification. ICCAD (2009)
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) (2008)
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)
Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
Fault-Tolerant Distributed Deployment of Embedded Control Software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (5) (2008)
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)
Paolo Giusto, Sri Kanajan, Claudio Pinello, Max Chiodo
A Conceptual Data Model for the Architecture Exploration of Automotive Distributed Embedded Architectures. IRI (2007)
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)
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)
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)
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)
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)
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)
Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. ECBS (2005)
Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli
Extensible and Scalable Time Triggered Scheduling. ACSD (2005)
Luigi Palopoli, Claudio Pinello, Antonio Bicchi, Alberto L. Sangiovanni-Vincentelli
Maximizing the stability radius of a set of systems under real-time scheduling constraints. IEEE Trans. Autom. Control. 50 (11) (2005)
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)
Trevor Meyerowitz, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
A tool for describing and evaluating hierarchical real-time bus scheduling policies. DAC (2003)
Luigi Palopoli, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Laurent Elghaoui, Antonio Bicchi
Synthesis of Robust Control Systems under Resource Constraints. HSCC (2002)
Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
Mixed models of computation in the design of automotive engine control. CDC (2001)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
Automotive engine control and hybrid systems: challenges and opportunities. Proc. IEEE 88 (7) (2000)
Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, C. Rossi, Alberto L. Sangiovanni-Vincentelli
Hybrid control in automotive applications: the cut-off control. Autom. 35 (3) (1999)
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)