| 2026 | AAAI | Graph-Conditional Flow Matching for Relational Data Generation. | Davide Scassola, Sebastiano Saccani, Luca Bortolussi |
| 2026 | TACAS | DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling. | Francesca Randone, Romina Doz, Mirco Tribastone, Luca Bortolussi |
| 2025 | AAAI | Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints. | Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi |
| 2025 | AAAI | Scaling Combinatorial Optimization Neural Improvement Heuristics with Online Search and Adaptation. | Federico Julian Camerota Verd, Lorenzo Castelli, Luca Bortolussi |
| 2025 | DATE | Effective Analog ICs Floorplanning with Relational Graph Neural Networks and Reinforcement Learning. | Davide Basso, Luca Bortolussi, Mirjana S. Videnovic-Misic, Husni Habal |
| 2025 | GECCO | Evolutionary Synthesis of Probabilistic Programs. | Romina Doz, Francesca Randone, Eric Medvet, Luca Bortolussi |
| 2025 | ICLR | Intrinsic Dimension Correlation: uncovering nonlinear connections in multimodal representations. | Lorenzo Basile, Santiago Acevedo, Luca Bortolussi, Fabio Anselmi, Alex Rodriguez |
| 2025 | IJCNN | Frequency maps reveal the correlation between Adversarial Attacks and Implicit Bias. | Lorenzo Basile, Nikos Karantzas, Alberto d'Onofrio, Luca Manzoni, Luca Bortolussi, Alex Rodriguez, Fabio Anselmi |
| 2025 | RV | Conformal Predictive Monitoring for Multi-modal Scenarios. | Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti |
| 2025 | RV | CoCAI: Copula-Based Conformal Anomaly Identification for Multivariate Time-Series. | Nicholas Andrea Pearson, Francesca Zanello, Davide Russo, Luca Bortolussi, Francesca Cairoli |
| 2024 | ECAI | stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. | Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretnsk |
| 2024 | ISoLA | Is Machine Learning Model Checking Privacy Preserving? | Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti |
| 2024 | ISoLA | Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems. | Francesca Randone, Romina Doz, Francesca Cairoli, Luca Bortolussi |
| 2024 | NeSy | ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series. | Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi |
| 2023 | EPIA | Deep Learning Survival Model to Predict Atrial Fibrillation From ECGs and EHR Data. | Giovanni Baj, Arjuna Scagnetto, Luca Bortolussi, Giulia Barbati |
| 2023 | NeSy | Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. | Gaia Saveri, Luca Bortolussi |
| 2023 | RV | Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. | Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini |
| 2023 | RV | Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. | Francesca Cairoli, Luca Bortolussi, Nicola Paoletti |
| 2022 | IJCNN | Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. | Ginevra Carbone, Luca Bortolussi, Guido Sanguinetti |
| 2022 | ISoLA | Neural Predictive Monitoring for Collective Adaptive Systems. | Francesca Cairoli, Nicola Paoletti, Luca Bortolussi |
| 2022 | TACAS | Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. | Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretnsk, Laura Nenzi |
| 2021 | IJCNN | Random Projections for Improved Adversarial Robustness. | Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi |
| 2021 | SIGMETRICS | Refining Mean-field Approximations by Dynamic State Truncation. | Francesca Randone, Luca Bortolussi, Mirco Tribastone |
| 2021 | RV | Neural Predictive Monitoring Under Partial Observability. | Francesca Cairoli, Luca Bortolussi, Nicola Paoletti |
| 2021 | TACAS | Analysis of Markov Jump Processes under Terminal Constraints. | Michael Backenkhler, Luca Bortolussi, Gerrit Gromann, Verena Wolf |
| 2020 | RV | MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti |
| 2020 | RV | Monitoring Spatio-Temporal Properties (Invited Tutorial). | Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti |
| 2019 | Middleware | Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents. | Luca Bortolussi, Vincenzo Gulisano, Eric Medvet, Dimitrios Palyvos-Giannas |
| 2019 | RV | Neural Predictive Monitoring. | Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller |
| 2018 | ATVA | Signal Convolution Logic. | Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi |
| 2018 | WSC | Bayesian Statistical parametric Verification and synthesis by Machine Learning. | Luca Bortolussi, Guido Sanguinetti, Simone Silvetti |
| 2018 | TACAS | Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models. | Luca Bortolussi, Simone Silvetti |
| 2017 | IFM | An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. | Simone Silvetti, Alberto Policriti, Luca Bortolussi |
| 2017 | MEMOCODE | Monitoring mobile and spatially distributed cyber-physical systems. | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi |
| 2016 | DSN | Mean Field Approximation of Uncertain Stochastic Models. | Luca Bortolussi, Nicolas Gast |
| 2015 | RV | Machine Learning Methods in Statistical Model Checking and System Design - Tutorial. | Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti |
| 2015 | RV | Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. | Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink |
| 2014 | ISoLA | Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. | Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi |
| 2013 | Coordination | Stochastic Process Algebra and Stability Analysis of Collective Systems. | Luca Bortolussi, Diego Latella, Mieke Massink |
| 2012 | CONCUR | Fluid Model Checking. | Luca Bortolussi, Jane Hillston |
| 2012 | SIGMETRICS | Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion. | Benny Van Houdt, Luca Bortolussi |
| 2010 | ICLP | Perspectives on Constraints, Process Algebras, and Hybrid Systems. | Luca Bortolussi, Alberto Policriti |
| 2009 | CiE | Stochastic Programs and Hybrid Automata for (Biological) Modeling. | Luca Bortolussi, Alberto Policriti |
| 2009 | CONCUR | HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. | Vashti Galpin, Luca Bortolussi, Jane Hillston |
| 2005 | ICLP | Concurrent Methodologies for Global Optimization. | Luca Bortolussi |
| 2005 | ICLP | A Distributed and Probabilistic Concurrent Constraint Programming Language. | Luca Bortolussi, Herbert Wiklicky |