Nicola Paoletti

Available identifiers

zbMath Open paoletti.nicolaWikidataQ60777008 ScholiaQ60777008MaRDI QIDQ2112109

List of research outcomes

Publication	Date of Publication	Type
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes	2024-02-21	Paper
An STL-based Approach to Resilient Control for Cyber-Physical Systems	2024-02-21	Paper
An STL-based formulation of resilience in cyber-physical systems	2023-01-18	Paper
Syntax-guided optimal synthesis for chemical reaction networks	2022-08-12	Paper
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties	2019-07-25	Paper
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques	2019-05-21	Paper
Precise parameter synthesis for stochastic biochemical systems	2017-10-09	Paper
Building Power Consumption Models from Executable Timed I/O Automata Specifications	2017-05-19	Paper
A Combined Process Algebraic and Stochastic Approach to Bone Remodeling	2014-06-27	Paper
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study	2013-04-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nicola Paoletti