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 deGoogle:
"Claudio Pinello"Cross-listing: Robotree
Parents
Sign in to add mentorAlberto L. Sangiovanni-Vincentelli | grad student | 2004 | UC Berkeley | |
(Design of safety -critical applications, a synthesis approach.) |
BETA: Related publications
See more...
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 |