All Stories

  1. Introduction to the Special Issue on Specification and Design Languages

    Article • ACM Transactions on Embedded Computing Systems, March 2026, ACM (Association for Computing Machinery)

    Sara Vinco

  2. VARADE: a Variational-based AutoRegressive model for Anomaly Detection on the Edge

    Article • June 2024, ACM (Association for Computing Machinery)

    Francesco Ponzio, Sara Vinco, Alessio Mascolini

  3. Integrating SystemC-AMS Power Modeling with a RISC-V ISS for Virtual Prototyping of Battery-operated Embedded Devices

    Article • May 2024, ACM (Association for Computing Machinery)

    Massimo Poncino, Sara Vinco

  4. A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors

    Article • ACM Transactions on Design Automation of Electronic Systems, May 2019, ACM (Association for Computing Machinery)

    Massimo Poncino, Sara Vinco

  5. Optimal Topology-Aware PV Panel Floorplanning with Hybrid Orientation

    Article • May 2018, ACM (Association for Computing Machinery)

    Massimo Poncino, Sara Vinco