The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Ochsenschläger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  19. Deterministic omega-regular liveness properties. [Citation Graph (, )][DBLP]


Search in 0.135secs, Finished in 0.136secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002