Enrico Ghiorzi

15 papers A 2B 2Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
The SCAN Statistical Model Checker.
CoRR
Enrico Ghiorzi, Armando Tacchella
2025 A conf
Code Generation and Monitoring for Deliberation Components in Autonomous Robots.
IROS
Stefano Bernagozzi, S. Faraci, Enrico Ghiorzi, K. Pedemonte, Lorenzo Natale, Armando Tacchella
2025 — conf
Model-based Verification and Monitoring for Safe and Responsive Robots.
SIMPAR
Stefano Bernagozzi, S. Faraci, Enrico Ghiorzi, K. Pedemonte, A. Ferrando, Lorenzo Natale, Armando Tacchella
2025 A conf
Translating Behavior Trees to Petri Nets for Model Checking.
MODELS
Matteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella
2024 J jnl
Execution Semantics of Behavior Trees in Robotic Applications.
CoRR
Enrico Ghiorzi, Armando Tacchella
2024 J jnl
GADTs are not (Even partial) functors.
Math. Struct. Comput. Sci.
Pierre Cagne, Enrico Ghiorzi, Patricia Johann
2024 — conf
Modeling Robot Control Architectures for Verification and Monitoring.
ERF (2)
Stefano Bernagozzi, Angelo Ferrando, Enrico Ghiorzi, Lorenzo Natale, Armando Tacchella
2023 J jnl
Learning Linear Temporal Properties for Autonomous Robotic Systems.
IEEE Robotics Autom. Lett.
Enrico Ghiorzi, Michele Colledanchise, Gianluca Piquet, Stefano Bernagozzi, Armando Tacchella, Lorenzo Natale
2022 B conf
(Deep) induction rules for GADTs.
CPP
Patricia Johann, Enrico Ghiorzi
2022 J jnl
Internal Enriched Categories.
Appl. Categorical Struct.
Enrico Ghiorzi
2021 J jnl
(Deep) Induction Rules for GADTs.
CoRR
Patricia Johann, Enrico Ghiorzi, Daniel Jeffries
2021 — conf
GADTs, Functoriality, Parametricity: Pick Two.
LSFA
Patricia Johann, Enrico Ghiorzi, Daniel Jeffries
2021 J jnl
Parametricity for Nested Types and GADTs.
CoRR
Patricia Johann, Enrico Ghiorzi, Daniel Jeffries
2021 J jnl
Parametricity for Nested Types and GADTs.
Log. Methods Comput. Sci.
Patricia Johann, Enrico Ghiorzi
2021 B conf
Parametricity for Primitive Nested Types.
FoSSaCS
Patricia Johann, Enrico Ghiorzi, Daniel Jeffries