Papers
8
Total Citations
115
H-Index
7
About
Tiziana Margaria is a leading figure in model-driven engineering, formal methods, and cyber-physical systems (CPS), with a particular focus on solving the grand challenge of interoperability in Industry 4.0. Her pioneering work centers on creating a "Digital Thread" platform that seamlessly connects heterogeneous CPS components, from sensors and robots to edge devices. She is the architect of the jABC framework, a model-based application development environment that enables reliable, service-oriented design of robot control programs—a foundational contribution that has shaped modern automation software engineering. With papers accumulating over 100 citations, her most impactful work tackles the practical integration of security, verification, and validation into complex automation ecosystems. Notably, her 2021 study on building a model-driven Digital Thread platform for CPS (30 citations) and her work on securing interoperable automation systems with EdgeX Foundry (22 citations) are widely referenced. Margaria’s research also extends to digital twins, active behaviour mining, and ambient assisted living, demonstrating her breadth. She is a sought-after editor and organizer of the ISoLA (Leveraging Applications of Formal Methods) symposium series, a key venue for bridging formal verification with industrial practice. Her work is essential reading for anyone seeking to understand how formal methods can tame the complexity of tomorrow’s interconnected, intelligent systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2Model Driven Design of Reliable Robot Control Programs Using the jABC29 citations · 2007
- 3
- 4Leveraging Applications of Formal Methods, Verification, and Validation9 citations · 2012
- 5
- 6Towards Engineering Digital Twins by Active Behaviour Mining8 citations · 2021
- 7
- 8Analyzing ambient assisted living solutions: A research perspective2 citations · 2017