Luca Bortolussi

发表

Matching Models Across Abstraction Levels with Gaussian Processes

Giulio Caravagna, Guido Sanguinetti, Luca Bortolussi, 2016, CMSB.

Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation

Alireza Pourranjbar, Luca Bortolussi, Jane Hillston, 2012, EPEW/UKPEW.

Efficient simulation of non-Markovian dynamics on complex networks

Luca Bortolussi, Verena Wolf, Gerrit Großmann, 2020, PloS one.

Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium

Luca Bortolussi, Verena Wolf, Michael Backenköhler, 2018, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Monitoring Spatio-Temporal Properties (Invited Tutorial)

Ezio Bartocci, Luca Bortolussi, Michele Loreti, 2020, RV.

HYPE Applied to the Modelling of Hybrid Biological Systems

Luca Bortolussi, Jane Hillston, Vashti Galpin, 2008, MFPS.

Coding Theory: A General Framework and Two Inverse Problems

Liviu P. Dinu, Luca Bortolussi, Andrea Sgarro, 2015, Fundam. Informaticae.

Computational Systems Biology with Constraints

Luca Bortolussi, 2008 .

Statistics and histopathology: a mixed-effects model approach to digital image analysis

Luca Bortolussi, Massimo Borelli, Fabrizio Zanconati, 2012 .

Modeling Hybrid Systems with Stochastic Events in HYPE

Luca Bortolussi, Jane Hillston, Vashti Galpin, 2010 .

ICLP 2005 Doctoral Consortium Concurrent Methodologies for Global Optimization

Luca Bortolussi, 2005 .

Conformal Predictions for Hybrid System State Classification

Nicola Paoletti, Luca Bortolussi, Scott D. Stoller, 2019, From Reactive Systems to Cyber-Physical Systems.

Density-embedding layers: a general framework for adaptive receptive fields pdf

Luca Bortolussi, Francesco Cicala, 2020, ArXiv.

Size Expansions of Mean Field Approximation

Luca Bortolussi, Mirco Tribastone, Nicolas Gast, 2019, Perform. Evaluation.

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Ezio Bartocci, Luca Bortolussi, Michele Loreti, 2020, RV.

Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models

Luca Bortolussi, Rytis Paskauskas, L. Bortolussi, 2014, QEST.

Mean Field Approximation of Uncertain Stochastic Models

Luca Bortolussi, Nicolas Gast, L. Bortolussi, 2016, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Reducing Spreading Processes on Networks to Markov Population Models

Luca Bortolussi, Gerrit Großmann, 2019, QEST.

On the Robustness of Temporal Properties for Stochastic Models

Ezio Bartocci, Guido Sanguinetti, Luca Bortolussi, 2013, HSB.

Rule-based modelling and simulation of drug-administration policies

Luca Bortolussi, Verena Wolf, Thilo Krüger, 2015, SpringSim.

Model Checking Markov Population Models by Stochastic Approximations

Luca Bortolussi, Laura Nenzi, Roberta Lanciani, 2017, Inf. Comput..

Model checking single agent behaviours by fluid approximation

Luca Bortolussi, Jane Hillston, L. Bortolussi, 2015, Inf. Comput..

A kernel function for Signal Temporal Logic formulae

Luca Bortolussi, Laura Nenzi, Giuseppe Maria Gallo, 2020, OVERLAY.

Monitoring mobile and spatially distributed cyber-physical systems

Ezio Bartocci, Luca Bortolussi, Michele Loreti, 2017, MEMOCODE.

Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back

Alberto Policriti, Luca Bortolussi, L. Bortolussi, 2009, Trans. Comp. Sys. Biology.

CoBiC: Context-dependent Bioambient Calculus

Maria Grazia Vigliotti, Luca Bortolussi, 2009, Electron. Notes Theor. Comput. Sci..

Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence pdf

Guido Sanguinetti, Luca Bortolussi, G. Sanguinetti, 2018, ArXiv.

Central Limit Model Checking

Luca Cardelli, Luca Laurenti, Luca Bortolussi, 2018, ACM Trans. Comput. Log..

Stochastic Approximation of Global Reachability Probabilities of Markov Population Models

Luca Bortolussi, Roberta Lanciani, 2014, EPEW.

Model-Based Whole-Genome Analysis of DNA Methylation Fidelity

Luca Bortolussi, Verena Wolf, Thilo Krüger, 2015, HSB.

Agent-based protein structure prediction

Agostino Dovier, Luca Bortolussi, Federico Fogolari, 2007, Multiagent Grid Syst..

Workshop on Quantitative Analysis of Programming Languages 2015

Diego Latella, Mieke Massink, Stephen Gilmore, 2015 .

Continuous approximation of collective system behaviour: A tutorial

Diego Latella, Mieke Massink, Luca Bortolussi, 2013, Perform. Evaluation.

MACHINE LEARNING MEETS FORMAL VERIFICATION

Luca Bortolussi, 2015 .

Bounding Mean First Passage Times in Population Continuous-Time Markov Chains

Luca Bortolussi, Verena Wolf, Michael Backenköhler, 2020, QEST.

Hybrid Semantics for Stochastic pi-Calculus

Alberto Policriti, Luca Bortolussi, 2008, AB.

Hybrid systems and biology: continuous and discrete modeling for systems biology

Alberto Policriti, Luca Bortolussi, 2008, FM'08 2008.

Robustness of Bayesian Neural Networks to Gradient-Based Attacks pdf

Matthew Wicker, Luca Laurenti, Luca Bortolussi, 2020, NeurIPS.

Programmable models of growth and mutation of cancer-cell populations

Alberto Policriti, Luca Bortolussi, L. Bortolussi, 2011, CompMod.

A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities

Vincenzo Ciancia, Diego Latella, Mieke Massink, 2014, ERCIM News.

A Distributed and Probabilistic Concurrent Constraint Programming Language

Herbert Wiklicky, Luca Bortolussi, L. Bortolussi, 2005, ICLP.

FLUID MODEL CHECKING FLUID APPROXIMATION FOR CHECKING LOGIC PROPERTIES IN

Luca Bortolussi, 2013 .

Biological Networks on (a Lattice of) Hybrid Automata: Invited Presentation at the Third International Symposium on Games, Automata, Logics and Formal Verification

Alberto Policriti, Luca Bortolussi, 2012 .

Global Adversarial Robustness Guarantees for Neural Networks

Luca Cardelli, Matthew Wicker, Luca Laurenti, 2019 .

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour

Luca Bortolussi, Jane Hillston, Vashti Galpin, 2009, CONCUR.

Language Sampling for Universal Grammars

Luca Bortolussi, Andrea Sgarro, 2011 .

Stochastic Programs and Hybrid Automata for (Biological) Modeling

Alberto Policriti, Luca Bortolussi, L. Bortolussi, 2009, CiE.

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems

Alberto Policriti, Luca Bortolussi, Simone Silvetti, 2017, IFM.

Stochastic Concurrent Constraint Programming and Differential Equations

Alberto Policriti, Luca Bortolussi, L. Bortolussi, 2007, QAPL.

Hybrid Semantics for PEPA

Luca Bortolussi, Jane Hillston, Vashti Galpin, 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.

Machine Learning Methods in Statistical Model Checking and System Design - Tutorial

Guido Sanguinetti, Luca Bortolussi, Dimitrios Milios, 2015, RV.

Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent

Ezio Bartocci, Guido Sanguinetti, Tomás Brázdil, 2016, QEST.

Mathematical modeling of grammatical diversity supports the historical reality of formal syntax

Luca Bortolussi, Cristina Guardiano, Giuseppe Longobardi, 2016 .

Control Variates for Stochastic Simulation of Chemical Reaction Networks

Luca Bortolussi, Verena Wolf, Michael Backenköhler, 2019, CMSB.

Model Checking Markov Population Models by Central Limit Approximation

Luca Bortolussi, Roberta Lanciani, L. Bortolussi, 2013, QEST.

Perspectives on Constraints, Process Algebras, and Hybrid Systems

Alberto Policriti, Luca Bortolussi, 2010, WCB@ICLP.

Learning and Designing Stochastic Processes from Logical Constraints

Guido Sanguinetti, Luca Bortolussi, 2015, Log. Methods Comput. Sci..

Hybrid Systems and Biology

Alberto Policriti, Luca Bortolussi, 2008, SFM.

Signal Convolution Logic

Ezio Bartocci, Luca Bortolussi, Laura Nenzi, 2018, ATVA.

BAYESIAN STATISTICAL PARAMETRIC VERIFICATION AND SYNTHESIS BY MACHINE LEARNING

Guido Sanguinetti, Luca Bortolussi, Simone Silvetti, 2018, 2018 Winter Simulation Conference (WSC).

Data-Driven Statistical Learning of Temporal Logic Properties

Ezio Bartocci, Guido Sanguinetti, Luca Bortolussi, 2014, FORMATS.

Size expansions of mean field approximation: Transient and steady-state analysis

Luca Bortolussi, Mirco Tribastone, Nicolas Gast, 2019, Perform. Evaluation.

Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation

Luca Cardelli, Luca Laurenti, Luca Bortolussi, 2016, QEST.

Bayesian Neural Predictive Monitoring

Nicola Paoletti, Scott A. Smolka, Luca Bortolussi, 2020, OVERLAY.

Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract

Luca Bortolussi, Verena Wolf, Michael Backenköhler, 2019, CMSB.

Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model

Luca Bortolussi, Max Tschaikowski, L. Bortolussi, 2016, ASMTA.

Introduction to the Special Issue on Qest 2017

Luca Bortolussi, Nathalie Bertrand, 2019, ACM Trans. Model. Comput. Simul..

Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems pdf

Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, 2020, OVERLAY.

Possibilistic Coding: Error Detection vs. Error Correction

Luca Bortolussi, Andrea Sgarro, 2010, SMPS.

Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras

Luca Bortolussi, L. Bortolussi, 2010, ASMTA.

Fluid Performability Analysis of Nested Automata Models

Luca Bortolussi, Jane Hillston, Mirco Tribastone, 2015, Electron. Notes Theor. Comput. Sci..

System design of stochastic models using robustness of temporal properties

Ezio Bartocci, Guido Sanguinetti, Luca Bortolussi, 2015, Theor. Comput. Sci..

Matching models across abstraction levels with Gaussian Processes

Giulio Caravagna, Guido Sanguinetti, Luca Bortolussi, 2016 .

Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014

Nathalie Bertrand, Luca Bortolussi, 2014, QAPL.

MoonLight: a lightweight tool for monitoring spatio-temporal properties

Ezio Bartocci, Luca Bortolussi, Michele Loreti, 2020, International Journal on Software Tools for Technology Transfer.

Fluid Performability Analysis of Nested

Luca Bortolussi, Jane Hillston, Mirco Tribastone, 2014 .

Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

Alberto Policriti, Luca Bortolussi, L. Bortolussi, 2009, COMPMOD.

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

Vincenzo Ciancia, Mieke Massink, Luca Bortolussi, 2015, RV.

Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems

Herbert Wiklicky, Luca Bortolussi, 2013 .

Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents

Eric Medvet, Vincenzo Gulisano, Luca Bortolussi, 2019, M4IoT@Middleware.

Fluid Model Checking

Luca Bortolussi, Jane Hillston, L. Bortolussi, 2012, CONCUR.

Deep Abstractions of Chemical Reaction Networks

Luca Bortolussi, Luca Palmieri, L. Bortolussi, 2018, CMSB.

Hybrid approximation of stochastic process algebras for systems biology

Alberto Policriti, Luca Bortolussi, 2008 .

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients

Ezio Bartocci, Guido Sanguinetti, Luca Bortolussi, 2014, ISoLA.

Spearman Permutation Distances and Shannon's Distinguishability

Liviu P. Dinu, Luca Bortolussi, Andrea Sgarro, 2012, Fundam. Informaticae.

Computational Systems Biology with Constraints - Stochastic Modeling of Biological Systems with Concurrent Constraint Programming

Luca Bortolussi, 2008 .

Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

Ezio Bartocci, Guido Sanguinetti, Luca Bortolussi, 2015, HSB.

Fuzzy Possibilities As Upper Previsions

Luca Bortolussi, Paolo Vicig, L. Bortolussi, 2005, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

Editorial: Quantitative Aspects of Programming Languages and Systems

Nathalie Bertrand, Herbert Wiklicky, Luca Bortolussi, 2016, Theor. Comput. Sci..

