Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
<< Unpublished >> publications sorted by year   Download bibtex file
<< 2019 >> TOP
1
Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl, Javier Cámara and David Garlan. Formalizing the Hybrid Planning Problem for Self-Adaptation. 2019. Submitted for publication.
2
Cody Kinneer, David Garlan and Claire Le Goues. Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems. 2019. Submitted for publication.
3
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.
4
Changjian Zhang, David Garlan and Eunsuk Kang. Safe Run-time Recon guration for Event-driven Systems with Pub/Sub in ROS. 2019. Submitted for publication.
<< 2018 >> TOP
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 >> TOP
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 >> TOP
7
Kirti Garg, David Garlan and Bradley Schmerl. Architecture Based Information Flow Analysis for Software Security. 2008.
<< 2006 >> TOP
8
Bradley Schmerl, Shawn Butler and David Garlan. Architecture-based Simulation for Security and Performance. 2006. Submitted for publication.
<< 2000 >> TOP
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.