Thomas Gehrke

12 papers C 1Journal 1Unranked 9
YearRankTypeTitle / Venue / Authors
2000 — —
Dynamische Modelle für reaktive Systeme mit Daten.
Thomas Gehrke
2000 — conf
Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme.
GI Jahrestagung
Thomas Gehrke
2000 J jnl
Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme.
Softwaretechnik-Trends
Thomas Gehrke
1999 — conf
Generative Sequence Diagrams with Textual Annotations.
FBT
Thomas Gehrke, Thomas Firley
1999 — conf
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study.
UML
Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz
1998 — conf
A Process Algebra Semantics for MSC Including Conditions.
FBT
Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim
1998 C conf
An Algebraic Semantics for Message Sequence Chart Documents.
FORTE
Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim
1998 — conf
An Algebraic Semantics for an Abstract Language with Intra-Object-Concurrency.
Euro-Par
Thomas Gehrke
1998 — conf
Spezifikation eines RPC-Speichers mit der Sprache ProFun.
FBT
Thomas Firley, Thomas Gehrke, Arend Rensink
1997 — conf
Process creation and full sequential composition in a name-passing calculus.
EXPRESS
Thomas Gehrke, Arend Rensink
1997 — conf
Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation.
FBT
Thomas Gehrke
1996 — conf
ProFun - A Language for Executable Specifications.
PLILP
Thomas Gehrke, Michaela Huhn