Claudio Pinello

According to our database1, Claudio Pinello authored at least 21 papers between 1998 and 2009.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




First steps towards SAT-based formal analog verification.
Proceedings of the 2009 International Conference on Computer-Aided Design, 2009

Fault-Tolerant Distributed Deployment of Embedded Control Software.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2008

Implementing Synchronous Models on Loosely Time Triggered Architectures.
IEEE Trans. Computers, 2008

Logical Reliability of Interacting Real-Time Tasks.
Proceedings of the Design, Automation and Test in Europe, 2008

Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems.
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

A Conceptual Data Model for the Architecture Exploration of Automotive Distributed Embedded Architectures.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

Loosely time-triggered architectures based on communication-by-sampling.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Synthesis of task and message activation models in real-time distributed automotive systems.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Period Optimization for Hard Real-time Distributed Automotive Systems.
Proceedings of the 44th Design Automation Conference, 2007

Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Platform-Based Design for Embedded Systems.
Proceedings of the Embedded Systems Handbook., 2005

Maximizing the stability radius of a set of systems under real-time scheduling constraints.
IEEE Trans. Automat. Contr., 2005

A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems.
Proceedings of the EMSOFT 2005, 2005

Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Extensible and Scalable Time Triggered Scheduling.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications.
Proceedings of the 2004 Design, 2004

A tool for describing and evaluating hierarchical real-time bus scheduling policies.
Proceedings of the 40th Design Automation Conference, 2003

Synthesis of Robust Control Systems under Resource Constraints.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Hybrid control in automotive applications: the cut-off control.
Automatica, 1999

Hybrid Control for Automotive Engine Management: The Cut-Off Case.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998