| 2008 |
|---|
| 10 | EE | Sam Weber,
Amitkumar Paradkar,
Suzanne McIntosh,
David C. Toll,
Paul A. Karger,
Matthew Kaplan,
Elaine R. Palmer:
The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System.
ISSRE 2008: 229-238 |
| 9 | EE | David C. Toll,
Paul A. Karger,
Elaine R. Palmer,
Suzanne McIntosh,
Sam Weber:
The Caernarvon secure embedded operating system.
Operating Systems Review 42(1): 32-39 (2008) |
| 2007 |
|---|
| 8 | EE | Sam Weber,
Paula Austel,
Michael McIntosh:
A Framework for Multi-Platform SOA Security Analyses.
ICWS 2007: 102-109 |
| 2006 |
|---|
| 7 | EE | Xiaolan Zhang,
Larry Koved,
Marco Pistoia,
Sam Weber,
Trent Jaeger,
Guillaume Marceau,
Liangzhao Zeng:
The case for analysis preserving language transformation.
ISSTA 2006: 191-202 |
| 2005 |
|---|
| 6 | EE | Sam Weber,
Paul A. Karger,
Amit M. Paradkar:
A software flaw taxonomy: aiming tools at security.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 5 | EE | Sam Weber,
Hoi Chan,
Lou Degenaro,
Judah Diament,
Achille Fokoue-Nkoutche,
Isabelle Rouvellou:
Fusion: A System For Business Users To Manage Program Variability.
IEEE Trans. Software Eng. 31(7): 570-587 (2005) |
| 2004 |
|---|
| 4 | EE | Isabelle Rouvellou,
Lou Degenaro,
Judah Diament,
Achille Fokoue,
Sam Weber:
Business Users and Program Variability: Bridging the Gap.
ICSR 2004: 11-22 |
| 2001 |
|---|
| 3 | EE | Joshua Anhalt,
Asim Smailagic,
Daniel P. Siewiorek,
Francine Gemperle,
Daniel Salber,
Sam Weber,
James E. Beck,
James Jennings:
Toward Context-Aware Computing: Experiences and Lessons.
IEEE Intelligent Systems 16(3): 38-46 (2001) |
| 2000 |
|---|
| 2 | EE | Jonathan S. Shapiro,
Sam Weber:
Verifying the EROS Confinement Mechanism.
IEEE Symposium on Security and Privacy 2000: 166-176 |
| 1992 |
|---|
| 1 | | Sam Weber,
Bard Bloom,
Geoffrey Brown:
Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics.
REX Workshop 1992: 639-659 |
