Akka.js: towards a portable actor runtime environment. - Gianluca Stivan; Andrea Peruffo; Philipp Haller (AGERE!@SPLASH, 2015)

A new recursive least squares method with multiple forgetting schemes. - Francesco Fraccaroli; Andrea Peruffo; Mattia Zorzi (CDC, 2015)

Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels. - Andrea Peruffo; Emeline Guiu; Patrick Panciatici; Alessandro Abate (QEST, 2017)

Impact of Solar Panels and Cooling Devices on Frequency Control After a Generation Loss Incident. - Andrea Peruffo; Emeline Guiu; Patrick Panciatici; Alessandro Abate (CDC, 2018)

Safety Guarantees for the Electricity Grid with Significant Renewables Generation. - Andrea Peruffo; Emeline Guiu; Patrick Panciatici; Alessandro Abate (QEST, 2019)

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. - Daniele Ahmed; Andrea Peruffo; Alessandro Abate (TACAS (1), 2020)

Automated Formal Synthesis of Lyapunov Neural Networks. - Alessandro Abate; Daniele Ahmed; Mirco Giacobbe; Andrea Peruffo (CoRR, 2020)

Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models. - Andrea Peruffo; Daniele Ahmed; Alessandro Abate (CoRR, 2020)

Aggregation of a heterogeneous population of solar panels: verification and control. - Andrea Peruffo (2020)

Formal Abstraction and Synthesis of Parametric Stochastic Processes. - Andrea Peruffo; Alessandro Abate (FORMATS, 2021)

A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. - Alessandro Abate; Daniele Ahmed; Alec Edwards; Mirco Giacobbe; Andrea Peruffo (OVERLAY@GandALF, 2021)

FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. - Alessandro Abate; Daniele Ahmed; Alec Edwards; Mirco Giacobbe; Andrea Peruffo (HSCC, 2021)

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models. - Andrea Peruffo; Daniele Ahmed; Alessandro Abate (TACAS (1), 2021)

Formal Synthesis of Lyapunov Neural Networks. - Alessandro Abate; Daniele Ahmed; Mirco Giacobbe; Andrea Peruffo (IEEE Control. Syst. Lett., 2021)

Aggregation and Control of a Heterogeneous Population of Solar Panels Over the Grid Frequency. - Andrea Peruffo; Emeline Guiu; Patrick Panciatici; Alessandro Abate (IEEE Trans. Control. Syst. Technol., 2021)

Data-driven Abstractions for Verification of Deterministic Systems. - Rudi Coppola; Andrea Peruffo; Manuel Mazo Jr. 002 (CoRR, 2022)

Systematic Synthesis of Passive Fault-Tolerant Augmented Neural Lyapunov Control Laws for Nonlinear Systems. - Davide Grande; Davide Fenucci; Andrea Peruffo; Enrico Anderlini; Alexander B. Phillips; Giles Thomas; Georgios Salavasidis (CDC, 2023)

Poster: Convex Scenario Optimisation for ReLU Networks. - Andrea Peruffo; Manuel Mazo Jr. 002 (HSCC, 2023)

Augmented Neural Lyapunov Control. - Davide Grande; Andrea Peruffo; Enrico Anderlini; Georgios Salavasidis (IEEE Access, 2023)

A General Verification Framework for Dynamical and Control Models via Certificate Synthesis. - Alec Edwards; Andrea Peruffo; Alessandro Abate (CoRR, 2023)

Data-Driven Abstractions for Verification of Linear Systems. - Rudi Coppola; Andrea Peruffo; Manuel Mazo Jr. 002 (IEEE Control. Syst. Lett., 2023)

Data-Driven Abstractions With Probabilistic Guarantees for Linear PETC Systems. - Andrea Peruffo; Manuel Mazo 002 (IEEE Control. Syst. Lett., 2023)

Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions. - Rudi Coppola; Andrea Peruffo; Lars Lindemann; Manuel Mazo Jr. 002 (ECC, 2024)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. - Alec Edwards; Andrea Peruffo; Alessandro Abate (HSCC, 2024)

Data-Driven Abstractions for Control Systems. - Rudi Coppola; Andrea Peruffo; Manuel Mazo Jr. 002 (CoRR, 2024)

Data-driven Interval MDP for Robust Control Synthesis. - Rudi Coppola; Andrea Peruffo; Licio Romao; Alessandro Abate; Manuel Mazo Jr. 002 (CoRR, 2024)

Enhancing Data-Driven Stochastic Control via Bundled Interval MDP. - Rudi Coppola; Andrea Peruffo; Licio Romao; Alessandro Abate; Manuel Mazo 002 (IEEE Control. Syst. Lett., 2024)

Fossil. - Alec Edwards; Andrea Peruffo; Alessandro Abate (Zenodo, 2024)

Fault-tolerant control of nonlinear systems: An inductive synthesis approach. - Daniele Masti; Davide Grande; Andrea Peruffo; Filippo Fabiani (CoRR, 2025)

Sampling Performance of Periodic Event-Triggered Control Systems: A Data-Driven Approach. - Andrea Peruffo; Manuel Mazo Jr. 002 (IEEE Trans. Control. Netw. Syst., 2025)

Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models. - Alec Edwards; Andrea Peruffo; Alessandro Abate (Sci. Comput. Program., 2026)