Luca Ferrucci
Papers
2
Total Citations
6
H-Index
2
About
Luca Ferrucci is a researcher at the intersection of formal verification, temporal logic, and manufacturing systems. His work focuses on developing rigorous, automated methods to ensure the correctness of complex real-time and flexible manufacturing systems. Ferrucci’s key contribution lies in applying non-standard analysis—a branch of mathematics dealing with infinitesimals—to modular verification, enabling the efficient checking of metric temporal logic properties in large-scale industrial setups. His 2012 paper on this approach, which has garnered 4 citations, provides a foundation for scalable, compositional verification. He further advanced the field by introducing a novel temporal logic tailored for systems operating on both micro- and macro-step time scales, detailed in his 2016 work (2 citations). This dual-scale logic bridges the gap between fine-grained hardware behaviors and coarse-grained system-level interactions. Ferrucci’s research is notable for its theoretical depth and practical orientation, offering engineers a powerful toolkit for designing reliable, time-critical automation systems. His contributions continue to influence the development of formal methods for cyber-physical and industrial control systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2