Rolf Drechsler


Ontology type: schema:Person     


Person Info

NAME

Rolf

SURNAME

Drechsler

Publications in SciGraph latest 50 shown

  • 2021-06-23 Finding Optimal Implementations of Non-native CNOT Gates Using SAT in REVERSIBLE COMPUTATION
  • 2021-02-02 Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications in MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT
  • 2021-01-25 GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools in RECENT FINDINGS IN BOOLEAN TECHNIQUES
  • 2021 Enhanced Virtual Prototyping, Featuring RISC-V Case Studies in NONE
  • 2021 Noch analog oder lebst Du schon?, Mit Nœrdman durch die Welt von heute... und morgen in NONE
  • 2020-11-13 Clustering-Guided SMT() Learning in INTEGRATED FORMAL METHODS
  • 2020-10-27 Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: APPLICATIONS
  • 2020-10-12 RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2020-08-27 Advanced exact synthesis of Clifford+T circuits in QUANTUM INFORMATION PROCESSING
  • 2020-07-10 ReCoFused partial reconfiguration for secure moving-target countermeasures on FPGAs in SN APPLIED SCIENCES
  • 2020-01-11 Intelligent Umgeben: Ausgewählte Einblicke in 10 Jahre Bremen Ambient Assisted Living Lab in SMART CITY – MADE IN GERMANY
  • 2020 In-Memory Computing, Synthesis and Optimization in NONE
  • 2020 Automated Analysis of Virtual Prototypes at the Electronic System Level, Design Understanding and Applications in NONE
  • 2019-12-21 Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN
  • 2019-12-21 Extensible and Configurable RISC-V Based Virtual Prototype in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN
  • 2019-11-20 In-Memory Computing: The Integration of Storage and Processing in INFORMATION STORAGE
  • 2019-11-20 Approximate Memory: Data Storage in the Context of Approximate Computing in INFORMATION STORAGE
  • 2019-10-24 Modular and Reconfigurable System Design for Underwater Vehicles in AI TECHNOLOGY FOR UNDERWATER ROBOTS
  • 2019-10-24 Verification for Autonomous Underwater Systems in AI TECHNOLOGY FOR UNDERWATER ROBOTS
  • 2019-08-13 Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2019-07-28 An Efficient Nearest Neighbor Design for 2D Quantum Circuits in DESIGN AND TESTING OF REVERSIBLE LOGIC
  • 2019-07-09 Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning in ADVANCED BOOLEAN TECHNIQUES
  • 2019-07-09 Self-explaining Digital Systems: Technical View, Implementation Aspects, and Completeness in ADVANCED BOOLEAN TECHNIQUES
  • 2019-03-29 (ReCo)Fuse Your PRC or Lose Security: Finally Reliable Reconfiguration-Based Countermeasures on FPGAs in APPLIED RECONFIGURABLE COMPUTING
  • 2019-02-02 Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2019-02-01 Generation and Validation of Frame Conditions in Formal Models in MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT
  • 2019 Design Automation Techniques for Approximation Circuits, Verification, Synthesis and Test in NONE
  • 2019 Exact Design of Digital Microfluidic Biochips in NONE
  • 2018-12-20 Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN
  • 2018-12-06 Approximate Hardware Generation Using Formal Techniques in APPROXIMATE CIRCUITS
  • 2018-08-22 Multi-objective Synthesis of Quantum Circuits Using Genetic Programming in REVERSIBLE COMPUTATION
  • 2018-02-17 Building Fast Multi Agent Systems Using Hardware Design Languages for High-Throughput Systems in DYNAMICS IN LOGISTICS
  • 2018 Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers in NONE
  • 2017-11-16 Emerging Circuit Technologies: An Overview on the Next Generation of Circuits in ADVANCED LOGIC SYNTHESIS
  • 2017-11-11 On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN
  • 2017-08-03 Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2017-05-25 Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions in REVERSIBLE COMPUTATION
  • 2017-05-25 Towards VHDL-Based Design of Reversible Circuits in REVERSIBLE COMPUTATION
  • 2017-02-17 Logic Synthesis for Majority Based In-Memory Computing in ADVANCES IN MEMRISTORS, MEMRISTIVE DEVICES AND SYSTEMS
  • 2017 Computer, Wie funktionieren Smartphone, Tablet & Co.? in NONE
  • 2017 Automatic Methods for the Refinement of System Models, From the Specification to the Implementation in NONE
  • 2016-10-13 Formal Verification of SystemC-based Cyber Components in INDUSTRIAL INTERNET OF THINGS
  • 2016-09-15 Model-Based Specification and Refinement for Cyber-Physical Systems in DYNAMICS IN LOGISTICS
  • 2016-07-13 ParCoSS: Efficient Parallelized Compiled Symbolic Simulation in COMPUTER AIDED VERIFICATION
  • 2016-06-30 Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs in REVERSIBLE COMPUTATION
  • 2016-06-17 metaSMT: focus on your application and not on solver integration in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2016 Reversible and Quantum Circuits, Optimization and Complexity Analysis in NONE
  • 2015-12-12 Automatic Refinement Checking for Formal System Models in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN
  • 2015-11-22 Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2015-07-17 Coverage of OCL Operation Specifications and Invariants in TESTS AND PROOFS
  • 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.7704.4", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5406.7", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461668.b", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.17272.31", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5963.9", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7839.5", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.418621.8", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7551.6", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5887.2", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.449514.9", 
            "type": "Organization"
          }
        ], 
        "familyName": "Drechsler", 
        "givenName": "Rolf", 
        "id": "sg:person.014026337551.82", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0002-9872-1740"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014026337551.82", 
          "https://orcid.org/0000-0002-9872-1740"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:57", 
        "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_823.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.014026337551.82'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

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

    39 TRIPLES      11 PREDICATES      22 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.014026337551.82 schema:affiliation N47f37feb27ce45f9b00290f5aef9e926
    2 grid-institutes:grid.17272.31
    3 grid-institutes:grid.418621.8
    4 grid-institutes:grid.449514.9
    5 grid-institutes:grid.461668.b
    6 grid-institutes:grid.5406.7
    7 grid-institutes:grid.5887.2
    8 grid-institutes:grid.5963.9
    9 grid-institutes:grid.7551.6
    10 grid-institutes:grid.7839.5
    11 schema:familyName Drechsler
    12 schema:givenName Rolf
    13 schema:identifier Naf9ca6c045d14861a8a5d80acc7b22eb
    14 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014026337551.82
    15 https://orcid.org/0000-0002-9872-1740
    16 schema:sdDatePublished 2022-01-01T19:57
    17 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    18 schema:sdPublisher N71cf8f5577ca400dba3ddc061529c8a2
    19 sgo:license sg:explorer/license/
    20 sgo:sdDataset persons
    21 rdf:type schema:Person
    22 N47f37feb27ce45f9b00290f5aef9e926 schema:affiliation grid-institutes:grid.7704.4
    23 sgo:isCurrent true
    24 rdf:type schema:OrganizationRole
    25 N71cf8f5577ca400dba3ddc061529c8a2 schema:name Springer Nature - SN SciGraph project
    26 rdf:type schema:Organization
    27 Naf9ca6c045d14861a8a5d80acc7b22eb schema:name orcid_id
    28 schema:value 0000-0002-9872-1740
    29 rdf:type schema:PropertyValue
    30 grid-institutes:grid.17272.31 schema:Organization
    31 grid-institutes:grid.418621.8 schema:Organization
    32 grid-institutes:grid.449514.9 schema:Organization
    33 grid-institutes:grid.461668.b schema:Organization
    34 grid-institutes:grid.5406.7 schema:Organization
    35 grid-institutes:grid.5887.2 schema:Organization
    36 grid-institutes:grid.5963.9 schema:Organization
    37 grid-institutes:grid.7551.6 schema:Organization
    38 grid-institutes:grid.7704.4 schema:Organization
    39 grid-institutes:grid.7839.5 schema:Organization
     




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


    ...