☰

Claudio Pinello, Ph.D. - Publications

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
Tree Info Similar researchers PubMed Report error

23 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Ferrante O, Scholte E, Pinello C, Ferrari A, Mangeruca L, Liu C, Sofronis C. 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. DOI: 10.4271/2016-01-2053  0.386
2008 Pinello C, Carloni LP, Sangiovanni-Vincentelli AL. Fault-tolerant distributed deployment of embedded control software Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 27: 906-919. DOI: 10.1109/Tcad.2008.917971  0.774
2008 Tripakis S, Pinello C, Benveniste A, Sangiovanni-Vincent A, Caspi P, Di Natale M. Implementing synchronous models on loosely time triggered architectures Ieee Transactions On Computers. 57: 1300-1314. DOI: 10.1109/Tc.2008.81  0.475
2008 Chatterjee K, Iercan D, Ghosal A, Kirsch CM, Henzinger TA, Pinello C, Sangiovanni-Vincentelli A. Logical reliability of interacting real-time tasks Proceedings -Design, Automation and Test in Europe, Date. 909-914. DOI: 10.1109/DATE.2008.4484790  0.517
2007 Di Natale M, Giusto P, Kanajan S, Pinello C, Popp P. Architecture exploration for time-critical and cost-sensitive distributed systems Sae Technical Papers. DOI: 10.4271/2007-01-1277  0.417
2007 Benveniste A, Caspi P, Di Natale M, Pinello C, Sangiovanni-Vincentelli A, Tripakis S. 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. DOI: 10.1145/1289927.1289964  0.51
2007 Di Natale M, Zheng W, Pinello C, Giusto P, Vincentelli AS. 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. DOI: 10.1109/RTAS.2007.24  0.405
2007 Giusto P, Kanajan S, Pinello C, Chiodo M. 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. DOI: 10.1109/IRI.2007.4296683  0.388
2007 Popp P, Di Natale M, Giusto P, Kanajan S, Pinello C. Towards a methodology for the quantitative evaluation of automotive architectures Proceedings -Design, Automation and Test in Europe, Date. 504-509. DOI: 10.1109/DATE.2007.364643  0.412
2007 Wei Z, Di Natale M, Pinello C, Giusto P, Vincentelli AS. Synthesis of task and message activation models in real-time distributed automotive systems Proceedings -Design, Automation and Test in Europe, Date. 93-98. DOI: 10.1109/DATE.2007.364573  0.392
2007 Davare A, Qi Z, Di Natale M, Pinello C, Kanajan S, Sangiovanni-Vincentelli A. Period optimization for hard real-time distributed automotive systems Proceedings - Design Automation Conference. 278-283. DOI: 10.1109/DAC.2007.375172  0.703
2006 Zeng H, Davare A, Sangiovanni-Vincentelli A, Sonalkar S, Kanajan S, Pinello C. Design space exploration of automotive platforms in Metropolis Sae Technical Papers. DOI: 10.4271/2006-01-1468  0.719
2006 Kanajan S, Zeng H, Pinello C, Sangiovanni-Vincentelli A. Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment Proceedings -Design, Automation and Test in Europe, Date. 1.  0.396
2005 Palopoli L, Pinello C, Bicchi A, Sangiovanni-Vincentelli A. Maximizing the stability radius of a set of systems under real-time scheduling constraints Ieee Transactions On Automatic Control. 50: 1790-1795. DOI: 10.1109/Tac.2005.858639  0.589
2005 Zheng W, Chong J, Pinello C, Kanajan S, Sangiovanni-Vincentelli A. Extensible and scalable time triggered scheduling Proceedings - International Conference On Application of Concurrency to System Design, Acsd. 2005: 132-141. DOI: 10.1109/ACSD.2005.13  0.582
2005 McKelvin ML, Eirea G, Pinello C, Kanajan S, Sangiovanni-Vincentelli AL. A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems Proceedings of the 5th Acm International Conference On Embedded Software, Emsoft 2005. 237-246.  0.699
2005 McKelvin ML, Sprinkle J, Pinello C, Sangiovanni-Vincentelli A. Fault tolerant data flow modeling using the generic modeling environment Proceedings - 12th Ieee International Conference and Workshops On the Engineering of Computer-Based Systems, Ecs 2005. 229-235.  0.726
2004 Pinello C, Carloni LP, Sangiovanni-Vincentelli AL. Fault-tolerant deployment of embedded software for cost-sensitive real-time feedback-control applications Proceedings - Design, Automation and Test in Europe Conference and Exhibition. 2: 1164-1169. DOI: 10.1109/DATE.2004.1269049  0.768
2002 Palopoli L, Pinello C, Vincentelli AS, Elghaoui L, Bicchi A. Synthesis of robust control systems under resource constraints Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2289: 337-350. DOI: 10.1007/3-540-45873-5_27  0.336
2001 Balluchi A, Di Benedetto MD, Pinello C, Sangiovanni-Vincentelli AL. Mixed models of computation in the design of automotive engine control Proceedings of the Ieee Conference On Decision and Control. 4: 3308-3313.  0.578
2000 Balluchi A, Benvenuti L, Benedetto MDDI, Member S, Pinello C, Luigi A. Automotive engine control and hybrid systems: Challenges and opportunities Proceedings of the Ieee. 88: 888-911. DOI: 10.1109/5.871300  0.308
1999 Balluchi A, Di Benedetto MD, Pinello C, Rossi C, Sangiovanni-Vincentelli A. Hybrid control in automotive applications: the cut-off control Automatica. 35: 519-535. DOI: 10.1016/S0005-1098(98)00181-2  0.533
1998 Balluchi A, Di Benedetto M, Pinello C, Rossi C, Sangiovanni-Vincentelli A. Hybrid control for automotive engine management: The cut-off case Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1386: 13-32. DOI: 10.1007/3-540-64358-3_29  0.482
Show low-probability matches.