| 2006 |
|---|
| 8 | EE | Carla Marceau,
Matthew Stillerman:
Modular Behavior Profiles in Systems with Shared Libraries (Short Paper).
ICICS 2006: 369-378 |
| 2004 |
|---|
| 7 | EE | Carla Marceau,
Simon N. Foley:
Themes and Highlights of the New Security Paradigms Workshop 2004.
ACSAC 2004: 382-383 |
| 2003 |
|---|
| 6 | EE | O. Sami Saydjari,
Carla Marceau:
Themes and Highlights of the New Security Paradigms Workshop 2003.
ACSAC 2003: 330-333 |
| 1999 |
|---|
| 5 | EE | Matthew Stillerman,
Carla Marceau,
Maureen Stillman:
Intrusion Detection for Distributed Applications.
Commun. ACM 42(7): 62-69 (1999) |
| 1992 |
|---|
| 4 | | David Guaspari,
Carla Marceau,
Wolfgang Polak:
Formal Verification of Ada Programs.
Larch 1992: 104-141 |
| 1991 |
|---|
| 3 | | Norman Ramsey,
Carla Marceau:
Literate Programming on a Team Project.
Softw., Pract. Exper. 21(7): 677-683 (1991) |
| 1990 |
|---|
| 2 | EE | David Guaspari,
Carla Marceau,
Wolfgang Polak:
Formal Verification of Ada Programs.
IEEE Trans. Software Eng. 16(9): 1058-1075 (1990) |
| 1986 |
|---|
| 1 | | Thomas W. Reps,
Carla Marceau,
Tim Teitelbaum:
Remote Attribute Updating for Language-Based Editors.
POPL 1986: 1-13 |
