icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
Home
Publications
Authors
Sagar Chaki
Sagar Chaki
Sagar Chaki is an SEI alumni employee.
All
Tech Publications
Blog Posts
Podcasts
Videos
Verifying Distributed Adaptive Real-Time Systems
March 27, 2017
•
Podcast
By
Sagar Chaki
,
James Edmondson
Assuring Autonomous Software
February 23, 2017
•
Video
By
Sagar Chaki
Certifiable Runtime Assurance of Distributed Real-Time Systems
January 13, 2017
•
Conference Paper
By
Sagar Chaki
,
Dionisio de Niz
Verifying Software with Timers and Clocks (STACs)
December 12, 2016
•
Blog Post
By
Sagar Chaki
,
Dionisio de Niz
Cyber-Physical Systems
December 1, 2016
•
White Paper
By
Bjorn Andersson
,
Sagar Chaki
,
Dionisio de Niz
,
Jeffrey Hansen
,
Scott Hissam
,
John J. Hudak
,
Mark H. Klein
,
David Kyle
,
Gabriel Moreno
More from Sagar Chaki
Cyber-Physical Systems
December 1, 2016
•
White Paper
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
December 1, 2016
•
White Paper
By
Sagar Chaki
,
Scott Hissam
,
Gabriel Moreno
,
Linda M. Northrop
,
Kurt C. Wallnau
Auto-Active Verification of Software with Timers and Clocks
October 18, 2016
•
Poster
By
Sagar Chaki
Verifying Distributed Adaptive Real (DART) Systems
October 18, 2016
•
Poster
By
Sagar Chaki
DMPL: Programming and Verifying Distributed Mixed-Synchrony and Mixed-Critical Software
June 21, 2016
•
Technical Report
By
Sagar Chaki
,
David Kyle
More from Sagar Chaki
Verifying Software with Timers and Clocks (STACs)
December 12, 2016
•
Blog Post
By
Sagar Chaki
,
Dionisio de Niz
Verifying Distributed Adaptive Real-Time Systems
October 10, 2016
•
Blog Post
By
James Edmondson
,
Sagar Chaki
Using Machine Learning to Detect Malware Similarity
September 19, 2011
•
Blog Post
By
Sagar Chaki
Learning a Portfolio-Based Checker for Provenance-Similarity of Binaries
February 14, 2011
•
Blog Post
By
Sagar Chaki
More from Sagar Chaki
Verifying Distributed Adaptive Real-Time Systems
March 27, 2017
•
Podcast
By
Sagar Chaki
,
James Edmondson
More from Sagar Chaki
Assuring Autonomous Software
February 23, 2017
•
Video
By
Sagar Chaki
More from Sagar Chaki