Time-Constrained Automata (Extended Abstract) - Michael Merritt; Francesmary Modugno; Marc R. Tuttle (CONCUR, 1991)

Visual Programming in a Visual Domain: A Case Study of Cognitive Dimensions. - Francesmary Modugno; Thomas R. G. Green; Brad A. Myers (BCS HCI, 1994)

Pursuit: graphically representing programs in a demonstrational visual shell. - Francesmary Modugno; Brad A. Myers (CHI Conference Companion, 1994)

Exploring Grahpical Feedback in a Demonstrational Visual Shell. - Francesmary Modugno; Brad A. Myers (EWHCI, 1994)

A State-Based Visual Language for a Demonstrational Visual Shell. - Francesmary Modugno; Brad A. Myers (VL, 1994)

Evaluating program representation in a demonstrational visual shell. - Francesmary Modugno; Albert T. Corbett; Brad A. Myers (CHI 95 Conference Companion, 1995)

Integrated Safety Analysis of Requirements Specifications. - Francesmary Modugno; Nancy G. Leveson; Jon Damon Reese; Kurt Partridge; Sean D. Sandys (Requir. Eng., 1997)

The CHI 96 basic research symposium. - Alan J. Dix; Francesmary Modugno (ACM SIGCHI Bull., 1997)

Graphical Representation of Programs in a Demonstrational Visual Shell - An Empirical Evaluation. - Francesmary Modugno; Albert T. Corbett; Brad A. Myers (ACM Trans. Comput. Hum. Interact., 1997)

Visual Programming in a Visual Shell-A Unified Approach. - Francesmary Modugno; Brad A. Myers (J. Vis. Lang. Comput., 1997)

Model Checking Large Software Specifications. - William Chan 001; Richard J. Anderson 001; Paul Beame; Steve Burns 002; Francesmary Modugno; David Notkin; Jon Damon Reese (IEEE Trans. Software Eng., 1998)