Inheriting and Modifying Behavior. - Neelam Soundarajan; Stephen Fridella (TOOLS (23), 1997)

Inheritance: from code reuse to reasoning reuse. - Neelam Soundarajan; Stephen Fridella (ICSR, 1998)

Reasoning About Polymorphic Behavior. - Neelam Soundarajan; Stephen Fridella (TOOLS (26), 1998)

Modeling Exceptional Behavior. - Neelam Soundarajan; Stephen Fridella (UML, 1999)

Exceptions in OO Languages: Using Them and Reasoning about Them. - Neelam Soundarajan; Stephen Fridella (Ada-Europe, 2000)

Framework-Based Applications: From Incremental Development to Incremental Reasoning. - Neelam Soundarajan; Stephen Fridella (ICSR, 2000)

Behavioral Subtyping and Behavioral Enrichment of Multimethods. - Neelam Soundarajan; Stephen Fridella (TOOLS (34), 2000)

Understanding OO frameworks and applications: an incremental approach. - Neelam Soundarajan; Stephen Fridella (Informatica (Slovenia), 2001)

Incremental Reasoning for Object Oriented Systems. - Neelam Soundarajan; Stephen Fridella (Essays in Memory of Ole-Johan Dahl, 2004)

Storage virtualization using a block-device file system. - Sorin Faibish; Stephen Fridella; Peter Bixby; Uday Gupta (ACM SIGOPS Oper. Syst. Rev., 2008)

Parallel NFS (pNFS) Block/Volume Layout. - David L. Black 001; Stephen Fridella; Jason Glasgow (RFC, 2010)