Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2019Speculative Temporal Decoupling Using fork ()
Jung, Matthias; Schnicke, Frank; Damm, Markus; Kuhn, Thomas; Wehn, Norbert
Konferenzbeitrag
2016Agnostic UVM-XX testbench generation
Andersen, Jacob; Gerth, Stephan; Dughetti, Filippo
Konferenzbeitrag
2014Advancing system-level verification using UVM in SystemC
Barnasconi, Martin; Pêcheux, François; Vörtler, Thilo
Konferenzbeitrag
2013Verifying & validating non-functional properties of automotive software architectures in early design stages
Stante, Alexander; Kamphausen, Benjamin; Zeller, Marc; Weiß, Gereon
Konferenzbeitrag
2011Towards automotive embedded systems with self-X properties
Weiss, G.; Zeller, M.; Eilers, D.
Aufsatz in Buch
2010Approach for iterative validation of automotive embedded systems
Weiß, Gereon; Zeller, Marc; Eilers, D.; Knorr, Rudi
Konferenzbeitrag
2010Entwurf einer Modellierungserweiterung für adaptive eingebettete Systeme
Kamphausen, B.
: Weiß, G.; Seehusen, S.; Hinrichs, H.
Diplomarbeit
2009Co-Simulation des Schedulingalgorithmus nach dem AUTOSAR Standard für Echtzeitbetriebssysteme aus dem Automobilbereich
Winkler, T.
: Zeller, M. (Prüfer); Franta, W. (Prüfer)
Diplomarbeit
2009Iterative Validierung eingebetteter Systeme im Automobil am Beispiel von EAST-ADL2 und SystemC
Jaibi, F.
: Weiß, G.; Haberl, W. (Prüfer); Baumgarten, U. (Prüfer)
Diplomarbeit
2008An integrated SystemC debugging environment
Rogin, F.; Genz, C.; Drechsler, R.; Rülke, S.
Konferenzbeitrag