Peter Ochsenschläger

According to our database, Peter Ochsenschläger authored at least 26 papers between 1981 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Pairs of Languages Closed under Shuffle Projection.

Peter Ochsenschläger, Roland Rieke

CoRR, 2015

2012

Security Requirements for Uniformly Parameterised Cooperations.

Peter Ochsenschläger, Roland Rieke

Proceedings of the 20th Euromicro International Conference on Parallel, 2012

2011

Security Properties of Self-Similar Uniformly Parameterised Systems of Cooperations.

Peter Ochsenschläger, Roland Rieke

Proceedings of the 19th International Euromicro Conference on Parallel, 2011

2005

On a formal framework for security properties.

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph

Comput. Stand. Interfaces, 2005

Abstractions Preserving Parameter Confidentiality.

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph

Proceedings of the Computer Security, 2005

2003

Parameter-Confidentiality.

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit", INFORMATIK 2003 - Mit Sicherheit Informatik, Frankfurt am Main, Germany, September 29, 2003

2002

Authenticity and Provability - A Formal Framework.

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph

Proceedings of the Infrastructure Security, International Conference, 2002

Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata.

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph

Proceedings of the 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2002

2001

Binding telecooperation - a formal model for electronic commerce.

Rüdiger Grimm, Peter Ochsenschläger

Comput. Networks, 2001

2000

Abstraction and composition: a verification method for co-operating systems.

Peter Ochsenschläger, Jürgen Repp, Roland Rieke

J. Exp. Theor. Artif. Intell., 2000

Elektronische Verträge und ihre verbindliche Aushandlung - Ein formales Modell für verbindliche Telekooperation.

Rüdiger Grimm, Peter Ochsenschläger

Inform. Forsch. Entwickl., 2000

Verification of Cooperating Systems - An Approach Based on Formal Languages.

Peter Ochsenschläger, Jürgen Repp, Roland Rieke

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

The SH-Verification Tool.

Peter Ochsenschläger, Jürgen Repp, Roland Rieke

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1998

The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems.

Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche

Formal Aspects Comput., 1998

1997

Deterministic omega-regular liveness properties.

Frank Nießner, Ulrich Nitsche, Peter Ochsenschläger

Proceedings of the 3rd International Conference Developments in Language Theory, 1997

1996

Approximaely Satisfied Properties of Systems and Simple Language Homomorphisms.

Ulrich Nitsche, Peter Ochsenschläger

Inf. Process. Lett., 1996

Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks.

Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschläger

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Modellierung verteilter Systeme - Konzeption, formale Spezifikation und Verifikation mit Produktnetzen.

Peter Ochsenschläger, Rainer Prinoth

Vieweg, ISBN: 978-3-528-05433-5, 1995

1993

Verifikation verteilter Systeme mit Produktnetzen.

Peter Ochsenschläger

Prax. Inf.verarb. Kommun., 1993

Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen.

Peter Ochsenschläger, Rainer Prinoth

Proceedings of the Kommunikation in Verteilten Systemen, 1993

1986

On Termination and Phase Changes in the Presence of Unreliable Communication.

Bernd Baumgarten, Peter Ochsenschläger

Inf. Process. Lett., 1986

1985

Building blocks for distributed system design.

Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth

Proceedings of the Protocol Specification, 1985

The signing of a contract - a tree-structured application.

Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth

Proceedings of the Advances in Petri Nets 1985, 1985

1984

Inference of deterministic one-counter languages.

Josef Peter Heger, Juergen Heinz, Willi Kunz, Peter Ochsenschläger, Juergen Watzke, Helmut Weber

Inf. Sci., 1984

Modeling and verification of a checkpoint-restart-protocol.

Bernd Baumgarten, Peter Ochsenschläger

Proceedings of the Fehlertolerierende Rechensysteme, 1984

1981

Binomialkoeffizienten in freien Monoiden.

Peter Ochsenschläger

PhD thesis, 1981