Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Matthew Lewis, Dr. Matthew Lewis, Dr.
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 +761 203-8146
Fax ++49 +761 203-8142
eMail lewis@informatik.uni-freiburg.de

Matthew Lewis

Jahre: 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2005 | 2004 | 2003

    2012

    Icon: top nach oben zur Jahresübersicht
    • Bernd Becker, Ruediger Ehlers, Matthew Lewis, Paolo Marin
      ALLQBF Solving by Computational Learning
      2012 Automated Technology for Verification and Analysis, Springer, Band: 7561, Seiten: 370 - 384
    • Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker
      Verification of Partial Designs Using Incremental QBF Solving
      2012 Conf. on Design, Automation and Test in Europe, Seiten: 623 - 628

    2011

    Icon: top nach oben zur Jahresübersicht
    • Matthias Sauer, Victor Tomashevich, Jörg Müller, Matthew Lewis, Ilia Polian, Bernd Becker, Wolfram Burgard
      An FPGA-Based Framework for Run-time Injection and Analysis of Soft Errors in Microprocessors
      2011 IEEE Int'l Online Testing Symp., Seiten: 182 - 185
    • Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
      Incremental preprocessing methods for use in BMC
      2011 Formal Methods in System Design, Band: 39, Seiten: 185 - 204
    • Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
      Parallel QBF Solving with Advanced Knowledge Sharing
      2011 Fundamenta Informaticae, Band: 107, Nummer: 2-3, Seiten: 139 - 166
    • Matthew Lewis
      SAT, QBF, and Multicore Processors
      Der Andere Verlag, 2011

    2010

    Icon: top nach oben zur Jahresübersicht
    • Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
      Incremental Preprocessing Methods for use in BMC
      2010 Int'l Workshop on Hardware Verification
    • Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl
      SAT modulo BDD - A Combined Verification Approach for Incomplete Designs
      2010 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Band: 13, Seiten: 107 - 116
    • Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker
      Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs
      2010 Theory and Applications of Satisfiability Testing, Springer, Seiten: 194 - 208
    • Alexander Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
      Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis
      2010 International Journal of Parallel Programming, Band: 38, Nummer: 3-4, Seiten: 185 - 202

    2009

    Icon: top nach oben zur Jahresübersicht
    • Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
      TIGUAN: Thread-parallel Integrated test pattern Generator Utilizing satisfiability ANalysis
      2009 Int'l Conf. on VLSI Design, Seiten: 227 - 232
    • Paolo Marin, Matthew Lewis, Massimo Narizzano, Tobias Schubert, Enrico Giunchiglia, Bernd Becker
      Comparison of Knowledge Sharing Strategies in a Parallel QBF Solver
      2009 High-Performance Computing and Simulation Conference, Seiten: 161 - 167
    • Matthew Lewis, Tobias Schubert, Bernd Becker
      DPLL-based Reasoning in a Multi-Core Environment
      2009 Int'l Workshop on Microprocessor Test and Verification
    • Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
      Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver
      2009 RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
    • Tobias Schubert, Matthew Lewis, Bernd Becker
      PaMiraXT: Parallel SAT Solving with Threads and Message Passing
      2009 Journal on Satisfiability, Boolean Modeling, and Computation, Band: 6, Seiten: 203 - 222
    • Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
      PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing
      2009 Int'l Conf. on Theory and Applications of Satisfiability Testing, Band: 5584, Seiten: 509 - 523
    • Matthew Lewis, Tobias Schubert, Bernd Becker
      QMiraXT - A Multithreaded QBF Solver
      2009 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

    2008

    Icon: top nach oben zur Jahresübersicht
    • Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
      TIGUAN: Thread-parallel Integrated test pattern Generator Utilizing satisfiability ANalysis
      2008 edaWorkshop
    • Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
      Propositional Approximations for Bounded Model Checking of Partial Circuit Designs
      2008 IEEE Int'l Conf. on Computer Design, IEEE Computer Society Press, Seiten: 52 - 59

    2007

    Icon: top nach oben zur Jahresübersicht

    2005

    Icon: top nach oben zur Jahresübersicht
    • Matthew Lewis, Tobias Schubert, Bernd Becker
      Speedup Techniques Utilized in Modern SAT Solvers - An Analysis in the MIRA Environment
      2005 Theory and Applications of Satisfiability Testing, Springer, Band: 3569, Seiten: 437 - 443
    • Sandip Kundu, Matthew Lewis, Ilia Polian, Bernd Becker
      A Soft Error Emulation System for Logic Circuits
      2005 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Seiten: 10 - 14
    • Sandip Kundu, Matthew Lewis, Ilia Polian, Bernd Becker
      A Soft Error Emulation System for Logic Circuits
      2005 Conf. on Design of Circuits and Integrated Systems, Seite: 137
    • Tobias Schubert, Bernd Becker, Matthew Lewis
      PaMira - A Parallel SAT Solver with Knowledge Sharing
      2005 Int'l Workshop on Microprocessor Test and Verification, IEEE Computer Society, Band: 00, Seiten: 29 - 36

    2004

    Icon: top nach oben zur Jahresübersicht
    • Matthew Lewis, Tobias Schubert, Bernd Becker
      Early Conflict Detection Based BCP for SAT Solving
      2004 Int'l Conf. on Theory and Applications of Satisfiability Testing, Seiten: 29 - 36
    • Matthew Lewis, Tobias Schubert, Bernd Becker
      Early Conflict Detection Based SAT Solving
      2004 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

    2003

    Icon: top nach oben zur Jahresübersicht
    • Matthew Lewis, S. Simmons
      A VLSI Implementation of a Cryptographic Processor
      2003 CCECE, Band: 2, Seiten: 821 - 826