Angelo Morzenti
Papers
2
Total Citations
6
H-Index
2
About
Angelo Morzenti is a leading figure in formal methods for real-time and embedded systems, with a career dedicated to advancing the rigorous specification and verification of time-critical systems. His research centers on temporal logics, particularly metric temporal logic (MTL) and its extensions, and their application to industrial domains like flexible manufacturing. Morzenti’s major contributions include pioneering the use of non-standard analysis to enable modular, automated verification of complex systems, as demonstrated in his highly cited 2012 work on flexible manufacturing systems (4 citations). He also developed a novel temporal logic framework for micro- and macro-step-based real-time systems, laying foundations for both theoretical understanding and practical tool support (2016, 2 citations). His work has influenced the design of dependable automation and control systems, bridging the gap between formal verification and engineering practice. A professor at Politecnico di Milano, Morzenti is recognized for shaping the field of real-time system verification, and his research continues to inspire students and researchers tackling the challenges of correctness in safety-critical applications.
Research Focus
Key Achievements
Top Papers
- 1
- 2