Nicola Paoletti
Nicola Paoletti
Lecturer, Department of Computer Science, Royal Holloway University London
Verified email at stonybrook.edu - Homepage
Title
Cited by
Cited by
Year
Precise parameter synthesis for stochastic biochemical systems
M Češka, F Dannenberg, N Paoletti, M Kwiatkowska, L Brim
Acta Informatica 54 (6), 589-623, 2017
93*2017
Broken hearted: How to attack ECG biometrics
S Eberz, N Paoletti, M Roeschlin, M Kwiatkowska, I Martinovic, A PatanÚ
Internet Society, 2017
522017
PRISM-PSY: precise GPU-accelerated parameter synthesis for stochastic systems
M Češka, P Pilař, N Paoletti, L Brim, M Kwiatkowska
International Conference on Tools and Algorithms for the Construction andá…, 2016
362016
Modelling osteomyelitis
P Li˛, N Paoletti, MA Moni, K Atwell, E Merelli, M Viceconti
BMC bioinformatics 13 (14), 1-14, 2012
342012
Syntax-guided optimal synthesis for chemical reaction networks
L Cardelli, M Češka, M Frńnzle, M Kwiatkowska, L Laurenti, N Paoletti, ...
International Conference on Computer Aided Verification, 375-395, 2017
322017
Efficient synthesis of robust models for stochastic systems
R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti
Journal of Systems and Software 143, 140-158, 2018
252018
Multilevel computational modeling and quantitative analysis of bone remodeling
N Paoletti, P Lio, E Merelli, M Viceconti
IEEE/ACM Transactions on Computational Biology and Bioinformatics 9 (5á…, 2012
252012
A multi-level model for self-adaptive systems
E Merelli, N Paoletti, L Tesei
arXiv preprint arXiv:1209.1628, 2012
24*2012
Neural simplex architecture
DT Phan, R Grosu, N Jansen, N Paoletti, SA Smolka, SD Stoller
NASA Formal Methods Symposium, 97-114, 2020
232020
Data-Driven Robust Control for a Closed-Loop Artificial Pancreas
N Paoletti, KS Liu, H Chen, SA Smolka, S Lin
IEEE/ACM transactions on computational biology and bioinformatics 17 (6á…, 2019
23*2019
Statistical guarantees for the robustness of Bayesian neural networks
L Cardelli, M Kwiatkowska, L Laurenti, N Paoletti, A Patane, M Wicker
arXiv preprint arXiv:1903.01980, 2019
232019
Adaptability checking in complex systems
E Merelli, N Paoletti, L Tesei
Science of Computer Programming 115, 23-46, 2016
232016
Analyzing and Synthesizing Genomic Logic Functions
N Paoletti, B Yordanov, Y Hamadi, CM Wintersteiger, H Kugler
Computer Aided Verification, 343-357, 2014
232014
Designing robust software systems through parametric Markov chain synthesis
R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti
2017 IEEE International Conference on Software Architecture (ICSA), 131-140, 2017
222017
Multiple verification in complex biological systems: the bone remodelling case study
E Bartocci, P Li˛, E Merelli, N Paoletti
Transactions on Computational Systems Biology XIV, 53-76, 2012
192012
Estimation and verification of hybrid heart models for personalised medical and wearable devices
B Barbot, M Kwiatkowska, A Mereacre, N Paoletti
International Conference on Computational Methods in Systems Biology, 3-7, 2015
182015
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques
M Kwiatkowska, A Mereacre, N Paoletti, A PatanŔ
International Workshop on Hybrid Systems Biology, 119-140, 2015
182015
Formal modelling and validation of rate-adaptive pacemakers
M Kwiatkowska, H Lea-Banks, A Mereacre, N Paoletti
2014 IEEE International Conference on Healthcare Informatics, 23-32, 2014
182014
Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: the case study of PCBs in the Adriatic Sea
M Taffi, N Paoletti, P Lio, S Pucciarelli, M Marini
Ecological Modelling 306, 205-215, 2015
172015
Bioremediation in marine ecosystems: a computational study combining ecological modelling and flux balance analysis
M Taffi, N Paoletti, C Angione, S Pucciarelli, M Marini, P Lio
Frontiers in Genetics 5 (319), 2014
142014
The system can't perform the operation now. Try again later.
Articles 1–20