Alexandre Rodrigues de Sousa
Papers
1
Total Citations
12
H-Index
1
About
Dr. Alexandre Rodrigues de Sousa is a leading researcher in the modeling, control, and formal verification of complex distributed systems, with a particular focus on the Internet of Things (IoT) and cyber-physical systems. His most cited work, "Modeling and controlling IoT-based devices’ behavior with high-level Petri nets" (2023, 12 citations), addresses a critical challenge in the IoT domain: bridging the gap between high-level, intelligent agent behavior and low-level device control. By employing high-level Petri nets, Dr. Sousa provides a rigorous, formal framework for designing and verifying autonomous, flexible, and distributed IoT systems, enabling more reliable agent communication, data analysis, and decision-making. His contributions are foundational for ensuring the correctness and predictability of complex IoT ecosystems, where devices must act intelligently and adaptively. With a growing citation impact, Dr. Sousa’s work is increasingly recognized as essential reading for researchers and engineers seeking to build robust, verifiable, and scalable smart environments. His research continues to shape the future of autonomous systems and formal methods in distributed computing.
Research Focus
Key Achievements
Top Papers
- 1