Andrea Patane

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 30

Top Topics

Gaussian Process

Top Venues

IEEE Symposium on Security and Privacy

Publications

Eduardo Figueiredo, Andrea Patane, Morteza Lahijanian, Luca Laurenti
Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification. CoRR (2024)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Probabilistic reach-avoid for Bayesian neural networks. Artif. Intell. 334 (2024)
Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. ICML (2023)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Probabilistic Reach-Avoid for Bayesian Neural Networks. CoRR (2023)
Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. CoRR (2023)
Alice Doherty, Matthew Wicker, Luca Laurenti, Andrea Patane
Individual Fairness in Bayesian Neural Networks. CoRR (2023)
Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska
Adversarial Robustness Certification for Bayesian Neural Networks. CoRR (2023)
Shadi Ghiasi, Andrea Patane, Luca Laurenti, Claudio Gentili, Enzo Pasquale Scilingo, Alberto Greco, Marta Kwiatkowska
Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States. IEEE J. Biomed. Health Informatics 27 (8) (2023)
Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska
Adversarial Robustness Guarantees for Gaussian Processes. J. Mach. Learn. Res. 23 (2022)
Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska
Individual Fairness Guarantees for Neural Networks. CoRR (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)
Matthew Wicker, Luca Laurenti, Andrea Patane, Zhoutong Chen, Zheng Zhang, Marta Kwiatkowska
Bayesian Inference with Certifiable Adversarial Robustness. CoRR (2021)
Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska
Bayesian Inference with Certifiable Adversarial Robustness. AISTATS (2021)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Certification of Iterative Predictions in Bayesian Neural Networks. CoRR (2021)
Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen J. Roberts, Marta Kwiatkowska
Adversarial Robustness Guarantees for Gaussian Processes. CoRR (2021)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Certification of iterative predictions in Bayesian neural networks. UAI (2021)
Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska
Probabilistic Safety for Bayesian Neural Networks. 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)
Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts
Adversarial Robustness Guarantees for Classification with Gaussian Processes. AISTATS (2020)
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts
Safety Guarantees for Iterative Predictions with Gaussian Processes. CDC (2020)
Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska
Probabilistic Safety for Bayesian Neural Networks. UAI (2020)
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts
Safety Guarantees for Planning Based on Iterative Gaussian Processes. CoRR (2019)
Arno Blaas, Luca Laurenti, Andrea Patane, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts
Robustness Quantification for Classification with Gaussian Processes. CoRR (2019)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
Statistical Guarantees for the Robustness of Bayesian Neural Networks. IJCAI (2019)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane
Robustness Guarantees for Bayesian Inference with Gaussian Processes. AAAI (2019)
Stefano Rosa, Andrea Patane, Chris Xiaoxuan Lu, Niki Trigoni
Semantic Place Understanding for Human-Robot Coexistence - Toward Intelligent Workplaces. IEEE Trans. Hum. Mach. Syst. 49 (2) (2019)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
Statistical Guarantees for the Robustness of Bayesian Neural Networks. CoRR (2019)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane
Robustness Guarantees for Bayesian Inference with Gaussian Processes. CoRR (2018)
Andrea Patane, Shadi Ghiasi, Enzo Pasquale Scilingo, Marta Kwiatkowska
Automated Recognition of Sleep Arousal Using Multimodal and Personalized Deep Ensembles of Neural Networks. CinC (2018)
Simon Eberz, Giulio Lovisotto, Andrea Patane, Marta Kwiatkowska, Vincent Lenders, Ivan Martinovic
When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts. IEEE Symposium on Security and Privacy (2018)
Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. EMBC (2015)
Andrea Patane, Andrea Santoro, Jole Costanza, Giovanni Carapezza, Giuseppe Nicosia
Pareto Optimal Design for Synthetic Biology. IEEE Trans. Biomed. Circuits Syst. 9 (4) (2015)
Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. HSB (2015)