Leonidas Tsiopoulos

Papers

Total Citations

H-Index

About

Leonidas Tsiopoulos is a leading researcher in the formal verification and model-based testing of complex Cyber-Physical Systems (CPS), with a particular focus on time-critical applications. His work addresses the fundamental challenge of ensuring design correctness in safety-critical domains such as automotive, industrial automation, and electronics. Tsiopoulos’s most impactful contribution is the development of **DTRON**, a pioneering tool for distributed model-based testing of time-critical CPS, which has garnered 16 citations and provides a practical methodology for governing system complexity. He has also advanced the field by integrating **Event-B** with **Uppaal Timed Automata** to create multi-view contracts, enabling compositional design and verification for heterogeneous system components. This approach allows engineers to separate design concerns while maintaining rigorous formal guarantees. Tsiopoulos’s research bridges the gap between theoretical formal methods and industrial application, offering engineers concrete tools to manage the growing complexity of interconnected, real-time systems. His work is essential reading for anyone developing reliable CPS in high-stakes environments.