| 2007 |
|---|
| 9 | EE | Paul B. Albee,
Laura A. Campbell,
Martin A. Murray,
Christopher M. Tongen,
Jennifer L. Wolfe:
A student-managed networking laboratory.
SIGITE Conference 2007: 67-74 |
| 2004 |
|---|
| 8 | EE | Sascha Konrad,
Laura A. Campbell,
Betty H. C. Cheng:
Automated Analysis of Timing Information in UML Diagrams.
ASE 2004: 350-353 |
| 7 | EE | Sascha Konrad,
Betty H. C. Cheng,
Laura A. Campbell:
Object Analysis Patterns for Embedded Systems.
IEEE Trans. Software Eng. 30(12): 970-992 (2004) |
| 2003 |
|---|
| 6 | EE | Sascha Konrad,
Laura A. Campbell,
Betty H. C. Cheng,
Min Deng:
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties.
SPIN 2003: 18-33 |
| 2002 |
|---|
| 5 | EE | Laura A. Campbell,
Betty H. C. Cheng,
William E. McUmber,
Kurt Stirewalt:
Automatically Detecting and Visualising Errors in UML Diagrams.
Requir. Eng. 7(4): 264-287 (2002) |
| 2001 |
|---|
| 4 | | Laura A. Campbell:
Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams.
ICSE 2001: 785-786 |
| 3 | EE | Betty H. C. Cheng,
Laura A. Campbell:
Integrating Informal and Formal Approaches to Requirements Modeling and Analysis.
RE 2001: 294-295 |
| 2000 |
|---|
| 2 | EE | Betty H. C. Cheng,
Laura A. Campbell,
Enoch Y. Wang:
Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.
DSN 2000: 305- |
| 1 | EE | Laura A. Campbell,
Betty H. C. Cheng:
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application.
IWSSD 2000: 39-50 |
