Peter Ochsenschläger - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2012

Security Requirements for Uniformly Parameterised CooperationsPeter Ochsenschläger, Roland Rieke. pdp 2012: 288-292 [doi]

2011

Security Properties of Self-Similar Uniformly Parameterised Systems of CooperationsPeter Ochsenschläger, Roland Rieke. pdp 2011: 640-645 [doi]

2005

Abstractions Preserving Parameter ConfidentialitySigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph. esorics 2005: 418-437 [doi]

On a formal framework for security propertiesSigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph. csi, 27(5):457-466, 2005. [doi]

2003

Parameter-ConfidentialitySigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph. gi 2003: 383-394

2002

Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product AutomataSigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph. dexaw 2002: 473-482 [doi]

Authenticity and Provability - A Formal FrameworkSigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph. infrasec 2002: 227-245 [doi]

2001

Binding telecooperation - a formal model for electronic commerceRüdiger Grimm, Peter Ochsenschläger. cn, 37(2):171-193, 2001. [doi]

2000

1998

The SH-Verification Tool - Abstraction-Based Verification of Co-operating SystemsPeter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche. fac, 10(4):381-404, 1998. [doi]

1997

Deterministic omega-regular liveness propertiesFrank Nießner, Ulrich Nitsche, Peter Ochsenschläger. dlt 1997: 237-248

1996

Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone NetworksCarla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschläger. cav 1996: 466-469

Approximaely Satisfied Properties of Systems and Simple Language HomomorphismsUlrich Nitsche, Peter Ochsenschläger. ipl, 60(4):201-206, 1996. [doi]

1995

Modellierung verteilter Systeme - Konzeption, formale Spezifikation und Verifikation mit ProduktnetzenPeter Ochsenschläger, Rainer Prinoth. Vieweg, 1995.

1993

Formale Spezifikation und dynamische Analyse verteilter Systeme mit ProduktionsnetzenPeter Ochsenschläger, Rainer Prinoth. kivs 1993: 456-470

Verifikation verteilter Systeme mit ProduktnetzenPeter Ochsenschläger. pik, 16(1):42-43, 1993. [doi]

1986

On Termination and Phase Changes in the Presence of Unreliable CommunicationBernd Baumgarten, Peter Ochsenschläger. ipl, 22(1):15-20, 1986.

1985

The signing of a contract - a tree-structured applicationBernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth. apn 1986: 1-18

Building blocks for distributed system designBernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth. pstv 1985: 19-38

1984

Modeling and verification of a checkpoint-restart-protocolBernd Baumgarten, Peter Ochsenschläger. icftcs 1984: 353-363

Inference of deterministic one-counter languagesJosef Peter Heger, Juergen Heinz, Willi Kunz, Peter Ochsenschläger, Juergen Watzke, Helmut Weber. isci, 32(2):139-163, 1984. [doi]

1981

Binomialkoeffizienten in freien MonoidenPeter Ochsenschläger. PhD thesis, TH Darmstadt, 1981.

Sign in or sign up to see more results.

runs on WebDSL