Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
<< Unpublished >> publications sorted by year   Download bibtex file
<< 2019 >> TOP
Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl, Javier Cámara and David Garlan. Formalizing the Hybrid Planning Problem for Self-Adaptation. 2019. Submitted for publication.
Cody Kinneer, David Garlan and Claire Le Goues. Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems. 2019. Submitted for publication.
Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl and David Garlan. Fast and Slow Planning: An Empirical Study of Learning-based Hybrid Planning. 2019. Submitted for publication.
<< 2018 >> TOP
Ryan Wagner, David Garlan and Matthew Fredrikson. An Advanced Persistent Threat Simulation Range for Research of Self-Adaptive Systems. 2018. Submitted for publication.
<< 2011 >> TOP
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 >> TOP
Kirti Garg, David Garlan and Bradley Schmerl. Architecture Based Information Flow Analysis for Software Security. 2008.
<< 2006 >> TOP
Bradley Schmerl, Shawn Butler and David Garlan. Architecture-based Simulation for Security and Performance. 2006. Submitted for publication.
<< 2000 >> TOP
David Garlan, Andrew Kompanek, John Kenney, David Luckham, Bradley Schmerl and David Wile. An Activity Language for the ADL Toolkit. August 2000. Working draft.
Jianing Hu. Adding Maps to Acme. August 2000. Working Draft.