Wolfgang Reif


Ontology type: schema:Person     


Person Info

NAME

Wolfgang

SURNAME

Reif

Publications in SciGraph latest 50 shown

  • 2018-10-31 Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31 Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10 MiniBrass: Soft constraints for MiniZinc in CONSTRAINTS
  • 2018-08 Qualitative and quantitative analysis of safety-critical systems with in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2017-12-09 Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach in SECURITY, PRIVACY, AND ANONYMITY IN COMPUTATION, COMMUNICATION, AND STORAGE
  • 2017-08-27 Modular Verification of Order-Preserving Write-Back Caches in INTEGRATED FORMAL METHODS
  • 2017 An Approach for Isolated Testing of Self-Organization Algorithms in SOFTWARE ENGINEERING FOR SELF-ADAPTIVE SYSTEMS III. ASSURANCES
  • 2016 Back-to-Back Testing of Self-organization Mechanisms in TESTING SOFTWARE AND SYSTEMS
  • 2016 Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with in CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION
  • 2016 Inside a Verified Flash File System: Transactions and Garbage Collection in VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS
  • 2016 Specification and Design of Trust-Based Open Self-Organising Systems in TRUSTWORTHY OPEN SELF-ORGANISING SYSTEMS
  • 2016 A Relational Encoding for a Clash-Free Subset of ASMs in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z
  • 2016 Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis in CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION
  • 2016 On Structure and Distribution of Software for Mobile Manipulators in INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS 12TH INTERNATIONAL CONFERENCE, ICINCO 2015 COLMAR, FRANCE, JULY 21-23, 2015 REVISED SELECTED PAPERS
  • 2016 The Social Concept of Trust as Enabler for Robustness in Open Self-Organising Systems in TRUSTWORTHY OPEN SELF-ORGANISING SYSTEMS
  • 2016 Secure Integration of Third Party Components in a Model-Driven Approach in TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE-CENTERED SYSTEMS XXX
  • 2016 Risk-Based Interoperability Testing Using Reinforcement Learning in TESTING SOFTWARE AND SYSTEMS
  • 2015-11 KIV: overview and VerifyThis competition in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2015-05 Formal verification of QVT transformations for code generation in SOFTWARE & SYSTEMS MODELING
  • 2015-02 Verification of B trees by integration of shape analysis and interactive theorem proving in SOFTWARE & SYSTEMS MODELING
  • 2015 A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives in AGENTS AND ARTIFICIAL INTELLIGENCE
  • 2015 Partial Valuation Structures for Qualitative Soft Constraints in SOFTWARE, SERVICES, AND SYSTEMS
  • 2015 Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach in ADVANCES IN CONCEPTUAL MODELING
  • 2015 Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications in CORRECT SOFTWARE IN WEB APPLICATIONS AND WEB SERVICES
  • 2015 Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation in TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE XX
  • 2014-07 RGITL: A temporal logic framework for compositional reasoning about interleaved programs in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
  • 2014 Development of a Verified Flash File System in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z
  • 2014 Verification of a Virtual Filesystem Switch in VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS
  • 2014 Formalizing Information Flow Control in a Model-Driven Approach in INFORMATION AND COMMUNICATION TECHNOLOGY
  • 2014 PosoMAS: An Extensible, Modular SE Process for Open Self-organising Systems in PRIMA 2014: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS
  • 2014 Trust-Based Scenarios – Predicting Future Agent Behavior in Open Self-organizing Systems in SELF-ORGANIZING SYSTEMS
  • 2014 Towards Testing Self-organizing, Adaptive Systems in ADVANCED INFORMATION SYSTEMS ENGINEERING
  • 2014 Modular Refinement for Submachines of ASMs in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z
  • 2014 A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset in INTEGRATED FORMAL METHODS
  • 2013 Constraint Relationships for Soft Constraints in RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XXX
  • 2013 Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures in ASSURANCES FOR SELF-ADAPTIVE SYSTEMS
  • 2013 Formal Specification of an Erase Block Management Layer for Flash Memory in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2013 Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach in DATA PRIVACY MANAGEMENT AND AUTONOMOUS SPONTANEOUS SECURITY
  • 2013 Model Checking of Security-Critical Applications in a Model-Driven Approach in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2012-04 Die Guten, die Bösen und die Vertrauenswürdigen – Vertrauen im Organic Computing in INFORMATIK-SPEKTRUM
  • 2012 A Decentralized Multi-agent Algorithm for the Set Partitioning Problem in PRIMA 2012: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS
  • 2011 OC-Trust: Towards Trustworthy Organic Computing Systems in ORGANIC COMPUTING — A PARADIGM SHIFT FOR COMPLEX SYSTEMS
  • 2011 Formal Verification of QVT Transformations for Code Generation in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS
  • 2011 Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach in ORGANIC COMPUTING — A PARADIGM SHIFT FOR COMPLEX SYSTEMS
  • 2011 Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2011-01 Proving linearizability with temporal logic in FORMAL ASPECTS OF COMPUTING
  • 2011 Formal Verification of a Lock-Free Stack with Hazard Pointers in THEORETICAL ASPECTS OF COMPUTING – ICTAC 2011
  • 2011 How to Design and Implement Self-organising Resource-Flow Systems in ORGANIC COMPUTING — A PARADIGM SHIFT FOR COMPLEX SYSTEMS
  • 2011 Developing Self-Organizing Robotic Cells Using Organic Computing Principles in BIO-INSPIRED SELF-ORGANIZING ROBOTIC SYSTEMS
  • 2010-12 Automated Flaw Detection in Algebraic Specifications in JOURNAL OF AUTOMATED REASONING
  • Affiliations

    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": "https://www.grid.ac/institutes/grid.7307.3", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "Reif", 
        "givenName": "Wolfgang", 
        "id": "sg:person.010252757021.56", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010252757021.56"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:58", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1740.json", 
        "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.010252757021.56'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...