Papers
-
Modeling, Verifying, and Generating Software for
Distributed Cyber-Physical Systems using DMPL and
AADL. Sagar Chaki, Dionisio de Niz, Joseph
Seibel.
ACM SIGAda’s High Integrity Language Technology
International Workshop on Model-Based Development and
Contract-Based Programming
(HILT),
2016.
-
Software Solutions for Distributed Autonomous
Multi-Functional Robotics in Space.
James Edmondson, Sagar Chaki, Jeff Hansen, David Kyle.
AIAA Space and Astronautics Forum and Exposition
(AIAA
SPACE), 2016.
- Input
Attribution for Statistical Model Checking using
Logistic Regression. Jeffery Hansen, Sagar
Chaki, Scott Hissam, James Edmondson, Gabriel
Moreno, David Kyle. In proceedings of the 16th
International Conference on Runtime Verification
(RV),
2016.
- Verifying
Cyber-Physical Systems by Combining Software Model
Checking with Hybrid Systems
Reachability. Stanley Bak, Sagar
Chaki. In proceedings of the International
Conference on Embedded Software
(EMSOFT),
2016.
- Efficient Decision-Making under
Uncertainty for Proactive
Self-Adaptation. Gabriel A. Moreno, Javier
Camara, David Garlan, Bradley Schmerl. In
proceedings of the 13th IEEE International
Conference on Autonomic Computing
(ICAC),
2016.
- High
Assurance for Distributed Cyber Physical
Systems. Scott Hissam, Sagar Chaki, Gabriel
Moreno. In proceedings of the Architecting
Self-Managing Distributed Systems Workshop
(ASDS),
2015.
- Statistical
Model Checking of Distributed Adaptive Real-Time
Software. David Kyle, Jeffery Hansen, Sagar
Chaki. In proceedings of the 15th International
Conference on Runtime Verification
(RV),
2015.
- Proactive
Self-Adaptation under Uncertainty: a Probabilistic
Model Checking Approach. Gabriel Moreno,
Javier Camara, David Garlan, Bradley Schmerl. In
proceedings of the European Software Engineering
Conference and the Symposium on the Foundations of
Software Engineering
(ESEC/FSE),
2015.
Presentations
- Engineering
High-Assurance Software for Distributed Adaptive
Real-Time Systems (Keynote). Sagar
Chaki. Midwest Verification Day
(MVD),
2016.
- Verifying
Cyber-Physical Systems by Combining Software Model
Checking with Hybrid Systems
Reachability. Sagar Chaki, Stanley
Bak. Air Force Research Laboratory’s Safe &
Secure Systems and Software Symposium
(S5), 2016.
- Verifying
Distributed Adaptive Real-Time (DART)
Systems. Sagar Chaki, Dionisio de
Niz. SEI
Research Review,
2015. [PDF]
- Engineering
High-Assurance Software for Distributed Adaptive
Real-Time Systems. Sagar Chaki, Dionisio de
Niz, Mark Klein. Software Solutions Conference
(SSC),
2015.
- Engineering
High-Assurance Software for Distributed Adaptive
Real-Time Systems. Sagar Chaki, Dionisio de
Niz, Mark Klein. Air Force Research Laboratory’s
Safe & Secure Systems and Software Symposium
(S5), 2015.
Posters
