Mirco Tribastone


Ontology type: schema:Person     


Person Info

NAME

Mirco

SURNAME

Tribastone

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-10-29 Towards Software Performance by Construction in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. MODELING
  • 2018-08-15 Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2018-08-01 Combined Vertical and Horizontal Autoscaling Through Model Predictive Control in EURO-PAR 2018: PARALLEL PROCESSING
  • 2017-07-25 Syntactic Markovian Bisimulation for Chemical Reaction Networks in MODELS, ALGORITHMS, LOGICS AND TOOLS
  • 2017-05 A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment in ANNALS OF OPERATIONS RESEARCH
  • 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-04 Noise Reduction in Complex Biological Switches in SCIENTIFIC REPORTS
  • 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
  • 2015 Supporting Performance Awareness in Autonomous Ensembles in SOFTWARE ENGINEERING FOR COLLECTIVE AUTONOMIC SYSTEMS
  • 2015 Differential Bisimulation for a Markovian Process Algebra in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015
  • 2015 Service Composition for Collective Adaptive Systems in SOFTWARE, SERVICES, AND SYSTEMS
  • 2015 Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2014 An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems in INTEGRATED FORMAL METHODS
  • 2014 Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS
  • 2014 Family-Based Performance Analysis of Variant-Rich Software Systems in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2013 ASCENS: Engineering Autonomic Service-Component Ensembles in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 2012 Exact Fluid Lumpability for Markovian Process Algebra in CONCUR 2012 – CONCURRENCY THEORY
  • 2011-07 Non-functional properties in the model-driven development of service-oriented systems in SOFTWARE & SYSTEMS MODELING
  • 2011-06-21 Large-Scale Modelling with the PEPA Eclipse Plug-In in OPERATIONS RESEARCH PROCEEDINGS 2010
  • 2011 Scaling Performance Analysis Using Fluid-Flow Approximation in RIGOROUS SOFTWARE ENGINEERING FOR SERVICE-ORIENTED SYSTEMS
  • 2010 Performance Prediction of Service-Oriented Systems with Layered Queueing Networks in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION
  • 2009 Service-Level Agreements for Service-Oriented Computing in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2009 Quantitative Analysis of Web Services Using SRMC in FORMAL METHODS FOR WEB SERVICES
  • 2009 Scalable Analysis of Scalable Systems in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2008 Safety and Response-Time Analysis of an Automotive Accident Assistance Service in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION
  • 2008 Replicating Web Services for Scalability in TRUSTWORTHY GLOBAL COMPUTING
  • 2008 Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION
  • 2008 Partial Evaluation of PEPA Models for Fluid-Flow Analysis in COMPUTER PERFORMANCE ENGINEERING
  • 2007 Stochastic Process Algebras in FORMAL METHODS FOR PERFORMANCE EVALUATION
  • 2007 Sensoria Process Calculi for Service-Oriented Computing in TRUSTWORTHY GLOBAL COMPUTING
  • 2006 Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System in WEB SERVICES AND FORMAL METHODS
  • 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": "Tribastone", 
        "givenName": "Mirco", 
        "id": "sg:person.012051311303.91", 
        "identifier": {
          "name": "orcid_id", 
          "type": "PropertyValue", 
          "value": [
            "0000-0002-6018-5989"
          ]
        }, 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012051311303.91", 
          "https://orcid.org/0000-0002-6018-5989"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:06", 
        "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_1866.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.012051311303.91'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...