Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018DEIS: Dependability Engineering Innovation for Industrial CPS
Armengaud, Eric; Macher, Georg; Massoner, Alexander; Frager, Sebastian; Adler, Rasmus; Schneider, Daniel; Longo, Simone; Melis, Massimiliano; Groppo, Riccardo; Villa, Federica; O'Leary, Padraig; Bambury, Kevin; Finnegan, Anita; Zeller, Marc; Höfig, Kai; Papadopoulos, Yiannis; Hawkins, Richard; Kelly, Tim
Konferenzbeitrag
2015Automated compositional safety analysis using component fault trees
Möhrle, Felix; Zeller, Marc; Höfig, Kai; Rothfelder, Martin; Liggesmeyer, Peter
Konferenzbeitrag
2015WAP: Digital dependability identities
Schneider, Daniel; Trapp, Mario; Papadopoulos, Yiannis; Armengaud, Eric; Zeller, Marc; Höfig, Kai
Konferenzbeitrag
2014Memory concepts for enabling adaptivity in distributed embedded systems
Schleiß, Philipp; Zeller, Marc; Weiß, Gereon
Zeitschriftenaufsatz, Konferenzbeitrag
2014Planetares Zusammenspiel
Zeller, Marc; Weiß, Gereon
Zeitschriftenaufsatz
2014SafeAdapt - safe adaptive software for fully electric vehicles
Schleiß, Philipp; Zeller, Marc; Weiß, Gereon; Eilers, Dirk
Vortrag
2013Control flow analysis of automotive software components using model-based specifications of dynamic behavior
Pramsohler, Thomas; Kafkas, Mahmut; Paulic, Annette; Zeller, Marc; Baumgarten, Uwe
Konferenzbeitrag, Zeitschriftenaufsatz
2013ERNEST - framework for the early verification and validation of networked embedded systems
Kamphausen, Benjamin; Stante, Alexander; Zeller, Marc; Weiß, Gereon
Konferenzbeitrag
2013Interface verification using executable reference models: An application in the automotive infotainment
Drabek, Christian; Pramsohler, Thomas; Zeller, Marc; Weiß, Gereon
Konferenzbeitrag
2013Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems
Zeller, Marc; Prehofer, Christian
Zeitschriftenaufsatz
2013Modellbasierte Absicherung von GENIVI-Schnittstellen
Meyer, Daniel; Drabek, Christian; Weiß, Gereon; Zeller, Marc
Zeitschriftenaufsatz
2013Selbst-Adaptivität in vernetzten eingebetteten Systemen unter Berücksichtigung nicht-funktionaler Anforderungen
Zeller, Marc
: Knorr, Rudi (Gutachter); Ungerer, Theo (Gutachter); Prehofer, Christian (Gutachter)
Dissertation
2013Towards runtime adaptation in AUTOSAR
Zeller, Marc; Prehofer, Christian; Krefft, Daniel; Weiß, Gereon
Vortrag
2013Towards runtime adaptation in AUTOSAR
Zeller, Marc; Prehofer, Christian; Krefft, Daniel; Weiß, Gereon
Zeitschriftenaufsatz, Konferenzbeitrag
2013Verifying & validating non-functional properties of automotive software architectures in early design stages
Stante, Alexander; Kamphausen, Benjamin; Zeller, Marc; Weiß, Gereon
Konferenzbeitrag
2012Hierarchical transaction concept for runtime adaptation in real-time, networked embedded systems
Prehofer, Christian; Zeller, Marc
Vortrag
2012Model-based validation of automotive infotainment functions using reference models
Paulic, Annette; Zeller, Marc; Weiss, Gereon; Eilers, Dirk
Konferenzbeitrag
2012Modellbasierte Erkennung von Fehlverhalten
Paulic, Annette; Pramsohler, Thomas; Kaule, Dirk; Zeller, Marc; Weiß, Gereon
Zeitschriftenaufsatz
2012Modellbasierte Validierung von Infotainment-Funktionen im Auto
Paulic, A.; Zeller, Marc; Weiß, Gereon; Eilers, Dirk
: Eilers, D. (Mitarb.)
Vortrag
2012A multi-layered control approach for self-adaptation in automotive embedded systems
Zeller, Marc; Prehofer, Christian
Zeitschriftenaufsatz
2012Self-adaptation in automotive embedded systems using a multi-layered control approach
Zeller, Marc; Prehofer, Christian
Konferenzbeitrag
2012Timing constraints for runtime adaptation in real-time, networked embedded systems
Zeller, Marc; Prehofer, Christian
Konferenzbeitrag
2012Towards efficient on-line schedulability tests for adaptive networked embedded real-time systems
Becker, Klaus; Zeller, Marc; Weiß, Gereon
Konferenzbeitrag
2011Towards self-adaptation in real-time networked systems: Efficient solving of system constraints for automotive embedded systems
Zeller, Marc; Prehofer, Christian; Weiss, Gereon; Eilers, Dirk; Knorr, Rudi
Konferenzbeitrag
2010Approach for iterative validation of automotive embedded systems
Weiß, Gereon; Zeller, Marc; Eilers, D.; Knorr, Rudi
Konferenzbeitrag
2010Der behält den Überblick
Zeller, Marc; Eilers, Dirk
Zeitschriftenaufsatz
2010Fail-safe data management in self-healing automotive systems
Zeller, Marc; Grosse, Stefan; Eilers, Dirk; Knorr, Rudi
Konferenzbeitrag
2009A multi-layered control architecture for self-management in adaptive automotive systems
Zeller, Marc; Weiß, Gereon; Eilers, Dirk; Knorr, Rudi
Konferenzbeitrag
2009Towards self-organisation in automotive embedded systems
Weiss, Gereon; Zeller, Marc; Eilers, Dirk; Knorr, Rudi
Konferenzbeitrag