Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2014Immune humanization of immunodeficient mice using diagnostic bone marrow aspirates from carcinoma patients
Werner-Klein, Melanie; Proske, Judith; Werno, Christian; Schneider, Katharina; Hofmann, Hans-Stefan; Rack, Brigitte; Buchholz, Stefan; Ganzer, Roman; Blana, Andreas; Seelbach-Göbel, Birgit; Nitsche, Ulrich; Männel, Daniela N.; Klein, Christoph A.
Zeitschriftenaufsatz
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
1998Application of Formal Verification and Behaviour Abstraction to the Service Interaction Problem in Intelligent Networks
Nitsche, U.
Zeitschriftenaufsatz
1998The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems
Ochsenschläger, P.; Repp, J.; Rieke, R.; Nitsche, U.
Zeitschriftenaufsatz
1998Verification of co-operating systems and behaviour abstraction
Nitsche, U.
Dissertation
1997Deterministic omega-regular liveness properties
Nießner, F.; Nitsche, U.; Ochsenschläger, P.
Konferenzbeitrag
1997Relative Liveness and Behavior Abstraction (Extended Abstract)
Nitsche, U.; Wolper, P.
Konferenzbeitrag
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
1996A finitary-language semantics for propositional linear temporal logic
Nitsche, U.
Konferenzbeitrag
1996The SH-verification tool
Nitsche, U.; Ochsenschläger, P.; Repp, J.
Bericht
1996Verification and Behavior Abstraction
Nitsche, U.
Zeitschriftenaufsatz
1996Verification and behaviour abstraction - towards a tractable verification technique for large distributed systems
Nitsche, U.
Zeitschriftenaufsatz
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
1996Verification of Co-Operating Systems and Behaviour Abstraction
Nitsche, U.
Dissertation
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
1995Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik - SERVINT
Nitsche, U.; Ochsenschläger, P.
Bericht
1994Propositional linear temporal logic and language homomorphisms
Nitsche, U.
Konferenzbeitrag
1994Simple Homomorphisms and Linear Temporal Logic
Nitsche, U.
Bericht
1994A verification method based on homomorphic model abstractions
Nitsche, U.
Konferenzbeitrag
1994Verifying temporal logic formulas in abstractions of large reachability graphs
Nitsche, U.
Konferenzbeitrag
1991Erreichbarkeitsanalyse von Produktnetzen
Nitsche, U.
Bericht
1988Erreichbarkeitsgraphen von Produktnetzen und ihre Auswertung in PROLOG
Nitsche, U.
Bericht