Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Felix Neubauer, M.Sc.
Adresse Technische Fakultät
Georges Köhler Allee 51
79110 Freiburg
Deutschland
Büro Gebäude 051, Raum 01-031
Telefon +49 (0)761 203-8147
Fax +49 (0)761 203-8142
eMail neubauef@informatik.uni-freiburg.de
Sprechstunde NUR nach Vereinbarung

Felix Neubauer

Jahre: 2018 | 2017 | 2016

    2018

    Icon: top nach oben zur Jahresübersicht
    • Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
      Efficient Generation of Parametric Test Conditions for AMS Chips with an Interval Constraint Solver
      2018 IEEE VLSI Test Symposium (VTS'18)
    • Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
      High-Coverage AMS Test Space Optimization by Efficient Parametric Test Condition Generation
      2018 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”

    2017

    Icon: top nach oben zur Jahresübersicht
    • Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker
      Evaluating the Effectiveness of D-Chains in SAT based ATPG
      2017 IEEE Latin American Test Symposium (LATS'17)
    • Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
      Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving
      2017 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Pascal Raiola, Jan Burchard, Felix Neubauer, Dominik Erb, Bernd Becker
      Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG
      2017 J Electron Test, Band: 33, Nummer: 6, Seiten: 751 - 767

    2016

    Icon: top nach oben zur Jahresübersicht
    • Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
      Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving
      2016 First International Workshop on Satisfiability Checking and Symbolic Computation - FETOPEN-CSA SC2 Workshop - Affiliated with SYNASC 2016
    • Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
      Accurate ICP-based Floating-Point Reasoning
      2016 Formal Methods in Computer-Aided Design, Seiten: 177 - 184
    • Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker
      Advancing software model checking beyond linear arithmetic theories
      2016 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 Twelfth Haifa Verification Conference 2016, Bloem, Roderick, Arbel, Eli (Eds.), Band: 10028, Seiten: 186 - 201
    • Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
      Extending iSAT3 with ICP-Contractors for Bitwise Integer Operations
      AVACS Technical Report, SFB/TR 14 AVACS, Subproject T1, Band: 116, 2016