Ulrich Nitsche

发表

On the Border of Universality/Non-Universality in Restricted High-Level Petri Nets

Ulrich Nitsche, 1998 .

Case Study: Service Interaction Detection by Formal Verification under Behaviour Abstraction

Peter Ochsenschläger, C. Capellmann, Ulrich Nitsche, 1996 .

Relative Liveness and Behavior Abstraction

Pierre Wolper, Ulrich Nitsche, 1997 .

A Finitary Language Semantics for Propositional Linear Temporal Logic

Ulrich Nitsche, 1995 .

A verification method based on homomorphic model abstractions (abstract)

Ulrich Nitsche, 1994, PODC 1994.

Propositional Linear Temporal Logic and Language

Ulrich Nitsche, 1994 .

Erreichbarkeitsgraphen von Produktnetzen und ihre Auswertung in PROLOG

Ulrich Nitsche, 1988 .

Application of formal verification and behaviour abstraction to the service interaction problem in intelligent networks

Ulrich Nitsche, U. Nitsche, 1998, FM-Trends 1998.

Verification and behavior abstraction towards a tractable verification technique for large distributed systems

Ulrich Nitsche, U. Nitsche, 1996 .

Simple Homomorphisms and Linear Temporal Logic

Ulrich Nitsche, 1994 .

Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences

Ulrich Nitsche, 1997, FOCS 1997.

The MobiMed Approach to Privacy in Medical Systems

Stephanie Teufel, Kurt Bauknecht, Ralph Holbein, 1997 .

Propositional Linear Temporal Logic and Language Homomorphisms

Ulrich Nitsche, 1994, FOCS 1994.

Realization of a Context-Dependent Access Control Mechanism on a Commercial Platform

Stephanie Teufel, Ralph Holbein, Ulrich Nitsche, 1998 .