Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2017Method for automatic resumption of runtime verification monitors
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Konferenzbeitrag
2016Energy saving potential of adaptive, networked, embedded systems
Heinrich, Patrick; Oswald, Erik; Knorr, Rudi
Konferenzbeitrag
2015Early energy estimation of networked embedded systems executing concurrent software components
Heinrich, Patrick; Bergler, Hannes; Oswald, Erik
Zeitschriftenaufsatz
2015Pattern-based approach for designing fail-operational safety-critical embedded systems
Penha, Dulcineia; Weiß, Gereon; Stante, Alexander
Konferenzbeitrag
2013Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems
Zeller, Marc; Prehofer, Christian
Zeitschriftenaufsatz