Artikel dengan mandat akses publik - Nicola PaolettiPelajari lebih lanjut
Tersedia di suatu tempat: 37
Precise parameter synthesis for stochastic biochemical systems
M Češka, F Dannenberg, N Paoletti, M Kwiatkowska, L Brim
Acta Informatica 54, 589-623, 2017
Mandat: European Commission
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
Mandat: UK Engineering and Physical Sciences Research Council, European Commission
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
Mandat: US National Science Foundation, US Department of Defense, Austrian Science Fund
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
Mandat: UK Engineering and Physical Sciences Research Council, European Commission
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
Mandat: US National Science Foundation, US Department of Defense
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
Mandat: European Commission
Neural predictive monitoring
L Bortolussi, F Cairoli, N Paoletti, SA Smolka, SD Stoller
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
Mandat: US National Science Foundation
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
Mandat: UK Engineering and Physical Sciences Research Council
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
Mandat: US National Science Foundation, US Department of Defense, Austrian Science Fund
Analyzing and Synthesizing Genomic Logic Functions
N Paoletti, B Yordanov, Y Hamadi, CM Wintersteiger, H Kugler
Computer Aided Verification, 343-357, 2014
Mandat: European Commission
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
Mandat: European Commission
Declarative vs rule-based control for flocking dynamics
U Mehmood, N Paoletti, D Phan, R Grosu, S Lin, SD Stoller, A Tiwari, ...
Proceedings of the 33rd annual ACM symposium on applied computing, 816-823, 2018
Mandat: US National Science Foundation, US Department of Defense, Austrian Science Fund
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
Mandat: European Commission
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
Mandat: Government of Italy
Estimation and verification of hybrid heart models for personalised medical and wearable devices
B Barbot, M Kwiatkowska, A Mereacre, N Paoletti
Computational Methods in Systems Biology: 13th International Conference …, 2015
Mandat: European Commission
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches
L Bortolussi, F Cairoli, N Paoletti, SA Smolka, SD Stoller
International Journal on Software Tools for Technology Transfer 23 (4), 615-640, 2021
Mandat: US National Science Foundation, US Department of Defense, German Research …
Conformal quantitative predictive monitoring of stl requirements for stochastic processes
F Cairoli, N Paoletti, L Bortolussi
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
Mandat: European Commission, Government of Italy
Committed moving horizon estimation for meal detection and estimation in type 1 diabetes
H Chen, N Paoletti, SA Smolka, S Lin
2019 american control conference (acc), 4765-4772, 2019
Mandat: US National Science Foundation
Certification of iterative predictions in bayesian neural networks
M Wicker, L Laurenti, A Patane, N Paoletti, A Abate, M Kwiatkowska
Uncertainty in Artificial Intelligence, 1713-1723, 2021
Mandat: European Commission
SMT-based synthesis of safe and robust PID controllers for stochastic hybrid systems
F Shmarov, N Paoletti, E Bartocci, S Lin, SA Smolka, P Zuliani
Hardware and Software: Verification and Testing: 13th International Haifa …, 2017
Mandat: US National Science Foundation, US Department of Defense, Austrian Science …
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer