1 |
Ashutosh Pandey,
Ivan Ruchkin,
Bradley Schmerl and
David Garlan. Hybrid Planning Using Learning and Model Checking for Autonomous Systems. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., 19-23 August 2020. Supplemental Material | Presentation Video.
|
2 |
Gabriel A. Moreno,
Cody Kinneer,
Ashutosh Pandey and
David Garlan. DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems. In Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Montreal, Canada, 25-26 May 2019. Awarded Best Artifact Award for SEAMS 2019.
|
3 |
Ashutosh Pandey,
Ivan Ruchkin,
Bradley Schmerl and
Javier Cámara. Towards a Formal Framework for Hybrid Planning in Self-Adaptation. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017), Buenos Aires, Argentina, 22-23 May 2017.
|
4 |
Ashutosh Pandey,
Bradley Schmerl and
David Garlan. Instance-based Learning for Hybrid Planning. In Proceedings of the 3rd International Workshop on Data-driven Self-regulating Systems (DSS 2017), Tucson, AZ, USA, 18-22 September 2017.
|
5 |
Ashutosh Pandey. Hybrid Planning in Self-Adaptive Systems. In FAS* Foundations and Applications of Self* Systems (FAS* 2017) Doctoral Symposium, Tucson, AZ, USA, 18-22 September 2017.
|
6 |
Ashutosh Pandey,
Gabriel A. Moreno,
Javier Cámara and
David Garlan. Hybrid Planning for Decision Making in Self-Adaptive Systems. In Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), Augsburg, Germany, 12-16 September 2016.
|
7 |
Javier Cámara,
David Garlan,
Bradley Schmerl and
Ashutosh Pandey. Optimal Planning for Architecture-Based Self-Adaptation via Model Checking of Stochastic Games. In Proceedings of the 10th DADS Track of the 30th ACM Symposium on Applied Computing, Salamanca, Spain, 13-17 April 2015.
|
8 |
Jeffrey M. Barnes,
Ashutosh Pandey and
David Garlan. Automated Planning for Software Architecture Evolution. In The 28th IEEE/ACM International Conference on Automated Software Engineering, Silicon Valley, CA, 11-15 November 2013.
|
|
|