引用次数
引用: 1,313
H-指数: 21
I10-指数 : 37
出版物: 86
Having Fun with Fishpass: Agent-based Simulator for Assessing the Impact of Different Fishing Scenarios
P. Penna , M. Taffi , L. Tesei , L. Bolognini
3rd Scientific Day of School of Science and Technology, UNICAM 33 -33
2013
A Combined Process Algebraic and Stochastic Approach to Bone Remodeling
P. Liò , E. Merelli , N. Paoletti , M. Viceconti
Electronic Notes in Theoretical Computer Science 277 ( 1) 41 -52
7
2011
2014
Computational Bioaccumulation Modelling of Pops in the Adriatic Ecosystem: a Network Analysis Approach
Luca Tesei , Marianna Taffi , Nicola Paoletti , M. Marini
3rd Scientific Day of School of Science and Technology, UNICAM 37 -37
2013
Spatial Multiscale Agent-Based Fish Behavioural Model
Luca Tesei , Marianna Taffi , Nicola Paoletti , M. Marini
2nd Scientific Day of School of Science and Technology, UNICAM 33 -33
2012
Ecological Modelling and Analysis of Contaminant in the Marine Environment
Luca Tesei , Marianna Taffi , Nicola Paoletti , M. Marini
2nd Scientific Day of School of Science and Technology, UNICAM 36 -36
2012
Neural Simplex Architecture
Nicola Paoletti , Scott D. Stoller , Radu Grosu , Nils Jansen
arXiv: Artificial Intelligence
63
2019
Bayesian Neural Predictive Monitoring.
Nicola Paoletti , Scott D. Stoller , Scott A. Smolka , Luca Bortolussi
OVERLAY 95 -100
1
2020
On Guaranteed Optimal Robust Explanations for NLP Models.
Nicola Paoletti , Marta Kwiatkowska , Rhiannon Michelmore , Emanuele La Malfa
arXiv: Artificial Intelligence
18
2021
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches
Nicola Paoletti , Scott D. Stoller , Scott A. Smolka , Luca Bortolussi
International Journal on Software Tools for Technology Transfer
2021
Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: The case study of PCBs in the Adriatic Sea
Marianna Taffi , Nicola Paoletti , Pietro Liò , Sandra Pucciarelli
Ecological Modelling 306 ( 306) 205 -215
12
2015
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
Fedor Shmarov , Sadegh Soudjani , Nicola Paoletti , Ezio Bartocci
IEEE Access 8 180825 -180843
2020
Synthesizing stealthy reprogramming attacks on cardiac devices
Nicola Paoletti , Zhihao Jiang , Md Ariful Islam , Houssam Abbas
international conference on cyber-physical systems 13 -22
4
2019
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems
Radu Calinescu , Milan Češka , Simos Gerasimou , Marta Kwiatkowska
quantitative evaluation of systems 304 -308
5
2017
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques
Marta Kwiatkowska , Alexandru Mereacre , Nicola Paoletti , Andrea Patanè
Hybrid Systems Biology 9271 119 -140
11
2015
Conformal Predictions for Hybrid System State Classification
Luca Bortolussi , Francesca Cairoli , Nicola Paoletti , Scott D. Stoller
From Reactive Systems to Cyber-Physical Systems 225 -241
2
2019
Formal Modelling and Validation of Rate-Adaptive Pacemakers
Marta Kwiatkowska , Harriet Lea-Banks , Alexandru Mereacre , Nicola Paoletti
ieee international conference on healthcare informatics 23 -32
12
2014
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems
Fedor Shmarov , Nicola Paoletti , Ezio Bartocci , Shan Lin
Hardware and Software: Verification and Testing 131 -146
6
2017
Declarative vs rule-based control for flocking dynamics
Usama Mehmood , Nicola Paoletti , Dung Phan , Radu Grosu
acm symposium on applied computing 816 -823
4
2018
Broken Hearted: How To Attack ECG Biometrics.
Simon Eberz , Nicola Paoletti , Marc Roeschlin , Andrea Patani
network and distributed system security symposium
35
2017