Katharina Spies

According to our database, Katharina Spies authored at least 7 papers between 1994 and 2000.

Collaborative distances:

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

2000

10 Years Focus - Lessons learned.

Bernhard Schätz, Katharina Spies

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

1998

Eine Methode zur formalen Modellierung von Betriebssystemkonzepten.

Katharina Spies

PhD thesis, 1998

Formale Entwicklung verteilter reaktiver Systeme mit FOCUS.

Max Breitling, Ursula Hinkel, Katharina Spies

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

1997

Software and System Modeling Based on a Unified Formal Semantics.

Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Spezifikationsmethodik für mobile, dynamische FOCUS-Netze.

Ursula Hinkel, Katharina Spies

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

1996

AutoFocus: A Tool for Distributed Systems Specification.

Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

1994

The RPC-Memory Case Study: A Synopsis.

Manfred Broy, Stephan Merz, Katharina Spies

Proceedings of the Formal Systems Specification, 1994