Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Karina Wimmer, Dipl.-Inf. Karina Wimmer, Dipl.-Inf.
Adresse Technische Fakultät Albert-Ludwigs-Universität Georges Köhler Allee, Gebäude 51 79110 Freiburg im Breisgau Deutschland
Büro Gebäude 51, Raum 01..030
Telefon +49 (0)761 203 8146
Fax +49 (0)761 203 8142
eMail gitina@informatik.uni-freiburg.de

Karina Wimmer

Jahre: 2016 | 2015 | 2013 | 2011 | 2010

    2016

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker
      Dependency Schemes for DQBF
      2016 Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer, Band: 9710, Seiten: 473 - 489
    • Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Skolem Functions for DQBF
      2016 Int'l Symposium on Automated Technology for Verification and Analysis (ATVA) Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, Band: 9938, Seiten: 395 - 411
    • Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Skolem Functions for DQBF (Extended Version)
      , 2016

    2015

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
      Preprocessing for DQBF
      2015 Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer, Band: 9340, Seiten: 173 - 190
    • Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
      Solving DQBF Through Quantifier Elimination
      2015 Conf. on Design, Automation and Test in Europe

    2013

    Icon: top nach oben zur Jahresübersicht
    • Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Equivalence Checking for Partial Implementations Revisited
      2013 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Universität Rostock ITMZ, Seiten: 61 - 70
    • Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Equivalence Checking of Partial Designs using Dependency Quantified Boolean Formulae
      2013 Int'l Conf. on Computer Design, IEEE Computer Society, Seiten: 396 - 403

    2011

    Icon: top nach oben zur Jahresübersicht
    • Christian Miller, Karina Gitina, Bernd Becker
      Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas
      2011 Int'l Workshop on Microprocessor Test and Verification, Seiten: 22 - 27

    2010

    Icon: top nach oben zur Jahresübersicht
    • Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker
      Bounded Model Checking of Incomplete Networks of Timed Automata
      2010 Int'l Workshop on Microprocessor Test and Verification, IEEE Computer Society, Band: 11, Seiten: 61 - 66