Antonio Vallecillo

Papers

Total Citations

H-Index

About

Antonio Vallecillo is a leading figure in software and systems modeling, with a particular focus on the intersection of digital twins, robotics, and formal verification. His research centers on ensuring the reliability and correctness of complex, real-world systems through rigorous modeling techniques. A major contribution is his work on validating digital twins, where he pioneered the use of trace alignments to measure the fidelity between a physical system and its digital counterpart—a critical step for ensuring trust in these emerging technologies. Vallecillo has also made significant strides in integrating physical quantities, such as measurement uncertainty and units, into software models, a foundational challenge for robotics and cyber-physical systems. His most-cited paper, "Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments" (2024), has already garnered 9 citations, reflecting the timeliness and impact of his work. Additionally, his formal modeling of robot behavior using UML and OCL demonstrates his commitment to bridging abstract modeling standards with practical, executable systems. Vallecillo’s work is essential reading for anyone interested in the rigorous engineering of digital twins and autonomous systems.