Close

Organization

University of Verona
Contributors
Francesco Biondani
Luigi Capogrosso
Marco Cristani
Nicola Dall'Ora
Franco Fummi
Sebastiano Gaiardelli
Michele Lora
Francesco Tosoni
Session Chairs
Enrico Fraccaroli
Presentations
Networking
Work-in-Progress Poster
Daedalus: a Floorplanning Strategy for Next-Generation 3D Chiplet Integration
6:00pm - 7:00pm PDT Sunday, June 22 Level 3 Lobby
Networking
Work-in-Progress Poster
GAIA: A Generative AI Approach for Enabling Aircraft Digital Twin Creation
6:00pm - 7:00pm PDT Sunday, June 22 Level 3 Lobby
Networking
Work-in-Progress Poster
Validating the Design of CPS: Interfacing Simulations of Multi-Physics Components and Software with Contract-Based Monitoring
6:00pm - 7:00pm PDT Monday, June 23 Level 2 Lobby
Sessions
Research Manuscript
Exploring the Formal Frontier for Verification and Validation
3:30pm - 5:30pm PDT Wednesday, June 25 3004, Level 3
EDA
EDA2: Design Verification and Validation