S x E rgio Vale Aguiar Campos
Papers
1
Total Citations
18
H-Index
1
About
Sérgio Vale Aguiar Campos is a computer scientist whose research centers on formal verification, real-time systems, and symbolic model checking. His most influential work, "Analysis and verification of real-time systems using quantitative symbolic algorithms" (1999), introduced novel quantitative symbolic techniques for verifying timing constraints in complex systems, earning 18 citations and laying groundwork for automated reasoning about temporal properties. Campos's contributions have advanced the practical application of model checking to real-time and embedded systems, enabling more reliable design of safety-critical software. His research bridges theoretical foundations with algorithmic efficiency, demonstrating how symbolic methods can scale to industrial-scale verification challenges. Beyond this landmark paper, Campos has published extensively on verification algorithms, temporal logic, and system analysis, with his work cited by researchers in formal methods, computer-aided verification, and cyber-physical systems. His achievements include developing tools and techniques that reduce the computational complexity of verifying real-time properties, making formal verification more accessible to engineers. Campos's scholarship continues to influence the design of dependable systems, where correctness and timing guarantees are paramount.
Research Focus
Key Achievements
Top Papers
- 1