Peter Ochsenschläger

Publication Activity (10 Years)

Years Active: 1984-2015
Publications (10 Years): 1

Top Venues

CoRR

PDP

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Peter Ochsenschläger, Roland Rieke
Pairs of Languages Closed under Shuffle Projection. CoRR (2015)
Peter Ochsenschläger, Roland Rieke
Security Requirements for Uniformly Parameterised Cooperations. PDP (2012)
Peter Ochsenschläger, Roland Rieke
Security Properties of Self-Similar Uniformly Parameterised Systems of Cooperations. PDP (2011)
Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph
On a formal framework for security properties. Comput. Stand. Interfaces 27 (5) (2005)
Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph
Abstractions Preserving Parameter Confidentiality. ESORICS (2005)
Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph
Parameter-Confidentiality. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") (2003)
Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph
Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata. DEXA Workshops (2002)
Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph
Authenticity and Provability - A Formal Framework. InfraSec (2002)
Rüdiger Grimm, Peter Ochsenschläger
Binding telecooperation - a formal model for electronic commerce. Comput. Networks 37 (2) (2001)
Peter Ochsenschläger, Jürgen Repp, Roland Rieke
Abstraction and composition: a verification method for co-operating systems. J. Exp. Theor. Artif. Intell. 12 (4) (2000)
Rüdiger Grimm, Peter Ochsenschläger
Elektronische Verträge und ihre verbindliche Aushandlung - Ein formales Modell für verbindliche Telekooperation. Inform. Forsch. Entwickl. 15 (4) (2000)
Peter Ochsenschläger, Jürgen Repp, Roland Rieke
Verification of Cooperating Systems - An Approach Based on Formal Languages. FLAIRS Conference (2000)
Peter Ochsenschläger, Jürgen Repp, Roland Rieke
The SH-Verification Tool. FLAIRS Conference (2000)
Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche
The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. Formal Aspects Comput. 10 (4) (1998)
Frank Nießner, Ulrich Nitsche, Peter Ochsenschläger
Deterministic omega-regular liveness properties. Developments in Language Theory (1997)
Ulrich Nitsche, Peter Ochsenschläger
Approximaely Satisfied Properties of Systems and Simple Language Homomorphisms. Inf. Process. Lett. 60 (4) (1996)
Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschläger
Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks. CAV (1996)
Peter Ochsenschläger
Verifikation verteilter Systeme mit Produktnetzen. Prax. Inf.verarb. Kommun. 16 (1) (1993)
Peter Ochsenschläger, Rainer Prinoth
Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen. Kommunikation in Verteilten Systemen (1993)
Bernd Baumgarten, Peter Ochsenschläger
On Termination and Phase Changes in the Presence of Unreliable Communication. Inf. Process. Lett. 22 (1) (1986)
Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth
Building blocks for distributed system design. PSTV (1985)
Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth
The signing of a contract - a tree-structured application. Applications and Theory in Petri Nets (1985)
Josef Peter Heger, Juergen Heinz, Willi Kunz, Peter Ochsenschläger, Juergen Watzke, Helmut Weber
Inference of deterministic one-counter languages. Inf. Sci. 32 (2) (1984)
Bernd Baumgarten, Peter Ochsenschläger
Modeling and verification of a checkpoint-restart-protocol. Fehlertolerierende Rechensysteme (1984)

Peter Ochsenschläger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Ochsenschläger