GHIORZI, ENRICO
GHIORZI, ENRICO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
(Deep) induction rules for GADTs
2022-01-01 Johann, P.; Ghiorzi, E.
GADTs, Functoriality, Parametricity: Pick Two
2022-01-01 Johann, P.; Ghiorzi, E.; Jeffries, D.
Model-based Verification and Monitoring for Safe and Responsive Robots
2025-01-01 Bernagozzi, Stefano; Faraci, Sofia; Ghiorzi, Enrico; Pedemonte, Karim; Ferrando, Angelo; Natale, Lorenzo; Tacchella, Armando
Modeling Robot Control Architectures forVerification andMonitoring
2024-01-01 Bernagozzi, Stefano; Ferrando, Angelo; Ghiorzi, Enrico; Natale, Lorenzo; Tacchella, Armando
Parametricity for primitive nested types
2021-01-01 Johann, P.; Ghiorzi, E.; Jeffries, D.
Towards a Verifiable Toolchain for Robotics
2024-01-01 Street, Charlie; Warsame, Yazz; Mansouri, Masoumeh; Klauck, Michaela; Henkel, Christian; Lampacrescia, Marco; Palmas, Matteo; Lange, Ralph; Ghiorzi, Enrico; Tacchella, Armando; Azrou, Razane; Lallement, Raphaël; Morelli, Matteo; I. Chen, Ginny; Wallis, Danielle; Bernagozzi, Stefano; Rosa, Stefano; Randazzo, Marco; Faraci, Sofia; Natale, Lorenzo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| (Deep) induction rules for GADTs | 1-gen-2022 | Johann, P.; Ghiorzi, E. | |
| GADTs, Functoriality, Parametricity: Pick Two | 1-gen-2022 | Johann, P.; Ghiorzi, E.; Jeffries, D. | |
| Model-based Verification and Monitoring for Safe and Responsive Robots | 1-gen-2025 | Bernagozzi, Stefano; Faraci, Sofia; Ghiorzi, Enrico; Pedemonte, Karim; Ferrando, Angelo; Natale, Lorenzo; Tacchella, Armando | |
| Modeling Robot Control Architectures forVerification andMonitoring | 1-gen-2024 | Bernagozzi, Stefano; Ferrando, Angelo; Ghiorzi, Enrico; Natale, Lorenzo; Tacchella, Armando | |
| Parametricity for primitive nested types | 1-gen-2021 | Johann, P.; Ghiorzi, E.; Jeffries, D. | |
| Towards a Verifiable Toolchain for Robotics | 1-gen-2024 | Street, Charlie; Warsame, Yazz; Mansouri, Masoumeh; Klauck, Michaela; Henkel, Christian; Lampacrescia, Marco; Palmas, Matteo; Lange, Ralph; Ghiorzi, Enrico; Tacchella, Armando; Azrou, Razane; Lallement, Raphaël; Morelli, Matteo; I. Chen, Ginny; Wallis, Danielle; Bernagozzi, Stefano; Rosa, Stefano; Randazzo, Marco; Faraci, Sofia; Natale, Lorenzo |