Dario Cattaruzza

According to our database, Dario Cattaruzza authored at least 9 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

2018

Verification and synthesis of linear systems by abstract acceleration.

Dario Cattaruzza

PhD thesis, 2018

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

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 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

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Sound Numerical Computations in Abstract Acceleration.

Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

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

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

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

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration.

Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening

Proceedings of the Static Analysis - 22nd International Symposium, 2015