Andrea Vandin


Ontology type: schema:Person     


Person Info

NAME

Andrea

SURNAME

Vandin

Publications in SciGraph latest 50 shown

  • 2018-10-31 Differential Equivalence Yields Network Centrality in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-08-15 Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2018 QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems in FORMAL METHODS
  • 2017-08-27 Transient and Steady-State Statistical Analysis for Discrete Event Simulators in INTEGRATED FORMAL METHODS
  • 2017-07-25 Syntactic Markovian Bisimulation for Chemical Reaction Networks in MODELS, ALGORITHMS, LOGICS AND TOOLS
  • 2017 ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016 Statistical Model Checking for Product Lines in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2016 Efficient Syntax-Driven Lumping of Differential Equations in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016 Quantitative Abstractions for Collective Adaptive Systems in FORMAL METHODS FOR THE QUANTITATIVE EVALUATION OF COLLECTIVE ADAPTIVE SYSTEMS
  • 2016 A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2015 The SCEL Language: Design, Implementation, Verification in SOFTWARE ENGINEERING FOR COLLECTIVE AUTONOMIC SYSTEMS
  • 2015 Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation in SOFTWARE ENGINEERING FOR COLLECTIVE AUTONOMIC SYSTEMS
  • 2015 A White Box Perspective on Behavioural Adaptation in SOFTWARE, SERVICES, AND SYSTEMS
  • 2015 Differential Bisimulation for a Markovian Process Algebra in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015
  • 2015 Tools for Ensemble Design and Runtime in SOFTWARE ENGINEERING FOR COLLECTIVE AUTONOMIC SYSTEMS
  • 2014 An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems in INTEGRATED FORMAL METHODS
  • 2014 Reasoning (on) Service Component Ensembles in Rewriting Logic in SPECIFICATION, ALGEBRA, AND SOFTWARE
  • 2013 Adaptable Transition Systems in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2012 A Conceptual Framework for Adaptation in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2012 Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models in GRAPH TRANSFORMATIONS
  • 2012 Modelling and Analyzing Adaptive Self-assembly Strategies with Maude in REWRITING LOGIC AND ITS APPLICATIONS
  • 2012 Specification and Verification of Modal Properties for Structured Systems in GRAPH TRANSFORMATIONS
  • 2012 State Space c-Reductions of Concurrent Systems in Rewriting Logic in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 2010 Counterpart Semantics for a Second-Order μ-Calculus in GRAPH TRANSFORMATIONS
  • 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.462365.0", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "Vandin", 
        "givenName": "Andrea", 
        "id": "sg:person.013470705631.30", 
        "identifier": {
          "name": "orcid_id", 
          "type": "PropertyValue", 
          "value": [
            "0000-0002-2606-7241"
          ]
        }, 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013470705631.30", 
          "https://orcid.org/0000-0002-2606-7241"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:03", 
        "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_1818.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.013470705631.30'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...