 | 2009 |
| 19 |  | Haibo Zeng,
Wei Zheng,
Marco Di Natale,
Arkadeb Ghosal,
Paolo Giusto,
Alberto L. Sangiovanni-Vincentelli:
Scheduling the FlexRay bus using optimization techniques.
DAC 2009: 874-877 |
| 18 |  | Wenchao Li,
Marco Di Natale,
Wei Zheng,
Paolo Giusto,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia:
Optimizations of an application-level protocol for enhanced dependability in FlexRay.
DATE 2009: 1076-1081 |
| 17 |  | Haibo Zeng,
Marco Di Natale,
Paolo Giusto,
Alberto L. Sangiovanni-Vincentelli:
Statistical analysis of Controller Area Network message response times.
SIES 2009: 1-10 |
| 2007 |
| 16 |  | 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: 504-509 |
| 15 |  | 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: 93-98 |
| 14 |  | 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: 293-302 |
| 13 |  | Paolo Giusto,
Sri Kanajan,
Claudio Pinello,
Max Chiodo:
A Conceptual Data Model for the Architecture Exploration of Automotive Distributed Embedded Architectures.
IRI 2007: 582-587 |
| 2004 |
| 12 |  | Jean-Yves Brunel,
Marco Di Natale,
Alberto Ferrari,
Paolo Giusto,
Luciano Lavagno:
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract.
DATE 2004: 358-363 |
| 11 |  | Luciano Lavagno,
Marco Di Natale,
Alberto Ferrari,
Paolo Giusto:
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors.
UML Satellite Activities 2004: 150-162 |
| 10 |  | Paolo Giusto,
Thilo Demmeler:
Rapid design exploration of safety-critical distributed automotive applications via virtual integration platforms.
Journal of Systems and Software 70(3): 245-262 (2004) |
| 2002 |
| 9 |  | Paolo Giusto,
Jean-Yves Brunel,
Alberto Ferrari,
Eliane Fourgeau,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Automotive Virtual Integration Platforms: Why's, What's, and How's.
ICCD 2002: 370-378 |
| 8 |  | Paolo Giusto,
Jean-Yves Brunel,
Alberto Ferrari,
Eliane Fourgeau,
Luciano Lavagno,
Barry O'Rourke,
Alberto L. Sangiovanni-Vincentelli,
Emanuele Guasto:
Models of IP's for Automotive Virtual Integration Platforms.
ICCD 2002: 379- |
| 2001 |
| 7 |  | Thilo Demmeler,
Paolo Giusto:
A universal communication model for an automotive system integration platform.
DATE 2001: 47-54 |
| 6 |  | Paolo Giusto,
Grant Martin,
Edwin A. Harcourt:
Reliable estimation of execution time of embedded software.
DATE 2001: 580-589 |
| 5 |  | Barry O'Rourke,
Steve Wisniewski,
Thilo Demmeler,
Paolo Giusto:
Rapid Prototyping of Automotive Communication Protocols.
IEEE International Workshop on Rapid System Prototyping 2001: 64-69 |
| 1999 |
| 4 |  | Juergen Ehret,
Paolo Giusto,
Igal Gutkin:
Modeling the CAN Protocol Within the VCC Environment.
PDPTA 1999: 2417-2423 |
| 3 |  | Felice Balarin,
Massimiliano Chiodo,
Paolo Giusto,
Harry Hsieh,
Attila Jurecska,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli,
Ellen Sentovich,
Kei Suzuki:
Synthesis of software programs for embedded control applications.
IEEE Trans. on CAD of Integrated Circuits and Systems 18(6): 834-849 (1999) |
| 1995 |
| 2 |  | Massimiliano Chiodo,
Paolo Giusto,
Attila Jurecska,
Luciano Lavagno,
Harry Hsieh,
Kei Suzuki,
Alberto L. Sangiovanni-Vincentelli,
Ellen Sentovich:
Synthesis of Software Programs for Embedded Control Applications.
DAC 1995: 587-592 |
| 1994 |
| 1 |  | Luciano Lavagno,
Massimiliano Chiodo,
Paolo Giusto,
Attila Jurecska,
Harry Hsieh,
S. Yee,
Alberto L. Sangiovanni-Vincentelli,
Kei Suzuki:
A case study in computer-aided codesign of embedded controllers.
CODES 1994: 220-224 |