Michael Hafner

SECTISSIMO: A Platform-independent Framework for Security Services (2009)

Mukhtiar Memon, Michael Hafner, Ruth Breu

Abstract. It is non-trivial to secure dynamically composed systems based on language- and technology-independent service components. One of the approaches to tackle the challenge is the use of...

Lean Management und was danach kommt (2009)

Urs Fueglistaller, Thomas Schrettle, Michael Hafner, Björn Kreisel

Unternehmen, die Lean Management einführen, müssen sich bewusst sein, dass dieser Prozess nie zu Ende ist. Zahlreiche Einführungen schlanker Produktionssysteme enden frühzeitig, weil Lean...

Downloaded from (2008)

Michael Hafner, Rolf Isermann, On Behalf Of, Michael Hafner, Rolf Isermann

Multiobjective optimization of feedforward control maps in engine management systems towards low consumption and low emissions

Model-Driven Security Engineering for Trust Management in SECTET (2008)

Masoom Alam, Ruth Breu, Michael Hafner

Abstract — Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios,...

From WS-CDL Choreography to BPEL Process Orchestration (2008)

Jan Mendling, Michael Hafner

CDL) is a specification for describing multi party collaboration based on Web Services from a global point of view. WS-CDL is designed to be used in conjunction with the Web Services Business Process...

From Inter-Organizational Workflows to Process Execution: Generating BPEL from WS-CDL (2005)

Jan Mendling, Michael Hafner

The Web Service Choreography Description Language (WSCDL) is a novel specification for describing multiple party collaboration based on web services from a global point of view. WS-CDL is designed to...

G.: Towards a systematic development of secure systems (2004)

Ruth Breu, Klaus Burger, Michael Hafner

Abstract. In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment of...

Key Issues of a Formally Based Process Model for Security Engineering (2003)

Ruth Breu, Klaus Burger, Michael Hafner, Jan Jürjens, Guido Wimmel, Volkmar Lotz

Abstract: In this paper we outline a new process model for security engineering. This process model extends object oriented, use case oriented software development by systematic security requirements...

Key Issues of a Formally Based Process Model for Security Engineering (2003)

Ruth Breu, Klaus Burger, Michael Hafner, Jan Jürjens, Guido Wimmel, Volkmar Lotz

Abstract: In this paper we outline a new process model for security engineering. This process model extends object oriented, use case oriented software development by systematic security requirements...

Der Informationsgehalt von Spektren der Supernovae vom Typ II / (1994)

Hafner, Michael.

Heidelberg, Universiẗat, Diss., 1994 (Nicht für den Austausch).

A 14-mer Hsp70 peptide stimulates natural killer (NK) cell activity

Multhoff, Gabriele, Pfister, Karin, Gehrmann, Mathias, Hantschel, Markus, Gross, Catharina, Hafner, Michael, ...

Compared with normal cells, tumor cell lines exhibit an unusual plasma membrane localization of heat shock protein 70 (Hsp70). This tumor-selective Hsp70 membrane expression has been found to...

A 14-mer Hsp70 peptide stimulates natural killer (NK) cell activity

Multhoff, Gabriele, Pfister, Karin, Gehrmann, Mathias, Hantschel, Markus, Gross, Catharina, Hafner, Michael, ...

Compared with normal cells, tumor cell lines exhibit an unusual plasma membrane localization of heat shock protein 70 (Hsp70). This tumor-selective Hsp70 membrane expression has been found to...