☰

Claudio Pinello, Ph.D.

Affiliations: 
2004 University of California, Berkeley, Berkeley, CA, United States 
Area:
Design, Modeling and Analysis (DMA), Embedded System Design; Design methodologies and tools; Control, Intelligent Systems, and Robotics (CIR), Hybrid systems; Design methodologies and tools; Communications & Networking (COMNET), Wireless sensor network de
Google:
"Claudio Pinello"
Cross-listing: Robotree

Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Alberto L. Sangiovanni-Vincentelli grad student 2004 UC Berkeley
 (Design of safety -critical applications, a synthesis approach.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Ferrante O, Scholte E, Pinello C, et al. (2016) A Methodology for Increasing the Efficiency and Coverage of Model Checking and its Application to Aerospace Systems Sae International Journal of Aerospace. 9: 140-150
Pinello C, Carloni LP, Sangiovanni-Vincentelli AL. (2008) Fault-tolerant distributed deployment of embedded control software Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 27: 906-919
Tripakis S, Pinello C, Benveniste A, et al. (2008) Implementing synchronous models on loosely time triggered architectures Ieee Transactions On Computers. 57: 1300-1314
Chatterjee K, Iercan D, Ghosal A, et al. (2008) Logical reliability of interacting real-time tasks Proceedings -Design, Automation and Test in Europe, Date. 909-914
Di Natale M, Giusto P, Kanajan S, et al. (2007) Architecture exploration for time-critical and cost-sensitive distributed systems Sae Technical Papers
Benveniste A, Caspi P, Di Natale M, et al. (2007) Loosely time-triggered architectures based on communication-by-sampling Emsoft'07: Proceedings of the Seventh Acm and Ieee International Conference On Embedded Software. 231-239
Di Natale M, Zheng W, Pinello C, et al. (2007) Optimizing end-to-end latencies by adaptation of the activation events in distributed automotive systems Proceedings of the Ieee Real-Time and Embedded Technology and Applications Symposium, Rtas. 293-302
Giusto P, Kanajan S, Pinello C, et al. (2007) A conceptual data model for the Architecture Exploration of automotive distributed embedded architectures 2007 Ieee International Conference On Information Reuse and Integration, Ieee Iri-2007. 582-587
Popp P, Di Natale M, Giusto P, et al. (2007) Towards a methodology for the quantitative evaluation of automotive architectures Proceedings -Design, Automation and Test in Europe, Date. 504-509
Wei Z, Di Natale M, Pinello C, et al. (2007) Synthesis of task and message activation models in real-time distributed automotive systems Proceedings -Design, Automation and Test in Europe, Date. 93-98
See more...