Nicola Paoletti

Neurocomputing, 2025

2024

Verifiably Robust Conformal Prediction.

[BibT_eX]

[DOI]

CoRR, 2024

Conformal Off-Policy Prediction for Multi-Agent Systems.

[BibT_eX]

[DOI]

CoRR, 2024

Counterfactual Influence in Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2024

Probabilistic reach-avoid for Bayesian neural networks.

[BibT_eX]

[DOI]

Artif. Intell., 2024

Biosignal Authentication Considered Harmful Today.

[BibT_eX]

[DOI]

Proceedings of the 33rd USENIX Security Symposium, 2024

2023

Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs.

[BibT_eX]

[DOI]

IEEE Access, 2023

Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 23rd International Conference, 2023

An STL-based Approach to Resilient Control for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2022

Towards Causal Temporal Reasoning for Markov Decision Processes.

[BibT_eX]

[DOI]

Milad Kazemi

CoRR, 2022

Neural Predictive Monitoring for Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

An STL-Based Formulation of Resilience in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Neural predictive monitoring and a comparison of frequentist and Bayesian approaches.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2021

ANEGMA: an automated negotiation model for e-markets.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2021

Certification of iterative predictions in Bayesian neural networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

Neural Predictive Monitoring Under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 21st International Conference, 2021

On Guaranteed Optimal Robust Explanations for NLP Models.

[BibT_eX]

[DOI]

Emanuele La Malfa

Rhiannon Michelmore

Agnieszka M. Zbrzezny

Marta Kwiatkowska

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Fuzzy Systems, 2021

MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Data-Driven Robust Control for a Closed-Loop Artificial Pancreas.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2020

Learnable Strategies for Bilateral Agent Negotiation over Multiple Issues.

[BibT_eX]

[DOI]

CoRR, 2020

MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas.

[BibT_eX]

[DOI]

CoRR, 2020

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Access, 2020

Bayesian Neural Predictive Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Neural Simplex Architecture.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

Neural state classification for hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

Neural Predictive Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 19th International Conference, 2019

Statistical Guarantees for the Robustness of Bayesian Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Synthesizing stealthy reprogramming attacks on cardiac devices.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Conformal Predictions for Hybrid System State Classification.

[BibT_eX]

[DOI]

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

2018

Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers.

[BibT_eX]

[DOI]

Andrea Patanè

Marta Kwiatkowska

ACM Trans. Cyber Phys. Syst., 2018

Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016).

[BibT_eX]

[DOI]

Ezio Bartocci

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158].

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Efficient synthesis of robust models for stochastic systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Declarative vs rule-based control for flocking dynamics.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

How to Learn a Model Checker.

[BibT_eX]

[DOI]

CoRR, 2017

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Precise parameter synthesis for stochastic biochemical systems.

[BibT_eX]

[DOI]

Acta Informatica, 2017

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Broken Hearted: How To Attack ECG Biometrics.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

Designing Robust Software Systems through Parametric Markov Chain Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2017

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters.

[BibT_eX]

[DOI]

Milan Ceska Jr.

Milan Ceska

Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2017

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Adaptability checking in complex systems.

[BibT_eX]

[DOI]

Luca Tesei

Sci. Comput. Program., 2016

PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Building Power Consumption Models from Executable Timed I/O Automata Specifications.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2015

2014

Adaptability Checking in Multi-Level Complex Systems.

[BibT_eX]

[DOI]

Luca Tesei

CoRR, 2014

On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers.

[BibT_eX]

[DOI]

Marta Z. Kwiatkowska

Alexandru Mereacre

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Formal Modelling and Validation of Rate-Adaptive Pacemakers.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

Precise Parameter Synthesis for Stochastic Biochemical Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2014

Analyzing and Synthesizing Genomic Logic Functions.

[BibT_eX]

[DOI]

Christoph M. Wintersteiger

Boyan Yordanov

Youssef Hamadi

Hillel Kugler

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

DISPAS: An Agent-Based Tool for the Management of Fishing Effort.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2013

2012

Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2012

Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2012

A multi-level model for self-adaptive systems

[BibT_eX]

[DOI]

Luca Tesei

Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

Disease processes as hybrid dynamical systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

Modelling osteomyelitis.

[BibT_eX]

[DOI]

BMC Bioinform., 2012

2011

Methodological Bridges for Multi-Level Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

A Combined Process Algebraic and Stochastic Approach to Bone Remodeling.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Interactions between Computer Science and Biology, 2011

Multiple verification in computational modeling of bone pathologies

[BibT_eX]

[DOI]