Nicola Paoletti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
13
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | DRMD: Deep Reinforcement Learning for Malware Detection Under Concept Drift. | Shae McFadden, Myles Foley, Mario D'Onghia, Chris Hicks, Vasilios Mavroudis, Nicola Paoletti, Fabio Pierazzi |
| 2025 | IJCNN | Distilling Calibration via Conformalized Credal Inference. | Jiayi Huang, Sangwoo Park, Nicola Paoletti, Osvaldo Simeone |
| 2025 | RV | Conformal Predictive Monitoring for Multi-modal Scenarios. | Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti |
| 2023 | RV | Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. | Francesca Cairoli, Luca Bortolussi, Nicola Paoletti |
| 2022 | ISoLA | Neural Predictive Monitoring for Collective Adaptive Systems. | Francesca Cairoli, Nicola Paoletti, Luca Bortolussi |
| 2021 | IJCAI | On Guaranteed Optimal Robust Explanations for NLP Models. | Emanuele La Malfa, Rhiannon Michelmore, Agnieszka M. Zbrzezny, Nicola Paoletti, Marta Kwiatkowska |
| 2021 | UAI | Certification of iterative predictions in Bayesian neural networks. | Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska |
| 2021 | RV | Neural Predictive Monitoring Under Partial Observability. | Francesca Cairoli, Luca Bortolussi, Nicola Paoletti |
| 2020 | IJCAI | A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation. | Pallavi Bagga, Nicola Paoletti, Bedour Alrayes, Kostas Stathis |
| 2019 | IJCAI | Statistical Guarantees for the Robustness of Bayesian Neural Networks. | Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker |
| 2019 | RV | Neural Predictive Monitoring. | Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller |
| 2018 | ATVA | Neural State Classification for Hybrid Systems. | Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller |
| 2018 | SAC | Declarative vs rule-based control for flocking dynamics. | Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka |
| 2017 | CAV | Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. | Luca Cardelli, Milan Ceska, Martin Frnzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby |
| 2017 | ICSA | Designing Robust Software Systems through Parametric Markov Chain Synthesis. | Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti |
| 2017 | NDSS | Broken Hearted: How To Attack ECG Biometrics. | Simon Eberz, Nicola Paoletti, Marc Roeschlin, Andrea Patan, Marta Kwiatkowska, Ivan Martinovic |
| 2016 | TACAS | PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. | Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska |
| 2014 | CAV | Analyzing and Synthesizing Genomic Logic Functions. | Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler |
| 2014 | ISoLA | On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. | Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti |
| 2013 | SEFM | DISPAS: An Agent-Based Tool for the Management of Fishing Effort. | Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli |