Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. - Chris Barker; Marta Z. Kwiatkowska; Alexandru Mereacre; Nicola Paoletti; Andrea Patane (EMBC, 2015)

Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. - Marta Z. Kwiatkowska; Alexandru Mereacre; Nicola Paoletti; Andrea Patane (HSB, 2015)

Pareto Optimal Design for Synthetic Biology. - Andrea Patane; Andrea Santoro; Jole Costanza; Giovanni Carapezza; Giuseppe Nicosia (IEEE Trans. Biomed. Circuits Syst., 2015)

Metabolic Circuit Design Automation by Multi-objective BioCAD. - Andrea Patané; Piero Conca; Giovanni Carapezza; Andrea Santoro; Jole Costanza; Giuseppe Nicosia (MOD, 2016)

Broken Hearted: How To Attack ECG Biometrics. - Simon Eberz; Nicola Paoletti; Marc Roeschlin; Andrea Patané; Marta Kwiatkowska; Ivan Martinovic (NDSS, 2017)

Multi-objective optimization and analysis for the design space exploration of analog circuits and solar cells. - Andrea Patanè; Andrea Santoro; Piero Conca; Giovanni Carapezza; Antonino La Magna; Vittorio Romano; Giuseppe Nicosia (Eng. Appl. Artif. Intell., 2017)

Automated Recognition of Sleep Arousal Using Multimodal and Personalized Deep Ensembles of Neural Networks. - Andrea Patane; Shadi Ghiasi; Enzo Pasquale Scilingo; Marta Kwiatkowska (CinC, 2018)

CommonSense: Collaborative learning of scene semantics by robots and humans. - Stefano Rosa; Andrea Patanè; Xiaoxuan Lu 001; Niki Trigoni (IoPARTS@MobiSys, 2018)

Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG. - Andrea Patanè; Marta Kwiatkowska (LOD, 2018)

When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts. - Simon Eberz; Giulio Lovisotto; Andrea Patane; Marta Kwiatkowska; Vincent Lenders; Ivan Martinovic (IEEE Symposium on Security and Privacy, 2018)

Enhancing quantum efficiency of thin-film silicon solar cells by Pareto optimality. - Andrea Patanè; Andrea Santoro; Vittorio Romano; Antonino La Magna; Giuseppe Nicosia (J. Glob. Optim., 2018)

Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers. - Nicola Paoletti; Andrea Patanè; Marta Kwiatkowska (ACM Trans. Cyber Phys. Syst., 2018)

Robustness Guarantees for Bayesian Inference with Gaussian Processes. - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Andrea Patane (AAAI, 2019)

Statistical Guarantees for the Robustness of Bayesian Neural Networks. - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Nicola Paoletti; Andrea Patane; Matthew Wicker (IJCAI, 2019)

Multi-objective optimization of genome-scale metabolic models: the case of ethanol production. - Andrea Patané; Giorgio Jansen; Piero Conca; Giovanni Carapezza; Jole Costanza; Giuseppe Nicosia (Ann. Oper. Res., 2019)

Robustness Quantification for Classification with Gaussian Processes. - Arno Blaas; Luca Laurenti; Andrea Patane; Luca Cardelli; Marta Kwiatkowska; Stephen J. Roberts (CoRR, 2019)

Safety Guarantees for Planning Based on Iterative Gaussian Processes. - Kyriakos Polymenakos; Luca Laurenti; Andrea Patane; Jan-Peter Calliess; Luca Cardelli; Marta Kwiatkowska; Alessandro Abate; Stephen J. Roberts (CoRR, 2019)

Semantic Place Understanding for Human-Robot Coexistence - Toward Intelligent Workplaces. - Stefano Rosa; Andrea Patane; Chris Xiaoxuan Lu; Niki Trigoni (IEEE Trans. Hum. Mach. Syst., 2019)

Adversarial Robustness Guarantees for Classification with Gaussian Processes. - Arno Blaas; Andrea Patane; Luca Laurenti; Luca Cardelli; Marta Kwiatkowska; Stephen J. Roberts (AISTATS, 2020)

