Ginevra Carbone

20 papers A* 2B 3Journal 10Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	On the Robustness of Bayesian Neural Networks to Adversarial Attacks. IEEE Trans. Neural Networks Learn. Syst. Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker
2025	A*	`conf`	Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints. AAAI Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi
2023	J	`jnl`	Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints. CoRR Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi
2023	—	`—`	Robustness and Interpretability of Neural Networks' Predictions under Adversarial Attacks. Ginevra Carbone
2023	B	`conf`	Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. RV Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
2022	J	`jnl`	On the Robustness of Bayesian Neural Networks to Adversarial Attacks. CoRR Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker
2022	B	`conf`	Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. IJCNN Ginevra Carbone, Luca Bortolussi, Guido Sanguinetti
2022	J	`jnl`	Stochastic Variational Smoothed Model Checking. CoRR Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
2021	—	`conf`	Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CMSB Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
2021	J	`jnl`	Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CoRR Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
2021	—	`conf`	Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. ADHS Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin
2021	B	`conf`	Random Projections for Improved Adversarial Robustness. IJCNN Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi
2021	J	`jnl`	Random Projections for Improved Adversarial Robustness. CoRR Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi
2021	J	`jnl`	Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. CoRR Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi
2020	—	`conf`	Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. OVERLAY Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina
2020	J	`jnl`	Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. CoRR Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina
2020	—	`conf`	ETC-NLG: End-to-end Topic-Conditioned Natural Language Generation. NL4AI@AI*IA Ginevra Carbone, Gabriele Sarti
2020	J	`jnl`	ETC-NLG: End-to-end Topic-Conditioned Natural Language Generation. CoRR Ginevra Carbone, Gabriele Sarti
2020	A*	`conf`	Robustness of Bayesian Neural Networks to Gradient-Based Attacks. NeurIPS Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patané, Luca Bortolussi, Guido Sanguinetti
2020	J	`jnl`	Robustness of Bayesian Neural Networks to Gradient-Based Attacks. CoRR Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane, Luca Bortolussi, Guido Sanguinetti