| | |
|---|
| 2013 | Sicher in vernetzten Systemen. Integrative Betrachtung von funktionaler Sicherheit und Security
Kemmann, Sören; Kalmar, Ralf; Schwarz, Reinhard | Zeitschriftenaufsatz |
| 2012 | The "why" and "how" of software safety analysis
Kemmann, Sören | Forschungsbericht |
| 2012 | All you need is a "handful" of safety
Kemmann, Sören | Forschungsbericht |
| 2010 | Assuring functional safety in automotive software through pattern-based requirements development
Pai, Ganesh J.; Roeser, Andreas | Bericht |
| 2010 | A consistency check algorithm for component-based refinements of fault trees
Domis, D.; Höfig, K.; Trapp, M. | Konferenzbeitrag |
| 2010 | Identification of security-safety requirements for the outdoor robot RAVON using safety analysis techniques
Guo, Zhensheng; Zeckzer, Dirk; Liggesmeyer, Peter; Mäckel, Oliver | Konferenzbeitrag |
| 2009 | Building a platform for deductive safety analysis of embedded systems
Becker, Franz
: Liggesmeyer, Peter (Supervisor); Rombach, H. Dieter (Supervisor) | Bachelor Thesis |
| 2009 | Component-based abstraction in fault tree analysis
Domis, D.; Trapp, M. | Konferenzbeitrag |
| 2009 | Efficient safety analysis of automotive software systems
Trapp, Mario; Kemmann, Sören; Kalmar, Ralf; Denger, Christian | Zeitschriftenaufsatz |
| 2009 | Safety concept trees
Domis, Dominik J.; Förster, Marc; Kemmann, Sören; Trapp, Mario | Konferenzbeitrag |
| 2009 | Safety-Analyse für Embedded-Software
Kemmann, Sören; Trapp, Mario; Kalmar, Ralf | Zeitschriftenaufsatz |
| 2008 | Integrating safety analyses and component-based design
Domis, Dominik J.; Trapp, Mario | Forschungsbericht |
| 2008 | Integrating safety analyses and component-based design
Domis, Dominik J.; Trapp, Mario | Konferenzbeitrag |
| 2007 | State/event fault trees - safety analysis model for software-controlled systems
Kaiser, Bernhard; Gramlich, Catharina; Förster, Marc | Zeitschriftenaufsatz |
| 2006 | State/event fault trees. A safety and reliability analysis technique for software-controlled systems
Kaiser, B. | Dissertation |
| 2005 | An automated dependability analysis method for COTS-based systems
Grunske, L.; Kaiser, B. | Konferenzbeitrag |
| 2005 | BDD complexity reduction by component fault trees
Kaiser, B.; Zocher, A. | Konferenzbeitrag |
| 2005 | Extending the expressive power of fault trees
Kaiser, B. | Konferenzbeitrag |
| 2005 | Model-driven safety evaluation with state-event-based component failure annotations
Grunske, L.; Kaiser, B.; Papadopoulos, Y. | Konferenzbeitrag |
| 2005 | Specification and evaluation of safety properties in a component-based software engineering process
Grunske, L.; Kaiser, B.; Reussner, R. | Aufsatz in Buch |
| 2005 | Technisches Informationsmanagement zur Gewährleistung von Arbeitsschutz und Anlagensicherheit
Wack, T.; Müller, T. | Poster, Zeitschriftenaufsatz, Konferenzbeitrag |
| 2005 | Wissensbasierte Informationstechnologie in der Anlagensicherheit
Müller, T.; Wack, T. | Zeitschriftenaufsatz, Konferenzbeitrag |
| 2001 | Untersuchungen zur Druckentlastung siedend aufwallender, reaktiver und nichtreaktiver, viskoser Stoffsysteme
Hoff, A.; Neumann, J.; Deerberg, G.; Steiff, A. | Zeitschriftenaufsatz |
| 1990 | Analytical and numerical crack growth prediction for a leak-before-break assessment of a nuclear pressure vessel
Schmitt, W.; Nagel, G.; Ockewitz, A.; Hodulak, L.; Blauel, J.G. | Zeitschriftenaufsatz |
| 1989 | Arbeitssicherheit an Drehmaschinen
Lehmann, W.R. | Dissertation |