decorative bar
Kathi Fisler
Publications

Policy Analysis and Authoring [Active Area]

User-studies and Development of Programming Environments for Novices [Active Area]

Synthesizing APIs from Relational Specifications [Active Area]

Timing Diagrams (Diagrammatic Reasoning and Formal Methods)

Aspect-Oriented Verification

Feature-Oriented Verification

General Computer-Aided Verification

Software Engineering Issues

Verification in Practice

Teaching Issues

decorative bar