Sagar Chaki
Sagar Chaki is an SEI alumni employee.
Assuring Autonomous Software
• Video
By Sagar Chaki
Certifiable Runtime Assurance of Distributed Real-Time Systems
• Conference Paper
Cyber-Physical Systems
• SEI Report
By Bjorn Andersson , Sagar Chaki , Dionisio de Niz , Jeffrey Hansen , Scott Hissam , John J. Hudak , Mark H. Klein , David Kyle , Gabriel Moreno
Cyber-Physical Systems
• SEI Report
By Bjorn Andersson , Sagar Chaki , Dionisio de Niz , Jeffrey Hansen , Scott Hissam , John J. Hudak , Mark H. Klein , David Kyle , Gabriel Moreno
Predictability by Construction
• SEI Report
By Sagar Chaki , Scott Hissam , Gabriel Moreno , Linda M. Northrop , Kurt C. Wallnau
DMPL: Programming and Verifying Distributed Mixed-Synchrony and Mixed-Critical Software
• SEI Report
By Sagar Chaki , David Kyle
Results of SEI Line-Funded Exploratory New Starts Projects: FY 2012
• SEI Report
By Bjorn Andersson , Stephany Bellomo , Lisa Brownsword , Yuanfang Cai (Drexel University) , Sagar Chaki , William R. Claycomb , Julie B. Cohen , Peter H. Feiler , Robert Ferguson , Lori Flynn , David P. Gluch , Dennis Goldenson , Arie Gurfinkel , Jeff Havrilla , Chuck Hines , John J. Hudak , Carly L. Huth , Wesley Jin , Rick Kazman , Mary Ann Lapham , James McCurley , John McGregor , David McIntire , Robert Nord , Ipek Ozkaya , Brittany Phillips , Robert W. Stoddard , David Zubrow
Results of SEI Line-Funded Exploratory New Starts Projects
• SEI Report
By Len Bass , Nanette Brown , Gene Cahill , William Casey , Sagar Chaki , Cory Cohen , Dionisio de Niz , David French , Arie Gurfinkel , Rick Kazman , Edwin J. Morris , Brad Myers , Bill Nichols , Robert Nord , Ipek Ozkaya , Raghvinder Sangwan , Soumya Simanta , Ofer Strichman , Peppo Valetto
Verifying Distributed Adaptive Real-Time Systems
• Blog Post
Using Machine Learning to Detect Malware Similarity
• Blog Post
By Sagar Chaki