Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
<< Unpublished >> publications sorted by year   Download bibtex file
<< 2018 >> TOP
1
Ryan Wagner, David Garlan and Matthew Fredrikson. An Advanced Persistent Threat Simulation Range for Research of Self-Adaptive Systems. 2018. Submitted for publication.
2
Javier Cámara, David Garlan and Bradley Schmerl. Synthesizing Tradeoff Spaces of Quantitative Guarantees for Families of Software Systems. 2018. Submitted for publication.
3
Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl, Javier Cámara and David Garlan. Formalizing the Hybrid Planning Problem for Self-Adaptation. 2018. Submitted for publication.
<< 2011 >> TOP
4
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
5
Kirti Garg, David Garlan and Bradley Schmerl. Architecture Based Information Flow Analysis for Software Security. 2008.
<< 2006 >> TOP
6
Bradley Schmerl, Shawn Butler and David Garlan. Architecture-based Simulation for Security and Performance. 2006. Submitted for publication.
<< 2000 >> TOP
7
David Garlan, Andrew Kompanek, John Kenney, David Luckham, Bradley Schmerl and David Wile. An Activity Language for the ADL Toolkit. August 2000. Working draft.
8
Jianing Hu. Adding Maps to Acme. August 2000. Working Draft.