Hans Hansson


Ontology type: schema:Person     


Person Info

NAME

Hans

SURNAME

Hansson

Publications in SciGraph latest 50 shown

  • 2018-05-26 Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation in RELIABLE SOFTWARE TECHNOLOGIES – ADA-EUROPE 2018
  • 2017-12 Concurrency bugs in open source software: a case study in JOURNAL OF INTERNET SERVICES AND APPLICATIONS
  • 2017-03 10 Years of research on debugging concurrent and multicore software: a systematic mapping study in SOFTWARE QUALITY JOURNAL
  • 2016 Configuration-Aware Contracts in COMPUTER SAFETY, RELIABILITY, AND SECURITY
  • 2016 A Study of Concurrency Bugs in an Open Source Software in OPEN SOURCE SYSTEMS: INTEGRATING COMMUNITIES
  • 2015 A Survey on Testing for Cyber Physical System in TESTING SOFTWARE AND SYSTEMS
  • 2014 Flexible and Efficient Reuse of Multi-mode Components for Building Multi-mode Systems in SOFTWARE REUSE FOR DYNAMIC SYSTEMS IN THE CLOUD AND BEYOND
  • 2014 Generation of Safety Case Argument-Fragments from Safety Contracts in COMPUTER SAFETY, RELIABILITY, AND SECURITY
  • 2014 A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis in SOFTWARE REUSE FOR DYNAMIC SYSTEMS IN THE CLOUD AND BEYOND
  • 2007 Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware in TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS
  • 2007 Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 2003-08 Worst-case execution-time analysis for embedded real-time systems in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2002-01-22 Reliability Modelling of Time-Critical Distributed Systems in FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS
  • 2000-05-25 2 + 10 ≻ 1 + 50 ! in PARALLEL AND DISTRIBUTED PROCESSING
  • 1998-09 The Slack Method: A New Method for Static Allocation of Hard Real-Time Tasks in REAL-TIME SYSTEMS
  • 1996-11 BASEMENT: A distributed real-time architecture for vehicle applications in REAL-TIME SYSTEMS
  • 1996 BASEMENT: A distributed real-time architecture for vehicle applications in THE ENGINEERING OF COMPLEX REAL-TIME COMPUTER CONTROL SYSTEMS
  • 1994-09 A logic for reasoning about time and reliability in FORMAL ASPECTS OF COMPUTING
  • 1993 A Process Calculus with Incomparable Priorities in NAPAW 92
  • 1993 Modeling Real-Time and Reliability in FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT 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": "https://www.grid.ac/institutes/grid.6383.e", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "https://www.grid.ac/institutes/grid.411579.f", 
            "type": "Organization"
          }
        ], 
        "familyName": "Hansson", 
        "givenName": "Hans", 
        "id": "sg:person.07414261333.61", 
        "identifier": {
          "name": "orcid_id", 
          "type": "PropertyValue", 
          "value": [
            "0000-0002-7235-6888"
          ]
        }, 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07414261333.61", 
          "https://orcid.org/0000-0002-7235-6888"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:44", 
        "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_1519.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.07414261333.61'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...