Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Damit Roboter nicht aus der Reihe tanzen: Echtzeitanalyse und Monitoring für ROS
Stiller, Michael
Presentation
2018A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration
Jahic, Jasmin; Jung, Matthias; Kuhn, Thomas; Kestel, Claus; Wehn, Norbert
Conference Paper
2018Resumption of runtime verification monitors: Method, approach and application
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Journal Article
2017DANA - Description and Analysis of Networked Applications
Drabek, Christian; Weiß, Gereon
Conference Paper
2017Method for automatic resumption of runtime verification monitors
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Conference Paper
2017Monitoring with Parametrized Extended Life Sequence Charts
Chai, Ming; Schlingloff, Bernd-Holger
Journal Article
2015DANA - behavioral verification of automotive infotainment software-interfaces
Drabek, Christian
Presentation
2011Run-time security traceability for evolving systems
Bauer, A.; Jürjens, J.; Yu, Y.
Journal Article
2010Runtime verification of cryptographic protocols
Bauer, A.; Jürjens, J.
Journal Article