Paolo Masci

Papers

Total Citations

H-Index

About

Paolo Masci is a leading researcher in formal methods and human-automation interaction, with a focus on ensuring the safety and reliability of semi-autonomous systems. His work bridges the gap between rigorous verification techniques and real-world cyber-physical systems, particularly in healthcare and robotics. Masci’s most-cited paper, "Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study" (2018, 18 citations), exemplifies his approach: combining simulation and formal analysis to validate system behavior under human control. This contribution is pivotal for designing trustworthy autonomous agents that interact with humans, such as medical devices or robotic assistants. Beyond this, Masci has advanced the use of the PVS theorem prover and the Prototype Verification System (PVSio) for modeling interactive systems, influencing safety-critical applications in aviation and healthcare. His work has been recognized through collaborations with NASA and contributions to international standards for medical device software. With a citation count reflecting growing impact, Masci continues to shape how engineers verify that semi-autonomous systems behave correctly, even when faced with unpredictable human input—a cornerstone of modern dependable system design.