Paolo Giusto

34 papers A* 4A 8C 5Misc 2Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Is Implicit Knowledge Enough for LLMs? A RAG Approach for Tree-based Structures.
CoRR
Mihir Gupte, Paolo Giusto, S. Ramesh
2025 J jnl
Validation of Quantum Computing for Transition Metal Oxide-based Automotive Catalysis.
CoRR
Yuntao Gu, Louis Hector Jr, Paolo Giusto, Matthew Titsworth, Alok Warey, Dnyanesh Rajpathak, Eser Atesoglu
2020 J jnl
The Automotive Virtual Verification Ecosystem: Impediments and Enablers.
IEEE Softw.
S. Magnus Ågren, Eric Knauss, Paolo Giusto, Grant Soremekun, Rogardt Heldal, Daniela E. Damian
2016 C conf
Modeling and Analysis of Automotive Systems: Current Approaches and Future Trends.
MODELSWARD
Paolo Giusto, Ramesh S., Sudhakaran M.
2015 J jnl
Efficient Wire Routing and Wire Sizing for Weight Minimization of Automotive Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Chung-Wei Lin, Lei Rao, Paolo Giusto, Joseph D'Ambrosio, Alberto L. Sangiovanni-Vincentelli
2014 A* conf
An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems.
DAC
Chung-Wei Lin, Lei Rao, Paolo Giusto, Joseph D'Ambrosio, Alberto L. Sangiovanni-Vincentelli
2013 J jnl
Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software.
IEEE Embed. Syst. Lett.
Arkadeb Ghosal, Haibo Zeng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Ragunathan Rajkumar, Marco Ernst, Rolf Di Natale
2012 A conf
Using timing analysis for the design of future switched based Ethernet automotive networks.
DATE
Jonas Rox, Rolf Ernst, Paolo Giusto
2010 A* conf
Education panel: designing the always connected car of the future.
DAC
Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Joseph D'Ambrosio, Ed Nuckolls, Harald Wilhelm, Jim Tung, Markus Kuhl, Peter van Staa
2010 J jnl
Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network.
IEEE Trans. Ind. Informatics
Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009 A conf
Optimizations of an application-level protocol for enhanced dependability in FlexRay.
DATE
Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2009 A* conf
Scheduling the FlexRay bus using optimization techniques.
DAC
Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009 — conf
Statistical analysis of Controller Area Network message response times.
SIES
Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009 J jnl
Stochastic Analysis of Distributed Real-time Automotive Systems.
IEEE Trans. Ind. Informatics
Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2007 Misc conf
A Conceptual Data Model for the Architecture Exploration of Automotive Distributed Embedded Architectures.
IRI
Paolo Giusto, Sri Kanajan, Claudio Pinello, Max Chiodo
2007 A conf
Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures.
DATE
Patrick Popp, Marco Di Natale, Paolo Giusto, Sri Kanajan, Claudio Pinello
2007 A conf
Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Marco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2007 A conf
Synthesis of task and message activation models in real-time distributed automotive systems.
DATE
Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2004 J jnl
Rapid design exploration of safety-critical distributed automotive applications via virtual integration platforms.
J. Syst. Softw.
Paolo Giusto, Thilo Demmeler
2004 — conf
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors.
UML Satellite Activities
Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto
2004 A conf
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract.
DATE
Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno
2002 C conf
Automotive Virtual Integration Platforms: Why's, What's, and How's.
ICCD
Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2002 C conf
Models of IP's for Automotive Virtual Integration Platforms.
ICCD
Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Barry O'Rourke, Alberto L. Sangiovanni-Vincentelli, Emanuele Guasto
2001 A conf
A universal communication model for an automotive system integration platform.
DATE
Thilo Demmeler, Paolo Giusto
2001 C conf
Rapid Prototyping of Automotive Communication Protocols.
IEEE International Workshop on Rapid System Prototyping
Barry O'Rourke, Steve Wisniewski, Thilo Demmeler, Paolo Giusto
2001 A conf
Reliable estimation of execution time of embedded software.
DATE
Paolo Giusto, Grant Martin, Edwin A. Harcourt
1999 Misc conf
Modeling the CAN Protocol Within the VCC Environment.
PDPTA
Juergen Ehret, Paolo Giusto, Igal Gutkin
1999 J jnl
Synthesis of software programs for embedded control applications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki
1998 J jnl
Rapid-Prototyping of Embedded Systems via Reprogrammable Devices.
Des. Autom. Embed. Syst.
Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli
1996 J jnl
A case study in computer-aided co-design of embedded controllers.
Des. Autom. Embed. Syst.
Massimiliano Chiodo, Daniel W. Engels, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli
1996 C conf
Rapid-Prototyping of Embedded Systems via Reprogrammable Devices.
RSP
Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1995 A* conf
Synthesis of Software Programs for Embedded Control Applications.
DAC
Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich
1994 — conf
A case study in computer-aided codesign of embedded controllers.
CODES
Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, S. Yee, Alberto L. Sangiovanni-Vincentelli, Kei Suzuki
1994 J jnl
Hardware-software codesign of embedded systems.
IEEE Micro
Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Luciano Lavagno