Segui
Nicola Paoletti
Nicola Paoletti
Department of Informatics, King's College London
Email verificata su kcl.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
Precise parameter synthesis for stochastic biochemical systems
M Češka, F Dannenberg, N Paoletti, M Kwiatkowska, L Brim
Acta Informatica 54, 589-623, 2017
1212017
Broken hearted: How to attack ECG biometrics
S Eberz, N Paoletti, M Roeschlin, M Kwiatkowska, I Martinovic, A Patané
Network and Distributed System Security Symposium 2017, 2017
1042017
Neural simplex architecture
DT Phan, R Grosu, N Jansen, N Paoletti, SA Smolka, SD Stoller
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
812020
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
702019
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
662018
Modelling osteomyelitis
P Liò, N Paoletti, MA Moni, K Atwell, E Merelli, M Viceconti
BMC bioinformatics 13, 1-14, 2012
512012
On guaranteed optimal robust explanations for NLP models
E La Malfa, A Zbrzezny, R Michelmore, N Paoletti, M Kwiatkowska
arXiv preprint arXiv:2105.03640, 2021
502021
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
49*2019
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
452016
Neural predictive monitoring
L Bortolussi, F Cairoli, N Paoletti, SA Smolka, SD Stoller
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
382019
A deep reinforcement learning approach to concurrent bilateral negotiation
P Bagga, N Paoletti, B Alrayes, K Stathis
arXiv preprint arXiv:2001.11785, 2020
362020
Syntax-guided optimal synthesis for chemical reaction networks
L Cardelli, M Češka, M Fränzle, M Kwiatkowska, L Laurenti, N Paoletti, ...
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
352017
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
342017
Adaptability checking in complex systems
E Merelli, N Paoletti, L Tesei
Science of Computer Programming 115, 23-46, 2016
292016
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
292012
A multi-level model for self-adaptive systems
E Merelli, N Paoletti, L Tesei
arXiv preprint arXiv:1209.1628, 2012
28*2012
Neural state classification for hybrid systems
D Phan, N Paoletti, T Zhang, R Grosu, SA Smolka, SD Stoller
Proceedings of the Fifth International Workshop on Symbolic-Numeric Methods …, 2019
262019
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
262014
Analyzing and Synthesizing Genomic Logic Functions
N Paoletti, B Yordanov, Y Hamadi, CM Wintersteiger, H Kugler
Computer Aided Verification, 343-357, 2014
262014
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
242015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20