|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips, Claudio Pinello, Radu Zlatanovici |
First steps towards SAT-based formal analog verification.  |
ICCAD  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale |
Implementing Synchronous Models on Loosely Time Triggered Architectures. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Fault-Tolerant Distributed Deployment of Embedded Control Software. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
Logical Reliability of Interacting Real-Time Tasks. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Giusto, Sri Kanajan, Claudio Pinello, Max Chiodo |
A Conceptual Data Model for the Architecture Exploration of Automotive Distributed Embedded Architectures. |
IRI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
Loosely time-triggered architectures based on communication-by-sampling. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
MoCC, loosely time-triggered, distributed systems, real-time systems, time-triggered |
| 1 | Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
Period Optimization for Hard Real-time Distributed Automotive Systems. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Popp, Marco Di Natale, Paolo Giusto, Sri Kanajan, Claudio Pinello |
Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
Synthesis of task and message activation models in real-time distributed automotive systems. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sri Kanajan, Haibo Zeng, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
fault tree construction, feedback control applications, system analysis, design exploration |
| 1 | Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
Extensible and Scalable Time Triggered Scheduling. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor Meyerowitz, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
A tool for describing and evaluating hierarchical real-time bus scheduling policies. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
bus scheduling, scheduling, metrics, hybrid scheduling |
| 1 | Luigi Palopoli, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Laurent Elghaoui, Antonio Bicchi |
Synthesis of Robust Control Systems under Resource Constraints. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, C. Rossi, Alberto L. Sangiovanni-Vincentelli |
Hybrid control in automotive applications: the cut-off control. |
Automatica |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, C. Rossi, Alberto L. Sangiovanni-Vincentelli |
Hybrid Control for Automotive Engine Management: The Cut-Off Case. |
HSCC |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")