Thomas Firley

According to our database, Thomas Firley authored at least 5 papers between 1998 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Computing abstract models for verifying reactive systems.

Thomas Firley

PhD thesis, 2005

2002

Property Dependent Abstraction of Control Structure for Software Verification.

Thomas Firley, Ursula Goltz

Proceedings of the FME 2002: Formal Methods, 2002

1999

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study.

Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Generative Sequence Diagrams with Textual Annotations.

Thomas Gehrke, Thomas Firley

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998

Spezifikation eines RPC-Speichers mit der Sprache ProFun.

Thomas Firley, Thomas Gehrke, Arend Rensink

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998