Peter Ochsenschläger

26 papers A* 1A 1C 3Misc 2Journal 10Unranked 7

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