Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2019On Adaptive Single-Event Effect Mitigation in Reconfigurable FPGAs
Glein, Robért
: Heuberger, Albert; Teich, J.
Dissertation
2018Uncertainty in Machine Learning Applications
Kläs, Michael; Vollmer, Anna Maria
Conference Paper
2017Towards Dependability Engineering of Cooperative Automotive Cyber-Physical Systems
Macher, Georg; Armengaud, Eric; Schneider, Daniel; Brenner, Eugen; Kreiner, Christian
Conference Paper
2015An approach to support FMEA specification in automotive systems
Santos Satvanyi, Aline Cristina dos; Antonino, Pablo
Report
2015Efficient redundancy through a generic AUTOSAR failover-service
Schleiß, Philipp
Presentation
2014Challenges of a safe adaptation architecture for vehicles
Weiß, Gereon
Presentation
2014Spacecraft early design validation using formal methods
Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Katsaros, Panagiotis; Mokos, Konstantinos; Nguyen, Viet Yen; Noll, Thomas; Postma, Bart; Roveri, Marco
Journal Article
2012Bridging the security drawbacks of virtualized network resource provisioning model
Sharma, A.; Fusenig, V.; Schoen, I.; Kannan, A.
Conference Paper
2011Towards making dependability visual - Combining model-based design and virtual realities
Güdemann, M.; Lipaczewski, M.; Ortmeier, F.; Schumann, M.; Eschbach, R.
Conference Paper
2010Indicator-based inspections: A risk-oriented quality assurance approach for dependable systems
Elberzhager, Frank; Eschbach, Robert; Kloos, Johannes
Conference Paper
2010Indicator-based inspections: A risk-oriented quality assurance approach for dependable systems
Elberzhager, Frank; Eschbach, Robert; Kloos, Johannes
Report
2010Integration of modular safety and security models for the analyse of the impact of security on safety
Förster, Marc; Schwarz, Reinhard; Steiner, Max
Report
2009Efficient safety analysis of automotive software systems
Trapp, Mario; Kemmann, Sören; Kalmar, Ralf; Denger, Christian
Journal Article
2009Safety-Analyse für Embedded-Software
Kemmann, Sören; Trapp, Mario; Kalmar, Ralf
Journal Article
2009Security and dependability engineering
Jürjens, J.
Book Article
2008Probabilistic analysis of safety-critical adaptive systems with temporal dependences
Adler, Rasmus; Domis, Dominik J.; Förster, Marc; Trapp, Mario
Conference Paper
2007Determining configuration probabilities of safety-critical adaptive systems
Adler, Rasmus; Förster, Marc; Trapp, Mario
Conference Paper
2007Probabilistic analysis of safety-critical adaptive systems with temporal dependences
Adler, Rasmus; Domis, Dominik J.; Förster, Marc; Trapp, Mario
Report
2006Anwendung und Evaluierung verhaltensbasierter Ansätze zur Entwicklung verlässlicher Automotivesysteme
Böhr, F.
: Trapp, M. (Prüfer)
Thesis
2003Zur Konstruktion verlässlicher eingebetteter Software durch Synchrone Programmierung
Budde, R.; Poigné, A.; Sylla, K.-H.
Journal Article
2002Routing to support communication in dependable networks
Großpietsch, K.-E.; Maehle, E.
Conference Paper
2000An Initiative for Supporting the Dependable Reuse of Computing Systems
Belli, F.; Großpietsch, K.-E.
Conference Paper
1994An approach to Petri net based integration of qualitative and quantitative analysis of parallel systems
Wikarski, D.; Heiner, M.
Book
1994A Petri net based methodology to integrate qualitative and quantitative analysis
Wikarski, D.
Journal Article
1994Stochastic modeling using DSPNexpress
Lindemann, C.
Book
1993A Petri Net based tool kit to integrate qualitative and quantitative analysis
Wikarski, D.; Heiner, M.; Ventre, G.
Conference Paper
1989Management of the DELTA-4 open, distributed and dependable computing system
Usländer, T.; Bonn, G.; Bügel, U.; Kaiser, F.
Conference Paper