Francesmary Modugno

	1998
12		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		Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys: Integrated Safety Analysis of Requirements Specifications. RE 1997: 148-159
10		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		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		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		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

Coauthor Index

1	Richard J. Anderson	[7] [12]
2	Paul Beame	[7] [12]
3	Steve Burns	[7] [12]
4	William Chan	[7] [12]
5	Albert T. Corbett	[6] [10]
6	Thomas R. G. Green	[5]
7	Nancy G. Leveson	[8] [11]
8	Michael Merritt	[1]
9	Brad A. Myers	[2] [3] [4] [5] [6] [9] [10]
10	David Notkin	[7] [12]
11	Kurt Partridge	[8] [11]
12	Jon Damon Reese	[7] [8] [11] [12]
13	Sean D. Sandys	[8] [11]
14	Marc R. Tuttle	[1]

Colors in the list of coauthors