Luca Bortolussi
Università degli Studi di Trieste
H-index: 32
Europe-Italy
Top articles of Luca Bortolussi
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures | Proceedings of the ACM on Programming Languages | Francesca Randone Luca Bortolussi Emilio Incerto Mirco Tribastone | 2024/1/5 |
On the robustness of bayesian neural networks to adversarial attacks | IEEE Transactions on Neural Networks and Learning Systems | Luca Bortolussi Ginevra Carbone Luca Laurenti Andrea Patane Guido Sanguinetti | 2024/4/22 |
Conformal quantitative predictive monitoring of stl requirements for stochastic processes | Francesca Cairoli Nicola Paoletti Luca Bortolussi | 2023/5/9 | |
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models | Luca Bortolussi Francesca Cairoli Francesco Giacomarra Davide Scassola | 2023/9/15 | |
MoonLight: a lightweight tool for monitoring spatio-temporal properties | International Journal on Software Tools for Technology Transfer | Laura Nenzi Ezio Bartocci Luca Bortolussi Simone Silvetti Michele Loreti | 2023/8 |
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae | arXiv preprint arXiv:2305.03143 | Gaia Saveri Luca Bortolussi | 2023/5/3 |
Generative abstraction of Markov population processes | Theoretical Computer Science | Francesca Cairoli Fabio Anselmi Alberto d'Onofrio Luca Bortolussi | 2023/10/25 |
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders | Luca Bortolussi Francesca Cairoli Julia Klein Tatjana Petrov | 2023/9/15 | |
Comparison of discrimination and calibration performance of ECG-based machine learning models for prediction of new-onset atrial fibrillation | BMC Medical Research Methodology | Giovanni Baj Ilaria Gandin Arjuna Scagnetto Luca Bortolussi Chiara Cappelletto | 2023/7/22 |
Machine learning approaches for ECG-based models: discrimination and calibration for atrial fibrillation prediction | Giovanni Baj Ilaria Gandin Arjuna Scagnetto Luca Bortolussi Chiara Cappelletto | 2023/2/16 | |
CARSO: Blending Adversarial Training and Purification Improves Adversarial Robustness | Emanuele Ballarin Luca Bortolussi | 2023/10/13 | |
CARSO: Counter-Adversarial Recall of Synthetic Observations | arXiv preprint arXiv:2306.06081 | Emanuele Ballarin Alessio Ansuini Luca Bortolussi | 2023/5/25 |
and Davide Scassola () Allab, University of Trieste, Trieste, Italy lbortolussi@ units. it 9 davide. scassola@ phd. units. it | Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings | Luca Bortolussi Francesca Cairoli Francesco Giacomarra | 2023/9/14 |
Robot Navigation in Crowded Environments: A Reinforcement Learning Approach | Machines | Matteo Caruso Enrico Regolin Federico Julian Camerota Verdù Stefano Alberto Russo Luca Bortolussi | 2023/2/10 |
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking | Luca Bortolussi Francesca Cairoli Ginevra Carbone Paolo Pulcini | 2023/10/1 | |
Relating implicit bias and adversarial attacks through intrinsic dimension | arXiv preprint arXiv:2305.15203 | Lorenzo Basile Nikos Karantzas Alberto d'Onofrio Luca Bortolussi Alex Rodriguez | 2023/5/24 |
Deep Learning Survival Model to Predict Atrial Fibrillation From ECGs and EHR Data | Giovanni Baj Arjuna Scagnetto Luca Bortolussi Giulia Barbati | 2023/9/5 | |
Machine Learning methods for the Atmosphere, the Ocean, and the Seabed | Valentina Blasone Umberto Di Laudo Gloria Pietropolli Luca Bortolussi Silvia Ceramicola | 2023 | |
Data symmetries and Learning in fully connected neural networks | IEEE Access | Fabio Anselmi Luca Manzoni Alberto D’onofrio Alex Rodriguez Giulio Caravagna | 2023/5/10 |
Learning-based approaches to predictive monitoring with conformal statistical guarantees | Francesca Cairoli Luca Bortolussi Nicola Paoletti | 2023/10/1 |