Bernd W Becker


Ontology type: schema:Person     


Person Info

NAME

Bernd W

SURNAME

Becker

Publications in SciGraph latest 50 shown

  • 2021-07-26 Validität und Reliabilität virtualisierter RTR-Messungen in PUBLIZISTIK
  • 2021-01-12 On Preprocessing for Weighted MaxSAT in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2020-08-10 Strengthening Deterministic Policies for POMDPs in NASA FORMAL METHODS
  • 2020-04-09 A Versatile High Frequency Electricity Monitoring Framework for Our Future Connected Home in SUSTAINABLE ENERGY FOR SMART CITIES
  • 2019-09-29 Alle gegen Alle? Die Mehrpersonendebatte der kleinen Parteien in der Analyse in DIE BUNDESTAGSWAHL 2017
  • 2019-09-25 Cyber-physisches System in MENSCH-MASCHINE-INTERAKTION
  • 2019-09-10 A Multi-media Exchange Format for Time-Series Dataset Curation in HUMAN ACTIVITY SENSING
  • 2019-03-20 Automatic Construction of Fault Attacks on Cryptographic Hardware Implementations in AUTOMATED METHODS IN CRYPTOGRAPHIC FAULT ANALYSIS
  • 2018-06-26 Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING – SAT 2018
  • 2017-12-21 Integrating Algebraic and SAT Solvers in MATHEMATICAL ASPECTS OF COMPUTER AND INFORMATION SCIENCES
  • 2017-12-08 Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG in JOURNAL OF ELECTRONIC TESTING
  • 2017-11-16 Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas in ADVANCED LOGIC SYNTHESIS
  • 2017-08-09 From DQBF to QBF by Dependency Elimination in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING – SAT 2017
  • 2017-07-20 PackSens: A Condition and Transport Monitoring System Based on an Embedded Sensor Platform in SENSOR SYSTEMS AND SOFTWARE
  • 2017-07-20 iHouse: A Voice-Controlled, Centralized, Retrospective Smart Home in SENSOR SYSTEMS AND SOFTWARE
  • 2017-06-22 Verification of Incomplete Designs in FORMAL SYSTEM VERIFICATION
  • 2017-05-28 The Smart MiniFab: An Industrial IoT Demonstrator Anywhere at Any Time in SMART EDUCATION AND E-LEARNING 2017
  • 2017-03-31 HQSpre – An Effective Preprocessor for QBF and DQBF in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2017-01-14 Implementation of Delay-Based PUFs on Altera FPGAs in HARDWARE SECURITY AND TRUST
  • 2017-01-09 Cost vs. time in stochastic games and Markov automata in FORMAL ASPECTS OF COMPUTING
  • 2016-11-01 SAT-Based Combinational and Sequential Dependency Computation in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2016-11-01 Advancing Software Model Checking Beyond Linear Arithmetic Theories in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2016-09-22 Skolem Functions for DQBF in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2016-08-25 Revocable Anonymisation in Video Surveillance: A “Digital Cloak of Invisibility” in TECHNOLOGY AND INTIMACY: CHOICE OR COERCION
  • 2016-07-12 : Satisfiability Checking Meets Symbolic Computation in INTELLIGENT COMPUTER MATHEMATICS
  • 2016-06-11 Dependency Schemes for DQBF in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING – SAT 2016
  • 2015-10-27 Preprocessing for DQBF in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING -- SAT 2015
  • 2015-10-27 Laissez-Faire Caching for Parallel #SAT Solving in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING -- SAT 2015
  • 2015-10-17 Cost vs. Time in Stochastic Games and Markov Automata in DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS
  • 2015-06-06 Modeling Unknown Values in Test and Verification in FORMAL MODELING AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS
  • 2015 Counterexamples for Expected Rewards in FM 2015: FORMAL METHODS
  • 2015 Abstraction-Based Computation of Reward Measures for Markov Automata in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2014 Accelerating Parametric Probabilistic Verification in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2014 Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey in FORMAL METHODS FOR EXECUTABLE SOFTWARE MODELS
  • 2014 Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2014 Incremental Encoding and Solving of Cardinality Constraints in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2013 Accurate Computation of Sensitizable Paths Using Answer Set Programming in LOGIC PROGRAMMING AND NONMONOTONIC REASONING
  • 2013 A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition in AUTOMATED DEDUCTION – CADE-24
  • 2013 High-Level Counterexamples for Probabilistic Automata in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2013 Symbolic Counterexample Generation for Discrete-Time Markov Chains in FORMAL ASPECTS OF COMPONENT SOFTWARE
  • 2012 ALLQBF Solving by Computational Learning in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2012 Incremental QBF Preprocessing for Partial Design Verification in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING – SAT 2012
  • 2012 The COMICS Tool – Computing Minimal Counterexamples for DTMCs in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2012 Minimal Critical Subsystems for Discrete-Time Markov Models in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2011-08-03 Variation-aware fault modeling in SCIENCE CHINA INFORMATION SCIENCES
  • 2011-05-19 Incremental preprocessing methods for use in BMC in FORMAL METHODS IN SYSTEM DESIGN
  • 2011 Hierarchical Counterexamples for Discrete-Time Markov Chains in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2011 Integration of an LP Solver into Interval Constraint Propagation in COMBINATORIAL OPTIMIZATION AND APPLICATIONS
  • 2011 Craig Interpolation in the Presence of Non-linear Constraints in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2011 Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking in FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.5963.9", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.6936.a", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.11749.3a", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7839.5", 
            "type": "Organization"
          }
        ], 
        "familyName": "Becker", 
        "givenName": "Bernd W", 
        "id": "sg:person.0654323315.29", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0003-4031-3258"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0654323315.29", 
          "https://orcid.org/0000-0003-4031-3258"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:58", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/person/person_874.jsonl", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.0654323315.29'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.0654323315.29'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.0654323315.29'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.0654323315.29'


     

    This table displays all metadata directly associated to this object as RDF triples.

    27 TRIPLES      11 PREDICATES      16 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.0654323315.29 schema:affiliation N1833b8a8050a4b2799167f8641522dbd
    2 grid-institutes:grid.11749.3a
    3 grid-institutes:grid.6936.a
    4 grid-institutes:grid.7839.5
    5 schema:familyName Becker
    6 schema:givenName Bernd W
    7 schema:identifier N9f74b6e8c6b240c5b467136061bf3acf
    8 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0654323315.29
    9 https://orcid.org/0000-0003-4031-3258
    10 schema:sdDatePublished 2022-01-01T19:58
    11 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    12 schema:sdPublisher N3c757968db3d4507a48cd7cacfc76041
    13 sgo:license sg:explorer/license/
    14 sgo:sdDataset persons
    15 rdf:type schema:Person
    16 N1833b8a8050a4b2799167f8641522dbd schema:affiliation grid-institutes:grid.5963.9
    17 sgo:isCurrent true
    18 rdf:type schema:OrganizationRole
    19 N3c757968db3d4507a48cd7cacfc76041 schema:name Springer Nature - SN SciGraph project
    20 rdf:type schema:Organization
    21 N9f74b6e8c6b240c5b467136061bf3acf schema:name orcid_id
    22 schema:value 0000-0003-4031-3258
    23 rdf:type schema:PropertyValue
    24 grid-institutes:grid.11749.3a schema:Organization
    25 grid-institutes:grid.5963.9 schema:Organization
    26 grid-institutes:grid.6936.a schema:Organization
    27 grid-institutes:grid.7839.5 schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...