Publications by David Garlan

Conference

Model checking publish-subscribe systems

2003 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2648:166-180
Garlan D, Khersonsky S, Kim JS

Conference

Proceedings of the First ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02): Forward

2002 • Proceedings of the First ACM SIGSOFT Workshop on Self Healing Systems Woss 02
Garlan D, Kramer J, Wolf A

Conference

Software architecture-based adaptation for pervasive systems

2002 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2299:67-82
Cheng SW, Garlan D, Schmerl B, Sousa JP, Spitznagel B, Steenkiste P, Hu NN

Chapter

Software, Heal Thyself!

2002 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2460:351-351
Garlan D