ST Gilmore

Papers

Total Citations

H-Index

About

Stephen Gilmore is a leading figure in the formal modeling and quantitative analysis of complex systems, with a particular focus on stochastic process algebras and performance evaluation. His foundational work, including the highly cited 1996 paper "Specifications in stochastic process algebra for a robot control problem," pioneered the integration of qualitative and quantitative analysis within a unified formal framework. This approach allows researchers to not only verify the logical correctness of a system but also to assess its performance and reliability, a critical capability for designing dependable, resource-constrained systems like autonomous robots. With over 26 citations for this seminal paper alone, Gilmore's contributions have shaped the field of performance-aware formal methods. His research has been instrumental in developing tools and techniques that enable engineers to explore trade-offs between functionality and efficiency, influencing areas from cyber-physical systems to software performance engineering. Through his work, Gilmore has provided the theoretical and practical foundations for building systems that are both correct and performant.