Claudio Pinello

26 papers A* 2A 7Misc 3Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2021 J jnl
Post Quantum Secure Command and Control of Mobile Agents Inserting Quantum-Resistant Encryption Schemes in the Secure Robot Operating System.
Int. J. Semantic Comput.
Richa Varma, Chris Melville, Claudio Pinello, Tuhin Sahai
2020 J jnl
Post Quantum Secure Command and Control of Mobile Agents : Inserting quantum-resistant encryption schemes in the Secure Robot Operating System.
CoRR
Richa Varma, Chris Melville, Claudio Pinello, Tuhin Sahai
2020 — conf
Post Quantum Secure Command and Control of Mobile Agents Inserting quantum-resistant encryption schemes in the Secure Robot Operating System.
IRC
Richa Varma, Chris Melville, Claudio Pinello, Tuhin Sahai
2009 A conf
First steps towards SAT-based formal analog verification.
ICCAD
Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips, Claudio Pinello, Radu Zlatanovici
2008 J jnl
Fault-Tolerant Distributed Deployment of Embedded Control Software.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2008 J jnl
Implementing Synchronous Models on Loosely Time Triggered Architectures.
IEEE Trans. Computers
Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale
2008 A conf
Logical Reliability of Interacting Real-Time Tasks.
DATE
Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2007 Misc conf
A Conceptual Data Model for the Architecture Exploration of Automotive Distributed Embedded Architectures.
IRI
Paolo Giusto, Sri Kanajan, Claudio Pinello, Max Chiodo
2007 A conf
Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures.
DATE
Patrick Popp, Marco Di Natale, Paolo Giusto, Sri Kanajan, Claudio Pinello
2007 Misc conf
Loosely time-triggered architectures based on communication-by-sampling.
EMSOFT
Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2007 A conf
Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Marco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2007 A* conf
Period Optimization for Hard Real-time Distributed Automotive Systems.
DAC
Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli
2007 A conf
Synthesis of task and message activation models in real-time distributed automotive systems.
DATE
Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2006 A conf
Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment.
DATE
Sri Kanajan, Haibo Zeng, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2005 Misc conf
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems.
EMSOFT
Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli
2005 — conf
Extensible and Scalable Time Triggered Scheduling.
ACSD
Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli
2005 — conf
Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment.
ECBS
Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2005 J jnl
Maximizing the stability radius of a set of systems under real-time scheduling constraints.
IEEE Trans. Autom. Control.
Luigi Palopoli, Claudio Pinello, Antonio Bicchi, Alberto L. Sangiovanni-Vincentelli
2005 — ch.
Platform-Based Design for Embedded Systems.
Embedded Systems Handbook
Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Fernando De Bernardinis, Claudio Pinello, Luca P. Carloni
2004 A conf
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications.
DATE
Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2003 A* conf
A tool for describing and evaluating hierarchical real-time bus scheduling policies.
DAC
Trevor Meyerowitz, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2002 — conf
Synthesis of Robust Control Systems under Resource Constraints.
HSCC
Luigi Palopoli, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Laurent Elghaoui, Antonio Bicchi
2001 — conf
Mixed models of computation in the design of automotive engine control.
CDC
Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2000 J jnl
Automotive engine control and hybrid systems: challenges and opportunities.
Proc. IEEE
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
1999 J jnl
Hybrid control in automotive applications: the cut-off control.
Autom.
Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Carlo Rossi, Alberto L. Sangiovanni-Vincentelli
1998 — conf
Hybrid Control for Automotive Engine Management: The Cut-Off Case.
HSCC
Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Carlo Rossi, Alberto L. Sangiovanni-Vincentelli