All Stories

  1. Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

    Article • Communications of the ACM, December 2025, ACM (Association for Computing Machinery)

    Lelio Brun

  2. Automated Security Analysis for Real-World IoT Devices

    Article • October 2023, ACM (Association for Computing Machinery)

    Lelio Brun

  3. Automatically verified code generation from Lustre code

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

    Lelio Brun