All Stories

  1. Firmware Secure Updates meet Formal Verification

    Article • ACM Transactions on Cyber-Physical Systems, July 2025, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo, Marco Roveri

  2. A Hybrid Constrained Programming with Genetic Algorithm for the Job Shop Scheduling Problem

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

    Marco Roveri, Alessandro Lorenzi

  3. Comparing Large Language Models and Grammatical Evolution for Code Generation

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

    Marco Roveri

  4. FLAShadow: A Flash-based Shadow Stack for Low-end Embedded Systems

    Article • ACM Transactions on Internet of Things, July 2024, ACM (Association for Computing Machinery)

    Marco Roveri, Prof. Bruno Crispo

  5. Symboleo2SC

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

    Marco Roveri, DR Amal Ahmed Anda, Marco Roveri

  6. Model-checking legal contracts with SymboleoPC

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

    Marco Roveri, Marco Roveri

  7. A Comprehensive Approach to On-board Autonomy Verification and Validation

    Article • ACM Transactions on Intelligent Systems and Technology, August 2021, ACM (Association for Computing Machinery)

    Marco Roveri