George W. Cherry

11 papers B 1Journal 6Unranked 4

Year	Rank	Type	Title / Venue / Authors
1996	—	`conf`	The Situation in Object-Oriented Specification and Design. TRI-Ada George W. Cherry, Brad S. Crawford
1994	—	`conf`	Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm. TRI-Ada George W. Cherry
1994	J	`jnl`	Visual software engineering with rules. ACM SIGSOFT Softw. Eng. Notes George W. Cherry
1993	J	`jnl`	Stimulus-response machines: a new visual formalism for describing classes and objects. ACM SIGSOFT Softw. Eng. Notes George W. Cherry
1992	J	`jnl`	Graphic formalisms should integrate communication, control, and data flow. ACM SIGSOFT Softw. Eng. Notes George W. Cherry
1992	—	`conf`	Stimulus Response Machines: An Ada-based Graphic Formalism for Describing Class and Object Behavior. TRI-Ada George W. Cherry
1991	J	`jnl`	S-R machines: a visual formalism for reactive and interactive systems. ACM SIGSOFT Softw. Eng. Notes George W. Cherry
1991	J	`jnl`	Software construction by object-oriented pictures: stimulus-response machines. ACM SIGSOFT Softw. Eng. Notes George W. Cherry
1991	J	`jnl`	System construction with object-oriented pictures. ACM SIGSOFT Softw. Eng. Notes George W. Cherry
1989	—	`conf`	Covering the life cycle with Ada: Ada all the way. WADAS George W. Cherry
1988	B	`conf`	Symbolic Analysis of Planar Drawings. ISSAC Philip H. Todd, George W. Cherry

2025 Best paper conf

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski