Nicola Paoletti

113 papers A* 8A 6B 7C 1Misc 1Journal 56Unranked 32

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	DRMD: Deep Reinforcement Learning for Malware Detection Under Concept Drift. AAAI Shae McFadden, Myles Foley, Mario D'Onghia, Chris Hicks, Vasilios Mavroudis, Nicola Paoletti, Fabio Pierazzi
2026	J	`jnl`	Verifiably robust conformal prediction for probabilistic guarantees under adversarial attacks. Pattern Recognit. Linus Jeary, Tom Kuipers, Mehran Hosseini, Nicola Paoletti
2025	J	`jnl`	Abstract Counterfactuals for Language Model Agents. CoRR Edoardo Pona, Milad Kazemi, Yali Du, David Watson, Nicola Paoletti
2025	J	`jnl`	Adaptive strategy templates using deep reinforcement learning for multi-issue bilateral negotiation. Neurocomputing Pallavi Bagga, Nicola Paoletti, Kostas Stathis
2025	J	`jnl`	An STREL-based Formulation of Spatial Resilience in Cyber-Physical Systems. CoRR Zeyu Zhang, Hongkai Chen, Nicola Paoletti, Shan Lin, Scott A. Smolka
2025	J	`jnl`	CONFEX: Uncertainty-Aware Counterfactual Explanations with Conformal Guarantees. CoRR Aman Bilkhoo, Mehran Hosseini, Milad Kazemi, Nicola Paoletti
2025	A	`conf`	Certified Guidance for Planning with Deep Generative Models. AAMAS Francesco Giacomarra, Mehran Hosseini, Nicola Paoletti, Francesca Cairoli
2025	J	`jnl`	Certified Guidance for Planning with Deep Generative Models. CoRR Francesco Giacomarra, Mehran Hosseini, Nicola Paoletti, Francesca Cairoli
2025	J	`jnl`	Conformal Predictive Monitoring for Multi-Modal Scenarios. CoRR Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti
2025	B	`conf`	Conformal Predictive Monitoring for Multi-modal Scenarios. RV Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti
2025	—	`conf`	Counterfactual Influence in Markov Decision Processes. CLeaR Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti
2025	J	`jnl`	DRMD: Deep Reinforcement Learning for Malware Detection under Concept Drift. CoRR Shae McFadden, Myles Foley, Mario D'Onghia, Chris Hicks, Vasilios Mavroudis, Nicola Paoletti, Fabio Pierazzi
2025	B	`conf`	Distilling Calibration via Conformalized Credal Inference. IJCNN Jiayi Huang, Sangwoo Park, Nicola Paoletti, Osvaldo Simeone
2025	J	`jnl`	Distilling Calibration via Conformalized Credal Inference. CoRR Jiayi Huang, Sangwoo Park, Nicola Paoletti, Osvaldo Simeone
2025	A	`conf`	LTL Verification of Memoryful Neural Agents. AAMAS Mehran Hosseini, Alessio Lomuscio, Nicola Paoletti
2025	J	`jnl`	LTL Verification of Memoryful Neural Agents. CoRR Mehran Hosseini, Alessio Lomuscio, Nicola Paoletti
2025	J	`jnl`	Physics-Informed Neural Operators for Cardiac Electrophysiology. CoRR Hannah Lydon, Milad Kazemi, Martin Bishop, Nicola Paoletti
2025	J	`jnl`	Reliable Inference in Edge-Cloud Model Cascades via Conformal Alignment. CoRR Jiayi Huang, Sangwoo Park, Nicola Paoletti, Osvaldo Simeone
2025	J	`jnl`	Robust Counterfactual Inference in Markov Decision Processes. CoRR Jessica Lally, Milad Kazemi, Nicola Paoletti
2025	J	`jnl`	SimICD: A Closed-Loop Simulation Framework For ICD Therapy. CoRR Hannah Lydon, Milad Kazemi, Martin Bishop, Nicola Paoletti
2024	A*	`conf`	Biosignal Authentication Considered Harmful Today. USENIX Security Symposium Veena Krish, Nicola Paoletti, Milad Kazemi, Scott A. Smolka, Amir Rahmati
2024	—	`conf`	Conformal Off-Policy Prediction for Multi-Agent Systems. CDC Tom Kuipers, Renukanandan Tumu, Shuo Yang, Milad Kazemi, Rahul Mangharam, Nicola Paoletti
2024	J	`jnl`	Conformal Off-Policy Prediction for Multi-Agent Systems. CoRR Tom Kuipers, Renukanandan Tumu, Shuo Yang, Milad Kazemi, Rahul Mangharam, Nicola Paoletti
2024	J	`jnl`	Counterfactual Influence in Markov Decision Processes. CoRR Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti
2024	J	`jnl`	Probabilistic reach-avoid for Bayesian neural networks. Artif. Intell. Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2024	A*	`conf`	Verifiably Robust Conformal Prediction. NeurIPS Linus Jeary, Tom Kuipers, Mehran Hosseini, Nicola Paoletti
2024	J	`jnl`	Verifiably Robust Conformal Prediction. CoRR Linus Jeary, Tom Kuipers, Mehran Hosseini, Nicola Paoletti
2023	—	`conf`	An STL-based Approach to Resilient Control for Cyber-Physical Systems. HSCC Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin
2023	—	`conf`	Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. HSCC Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
2023	J	`jnl`	How to ensure safety of learning-enabled cyber-physical systems? Res. Dir. Cyber Phys. Syst. Nicola Paoletti, Jim Woodcock
2023	B	`conf`	Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. RV Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
2023	J	`jnl`	Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. CoRR Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
2023	J	`jnl`	Probabilistic Reach-Avoid for Bayesian Neural Networks. CoRR Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2023	J	`jnl`	Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs. IEEE Access Veena Krish, Nicola Paoletti, Scott A. Smolka, Amir Rahmati
2022	—	`conf`	An STL-Based Formulation of Resilience in Cyber-Physical Systems. FORMATS Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti
2022	J	`jnl`	An STL-based Approach to Resilient Control for Cyber-Physical Systems. CoRR Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin
2022	J	`jnl`	An STL-based Formulation of Resilience in Cyber-Physical Systems. CoRR Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti
2022	J	`jnl`	Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. CoRR Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
2022	A	`conf`	Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation. AAMAS Pallavi Bagga, Nicola Paoletti, Kostas Stathis
2022	J	`jnl`	Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation. CoRR Pallavi Bagga, Nicola Paoletti, Kostas Stathis
2022	—	`conf`	Neural Predictive Monitoring for Collective Adaptive Systems. ISoLA (3) Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
2022	J	`jnl`	Towards Causal Temporal Reasoning for Markov Decision Processes. CoRR Milad Kazemi, Nicola Paoletti
2021	J	`jnl`	ANEGMA: an automated negotiation model for e-markets. Auton. Agents Multi Agent Syst. Pallavi Bagga, Nicola Paoletti, Bedour Alrayes, Kostas Stathis
2021	J	`jnl`	Certification of Iterative Predictions in Bayesian Neural Networks. CoRR Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2021	A	`conf`	Certification of iterative predictions in Bayesian neural networks. UAI Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2021	—	`conf`	MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas. CDC Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin
2021	B	`conf`	Neural Predictive Monitoring Under Partial Observability. RV Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
2021	J	`jnl`	Neural Predictive Monitoring under Partial Observability. CoRR Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
2021	J	`jnl`	Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transf. Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2021	A*	`conf`	On Guaranteed Optimal Robust Explanations for NLP Models. IJCAI Emanuele La Malfa, Rhiannon Michelmore, Agnieszka M. Zbrzezny, Nicola Paoletti, Marta Kwiatkowska
2021	J	`jnl`	On Guaranteed Optimal Robust Explanations for NLP Models. CoRR Emanuele La Malfa, Agnieszka Zbrzezny, Rhiannon Michelmore, Nicola Paoletti, Marta Kwiatkowska
2021	B	`conf`	Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty. FUZZ-IEEE Pallavi Bagga, Nicola Paoletti, Kostas Stathis
2020	A*	`conf`	A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation. IJCAI Pallavi Bagga, Nicola Paoletti, Bedour Alrayes, Kostas Stathis
2020	J	`jnl`	A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation. CoRR Pallavi Bagga, Nicola Paoletti, Bedour Alrayes, Kostas Stathis
2020	J	`jnl`	Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2020	—	`conf`	Bayesian Neural Predictive Monitoring. OVERLAY Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2020	J	`jnl`	Data-Driven Robust Control for a Closed-Loop Artificial Pancreas. IEEE ACM Trans. Comput. Biol. Bioinform. Nicola Paoletti, Kin Sum Liu, Hongkai Chen, Scott A. Smolka, Shan Lin
2020	J	`jnl`	Learnable Strategies for Bilateral Agent Negotiation over Multiple Issues. CoRR Pallavi Bagga, Nicola Paoletti, Kostas Stathis
2020	J	`jnl`	MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas. CoRR Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin
2020	—	`conf`	Neural Simplex Architecture. NFM Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2019	J	`jnl`	Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. CoRR Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2019	C	`conf`	Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes. ACC Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin
2019	—	`conf`	Conformal Predictions for Hybrid System State Classification. From Reactive Systems to Cyber-Physical Systems Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller
2019	—	`ed.`	Hybrid Systems Biology - 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers HSB Milan Ceska, Nicola Paoletti
2019	B	`conf`	Neural Predictive Monitoring. RV Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2019	J	`jnl`	Neural Simplex Architecture. CoRR Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller
2019	—	`conf`	Neural state classification for hybrid systems. SNR Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2019	A*	`conf`	Statistical Guarantees for the Robustness of Bayesian Neural Networks. IJCAI Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
2019	J	`jnl`	Statistical Guarantees for the Robustness of Bayesian Neural Networks. CoRR Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
2019	—	`conf`	Synthesizing stealthy reprogramming attacks on cardiac devices. ICCPS Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
2018	J	`jnl`	Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers. ACM Trans. Cyber Phys. Syst. Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska
2018	Misc	`conf`	Declarative vs rule-based control for flocking dynamics. SAC Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2018	J	`jnl`	Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2018	J	`jnl`	Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. J. Syst. Softw. Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2018	J	`jnl`	Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016). IEEE ACM Trans. Comput. Biol. Bioinform. Ezio Bartocci, Pietro Liò, Nicola Paoletti
2018	B	`conf`	Neural State Classification for Hybrid Systems. ATVA Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2018	J	`jnl`	Neural State Classification for Hybrid Systems. CoRR Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2018	J	`jnl`	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. CoRR Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
2017	J	`jnl`	Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. CoRR Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2017	A*	`conf`	Broken Hearted: How To Attack ECG Biometrics. NDSS Simon Eberz, Nicola Paoletti, Marc Roeschlin, Andrea Patané, Marta Kwiatkowska, Ivan Martinovic
2017	—	`conf`	Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. CMSB Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin
2017	J	`jnl`	Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. CoRR Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin
2017	J	`jnl`	Declarative vs Rule-based Control for Flocking Dynamics. CoRR Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2017	A	`conf`	Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2017	J	`jnl`	How to Learn a Model Checker. CoRR Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2017	—	`conf`	Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. EUROCAST (2) Milan Ceska Jr., Milan Ceska, Nicola Paoletti
2017	J	`jnl`	Precise parameter synthesis for stochastic biochemical systems. Acta Informatica Milan Ceska, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim
2017	—	`conf`	RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2017	—	`conf`	SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2017	—	`conf`	Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby
2016	J	`jnl`	Adaptability checking in complex systems. Sci. Comput. Program. Emanuela Merelli, Nicola Paoletti, Luca Tesei
2016	—	`conf`	Building Power Consumption Models from Executable Timed I/O Automata Specifications. HSCC Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
2016	—	`ed.`	Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings CMSB Ezio Bartocci, Pietro Liò, Nicola Paoletti
2016	—	`conf`	CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka
2016	A	`conf`	PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. TACAS Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska
2015	—	`conf`	Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. CMSB Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
2015	—	`conf`	Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. EMBC Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
2015	—	`conf`	Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. HSB Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
2014	J	`jnl`	Adaptability Checking in Multi-Level Complex Systems. CoRR Emanuela Merelli, Nicola Paoletti, Luca Tesei
2014	A*	`conf`	Analyzing and Synthesizing Genomic Logic Functions. CAV Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
2014	—	`conf`	Formal Modelling and Validation of Rate-Adaptive Pacemakers. ICHI Marta Z. Kwiatkowska, Harriet Lea-Banks, Alexandru Mereacre, Nicola Paoletti
2014	—	`conf`	On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. ISoLA (2) Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
2014	—	`conf`	Precise Parameter Synthesis for Stochastic Biochemical Systems. CMSB Milan Ceska, Frits Dannenberg, Marta Z. Kwiatkowska, Nicola Paoletti
2013	—	`conf`	DISPAS: An Agent-Based Tool for the Management of Fishing Effort. SEFM Workshops Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli
2012	—	`conf`	A multi-level model for self-adaptive systems FOCLASA Emanuela Merelli, Nicola Paoletti, Luca Tesei
2012	—	`conf`	Disease processes as hybrid dynamical systems HSB Pietro Liò, Emanuela Merelli, Nicola Paoletti
2012	J	`jnl`	Modelling osteomyelitis. BMC Bioinform. Pietro Liò, Nicola Paoletti, Mohammad Ali Moni, Kathryn Atwell, Emanuela Merelli, Marco Viceconti
2012	J	`jnl`	Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling. IEEE ACM Trans. Comput. Biol. Bioinform. Nicola Paoletti, Pietro Liò, Emanuela Merelli, Marco Viceconti
2012	J	`jnl`	Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study. Trans. Comp. Sys. Biology Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti
2011	—	`conf`	A Combined Process Algebraic and Stochastic Approach to Bone Remodeling. CS2Bio@DisCoTec Pietro Liò, Emanuela Merelli, Nicola Paoletti, Marco Viceconti
2011	—	`conf`	Methodological Bridges for Multi-Level Systems. FET Emanuela Merelli, Nicola Paoletti, Pietro Liò
2011	—	`conf`	Multiple verification in computational modeling of bone pathologies CompMod Pietro Liò, Emanuela Merelli, Nicola Paoletti
2011	—	`conf`	Osteoporosis: a multiscale modeling viewpoint. CMSB Nicola Paoletti, Pietro Liò, Emanuela Merelli, Marco Viceconti