Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration. - Dario Cattaruzza; Alessandro Abate; Peter Schrammel; Daniel Kroening (SAS, 2015)

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version). - Dario Cattaruzza; Alessandro Abate; Peter Schrammel; Daniel Kroening (CoRR, 2015)

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. - Alessandro Abate; Iury Bessa; Dario Cattaruzza; Lucas C. Cordeiro; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen (CAV (1), 2017)

Sound Numerical Computations in Abstract Acceleration. - Dario Cattaruzza; Alessandro Abate; Peter Schrammel; Daniel Kroening (NSV@CAV, 2017)

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Dario Cattaruzza; Xin Chen 002; Goran Frehse; Rajarshi Ray 001; Stefan Schupp (ARCH@CPSWeek, 2017)

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. - Alessandro Abate; Iury Bessa; Dario Cattaruzza; Lucas C. Cordeiro; Cristina David; Pascal Kesseli; Daniel Kroening (HSCC, 2017)

DSSynth: an automated digital controller synthesis tool for physical plants. - Alessandro Abate; Iury Bessa; Dario Cattaruzza; Lennon C. Chaves; Lucas C. Cordeiro; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen (ASE, 2017)

Verification and synthesis of linear systems by abstract acceleration. - Dario Cattaruzza (2018)

Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. - Dario Cattaruzza; Alessandro Abate; Peter Schrammel; Daniel Kroening (J. Autom. Reason., 2021)