Papers
9
Total Citations
64
H-Index
5
About
Sagar Chaki is a leading researcher in formal verification, with a focus on ensuring the reliability of complex, real-time, and distributed software systems. His work spans state/event verification, statistical model checking, and the verification of periodic programs. Chaki made foundational contributions with his development of SE-Aω, a branching-time temporal logic that integrates state and event reasoning, enabling more expressive specifications for concurrent systems. His most cited paper, "State/Event Software Verification for Branching-Time Specifications" (2005, 25 citations), established a key framework in this area. He has also advanced the verification of periodic real-time programs, which are critical in robotics, medical devices, and radar systems, particularly through his work on priority inheritance locks and sequential consistency snapshots. Chaki introduced DMPL, a programming language for distributed mixed-synchrony, mixed-criticality software, and applied statistical model checking to adaptive real-time systems and coordinated multi-robot missions. His research has been published in top venues and is widely cited, reflecting its impact on both theoretical foundations and practical verification tools for safety-critical software.
Research Focus
Key Achievements
Top Papers
- 1State/Event Software Verification for Branching-Time Specifications25 citations · 2005
- 2Verifying periodic programs with priority inheritance locks8 citations · 2013
- 3
- 4Statistical Model Checking of Distributed Adaptive Real-Time Software7 citations · 2015
- 5Probabilistic Verification of Coordinated Multi-robot Missions5 citations · 2013
- 6An Expressive Verification Framework for State/Event Systems5 citations · 2004
- 7
- 8
- 9