T. Firley

Property Preserving Abstraction for Software Verification – A Case Study

U. Goltz, T. Firley, 2003 .

Property Dependent Abstraction of Control Structure for Software Verification

Ursula Goltz, Thomas Firley, U. Goltz, 2002, FME.

Regular languages as states for an abstract automaton

T. Firley, 2000 .

Generative Sequence Diagrams with Textual Annotations

Thomas Gehrke, Thomas Firley, T. Gehrke, 1999, Formale Beschreibungstechniken.