Peter Ochsenschläger

	2005
20		Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Abstractions Preserving Parameter Confidentiality. ESORICS 2005: 418-437
19		Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: On a formal framework for security properties. Computer Standards & Interfaces 27(5): 457-466 (2005)
	2003
18		Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Parameter-Confidentiality. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 383-394
	2002
17		Sigrid 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
16		Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Authenticity and Provability - A Formal Framework. InfraSec 2002: 227-245
	2001
15		Rü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
12		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): 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
10		Peter 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
7		Ulrich 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
1		Josef 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

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

Colors in the list of coauthors