Zum Inhalt springen

  3. Gebhard, Gernot [VerfasserIn]; Cullmann, Christoph [VerfasserIn]; Heckmann, Reinhold [VerfasserIn] ; Gernot Gebhard and Christoph Cullmann and Reinhold Heckmann [MitwirkendeR]

    Software Structure and WCET Predictability

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  4. Ferdinand, Christian [VerfasserIn]; Heckmann, Reinhold [VerfasserIn]; Herter, Jörg [VerfasserIn]; Karos, Thomas [VerfasserIn]; Martin, Florian [VerfasserIn] ; Absint Angewandte Informatik GmbH

    Schlussbericht zum Verbundprojekt "Qualitätssicherung von cyber-physischen Systemen unter integrativer Berücksichtigung mehrerer nicht-funktionaler Aspekte" Aggregated Quality Assurance for Systems - AQUAS : Teilprojekt "Statische Analyse der Sicherheit eines Realzeitbetriebssystems" : Laufzeit des Vorhabens: 01.04.2017-30.06.2020 - [Version 1.0]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: AbsInt Angewandte Informatik GmbH, 17.12.2020

  5. Souyris, Jean [VerfasserIn]; Le Pavec, Erwan [VerfasserIn]; Himbert, Guillaume [VerfasserIn]; Borios, Guillaume [VerfasserIn]; Jégu, Victor [VerfasserIn]; Heckmann, Reinhold [VerfasserIn] ; Jean Souyris and Erwan Le Pavec and Guillaume Himbert and Guillaume Borios and Victor Jégu and Reinhold Heckmann [MitwirkendeR]

    Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  6. Cullmann, Christoph [VerfasserIn]; Ferdinand, Christian [VerfasserIn]; Gebhard, Gernot [VerfasserIn]; Heckmann, Reinhold [VerfasserIn]; Kästner, Daniel [VerfasserIn]; Karos, Thomas [VerfasserIn] ; Absint Angewandte Informatik GmbH

    Schlussbericht zum Verbundprojekt "Integrierte energiesparende Multi-Prozessorplattform für autonomes elektrisches Fahren - EMPHASE" : Teilprojekt "Erweiterung von Werkzeugen zur statischen Analyse von Software gemäß den Anforderungen des Projekts" : Laufzeit des Vorhabens: 01.01.2017-31.03.2020 - [Version 1.0]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: AbsInt Angewandte Informatik GmbH, 13.08.2020

  7. Paule, Anton [VerfasserIn]; Viehl, Alexander [VerfasserIn]; Heckmann, Reinhold [VerfasserIn]; Köpf, Wolfgang [VerfasserIn]; Brockmeyer, Udo [VerfasserIn]; Dörr, Heiko [VerfasserIn]; Sieweck, Philipp [VerfasserIn]; Schmidt, Bernard [VerfasserIn]; Sinz, Carsten [VerfasserIn] ; Robert Bosch GmbH, FZI Forschungszentrum Informatik, OFFIS, Absint Angewandte Informatik GmbH, Assystem Germany GmbH, Daimler AG, Model Engineering Solutions GmbH, BTC Embedded Systems AG, Christian-Albrechts-Universität zu Kiel, Technische Universität München, Karlsruher Institut für Technologie

    Affordable Safe & Secure Mobility Evolution : Schlussbericht : BMBF-Verbundprojekt: ASSUME : Projektlaufzeit: 1. September 2015-31. August 2018

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Karlsruhe]: FZI Forschungszentrum Informatik (FZI), 02.04.2019

  8. Heckmann, Reinhold [VerfasserIn]; Otter, Martin [VerfasserIn]; Pfeiffer, Andreas [VerfasserIn]; Niere, Jörg [VerfasserIn]; Spannaus, Paul [VerfasserIn]; Blochwitz, Torsten [VerfasserIn]; Malz, Christoph [VerfasserIn]; Werther, Kai [VerfasserIn]; Reicherdt, Robert [VerfasserIn]; Lenord, Oliver [VerfasserIn]; Potthast, Christian [VerfasserIn] ; Robert Bosch GmbH, Deutsches Zentrum für Luft- und Raumfahrt Institut für Systemdynamik und Regelungstechnik, Absint Angewandte Informatik GmbH, dSPACE GmbH, Elektronische Fahrwerksysteme GmbH, ESI ITI GmbH, ETAS GmbH, PikeTec GmbH

    EMPHYSIS - Embedded systems with physical models in the production code software : Schlussbericht : Berichtszeitraum: 01.09.2017-28.02.2021

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Stuttgart: [Robert Bosch GmbH], 05.08.2021

  9. Hammond, Kevin [VerfasserIn]; Ferdinand, Christian [VerfasserIn]; Heckmann, Reinhold [VerfasserIn]; Dyckhoff, Roy [VerfasserIn]; Hofman, Martin [VerfasserIn]; Jost, Steffen [VerfasserIn]; Loidl, Hans-Wolfgang [VerfasserIn]; Michaelson, Greg [VerfasserIn]; Pointon, Robert [VerfasserIn]; Scaife, Norman [VerfasserIn]; Sérot, Jocelyn [VerfasserIn]; Wallace, Andy [VerfasserIn] ; Kevin Hammond and Christian Ferdinand and Reinhold Heckmann and Roy Dyckhoff and Martin Hofman and Steffen Jost and Hans-Wolfgang Loidl and Greg Michaelson and Robert Pointon and Norman Scaife and Jocelyn Sérot and Andy Wallace [MitwirkendeR]

    Towards Formally Verifiable WCET Analysis for a Functional Programming Language

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006