Search Results - SCHOLL, CHRISTOPH

Refine Results
  1. 1
    A Smart Capacitive Sensor Skin with Embedded Data Quality Indication for Enhanced Safety in Human-Robot Interaction

    A Smart Capacitive Sensor Skin with Embedded Data Quality Indication for Enhanced Safety in Human-Robot Interaction by Scholl, Christoph, Tobola, Andreas, Ludwig, Klaus, Zanca, Dario, Eskofier, Bjoern M

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    An Integrated Framework for Data Quality Fusion in Embedded Sensor Systems

    An Integrated Framework for Data Quality Fusion in Embedded Sensor Systems by Scholl, Christoph, Spiegler, Maximilian, Ludwig, Klaus, Eskofier, Bjoern M, Tobola, Andreas, Zanca, Dario

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    fbPDR: In-depth combination of forward and backward analysis in Property Directed Reachability

    fbPDR: In-depth combination of forward and backward analysis in Property Directed Reachability by Seufert, Tobias, Scholl, Christoph

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Combining PDR and reverse PDR for hardware model checking

    Combining PDR and reverse PDR for hardware model checking by Seufert, Tobias, Scholl, Christoph

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Data Quality in IoT Temperature Sensor Systems: Demonstrated on Time-Dependent Temperature Fluctuations

    Data Quality in IoT Temperature Sensor Systems: Demonstrated on Time-Dependent Temperature Fluctuations by Ruhland, Tim, Tobola, Andreas, Scholl, Christoph, Lubke, Maximilian, Franchi, Norman

    Published in IEEE sensors journal
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Design guidelines for laser powder bed fusion in Inconel 718

    Design guidelines for laser powder bed fusion in Inconel 718 by Herzog, Dirk, Asami, Karim, Scholl, Christoph, Ohle, Christoph, Emmelmann, Claus, Sharma, Ashish, Markovic, Nick, Harris, Andy

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR

    Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR by Seufert, Tobias, Winterer, Felix, Scholl, Christoph, Scheibler, Karsten, Paxian, Tobias, Becker, Bernd

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Solving dependency quantified Boolean formulas using quantifier localization

    Solving dependency quantified Boolean formulas using quantifier localization by Ge-Ernst, Aile, Scholl, Christoph, Síč, Juraj, Wimmer, Ralf

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation

    Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation by Konrad, Alexander, Scholl, Christoph, Mahzoon, Alireza, Große, Daniel, Drechsler, Rolf

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization

    Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization by Scholl, Christoph, Konrad, Alexander, Mahzoon, Alireza, Grobe, Daniel, Drechsler, Rolf

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1

    The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 by Wimmer, Ralf, Scholl, Christoph, Becker, Bernd

    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns

    Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns by Nopper, T., Scholl, C.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Fully symbolic TCTL model checking for complete and incomplete real-time systems

    Fully symbolic TCTL model checking for complete and incomplete real-time systems by Morbé, Georges, Scholl, Christoph

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Towards Formal Verification of Optimized and Industrial Multipliers

    Towards Formal Verification of Optimized and Industrial Multipliers by Mahzoon, Alireza, Grose, Daniel, Scholl, Christoph, Drechsler, Rolf

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    An AIG-based QBF-solver using SAT for preprocessing

    An AIG-based QBF-solver using SAT for preprocessing by Pigorsch, Florian, Scholl, Christoph

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    ICP and IC3

    ICP and IC3 by Scheibler, Karsten, Winterer, Felix, Seufert, Tobias, Teige, Tino, Scholl, Christoph, Becker, Bernd

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement

    Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement by Althaus, Ernst, Beber, Björn, Damm, Werner, Disch, Stefan, Hagemann, Willem, Rakow, Astrid, Scholl, Christoph, Waldmann, Uwe, Wirtz, Boris

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Lemma localization: A practical method for downsizing SMT-interpolants

    Lemma localization: A practical method for downsizing SMT-interpolants by Pigorsch, Florian, Scholl, Christoph

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Exploiting structure in an AIG based QBF solver

    Exploiting structure in an AIG based QBF solver by Pigorsch, Florian, Scholl, Christoph

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    A Probabilistic and energy-efficient scheduling approach for online application in real-time systems

    A Probabilistic and energy-efficient scheduling approach for online application in real-time systems by Zitterell, Thorsten, Scholl, Christoph

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: