Luca Bortolussi

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 121

Top Venues

CoRR

QEST

CMSB

Publications

Ilaria Vascotto, Alex Rodriguez, Alessandro Bonaita, Luca Bortolussi
Can you trust your explanations? A robustness test for feature attribution methods. CoRR (2024)
Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. CoRR (2024)
Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi
ECATS: Explainable-by-design concept-based anomaly detection for time series. CoRR (2024)
Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. Proc. ACM Program. Lang. 8 (POPL) (2024)
Lorenzo Basile, Santiago Acevedo, Luca Bortolussi, Fabio Anselmi, Alex Rodriguez
Intrinsic Dimension Correlation: uncovering nonlinear connections in multimodal representations. CoRR (2024)
Davide Basso, Luca Bortolussi, Mirjana S. Videnovic-Misic, Husni Habal
Fast ML-driven Analog Circuit Layout using Reinforcement Learning and Steiner Trees. CoRR (2024)
Gaia Saveri, Luca Bortolussi
Retrieval-Augmented Mining of Temporal Logic Specifications from Data. CoRR (2024)
Valentina Blasone, Umberto Di Laudo, Gloria Pietropolli, Luca Bortolussi, Silvia Ceramicola, Gianpiero Cossarini, Luca Manzoni
Machine Learning methods for the Atmosphere, the Ocean, and the Seabed. Ital-IA (2023)
Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. QEST (2023)
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. HSCC (2023)
Fabio Anselmi, Luca Manzoni, Alberto d'Onofrio, Alex Rodriguez, Giulio Caravagna, Luca Bortolussi, Francesca Cairoli
Data Symmetries and Learning in Fully Connected Neural Networks. IEEE Access 11 (2023)
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. RV (2023)
Giulia Barbati, Luca Bortolussi, Giulio Caravagna
Data Science and Artificial Intelligence for Life Sciences at the University of Trieste. Ital-IA (2023)
Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi
Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints. CoRR (2023)
Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. CoRR (2023)
Emanuele Ballarin, Alessio Ansuini, Luca Bortolussi
CARSO: Counter-Adversarial Recall of Synthetic Observations. CoRR (2023)
Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri
Reliable and Explainable AI in Trieste. Ital-IA (2023)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
MoonLight: a lightweight tool for monitoring spatio-temporal properties. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Gaia Saveri, Luca Bortolussi
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. NeSy (2023)
Giovanni Baj, Arjuna Scagnetto, Luca Bortolussi, Giulia Barbati
Deep Learning Survival Model to Predict Atrial Fibrillation From ECGs and EHR Data. EPIA (2) (2023)
Lorenzo Basile, Nikos Karantzas, Alberto d'Onofrio, Luca Bortolussi, Alex Rodriguez, Fabio Anselmi
Relating Implicit Bias and Adversarial Attacks through Intrinsic Dimension. CoRR (2023)
Gaia Saveri, Luca Bortolussi
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. CoRR (2023)
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. CoRR (2023)
Francesca Cairoli, Fabio Anselmi, Alberto d'Onofrio, Luca Bortolussi
Generative abstraction of Markov population processes. Theor. Comput. Sci. 977 (2023)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. RV (2023)
Luca Bortolussi, Francesca Cairoli, Francesco Giacomarra, Davide Scassola
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models. QEST (2023)
Giacomo Roncoroni, Emanuele Forte, Luca Bortolussi, Michele Pipan
Efficient extraction of seismic reflection with Deep Learning. Comput. Geosci. 166 (2022)
Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. TACAS (1) (2022)
Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. CoRR (2022)
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. CoRR (2022)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
Stochastic Variational Smoothed Model Checking. CoRR (2022)
Ginevra Carbone, Luca Bortolussi, Guido Sanguinetti
Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. IJCNN (2022)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. 18 (1) (2022)
Francesca Randone, Luca Bortolussi, Mirco Tribastone
Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling. QEST (2022)
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
Neural Predictive Monitoring for Collective Adaptive Systems. ISoLA (3) (2022)
Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker
On the Robustness of Bayesian Neural Networks to Adversarial Attacks. CoRR (2022)
Gaia Saveri, Luca Bortolussi
Graph Neural Networks for Propositional Model Counting. CoRR (2022)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Variance Reduction in Stochastic Reaction Networks Using Control Variates. Principles of Systems Design (2022)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. ADHS (2021)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Variance Reduction in Stochastic Reaction Networks using Control Variates. CoRR (2021)
Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. CoRR (2021)
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. CoRR (2021)
Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CoRR (2021)
Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi
Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. CoRR (2021)
Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi
Random Projections for Improved Adversarial Robustness. IJCNN (2021)
Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CMSB (2021)
Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi
Random Projections for Improved Adversarial Robustness. CoRR (2021)
Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
Analysis of Markov Jump Processes under Terminal Constraints. TACAS (1) (2021)
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. CoRR (2021)
Francesca Randone, Luca Bortolussi, Mirco Tribastone
Refining Mean-field Approximations by Dynamic State Truncation. SIGMETRICS (Abstracts) (2021)
Francesca Randone, Luca Bortolussi, Mirco Tribastone
Refining Mean-field Approximations by Dynamic State Truncation. Proc. ACM Meas. Anal. Comput. Syst. 5 (2) (2021)
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Neural Predictive Monitoring Under Partial Observability. RV (2021)
Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. QEST (2021)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Neural Predictive Monitoring under Partial Observability. CoRR (2021)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. CoRR (2020)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. OVERLAY (2020)
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV (2020)
Luca Bortolussi, Jane Hillston, Michele Loreti
Fluid approximation of broadcasting systems. Theor. Comput. Sci. 816 (2020)
Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
A kernel function for Signal Temporal Logic formulae. CoRR (2020)
Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane, Luca Bortolussi, Guido Sanguinetti
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. CoRR (2020)
Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
Analysis of Markov Jump Processes under Terminal Constraints. CoRR (2020)
Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patané, Luca Bortolussi, Guido Sanguinetti
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. NeurIPS (2020)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Bayesian Neural Predictive Monitoring. OVERLAY (2020)
Tabea Waizmann, Luca Bortolussi, Andrea Vandin, Mirco Tribastone
Improved estimations of stochastic chemical kinetics by finite state expansion. CoRR (2020)
Francesco Cicala, Luca Bortolussi
Density-embedding layers: a general framework for adaptive receptive fields. CoRR (2020)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. QEST (2020)
Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
A kernel function for Signal Temporal Logic formulae. OVERLAY (2020)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV (2020)
Luca Bortolussi, Francesca Cairoli
Bayesian Abstraction of Markov Population Models. QEST (2019)
Luca Bortolussi, Vincenzo Gulisano, Eric Medvet, Dimitrios Palyvos-Giannas
Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents. M4IoT@Middleware (2019)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller
Conformal Predictions for Hybrid System State Classification. From Reactive Systems to Cyber-Physical Systems (2019)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract. CMSB (2019)
Luca Bortolussi, Nathalie Bertrand
Introduction to the Special Issue on Qest 2017. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Gerrit Großmann, Luca Bortolussi, Verena Wolf
Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. CoRR (2019)
Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
Central Limit Model Checking. ACM Trans. Comput. Log. 20 (4) (2019)
Gerrit Großmann, Luca Bortolussi, Verena Wolf
Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. COMPLEX NETWORKS (1) (2019)
Nicolas Gast, Luca Bortolussi, Mirco Tribastone
Size expansions of mean field approximation: Transient and steady-state analysis. Perform. Evaluation 129 (2019)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. CoRR (2019)
Gerrit Großmann, Luca Bortolussi
Reducing Spreading Processes on Networks to Markov Population Models. CoRR (2019)
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems. CoRR (2019)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural Predictive Monitoring. RV (2019)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Control Variates for Stochastic Simulation of Chemical Reaction Networks. CMSB (2019)
Gerrit Großmann, Luca Bortolussi
Reducing Spreading Processes on Networks to Markov Population Models. QEST (2019)
Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
Central Limit Model Checking. CoRR (2018)
Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. CoRR (2018)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium. IEEE ACM Trans. Comput. Biol. Bioinform. 15 (4) (2018)
Luca Bortolussi, Luca Palmieri
Deep Abstractions of Chemical Reaction Networks. CMSB (2018)
Luca Bortolussi, Guido Sanguinetti
Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence. CoRR (2018)
Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
Signal Convolution Logic. CoRR (2018)
Nicolas Gast, Luca Bortolussi, Mirco Tribastone
Size Expansions of Mean Field Approximation: Transient and Steady-State Analysis. SIGMETRICS Perform. Evaluation Rev. 46 (3) (2018)
Luca Bortolussi, Guido Sanguinetti, Simone Silvetti
Bayesian Statistical parametric Verification and synthesis by Machine Learning. WSC (2018)
Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. QEST (2018)
Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. QEST (2018)
Luca Bortolussi, Simone Silvetti
Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models. TACAS (2) (2018)
Luca Bortolussi, Roberta Lanciani, Laura Nenzi
Model checking Markov population models by stochastic approximations. Inf. Comput. 262 (2018)
Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
Signal Convolution Logic. ATVA (2018)
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Log. Methods Comput. Sci. 14 (4) (2018)
Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. HSCC (2017)
Simone Silvetti, Laura Nenzi, Luca Bortolussi, Ezio Bartocci
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. CoRR (2017)

Luca Bortolussi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luca Bortolussi