A case study in computer-aided codesign of embedded controllers. - Luciano Lavagno; Massimiliano Chiodo; Paolo Giusto; Attila Jurecska; Harry Hsieh; S. Yee; Alberto L. Sangiovanni-Vincentelli; Kei Suzuki (CODES, 1994)

Hardware-software codesign of embedded systems. - Massimiliano Chiodo; Paolo Giusto; Attila Jurecska; Harry Hsieh; Alberto L. Sangiovanni-Vincentelli; Luciano Lavagno (IEEE Micro, 1994)

Synthesis of Software Programs for Embedded Control Applications. - Massimiliano Chiodo; Paolo Giusto; Attila Jurecska; Luciano Lavagno; Harry Hsieh; Kei Suzuki; Alberto L. Sangiovanni-Vincentelli; Ellen Sentovich (DAC, 1995)

Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. - Stefano Cardelli; Massimiliano Chiodo; Paolo Giusto; Attila Jurecska; Luciano Lavagno; Alberto L. Sangiovanni-Vincentelli (RSP, 1996)

A case study in computer-aided co-design of embedded controllers. - Massimiliano Chiodo; Daniel W. Engels; Paolo Giusto; Harry Hsieh; Attila Jurecska; Luciano Lavagno; Kei Suzuki; Alberto L. Sangiovanni-Vincentelli (Des. Autom. Embed. Syst., 1996)

Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. - Stefano Cardelli; Massimiliano Chiodo; Paolo Giusto; Attila Jurecska; Luciano Lavagno; Claudio Sansoè; Alberto L. Sangiovanni-Vincentelli (Des. Autom. Embed. Syst., 1998)

Modeling the CAN Protocol Within the VCC Environment. - Juergen Ehret; Paolo Giusto; Igal Gutkin (PDPTA, 1999)

Synthesis of software programs for embedded control applications. - Felice Balarin; Massimiliano Chiodo; Paolo Giusto; Harry Hsieh; Attila Jurecska; Luciano Lavagno; Alberto L. Sangiovanni-Vincentelli; Ellen Sentovich; Kei Suzuki (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

A universal communication model for an automotive system integration platform. - Thilo Demmeler; Paolo Giusto (DATE, 2001)

Reliable estimation of execution time of embedded software. - Paolo Giusto; Grant Martin; Edwin A. Harcourt (DATE, 2001)

Rapid Prototyping of Automotive Communication Protocols. - Barry O'Rourke; Steve Wisniewski; Thilo Demmeler; Paolo Giusto (IEEE International Workshop on Rapid System Prototyping, 2001)

Models of IP's for Automotive Virtual Integration Platforms. - Paolo Giusto; Jean-Yves Brunel; Alberto Ferrari; Eliane Fourgeau; Luciano Lavagno; Barry O'Rourke; Alberto L. Sangiovanni-Vincentelli; Emanuele Guasto (ICCD, 2002)

Automotive Virtual Integration Platforms: Why's, What's, and How's. - Paolo Giusto; Jean-Yves Brunel; Alberto Ferrari; Eliane Fourgeau; Luciano Lavagno; Alberto L. Sangiovanni-Vincentelli (ICCD, 2002)

SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. - Jean-Yves Brunel; Marco Di Natale; Alberto Ferrari; Paolo Giusto; Luciano Lavagno (DATE, 2004)

SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. - Luciano Lavagno; Marco Di Natale; Alberto Ferrari; Paolo Giusto (UML Satellite Activities, 2004)

Rapid design exploration of safety-critical distributed automotive applications via virtual integration platforms. - Paolo Giusto; Thilo Demmeler (J. Syst. Softw., 2004)

Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures. - Patrick Popp; Marco Di Natale; Paolo Giusto; Sri Kanajan; Claudio Pinello (DATE, 2007)

Synthesis of task and message activation models in real-time distributed automotive systems. - Wei Zheng; Marco Di Natale; Claudio Pinello; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli (DATE, 2007)

A Conceptual Data Model for the Architecture Exploration of Automotive Distributed Embedded Architectures. - Paolo Giusto; Sri Kanajan; Claudio Pinello; Max Chiodo (IRI, 2007)

Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems. - Marco Di Natale; Wei Zheng; Claudio Pinello; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli (IEEE Real-Time and Embedded Technology and Applications Symposium, 2007)

Scheduling the FlexRay bus using optimization techniques. - Haibo Zeng 001; Wei Zheng; Marco Di Natale; Arkadeb Ghosal; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli (DAC, 2009)

Optimizations of an application-level protocol for enhanced dependability in FlexRay. - Wenchao Li 001; Marco Di Natale; Wei Zheng; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (DATE, 2009)

Statistical analysis of Controller Area Network message response times. - Haibo Zeng 001; Marco Di Natale; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli (SIES, 2009)

Stochastic Analysis of Distributed Real-time Automotive Systems. - Haibo Zeng 001; Marco Di Natale; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Ind. Informatics, 2009)

Education panel: designing the always connected car of the future. - Arkadeb Ghosal; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli; Joseph D'Ambrosio; Ed Nuckolls; Harald Wilhelm; Jim Tung; Markus Kuhl; Peter van Staa (DAC, 2010)

Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network. - Haibo Zeng 001; Marco Di Natale; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Ind. Informatics, 2010)

Using timing analysis for the design of future switched based Ethernet automotive networks. - Jonas Rox; Rolf Ernst; Paolo Giusto (DATE, 2012)

Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software. - Arkadeb Ghosal; Haibo Zeng 001; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli; Ragunathan Rajkumar; Marco Ernst; Rolf Di Natale (IEEE Embed. Syst. Lett., 2013)

An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems. - Chung-Wei Lin; Lei Rao; Paolo Giusto; Joseph D'Ambrosio; Alberto L. Sangiovanni-Vincentelli (DAC, 2014)

Efficient Wire Routing and Wire Sizing for Weight Minimization of Automotive Systems. - Chung-Wei Lin; Lei Rao; Paolo Giusto; Joseph D'Ambrosio; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Modeling and Analysis of Automotive Systems: Current Approaches and Future Trends. - Paolo Giusto; Ramesh S. 002; Sudhakaran M. (MODELSWARD, 2016)

The Automotive Virtual Verification Ecosystem: Impediments and Enablers. - S. Magnus Ågren; Eric Knauss; Paolo Giusto; Grant Soremekun; Rogardt Heldal; Daniela E. Damian (IEEE Softw., 2020)