Travelled to:1 × Greece
1 × USA
Collaborated with:R.Rieke U.Nitsche F.Nießner C.Capellmann R.Demant F.Fatahi-Vanani R.Galvez-Estrada
Talks about:parameteris (2) properti (2) uniform (2) cooper (2) secur (2) determinist (1) behaviour (1) telephon (1) interact (1) intellig (1)
Person: Peter Ochsenschläger
DBLP: Ochsenschl=auml=ger:Peter
Contributed to:
20122011
1997
1996Wrote 4 papers:
- PDP-2012-OchsenschlagerR #requirements #security
- Security Requirements for Uniformly Parameterised Cooperations (PO, RR), pp. 288–292.
- PDP-2011-OchsenschlagerR #security #self
- Security Properties of Self-Similar Uniformly Parameterised Systems of Cooperations (PO, RR), pp. 640–645.
- DLT-1997-NiessnerNO #liveness
- Deterministic ω-regular liveness properties (FN, UN, PO), pp. 237–248.
- CAV-1996-CapellmannDFGNO #abstraction #behaviour #case study #detection #interactive #network #verification
- Verification by Behaviour Abstraction — A Case Study of Service Interaction Detection in Intelligent Telephone Networks (CC, RD, FFV, RGE, UN, PO), pp. 466–469.