Technical Reports by Author
Theses by Author

CMU-S3D-23-100
Failure Detection and Diagnosis in Architecture-based Autonomic Systems
Paulo Casanova, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-23-101
Contextualized Conversational Network Dynamics on Social Media
Thomas Magelinski, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-23-102
Social-Cyber Maneuvers for Analyzing Online Influence Operations
Janice T. Blane, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-23-103
Automatically Annotating Decompiled Code with Meaningful Names and Types
Jeremy Lacomis, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-23-104
Construct User Guide
Stephen Dipple, Kathleen M. Carley
Abstract, .pdf
Supersedes CMU-ISR-22-102

CMU-S3D-23-105
Learning and Planning Towards AI for Social Good
Zheyuan Ryan Shi, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-23-106
Ethics down the AI supply chain: playing with power
David Gray Widder, Ph.D. Thesis
Abstract, .pdf Currently Unavailable

CMU-S3D-23-107
Revelation of System and Human Vulnerabilities Across MITRE ATT&CK Techniques with Insights from ChatGPT
Jeongkeun Shin, Geoffrey B. Dobson, L. Richard Carley, Kathleen M. Carley
Abstract, .pdf

CMU-S3D-23-108
Ensuring the Safety of Reinforcement Learning Algorithms at Training and Deployment
Melrose Roderick, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-23-109
Gradual Verification of Recursive Heap Data Structures
Jenna Wise DiVincenzo, Ph.D. Thesis
Abstract, .pdf

CMU-S3D-23-110
Meta-Management of Collections of Autonomic Systems
Thomas J. Glazier, Ph.D. Thesis
Abstract, .pdf

***

CMU-S3D-22-110
Halo: A Framwork for End-User Architecting
Vishal Dwivedi, Ph.D. Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection

This page maintained by reports@cs.cmu.edu