dblp.uni-trier.dewww.uni-trier.de

Peter Ochsenschläger

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
19EESigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Abstractions Preserving Parameter Confidentiality. ESORICS 2005: 418-437
2003
18 Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Parameter-Confidentiality. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 383-394
2002
17EESigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata. DEXA Workshops 2002: 473-482
16EESigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Authenticity and Provability - A Formal Framework. InfraSec 2002: 227-245
2001
15EERüdiger Grimm, Peter Ochsenschläger: Binding telecooperation - a formal model for electronic commerce. Computer Networks 37(2): 171-193 (2001)
2000
14 Peter Ochsenschläger, Jürgen Repp, Roland Rieke: The SH-Verification Tool. FLAIRS Conference 2000: 18-22
13 Peter Ochsenschläger, Jürgen Repp, Roland Rieke: Verification of Cooperating Systems - An Approach Based on Formal Languages. FLAIRS Conference 2000: 346-350
12EERüdiger Grimm, Peter Ochsenschläger: Elektronische Verträge und ihre verbindliche Aushandlung - Ein formales Modell für verbindliche Telekooperation. Inform., Forsch. Entwickl. 15(4): 182-192 (2000)
11 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): 447-459 (2000)
1998
10EEPeter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche: The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. Formal Asp. Comput. 10(4): 381-404 (1998)
1997
9 Frank Nießner, Ulrich Nitsche, Peter Ochsenschläger: Deterministic omega-regular liveness properties. Developments in Language Theory 1997: 237-248
1996
8 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: 466-469
7EEUlrich Nitsche, Peter Ochsenschläger: Approximaely Satisfied Properties of Systems and Simple Language Homomorphisms. Inf. Process. Lett. 60(4): 201-206 (1996)
1993
6 Peter Ochsenschläger, Rainer Prinoth: Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen. Kommunikation in Verteilten Systemen 1993: 456-470
1986
5 Bernd Baumgarten, Peter Ochsenschläger: On Termination and Phase Changes in the Presence of Unreliable Communication. Inf. Process. Lett. 22(1): 15-20 (1986)
1985
4 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: 1-18
3 Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth: Building blocks for distributed system design. PSTV 1985: 19-38
1984
2 Bernd Baumgarten, Peter Ochsenschläger: Modeling and verification of a checkpoint-restart-protocol. Fehlertolerierende Rechensysteme 1984: 353-363
1EEJosef Peter Heger, Juergen Heinz, Willi Kunz, Peter Ochsenschläger, Juergen Watzke, Helmut Weber: Inference of deterministic one-counter languages. Inf. Sci. 32(2): 139-163 (1984)

Coauthor Index

1Bernd Baumgarten [2] [3] [4] [5]
2Heinz Jürgen Burkhardt [4]
3Carla Capellmann [8]
4Ralph Demant [8]
5Farhad Fatahi-Vanani [8]
6Rafael Galvez-Estrada [8]
7Rüdiger Grimm [12] [15]
8Sigrid Gürgens [16] [17] [18] [19]
9Josef Peter Heger [1]
10Juergen Heinz [1]
11Willi Kunz [1]
12Frank Nießner [9]
13Rainer Prinoth [3] [4] [6]
14Jürgen Repp [10] [11] [13] [14]
15Roland Rieke [10] [11] [13] [14]
16Carsten Rudolph [16] [17] [18] [19]
17Ulrich Ultes-Nitsche (Ulrich Nitsche) [7] [8] [9] [10]
18Juergen Watzke [1]
19Helmut Weber [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)