Zum Inhalt springen

  1. Ahyaie, Mohsen [Verfasser:in]; Alami, Ahmed [Verfasser:in]; Chihani, Said [Verfasser:in]; Frost, Christian [Verfasser:in]; Gerlach, Jochen [Verfasser:in]; Howar, Falk [Verfasser:in]; Karla, David [Verfasser:in]; May, Christian [Verfasser:in]; Nikolova, Svetla [Verfasser:in]; Peschke, Marc [Verfasser:in]

    Live

    Hochschulschriften
    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.

    Eldorado - Repositorium der TU Dortmund, 2008-02-19

  3. Hartjen, Lukas [Verfasser:in] ; Friedrich, Bernhard [Akademische:r Betreuer:in]; Howar, Falk [Akademische:r Betreuer:in]

    Semantic Classification of Urban Traffic Scenarios for the Validation of Automated Driving Systems

    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.

    Braunschweig: Technische Universität Braunschweig, 2023

  4. Mues, Malte [Verfasser:in] ; Howar, Falk [Akademische:r Betreuer:in]; Beyer, Dirk [Sonstige Person, Familie und Körperschaft]

    ˜Theœ integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis

    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.

    Dortmund: Universitätsbibliothek Dortmund, 2023

  5. Bruckner, Fabian [Verfasser:in] ; Howar, Falk [Akademische:r Betreuer:in]; Jürjens, Jan [Sonstige Person, Familie und Körperschaft]

    Programmierkonzepte für die Umsetzung von Nutzungsrichtlinien in industriellen Datenräumen

    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.

    Dortmund: Universitätsbibliothek Dortmund, 2022

  6. Gabor, Ulrich Thomas [Verfasser:in] ; Spinczyk, Olaf [Akademische:r Betreuer:in]; Howar, Falk [Sonstige Person, Familie und Körperschaft]

    Software fault injection and localization in embedded systems

    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.

    Dortmund: Universitätsbibliothek Dortmund, 2021

  7. Mauritz, Malte [Verfasser:in] ; Rausch, Andreas [Akademische:r Betreuer:in]; Howar, Falk [Akademische:r Betreuer:in]

    Engineering of safe autonomous vehicles through seamless integration of system development and system operation

    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.

    Clausthal-Zellerfeld: Technische Universität Clausthal, 2020

  11. Mues, Malte; Howar, Falk

    Tools and Algorithms for the Construction and Analysis of Systems: GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Springer International Publishing, 2022

    Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems (2022), Seite 435-439

  15. Mues, Malte; Howar, Falk

    Tools and Algorithms for the Construction and Analysis of Systems: JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Springer International Publishing, 2021

    Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems (2021), Seite 448-452

  17. Howar, Falk; Steffen, Bernhard

    Lecture Notes in Computer Science: Active Automata Learning in Practice : An Annotated Bibliography of the Years 2011 to 2016 : An Annotated Bibliography of the Years 2011 to 2016

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Springer International Publishing, 2018

    Erschienen in: Lecture Notes in Computer Science (2018), Seite 123-148

  18. Howar, Falk; Steffen, Bernhard

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: Learning Models for Verification and Testing — Special Track at ISoLA 2014 Track Introduction

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2014

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2014), Seite 199-201