BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ochsenschl=auml=ger:Peter

Contributed to:

PDP 20122012
PDP 20112011
DLT 19971997
CAV 19961996

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.