Policy learning in continuous-time Markov decision processes using Gaussian Processes

Ezio Bartocci, Guido Sanguinetti, Tomás Brázdil, 2017, Perform. Evaluation.

(Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program

Alberto Policriti, Luca Bortolussi, L. Bortolussi, 2013, J. Log. Comput..

Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages

Luca Bortolussi, Jane Hillston, Vashti Galpin, 2011 .

Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps

Alberto Policriti, Luca Bortolussi, Simone Fonda, 2007, 2007 IEEE International Conference on Bioinformatics and Biomedicine (BIBM 2007).

Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation

Luca Bortolussi, Jane Hillston, 2013, SFM.

Hybrid Limits of Continuous Time Markov Chains

Luca Bortolussi, L. Bortolussi, 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

Efficient Checking of Individual Rewards Properties in Markov Population Models

Luca Bortolussi, Jane Hillston, L. Bortolussi, 2015, QAPL.

Bounds on the deviation of discrete-time Markov chains from their mean-field model

Luca Bortolussi, Richard A. Hayden, L. Bortolussi, 2013, Perform. Evaluation.

Mean-Field Limits Beyond Ordinary Differential Equations

Luca Bortolussi, Nicolas Gast, L. Bortolussi, 2016, SFM.

The Importance of Being (A Little Bit) Discrete

Alberto Policriti, Luca Bortolussi, 2009, Electron. Notes Theor. Comput. Sci..

Stochastic Process Algebra and Stability Analysis of Collective Systems

Diego Latella, Mieke Massink, Luca Bortolussi, 2013, COORDINATION.

Hybrid behaviour of Markov population models

Luca Bortolussi, L. Bortolussi, 2012, Inf. Comput..

Fluid Approximation of CTMC with Deterministic Delays

Luca Bortolussi, Jane Hillston, L. Bortolussi, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.

Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium

Luca Bortolussi, Verena Wolf, Michael Backenköhler, 2016, CMSB.

Improved estimations of stochastic chemical kinetics by finite state expansion pdf

Luca Bortolussi, Andrea Vandin, Mirco Tribastone, 2020, ArXiv.

Possibilistic Channels for DNA Word Design

Luca Bortolussi, Andrea Sgarro, 2006, SMPS.

Location Aggregation of Spatial Population CTMC Models

Cheng Feng, Luca Bortolussi, L. Bortolussi, 2016, QAPL.

Lumping the Approximate Master Equation for Multistate Processes on Complex Networks

Luca Bortolussi, Verena Wolf, Gerrit Großmann, 2018, QEST.

Stochastic Concurrent Constraint Programming

Luca Bortolussi, L. Bortolussi, 2006, QAPL.

Fluid Model Checking of Timed Properties

Luca Bortolussi, Roberta Lanciani, L. Bortolussi, 2015, FORMATS.

Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion

Benny Van Houdt, Luca Bortolussi, L. Bortolussi, 2012, SIGMETRICS '12.

On the impact of discreteness and abstractions on modelling noise in gene regulatory networks

Alberto Policriti, Luca Bortolussi, Maria Luisa Guerriero, 2015, Comput. Biol. Chem..

Quantitative Evaluation of Systems

Luca Bortolussi, Nathalie Bertrand, N. Bertrand, 2017, Lecture Notes in Computer Science.

Proceedings Third International Workshop on Hybrid Autonomous Systems

Giordano Pola, Luca Bortolussi, Manuela L. Bujorianu, 2013 .

jSSTL - A Tool to Monitor Spatio-Temporal Properties

Luca Bortolussi, Michele Loreti, Laura Nenzi, 2016, VALUETOOLS.

How many possible languages are there?

Luca Bortolussi, Cristina Guardiano, Giuseppe Longobardi, 2011, Biology, Computation and Linguistics.

Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic

Luca Bortolussi, Laura Nenzi, L. Bortolussi, 2014, VALUETOOLS.

A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits

Ezio Bartocci, Luca Bortolussi, Laura Nenzi, 2013, CMSB.

U-Check: Model Checking and Parameter Synthesis Under Uncertainty

Guido Sanguinetti, Luca Bortolussi, Dimitrios Milios, 2015, QEST.

Proceedings Third International Workshop on Hybrid Autonomous Systems: Preface

Giordano Pola, Luca Bortolussi, Manuela L. Bujorianu, 2013 .

Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias pdf

Ezio Bartocci, Guido Sanguinetti, Luca Bortolussi, 2013, ArXiv.

Fluid approximation of broadcasting systems

Luca Bortolussi, Jane Hillston, Michele Loreti, 2020, Theor. Comput. Sci..

Protein Folding Simulation in Concurrent Constraint Programming

Alessandro Dal Palù, Agostino Dovier, Luca Bortolussi, 2004 .

Proceedings First International Workshop on Hybrid Systems and Biology

Ezio Bartocci, Luca Bortolussi, 2012 .

A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems

Guido Sanguinetti, Luca Bortolussi, G. Sanguinetti, 2014, QEST.

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision

Luca Cardelli, Alessandro Abate, Luca Laurenti, 2017, HSCC.

Hybrid Systems and Biology

Ezio Bartocci, Luca Bortolussi, Scott A. Smolka, 2014, Inf. Comput..

Learning and Designing Stochastic Processes from Logical Constraints

Guido Sanguinetti, Luca Bortolussi, G. Sanguinetti, 2013, QEST.

CARMA: Collective Adaptive Resource-sharing Markovian Agents

Diego Latella, Mieke Massink, Stephen Gilmore, 2015, QAPL.

Smoothed model checking for uncertain Continuous-Time Markov Chains

Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti, 2014, Inf. Comput..

Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Alberto Policriti, Luca Bortolussi, L. Bortolussi, 2008, Constraints.

Stochastic HYPE: Flow-based modelling of stochastic hybrid systems pdf

Luca Bortolussi, Jane Hillston, Vashti Galpin, 2014, ArXiv.

Hybrid performance modelling of opportunistic networks

Luca Bortolussi, Jane Hillston, Vashti Galpin, 2012, QAPL.

Fluid limits of queueing networks with batches

Luca Bortolussi, Mirco Tribastone, L. Bortolussi, 2012, ICPE '12.

Studying cancer-cell populations by programmable models of networks

Alberto Policriti, Luca Bortolussi, 2012, Network Modeling Analysis in Health Informatics and Bioinformatics.

Algorithmic generation of random languages argues for syntax as a source of phylogenetic information

Luca Bortolussi, Cristina Guardiano, Dimitris Michelioudakis, 2015 .

Neural Predictive Monitoring

Nicola Paoletti, Scott A. Smolka, Luca Bortolussi, 2019, RV.

Analysis of Markov Jump Processes under Terminal Constraints pdf

Luca Bortolussi, Gerrit Großmann, Michael Backenköhler, 2020, ArXiv.

Computational Methods in Systems Biology: 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Luca Bortolussi, Guido Sanguinetti, G. Sanguinetti, 2019, CMSB.

Hybrid Dynamics of Stochastic π-Calculus

Alberto Policriti, Luca Bortolussi, 2009, Math. Comput. Sci..

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL

Vincenzo Ciancia, Mieke Massink, Luca Bortolussi, 2017, Log. Methods Comput. Sci..

Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction

Guido Sanguinetti, Luca Bortolussi, Dimitrios Milios, 2015, CMSB.

BuST-Bundled Suffix Trees

Alberto Policriti, Luca Bortolussi, Francesco Fabris, 2006, IFIP TCS.

Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems: Preface

Herbert Wiklicky, Luca Bortolussi, 2013 .

Bundled Suffix Trees

Luca Bortolussi, Alberto Policriti, Francesco Fabris, 2005 .

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation

Luca Bortolussi, 2008, Electron. Notes Theor. Comput. Sci..

HYPE with stochastic events

Luca Bortolussi, Jane Hillston, Vashti Galpin, 2011, QAPL.

Bayesian Abstraction of Markov Population Models

Luca Bortolussi, Francesca Cairoli, 2019, QEST.

HYPE: Hybrid modelling by composition of flows

Luca Bortolussi, Jane Hillston, Vashti Galpin, 2013, Formal Aspects of Computing.

Logic-Based Multi-objective Design of Chemical Reaction Networks

Alberto Policriti, Luca Bortolussi, Simone Silvetti, 2016, HSB.

Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes

Luca Bortolussi, Verena Wolf, Charalampos Kyriakopoulos, 2017, Physical review. E.

Quantitative Evaluation of Systems

Guido Sanguinetti, Luca Bortolussi, 2013 .

Concurrent Methodologies for Global Optimization

Luca Bortolussi, 2005, ICLP.

Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models

Luca Bortolussi, Simone Silvetti, L. Bortolussi, 2018, TACAS.

Rejection-Based Simulation of Non-Markovian Agents on Complex Networks pdf

Luca Bortolussi, Verena Wolf, Gerrit Grossmann, 2019, COMPLEX NETWORKS.

A Robust Genetic Algorithm for Learning Temporal Specifications from Data

Ezio Bartocci, Luca Bortolussi, Laura Nenzi, 2018, QEST.

Differential analysis of interacting automata with immediate actions

Luca Bortolussi, Mirco Tribastone, L. Bortolussi, 2013, VALUETOOLS.

Hybrid dynamics of stochastic programs

Alberto Policriti, Luca Bortolussi, L. Bortolussi, 2010, Theor. Comput. Sci..

Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks pdf

Guido Sanguinetti, Luca Bortolussi, Ginevra Carbone, 2021, ArXiv.

Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

Luca Bortolussi, Laura Nenzi, Jan Kvret'insk'y, 2022, TACAS.

Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models

Luca Bortolussi, Verena Wolf, Gerrit Großmann, 2021, QEST.

Random Projections for Improved Adversarial Robustness

Guido Sanguinetti, Luca Bortolussi, Ginevra Carbone, 2021, 2021 International Joint Conference on Neural Networks (IJCNN).

Analysis of Markov Jump Processes under Terminal Constraints

Luca Bortolussi, Verena Wolf, Gerrit Großmann, 2021, TACAS.

Abstraction of Markov Population Dynamics via Generative Adversarial Nets

Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, 2021, CMSB.

Refining Mean-field Approximations by Dynamic State Truncation

Luca Bortolussi, Mirco Tribastone, Francesca Randone, 2021, Proc. ACM Meas. Anal. Comput. Syst..

Neural Predictive Monitoring under Partial Observability

Nicola Paoletti, Luca Bortolussi, Francesca Cairoli, 2021, RV.

Neural predictive monitoring and a comparison of frequentist and Bayesian approaches

Nicola Paoletti, Scott A. Smolka, Luca Bortolussi, 2021, International Journal on Software Tools for Technology Transfer.

Improved estimations of stochastic chemical kinetics by finite-state expansion

Luca Bortolussi, Andrea Vandin, Mirco Tribastone, 2021, Proceedings of the Royal Society A.

Variance Reduction in Stochastic Reaction Networks using Control Variates pdf

Luca Bortolussi, Verena Wolf, Michael Backenköhler, 2021, ArXiv.

Refining Mean-field Approximations by Dynamic State Truncation

Luca Bortolussi, Mirco Tribastone, Francesca Randone, 2021, SIGMETRICS.

Distribution Approximations for the Chemical Master Equation: Comparison of the Method of Moments and the System Size Expansion

Philipp Thomas, Luca Bortolussi, Verena Wolf, 2015, 1509.09104.

Hybrid approximation of stochastic concurrent constraint programs

Alberto Policriti, Luca Bortolussi, 2007 .

Revisiting the Limit Behaviour of ``El Botellon"

Mieke Massink, Jean-Yves Le Boudec, Luca Bortolussi, 2012 .

Connecting process algebras and differential equations for Systems Biology

Alberto Policriti, Luca Bortolussi, L. Bortolussi, 2006 .

Proceedings First International Workshop on Hybrid Systems and Biology: Preface

Ezio Bartocci, Luca Bortolussi, 2012 .

Fluid approximation of CTMC with deterministic delays Supplementary online material

Luca Bortolussi, L. Bortolussi, 2012 .

A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours

Vincenzo Ciancia, Mieke Massink, Rocco De Nicola, 2016 .

Mean field approximation of imprecise population processes

Luca Bortolussi, Nicolas Gast, 2015 .

Verification of Complex Adaptive Systems Working Group Report-Dagstuhl Seminar 14512

Mieke Massink, Danny Weyns, Giacomo Cabri, 2015 .