Thierry Cattel
Papers
2
Total Citations
9
H-Index
2
About
Thierry Cattel is a researcher whose work sits at the critical intersection of formal methods, concurrency, and safety-critical process control. His primary contributions focus on demonstrating how rigorous, mathematically-based verification techniques can be applied to real-world industrial systems to ensure their safe and reliable operation. Cattel’s most influential work, "Using Concurrency and Formal Methods for the Design of Safe Process Control" (1996, 6 citations), established a foundational approach for integrating these methods into the design lifecycle. He further advanced this practical application in "Process Control Design Using SPIN" (2002, 3 citations), which reported on a medium-sized case study originally proposed by Forschungszentrum Informatik, Karlsruhe. This work was pivotal in promoting the industrial adoption of formal methods by showing how the SPIN model checker could be used for modeling, verification, and concurrent implementation. Though his citation counts reflect a niche but deeply impactful audience, Cattel’s legacy lies in bridging the gap between theoretical computer science and the pressing need for provably safe industrial control systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2Process Control Design Using SPIN3 citations · 2002