Luca Bortolussi


Ontology type: schema:Person     


Person Info

NAME

Luca

SURNAME

Bortolussi

Publications in SciGraph latest 50 shown

  • 2021-10-06 Neural Predictive Monitoring Under Partial Observability in RUNTIME VERIFICATION
  • 2021-09-13 Abstraction of Markov Population Dynamics via Generative Adversarial Nets in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2021-08-19 Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2021-05-24 Neural predictive monitoring and a comparison of frequentist and Bayesian approaches in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2021-03-20 Analysis of Markov Jump Processes under Terminal Constraints in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2020-11-03 Bounding Mean First Passage Times in Population Continuous-Time Markov Chains in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2020-10-02 Monitoring Spatio-Temporal Properties (Invited Tutorial) in RUNTIME VERIFICATION
  • 2020-10-02 MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties in RUNTIME VERIFICATION
  • 2019-11-26 Rejection-Based Simulation of Non-Markovian Agents on Complex Networks in COMPLEX NETWORKS AND THEIR APPLICATIONS VIII
  • 2019-10-01 Neural Predictive Monitoring in RUNTIME VERIFICATION
  • 2019-09-23 Conformal Predictions for Hybrid System State Classification in FROM REACTIVE SYSTEMS TO CYBER-PHYSICAL SYSTEMS
  • 2019-09-17 Control Variates for Stochastic Simulation of Chemical Reaction Networks in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2019-09-17 Bounding First Passage Times in Chemical Reaction Networks in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2019-09-04 Reducing Spreading Processes on Networks to Markov Population Models in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2019-09-04 Bayesian Abstraction of Markov Population Models in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2018-09-30 Signal Convolution Logic in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2018-08-24 Deep Abstractions of Chemical Reaction Networks in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2018-08-15 Lumping the Approximate Master Equation for Multistate Processes on Complex Networks in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2018-08-15 A Robust Genetic Algorithm for Learning Temporal Specifications from Data in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2018-04-14 Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2017-08-27 An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems in INTEGRATED FORMAL METHODS
  • 2017-05-09 Distribution Approximations for the Chemical Master Equation: Comparison of the Method of Moments and the System Size Expansion in MODELING CELLULAR SYSTEMS
  • 2016-09-25 Logic-Based Multi-objective Design of Chemical Reaction Networks in HYBRID SYSTEMS BIOLOGY
  • 2016-09-04 Matching Models Across Abstraction Levels with Gaussian Processes in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2016-09-04 Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2016-08-04 Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model in ANALYTICAL AND STOCHASTIC MODELLING TECHNIQUES AND APPLICATIONS
  • 2016-08-03 Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2016-08-03 Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2016-06-11 Mean-Field Limits Beyond Ordinary Differential Equations in FORMAL METHODS FOR THE QUANTITATIVE EVALUATION OF COLLECTIVE ADAPTIVE SYSTEMS
  • 2015-11-15 Qualitative and Quantitative Monitoring of Spatio-Temporal Properties in RUNTIME VERIFICATION
  • 2015-11-15 Machine Learning Methods in Statistical Model Checking and System Design – Tutorial in RUNTIME VERIFICATION
  • 2015-09-02 Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2015-08-22 U-Check: Model Checking and Parameter Synthesis Under Uncertainty in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2015-08-22 Fluid Model Checking of Timed Properties in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2015 Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic in HYBRID SYSTEMS BIOLOGY
  • 2015 Model-Based Whole-Genome Analysis of DNA Methylation Fidelity in HYBRID SYSTEMS BIOLOGY
  • 2014 Data-Driven Statistical Learning of Temporal Logic Properties in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2014 Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. SPECIALIZED TECHNIQUES AND APPLICATIONS
  • 2014 Stochastic Approximation of Global Reachability Probabilities of Markov Population Models in COMPUTER PERFORMANCE ENGINEERING
  • 2014 A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2014 Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2013 A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2013 Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation in FORMAL METHODS FOR DYNAMICAL SYSTEMS
  • 2013 Model Checking Markov Population Models by Central Limit Approximation in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2013 Stochastic Process Algebra and Stability Analysis of Collective Systems in COORDINATION MODELS AND LANGUAGES
  • 2013 Don’t Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation in COMPUTER PERFORMANCE ENGINEERING
  • 2013 Learning and Designing Stochastic Processes from Logical Constraints in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2012-06-12 Studying cancer-cell populations by programmable models of networks in NETWORK MODELING ANALYSIS IN HEALTH INFORMATICS AND BIOINFORMATICS
  • 2012 Fluid Model Checking in CONCUR 2012 – CONCURRENCY THEORY
  • 2011-08-13 HYPE: Hybrid modelling by composition of flows in FORMAL ASPECTS OF COMPUTING
  • 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.5133.4", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419994.8", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.451498.5", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5390.f", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.11749.3a", 
            "type": "Organization"
          }
        ], 
        "familyName": "Bortolussi", 
        "givenName": "Luca", 
        "id": "sg:person.0722040335.58", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0001-8874-4001"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0722040335.58", 
          "https://orcid.org/0000-0001-8874-4001"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:58", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/person/person_85.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.0722040335.58'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

    This table displays all metadata directly associated to this object as RDF triples.

    29 TRIPLES      11 PREDICATES      17 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.0722040335.58 schema:affiliation N2769ab5e136744e9bda10318dd8c782e
    2 grid-institutes:grid.11749.3a
    3 grid-institutes:grid.419994.8
    4 grid-institutes:grid.451498.5
    5 grid-institutes:grid.5390.f
    6 schema:familyName Bortolussi
    7 schema:givenName Luca
    8 schema:identifier Ndec19c49e493406b952527fb3ff50fca
    9 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0722040335.58
    10 https://orcid.org/0000-0001-8874-4001
    11 schema:sdDatePublished 2022-01-01T19:58
    12 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    13 schema:sdPublisher N31b93b7880f941c3ad6bd5100c2704d6
    14 sgo:license sg:explorer/license/
    15 sgo:sdDataset persons
    16 rdf:type schema:Person
    17 N2769ab5e136744e9bda10318dd8c782e schema:affiliation grid-institutes:grid.5133.4
    18 sgo:isCurrent true
    19 rdf:type schema:OrganizationRole
    20 N31b93b7880f941c3ad6bd5100c2704d6 schema:name Springer Nature - SN SciGraph project
    21 rdf:type schema:Organization
    22 Ndec19c49e493406b952527fb3ff50fca schema:name orcid_id
    23 schema:value 0000-0001-8874-4001
    24 rdf:type schema:PropertyValue
    25 grid-institutes:grid.11749.3a schema:Organization
    26 grid-institutes:grid.419994.8 schema:Organization
    27 grid-institutes:grid.451498.5 schema:Organization
    28 grid-institutes:grid.5133.4 schema:Organization
    29 grid-institutes:grid.5390.f schema:Organization
     




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


    ...