Hoang Nga Nguyen


Ontology type: schema:Person     


Person Info

NAME

Hoang Nga

SURNAME

Nguyen

Publications in SciGraph latest 50 shown

  • 2021-03-24 Automotive Cybersecurity Testing: Survey of Testbeds and Methods in DIGITAL TRANSFORMATION, CYBER SECURITY AND RESILIENCE OF MODERN SOCIETIES
  • 2020-03-02 A Template-Based Method for the Generation of Attack Trees in INFORMATION SECURITY THEORY AND PRACTICE
  • 2018-06-21 Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications in INFORMATION SECURITY THEORY AND PRACTICE
  • 2018-06-16 Software Model Checking for Mobile Security – Collusion Detection in K in MODEL CHECKING SOFTWARE
  • 2017-08-02 Detecting Malicious Collusion Between Mobile Software Applications: The AndroidTM Case in DATA ANALYTICS AND DECISION SUPPORT FOR CYBERSECURITY
  • 2017-03-07 Towards a threat assessment framework for apps collusion in TELECOMMUNICATION SYSTEMS
  • 2016-10-05 OnTrack: The Railway Verification Toolset in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS
  • 2016-09-17 Combining Third Party Components Securely in Automotive Systems in INFORMATION SECURITY THEORY AND PRACTICE
  • 2016-09-13 Utilising Semantics for Collusion Detection in Android Applications in CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION
  • 2016-06-15 Comparing Formal Verification Approaches of Interlocking Systems in RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION
  • 2015-11-28 Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems in PRIMA 2015: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS
  • 2014-03-15 Techniques for modelling and verifying railway interlockings in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2014-03-08 Verification of Scheme Plans Using CSP||B in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2013 Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2012 Safety and Line Capacity in Railways – An Approach in Timed CSP in INTEGRATED FORMAL METHODS
  • 2011 Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction in MODEL CHECKING AND ARTIFICIAL INTELLIGENCE
  • 2009-04-28 Verifying time, memory and communication bounds in systems of reasoning agents in SYNTHESE
  • 2009 Reasoning about Other Agents’ Beliefs under Bounded Resources in KNOWLEDGE REPRESENTATION FOR AGENTS AND MULTI-AGENT 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.8096.7", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4827.9", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4563.4", 
            "type": "Organization"
          }
        ], 
        "familyName": "Nguyen", 
        "givenName": "Hoang Nga", 
        "id": "sg:person.014355405221.01", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0003-0260-1697"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014355405221.01", 
          "https://orcid.org/0000-0003-0260-1697"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-06-01T22:53", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220601/entities/gbq_results/person/person_797.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.014355405221.01'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...