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.

<< 2019 >>

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

<< 2018 >>

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

<< 2011 >>

5	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 >>

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

<< 2006 >>

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

<< 2000 >>

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