| 1998 |
|---|
| 12 | EE | William Chan,
Richard J. Anderson,
Paul Beame,
Steve Burns,
Francesmary Modugno,
David Notkin,
Jon Damon Reese:
Model Checking Large Software Specifications.
IEEE Trans. Software Eng. 24(7): 498-520 (1998) |
| 1997 |
|---|
| 11 | EE | Francesmary Modugno,
Nancy G. Leveson,
Jon Damon Reese,
Kurt Partridge,
Sean D. Sandys:
Integrated Safety Analysis of Requirements Specifications.
RE 1997: 148-159 |
| 10 | EE | Francesmary Modugno,
Albert T. Corbett,
Brad A. Myers:
Graphical Representation of Programs in a Demonstrational Visual Shell - An Empirical Evaluation.
ACM Trans. Comput.-Hum. Interact. 4(3): 276-308 (1997) |
| 9 | | Francesmary Modugno,
Brad A. Myers:
Visual Programming in a Visual Shell-A Unified Approach.
J. Vis. Lang. Comput. 8(5-6): 491-522 (1997) |
| 8 | | Francesmary Modugno,
Nancy G. Leveson,
Jon Damon Reese,
Kurt Partridge,
Sean D. Sandys:
Integrated Safety Analysis of Requirements Specifications.
Requir. Eng. 2(2): 65-78 (1997) |
| 1996 |
|---|
| 7 | EE | Richard J. Anderson,
Paul Beame,
Steve Burns,
William Chan,
Francesmary Modugno,
David Notkin,
Jon Damon Reese:
Model Checking Large Software Specifications.
SIGSOFT FSE 1996: 156-166 |
| 1995 |
|---|
| 6 | EE | Francesmary Modugno,
Albert T. Corbett,
Brad A. Myers:
Evaluating program representation in a demonstrational visual shell.
CHI 95 Conference Companion 1995: 234-235 |
| 1994 |
|---|
| 5 | | Francesmary Modugno,
Thomas R. G. Green,
Brad A. Myers:
Visual Programming in a Visual Domain: A Case Study of Cognitive Dimensions.
BCS HCI 1994: 91-108 |
| 4 | EE | Francesmary Modugno,
Brad A. Myers:
Pursuit: graphically representing programs in a demonstrational visual shell.
CHI Conference Companion 1994: 455-456 |
| 3 | | Francesmary Modugno,
Brad A. Myers:
Exploring Grahpical Feedback in a Demonstrational Visual Shell.
EWHCI 1994: 64-76 |
| 2 | | Francesmary Modugno,
Brad A. Myers:
A State-Based Visual Language for a Demonstrational Visual Shell.
VL 1994: 304-311 |
| 1991 |
|---|
| 1 | | Michael Merritt,
Francesmary Modugno,
Marc R. Tuttle:
Time-Constrained Automata (Extended Abstract)
CONCUR 1991: 408-423 |
