Ginevra Carbone

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 17

Top Topics

Malicious Attacks

Bayesian Decision

Natural Language Generation

Countermeasures

Top Venues

Publications

Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi
Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints. CoRR (2023)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. RV (2023)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
Stochastic Variational Smoothed Model Checking. CoRR (2022)
Ginevra Carbone, Luca Bortolussi, Guido Sanguinetti
Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. IJCNN (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)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. ADHS (2021)
Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CoRR (2021)
Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi
Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. CoRR (2021)
Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi
Random Projections for Improved Adversarial Robustness. IJCNN (2021)
Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CMSB (2021)
Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi
Random Projections for Improved Adversarial Robustness. CoRR (2021)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. CoRR (2020)
Ginevra Carbone, Gabriele Sarti
ETC-NLG: End-to-end Topic-Conditioned Natural Language Generation. CoRR (2020)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. OVERLAY (2020)
Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane, Luca Bortolussi, Guido Sanguinetti
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. CoRR (2020)
Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patané, Luca Bortolussi, Guido Sanguinetti
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. NeurIPS (2020)
Ginevra Carbone, Gabriele Sarti
ETC-NLG: End-to-end Topic-Conditioned Natural Language Generation. NL4AI@AI*IA (2020)