Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2015Pairs of languages closed under shuffle projection
Ochsenschläger, Peter; Rieke, Roland
Paper
2014Safety by construction: Well-behaved scalable systems
Ochsenschläger, Peter; Rieke, Roland
Zeitschriftenaufsatz
2012Reliability aspects of uniformly parameterised cooperations
Ochsenschläger, Peter; Rieke, Roland
Konferenzbeitrag
2012Security requirements for uniformly parameterised cooperations
Ochsenschläger, P.; Rieke, R.
Konferenzbeitrag
2011Security properties of self-similar uniformly parameterised systems of cooperations
Ochsenschläger, P.; Rieke, R.
Konferenzbeitrag
2010Behaviour Properties of Uniformly Parameterised Cooperations
Ochsenschläger, Peter; Rieke, Roland
Bericht
2010Uniform Parameterisation of Phase Based Cooperations
Ochsenschläger, Peter; Rieke, Roland
Bericht
2008Die elektronische Krankenakte - Eine Sicherheitsstrategie
Ochsenschläger, P.; Rieke, R.; Velikova, Z.
Konferenzbeitrag
2007Abstraction based verification of a parameterised policy controlled system
Ochsenschläger, P.; Rieke, R.
Konferenzbeitrag
2005Abstractions preserving parameter confidentiality
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Konferenzbeitrag
2005On a formal framework for security properties
Rudolph, C.; Ochsenschläger, P.; Gürgens, S.
Zeitschriftenaufsatz
2004Implementierung von Security Policies in offenen Telekollaborationen
Herfert, M.; Schmidt, A.U.; Ochsenschläger, P.; Repp, J.; Rieke, R.; Schmucker, M.; Vettermann, S.; Böttge, U.; Escaleira, C.; Rüdiger, D.
Konferenzbeitrag
2003Parameter-confidentiality
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Konferenzbeitrag
2002Authenticity and provability - a formal framework
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Konferenzbeitrag
2002Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Konferenzbeitrag
2002The Simple Homomorphism Verification Tool - Tutorial
Repp, J.; Ochsenschläger, P.; Rieke, R.
Buch
2001Authenticity and provability - a formal framework
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Bericht
2001Binding Cooperation. A Formal Model for Electronic Commerce
Grimm, R.; Ochsenschläger, P.
Zeitschriftenaufsatz
2001Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Bericht
2000Abstraction and composition - A verification method for cooperating systems
Ochsenschläger, P.; Repp, J.; Rieke, R.
Zeitschriftenaufsatz
2000Binding telecooperation. A formal model for electronic commerce
Grimm, R.; Ochsenschläger, P.
Bericht
2000Elektronische Verträge und ihre verbindliche Aushandlung. Ein formales Modell für verbindliche Telekooperation
Grimm, R.; Ochsenschläger, P.
Zeitschriftenaufsatz
2000The SH-verification tool
Ochsenschläger, P.; Repp, J.; Rieke, R.; Struif, B.
Konferenzbeitrag
2000Verification of cooperating systems - an approach based on formal languages
Ochsenschläger, P.; Repp, J.; Rieke, R.
Konferenzbeitrag
1999Abstraction and verification of cooperating systems
Ochsenschläger, P.; Repp, J.; Rieke, R.
Aufsatz in Buch
1999Binding telecooperation modeled by formal languages
Ochsenschläger, P.; Grimm, R.
Aufsatz in Buch
1999The SH-Verification Tool, Abstraction-Based Verification of Co-operating Systems, Formal Aspects of Computing
Ochsenschläger, P.; Repp, J.; Rieke, R.; Nitsche, U.
Zeitschriftenaufsatz
1999Verbindliche Telekooperation - Ein Modell für Electronic Commerce auf Basis formaler Sprachen
Grimm, R.; Ochsenschläger, P.
Konferenzbeitrag
1998The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems
Ochsenschläger, P.; Repp, J.; Rieke, R.; Nitsche, U.
Zeitschriftenaufsatz
1997Deterministic omega-regular liveness properties
Nießner, F.; Nitsche, U.; Ochsenschläger, P.
Konferenzbeitrag
1997Die Produktnetzmaschine und das SH-Verification Tool
Ochsenschläger, P.; Repp, J.; Rieke, R.
Aufsatz in Buch
1997Schlichte Homomorphismen auf präfixstabilen partiell kommutativen Sprachen
Ochsenschläger, P.
Buch
1997The SH-verification tool, instruments for verifying co-operation systems
Ochsenschläger, P.; Repp, J.; Rieke, R.; Nitsche, U.
Konferenzbeitrag
1996Abschlußbericht des GMD-/Telekom-Projekts "Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik" - SERVINT II
Demant, R.; Fatahi, F.; Galvez-Estrada, R.; Link, A.; Nitsche, U.; Noll, A.; Ochsenschläger, P.; Repp, J.; Rieke, R.
Bericht
1996Approximately satisfied properties of systems and simple language homomorphisms
Nitsche, U.; Ochsenschläger, P.
Zeitschriftenaufsatz
1996Case study: Service interaction detection by formal verification under behaviour abstraction
Cappellmann, C.; Demant, R.; Galvez-Estrada, R.; Nitsche, U.; Ochsenschläger, P.
Konferenzbeitrag
1996Kooperationsprodukte formaler Sprachen und schlichte Homomorphismen
Ochsenschläger, P.
Bericht
1996The SH-verification tool
Nitsche, U.; Ochsenschläger, P.; Repp, J.
Bericht
1996Verification by behaviour abstraction. A case study of service interaction detection in intelligent telephone networks
Cappellmann, C.; Demant, R.; Galvez-Estrada, R.; Fatahi-Vanani, F.; Nitsche, U.; Ochsenschläger, P.
Konferenzbeitrag
1996Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik - SERVINT2
Demant, R.; Fatahi, F.; Galvez-Estrada, R.; Nitsche, U.; Ochsenschläger, P.
Bericht
1995Abschlußbericht des GMD-/Telekom-Projekts "Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik"- SERVINT
Demant, R.; Fatahi, F.; Galvez-Estrada, R.; Nitsche, U.; Ochsenschläger, P.
Bericht
1995Approximately satisfied properties of systems and simple language homomorphisms
Nitsche, U.; Ochsenschläger, P.
Buch
1995Compositional verification of cooperating systems using simple homomorphisms
Ochsenschläger, P.
Konferenzbeitrag
1995Modellierung verteilter Systeme
Ochsenschläger, P.; Prinoth, R.
Buch
1995PROSIT - an R&D project stimulated by the standardization work on open systems interconnection (OSI)
Baumgarten, B.; Burkhardt, H.-J.; Ochsenschläger, P.; Prinoth, R.
Zeitschriftenaufsatz
1995Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik - SERVINT
Nitsche, U.; Ochsenschläger, P.
Bericht
1994Kompositionelle Verifikation kooperierender Systeme
Ochsenschläger, P.
Bericht
1994PROSIT - an R&D project stimulated by the standardization work on open systems interconnection (OSI)
Baumgarten, B.; Burkhardt, H.-J.; Ochsenschläger, P.; Prinoth, R.
Zeitschriftenaufsatz
1994Verification of cooperating systems by simple homomorphisms using the product net machine
Ochsenschläger, P.
Konferenzbeitrag
1994Verifikation von SmartCard-Anwendungen mit Produktnetzen
Ochsenschläger, P.
Konferenzbeitrag
1993Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktnetzen
Ochsenschläger, P.; Prinoth, R.
Konferenzbeitrag
1993Verifikation verteilter Systeme mit Produktnetzen
Ochsenschläger, P.
Zeitschriftenaufsatz
1992Verifikation kooperierender Systeme mittels schlichter Homomorphismen
Ochsenschläger, P.
Buch
1991Modulhomomorphismen. Teil 2
Ochsenschläger, P.
Bericht
1991Die Produktnetzmaschine
Ochsenschläger, P.
Bericht
1991Die Produktnetzmaschine
Ochsenschläger, P.
Zeitschriftenaufsatz
1990The alternating bit protocol
Baumgarten, B.; Ochsenschläger, P.; Prinoth, R.
Zeitschriftenaufsatz
1990Modulhomomorphismen. Teil 1
Ochsenschläger, P.
Bericht
1989Product nets: A formal description technique for cooperating systems
Burkhardt, H.J.; Ochsenschläger, P.; Prinoth, R.
Studie
1988Entwurf und Analyse von Produktnetzen
Faltin, U.; Ochsenschläger, P.; Paule, C.
Bericht
1988Projektionen und reduzierte Erreichbarkeitsgraphen
Ochsenschläger, P.
Bericht
1987Produktnetze. Ein formales Beschreibungsmittel für kooperierende Systeme
Burkhardt, H.J.; Ochsenschläger, P.; Prinoth, R.
Buch
1986Datenbank- und kommunikationsorientierte Modellierung mehrseitiger Kooperation
Baumgarten, B.; Burkhardt, H.J.; Obermeit, V.; Ochsenschläger, P.; Prinoth, R.; Steinmetz, R.
Buch
1986The signing of a contract - a tree structured application modelled with petri net building blocks
Baumgarten, B.; Burkhardt, H.-J.; Ochsenschläger, P.; Prinoth, R.
Konferenzbeitrag
1985A formal model of the CCR algorithm
Baumgarten, B.; Ochsenschläger, P.; Prinoth, R.
Bericht
1983Eine Bemerkung über unsichere Kommunikation
Baumgarten, B.; Ochsenschläger, P.
Bericht
1983Checkpoint-, Restart-Verfahren gegen Komponentenausfall und Leitungsfehler in verteilten Systemen
Baumgarten, B.; Ochsenschläger, P.
Bericht