Ulrich Nitsche

14 papers A* 3C 2Misc 2Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
1998 — conf
On the Border of Universality and Non-Universality in Restricted High-Level Petri Nets.
MCU (2)
Ulrich Nitsche
1998 — conf
Privacy and Efficiency in Patient Focused Health Care Processes.
MedInfo
Othmar Morger, Ulrich Nitsche, Stephanie Teufel
1998 J jnl
The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems.
Formal Aspects Comput.
Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche
1998 — —
Verification of co-operating-systems and behaviour abstraction.
Ulrich Nitsche
1997 C conf
Deterministic omega-regular liveness properties.
Developments in Language Theory
Frank Nießner, Ulrich Nitsche, Peter Ochsenschläger
1997 Misc conf
Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences.
LFCS
Ulrich Nitsche
1997 A* conf
Relative Liveness and Behavior Abstraction (Extended Abstract).
PODC
Ulrich Nitsche, Pierre Wolper
1997 — conf
Security Concerns for Mobile Information Systems in Health Care.
DEXA Workshop
Othmar Morger, Ulrich Nitsche, Stephanie Teufel
1996 J jnl
Approximaely Satisfied Properties of Systems and Simple Language Homomorphisms.
Inf. Process. Lett.
Ulrich Nitsche, Peter Ochsenschläger
1996 J jnl
Verification and behavior abstraction towards a tractable verification technique for large distributed systems.
J. Syst. Softw.
Ulrich Nitsche
1996 A* conf
Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks.
CAV
Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschläger
1995 C conf
A Finitary-Language Semantics for Propositional Linear Temporal Logic.
Developments in Language Theory
Ulrich Nitsche
1994 A* conf
A Verification Method Based on Homomorphic Model Abstractions (Abstract).
PODC
Ulrich Nitsche
1994 Misc conf
Propositional Linear Temporal Logic and Language Homomorphisms.
LFCS
Ulrich Nitsche