Helen Eleri Treharne


Ontology type: schema:Person     


Person Info

NAME

Helen Eleri

SURNAME

Treharne

Publications in SciGraph latest 50 shown

  • 2020-12-04 An Interoperable Architecture for Usable Password-Less Authentication in EMERGING TECHNOLOGIES FOR AUTHORIZATION AND AUTHENTICATION
  • 2018-08-08 Anonymous Single-Sign-On for n Designated Services with Traceability in COMPUTER SECURITY
  • 2017-09-13 Formal Analysis of V2X Revocation Protocols in SECURITY AND TRUST MANAGEMENT
  • 2016-10-05 OnTrack: The Railway Verification Toolset in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS
  • 2016-05-24 Symbolic Reachability Analysis of B Through ProB and LTSmin in INTEGRATED FORMAL METHODS
  • 2016-04-27 Foundations for using linear temporal logic in Event-B refinement in FORMAL ASPECTS OF COMPUTING
  • 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
  • 2014 Managing LTL Properties in Event-B Refinement in INTEGRATED FORMAL METHODS
  • 2013 Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2013 OnTrack: An Open Tooling Environment for Railway Verification in NASA FORMAL METHODS
  • 2012-10-23 The behavioural semantics of Event-B refinement in FORMAL ASPECTS OF COMPUTING
  • 2012-06-28 An integrated framework for checking the behaviour of fUML models using CSP in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2012 An Optimization Approach for Effective Formalized fUML Model Checking in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2011 Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 2010 Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 2010 A Novel Multi-size Block Benford’s Law Scheme for Printer Identification in ADVANCES IN MULTIMEDIA INFORMATION PROCESSING - PCM 2010
  • 2010 A CSP Approach to Control in Event-B in INTEGRATED FORMAL METHODS
  • 2009 Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B in INTEGRATED FORMAL METHODS
  • 2009 A Step towards Merging xUML and CSP B in RIGOROUS METHODS FOR SOFTWARE CONSTRUCTION AND ANALYSIS
  • 2009 A Novel Least Distortion Linear Gain Model for Halftone Image Watermarking Incorporating Perceptual Quality Metrics in TRANSACTIONS ON DATA HIDING AND MULTIMEDIA SECURITY IV
  • 2009 Formal Analysis of Two Buyer-Seller Watermarking Protocols in DIGITAL WATERMARKING
  • 2009 Automatic Generation of Integrated Formal Models Corresponding to UML System Models in OBJECTS, COMPONENTS, MODELS AND PATTERNS
  • 2008 Least Distortion Halftone Image Data Hiding Watermarking by Optimizing an Iterative Linear Gain Control Model in DIGITAL WATERMARKING
  • 2008-01-01 Automatic Generation of CSP || B Skeletons from xUML Models in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008
  • 2008-01-01 Object Modelling in the SystemB Industrial Project in ABSTRACT STATE MACHINES, B AND Z
  • 2008 Authenticating Binary Text Documents Using a Localising OMAC Watermark Robust to Printing and Scanning in DIGITAL WATERMARKING
  • 2007-05-03 Interactive tool support for CSP || B consistency checking in FORMAL ASPECTS OF COMPUTING
  • 2007-04-11 Applying CSP || B to information systems in SOFTWARE AND SYSTEMS MODELING
  • 2007-01-01 Combining Mobility with State in INTEGRATED FORMAL METHODS
  • 2006-08-09 Tank monitoring: a pAMN case study in FORMAL ASPECTS OF COMPUTING
  • 2006 Augmenting B with Control Annotations in B 2007: FORMAL SPECIFICATION AND DEVELOPMENT IN B
  • 2006 A New Multi-set Modulation Technique for Increasing Hiding Capacity of Binary Watermark for Print and Scan Processes in DIGITAL WATERMARKING
  • 2005-11-15 CSP theorems for communicating B machines in FORMAL ASPECTS OF COMPUTING
  • 2005-07-01 Investigating a file transfer protocol using CSP and B in SOFTWARE AND SYSTEMS MODELING
  • 2005 Chunks: Component Verification in CSP ∥ B in INTEGRATED FORMAL METHODS
  • 2004 Verifying Controlled Components in INTEGRATED FORMAL METHODS
  • 2003-05-27 Composing Specifications Using Communication in ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B
  • 2002-07-09 Supplementing a UML Development Process with B in FME 2002:FORMAL METHODS—GETTING IT RIGHT
  • 2002-01-22 Communicating B Machines in ZB 2002:FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B
  • 2000-12-21 How to Drive a B Machine in ZB 2000: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B
  • 1999 Using a Process Algebra to control B OPERATIONS in IFM’99
  • 1998 Test case preparation using a prototype in B’98: RECENT ADVANCES IN THE DEVELOPMENT AND USE OF THE B METHOD
  • 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.5475.3", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4970.a", 
            "type": "Organization"
          }
        ], 
        "familyName": "Treharne", 
        "givenName": "Helen Eleri", 
        "id": "sg:person.012731025010.44", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0003-1835-4803"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012731025010.44", 
          "https://orcid.org/0000-0003-1835-4803"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-06-01T22:52", 
        "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_684.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.012731025010.44'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...