All Stories

  1. Mining Specifications for Predictive Safety Monitoring

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

    Eleonora Nesterini

  2. Automatically learning properties from complex systems

    Article • ACM Transactions on Embedded Computing Systems, September 2023, ACM (Association for Computing Machinery)

    Eleonora Nesterini