Unpublished publications - ABLE Publications

<< Unpublished >> publications sorted by year

<< 2024 >>

1	Md Abir Hossen, Sonam Kharade, Jason M. O\'Kane, Bradley Schmerl, David Garlan and Pooyan Jamshidi. CURE: Simulation-Augmented Auto-Tuning in Robotics. 2024. Submitted for publication.
2	Hongrui Chen, Aditya Joglekar, Zack Rubenstein, Bradley Schmerl, Gary Fedder, Jan De Nijs, David Garlan, Stephen Smith and Levant Burak Kara. Generative Manufacturing: A requirements and resource-driven approach to part making. 2024. Submitted for Publication.

<< 2019 >>

3	Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl, Javier Cámara and David Garlan. Formalizing the Hybrid Planning Problem for Self-Adaptation. 2019. Submitted for publication.
4	Cody Kinneer, David Garlan and Claire Le Goues. *Information Reuse and Stochastic Search: Managing Uncertainty in Self- Systems*. 2019. Submitted for publication*.

<< 2018 >>

5	Ryan Wagner, David Garlan and Matthew Fredrikson. An Advanced Persistent Threat Simulation Range for Research of Self-Adaptive Systems. 2018. Submitted for publication.

<< 2011 >>

6	David Garlan, Bradley Schmerl, Vishal Dwivedi, Aparup Banerjee, Laura Glendenning, Mai Nakayama and Nina Patel. SWiFT: A Tool for Constructing Workflows for Dynamic Network Analysis. 2011. http://acme.able.cs.cmu.edu/pubs/show.php?id=333.

<< 2008 >>

7	Kirti Garg, David Garlan and Bradley Schmerl. Architecture Based Information Flow Analysis for Software Security. 2008.

<< 2006 >>

8	Bradley Schmerl, Shawn Butler and David Garlan. Architecture-based Simulation for Security and Performance. 2006. Submitted for publication.

<< 2000 >>

9	David Garlan, Andrew Kompanek, John Kenney, David Luckham, Bradley Schmerl and David Wile. An Activity Language for the ADL Toolkit. August 2000. Working draft.
10	Jianing Hu. Adding Maps to Acme. August 2000. Working Draft.