dblp.uni-trier.dewww.uni-trier.de

Carla Marceau Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
8EECarla Marceau, Matthew Stillerman: Modular Behavior Profiles in Systems with Shared Libraries (Short Paper). ICICS 2006: 369-378
2004
7EECarla Marceau, Simon N. Foley: Themes and Highlights of the New Security Paradigms Workshop 2004. ACSAC 2004: 382-383
2003
6EEO. Sami Saydjari, Carla Marceau: Themes and Highlights of the New Security Paradigms Workshop 2003. ACSAC 2003: 330-333
1999
5EEMatthew 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
2EEDavid 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

Coauthor Index

1Simon N. Foley [7]
2David Guaspari [2] [4]
3Wolfgang Polak [2] [4]
4Norman Ramsey [3]
5Thomas W. Reps [1]
6O. Sami Saydjari [6]
7Matthew Stillerman [5] [8]
8Maureen Stillman [5]
9Tim Teitelbaum [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)