dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Tobias Nopper (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Nopper, Christian Miller, Matthew D. T. Lewis, Bernd Becker, Christoph Scholl: SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. MBMV 2010: 107-116
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Miller, Tobias Nopper, Christoph Scholl: Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions. MBMV 2009: 87-96
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Nopper, Christoph Scholl, Bernd Becker: Computation of minimal counterexamples by using black box techniques and symbolic methods. ICCAD 2007: 273-280
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Nopper, Christoph Scholl: Counterexample Generation for Incomplete Designs. MBMV 2007: 193-202
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Nopper, Christoph Scholl: Approximate Symbolic Model Checking for Incomplete Designs. FMCAD 2004: 290-305

Selection of 5 from 6 records - Tobias Nopper has 8 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page