Safety Guarantees for Iterative Predictions with Gaussian Processes. - Kyriakos Polymenakos; Luca Laurenti; Andrea Patane; Jan-Peter Calliess; Luca Cardelli; Marta Kwiatkowska; Alessandro Abate; Stephen J. Roberts (CDC, 2020)

Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition. - Shadi Ghiasi; Andrea Patanè; Alberto Greco 001; Luca Laurenti; Enzo Pasquale Scilingo; Marta Z. Kwiatkowska (EMBC, 2020)

Robustness of Bayesian Neural Networks to Gradient-Based Attacks. - Ginevra Carbone; Matthew Wicker; Luca Laurenti; Andrea Patané; Luca Bortolussi; Guido Sanguinetti (NeurIPS, 2020)

Probabilistic Safety for Bayesian Neural Networks. - Matthew Wicker; Luca Laurenti; Andrea Patane; Marta Kwiatkowska (UAI, 2020)

Bayesian Inference with Certifiable Adversarial Robustness. - Matthew Wicker; Luca Laurenti; Andrea Patane; Zhuotong Chen; Zheng Zhang; Marta Kwiatkowska (AISTATS, 2021)

Certification of iterative predictions in Bayesian neural networks. - Matthew Wicker; Luca Laurenti; Andrea Patane; Nicola Paoletti; Alessandro Abate; Marta Kwiatkowska (UAI, 2021)

Individual Fairness Guarantees for Neural Networks. - Elias Benussi; Andrea Patanè; Matthew Wicker; Luca Laurenti; Marta Kwiatkowska (IJCAI, 2022)

Adversarial Robustness Guarantees for Gaussian Processes. - Andrea Patane; Arno Blaas; Luca Laurenti; Luca Cardelli; Stephen Roberts 001; Marta Kwiatkowska (J. Mach. Learn. Res., 2022)

BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. - Steven Adams; Andrea Patane; Morteza Lahijanian; Luca Laurenti (ICML, 2023)

Individual Fairness in Bayesian Neural Networks. - Alice Doherty; Matthew Wicker; Luca Laurenti; Andrea Patane (CoRR, 2023)

Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States. - Shadi Ghiasi; Andrea Patane; Luca Laurenti; Claudio Gentili; Enzo Pasquale Scilingo; Alberto Greco 001; Marta Kwiatkowska (IEEE J. Biomed. Health Informatics, 2023)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification. - Eduardo Figueiredo 002; Andrea Patane; Morteza Lahijanian; Luca Laurenti (CDC, 2024)

Adversarial Robustness Certification for Bayesian Neural Networks. - Matthew Wicker; Andrea Patane; Luca Laurenti; Marta Kwiatkowska (FM (1), 2024)

Individual Fairness in Generative Text Models. - Brian Whelan; Andrea Patane (LOD (1), 2024)

Probabilistic reach-avoid for Bayesian neural networks. - Matthew Wicker; Luca Laurenti; Andrea Patane; Nicola Paoletti; Alessandro Abate; Marta Kwiatkowska (Artif. Intell., 2024)

Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection. - Steven Adams; Andrea Patanè; Morteza Lahijanian; Luca Laurenti (CoRR, 2024)

Certifiably Quantisation-Robust training and inference of Neural Networks. - Hue Dang; Matthew Wicker; Goetz Botterweck; Andrea Patane (AISTATS, 2025)

Stochastic Weight Sharing for Bayesian Neural Networks. - Moule Lin; Shuhao Guan; Weipeng Jing 001; Goetz Botterweck; Andrea Patane (AISTATS, 2025)

On the Robustness of Bayesian Neural Networks to Adversarial Attacks. - Luca Bortolussi; Ginevra Carbone; Luca Laurenti; Andrea Patane; Guido Sanguinetti; Matthew Wicker (IEEE Trans. Neural Networks Learn. Syst., 2025)