@inproceedings{bortolussi23conformal,
author = {Luca Bortolussi and
Francesca Cairoli and
Nicola Paoletti},
title = {Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes},
booktitle = {26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2023), to appear},
year = {2023},
}
@inproceedings{chen2023stl,
author = {Hongkai Chen and
Shan Lin and
Scott A. Smolka and
Nicola Paoletti},
title = {An STL-based Approach to Resilient Control for Cyber-Physical Systems},
booktitle = {26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2023), to appear},
year = {2023},
}
@article{krish22synthesizing,
title={Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs},
author={Veena Krish and Nicola Paoletti and Scott A. Smolka and Amir Rahmati},
year={2023},
journal={IEEE Access},
volume = {11},
pages = {4992--5003},
url = {https://doi.org/10.1109/ACCESS.2022.3233010.},
doi = {10.1109/ACCESS.2022.3233010.}
}
@inproceedings{cairoli22neural,
author = {Francesca Cairoli and
Nicola Paoletti and
Luca Bortolussi},
title = {Neural Predictive Monitoring for Collective Adaptive Systems},
booktitle = {ISoLA 2022 Symposium},
series = {LNCS},
volume = {13703},
pages={30--46},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8_3},
doi = {10.1007/978-3-031-19759-8_3},
}
@inproceedings{chen2022stl,
author = {Hongkai Chen and
Shan Lin and
Scott A. Smolka and
Nicola Paoletti},
title = {An STL-Based Formulation of Resilience in Cyber-Physical Systems},
booktitle = {FORMATS 2022},
series = {LNCS},
volume = {13465},
pages = {117--135},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15839-1_7},
doi = {10.1007/978-3-031-15839-1_7},
award = {Best Paper Award}
}
@inproceedings{bagga22deep,
author = {Pallavi Bagga and
Nicola Paoletti and
Kostas Stathis},
title = {Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022},
pages = {1533--1535},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1533.pdf},
doi = {10.5555/3535850.3536025},
}
@inproceedings{chen2020mpcguided,
author = {Hongkai Chen and
Nicola Paoletti and
Scott A. Smolka and
Shan Lin},
title = {MPC-guided Imitation Learning of Bayesian Neural Network Policies
for the Artificial Pancreas},
booktitle = {60th IEEE Conference on Decision and Control (CDC 2021)},
pages = {2525--2532},
publisher = {IEEE},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683240},
doi = {10.1109/CDC45484.2021.9683240},
}
@article{bagga2021anegma,
title={ANEGMA: an automated negotiation model for e-markets},
author={Pallavi Bagga and Nicola Paoletti and Bedour Alrayes and Kostas Stathis},
year={2021},
journal={Autonomous Agents and Multi-Agent Systems},
volume = {35},
number = {2},
pages = {27},
year = {2021},
url = {https://doi.org/10.1007/s10458-021-09513-x},
doi = {10.1007/s10458-021-09513-x}
}
@inproceedings{wicker2021certification,
title={Certification of Iterative Predictions in Bayesian Neural Networks},
author={Matthew Wicker and Luca Laurenti and Andrea Patane and Nicola Paoletti and Alessandro Abate and Marta Kwiatkowska},
year={2021},
booktitle={Uncertainty in Artificial Intelligence (UAI 2021)},
series = {Proceedings of Machine Learning Research},
volume = {161},
pages = {1713--1723},
url = {https://proceedings.mlr.press/v161/wicker21a.html},
}
@inproceedings{cairoli21neural,
author = {Francesca Cairoli and
Luca Bortolussi and
Nicola Paoletti},
title = {Neural Predictive Monitoring Under Partial Observability},
booktitle = {Runtime Verification},
series = {LNCS},
volume = {12974},
pages = {121--141},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88494-9_7},
doi = {10.1007/978-3-030-88494-9_7},
}
@inproceedings{lamalfa2021guaranteed,
title={On Guaranteed Optimal Robust Explanations for NLP Models},
author={Emanuele LaMalfa and Agnieszka Zbrzezny and Rhiannon Michelmore and Nicola Paoletti and Marta Kwiatkowska},
year={2021},
booktitle={International Joint Conference on Artificial Intelligence (IJCAI 2021)},
pages = {2658--2665},
url = {https://doi.org/10.24963/ijcai.2021/366},
doi = {10.24963/ijcai.2021/366},
}
@article{bortolussi2020neural,
title={Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches},
author={Luca Bortolussi and Francesca Cairoli and Nicola Paoletti and Scott A. Smolka and Scott D. Stoller},
journal={International Journal on Software Tools for Technology Transfer, to appear},
volume = {23},
number = {4},
pages = {615--640},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00623-1},
doi = {10.1007/s10009-021-00623-1},
}
@inproceedings{bagga2021pareto,
title={Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty},
author={Pallavi Bagga and Nicola Paoletti and Kostas Stathis},
year={2021},
booktitle={IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2021)},
pages = {1--6},
url = {https://doi.org/10.1109/FUZZ45933.2021.9494429},
doi = {10.1109/FUZZ45933.2021.9494429},
}
@inproceedings{bortolussi2020bayesian,
title={Bayesian Neural Predictive Monitoring},
author={Luca Bortolussi and Francesca Cairoli and Nicola Paoletti and Scott A. Smolka and Scott D. Stoller},
year={2020},
booktitle={2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY 2020)},
pages={95--100},
url = {http://ceur-ws.org/Vol-2785/paper16.pdf}
}
@article{shmarov2020automated,
title={Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems},
author={Shmarov, Fedor and Soudjani, Sadegh and Paoletti, Nicola and Bartocci, Ezio and Lin, Shan and Smolka, Scott A and Zuliani, Paolo},
journal={IEEE Access},
volume={8},
pages={180825--180843},
url={https://ieeexplore.ieee.org/document/9211405},
doi = {10.1109/ACCESS.2020.3028476},
year={2020}
}
@inproceedings{bagga2020deep_ijcai,
title={A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation},
author={Pallavi Bagga and Nicola Paoletti and Bedour Alrayes and Kostas Stathis},
year={2020},
booktitle={International Joint Conference on Artificial Intelligence (IJCAI 2020)},
pages={297--303},
doi={10.24963/ijcai.2020/42}
}
@inproceedings{phan2020neural,
title={Neural Simplex Architecture},
author={Dung Phan and Radu Grosu and Nils Jansen and Nicola Paoletti and Scott A. Smolka and Scott D. Stoller},
booktitle={NASA Formal Methods Symposium (NFM 2020)},
organization = {Springer},
url = {https://link.springer.com/chapter/10.1007%2F978-3-030-55754-6_6},
doi = {10.1007/978-3-030-55754-6_6},
pages={97--114},
year={2020}
}
@proceedings{conf_hsb_2019,
editor = {Milan Ce{\v{s}}ka and
Nicola Paoletti},
title = {Hybrid Systems Biology - 6th International Workshop,
{HSB} 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11705},
publisher = {Springer},
year = {2019},
url = {https://link.springer.com/book/10.1007%2F978-3-030-28042-0},
doi = {10.1007/978-3-030-28042-0}
}
@inproceedings{bortolussi2019neural,
title={Neural Predictive Monitoring},
author={Luca Bortolussi and Francesca Cairoli and Nicola Paoletti and Scott A. Smolka and Scott D. Stoller},
booktitle={International Conference on Runtime Verification (RV 19)},
pages={129--147},
organization = {Springer},
url = {https://link.springer.com/chapter/10.1007%2F978-3-030-32079-9_8},
doi = {10.1007/978-3-030-32079-9_8},
year={2019}
}
@inproceedings{cardelli2019statistical,
title={Statistical Guarantees for the Robustness of Bayesian Neural Networks},
author={Cardelli, Luca and Kwiatkowska, Marta and Laurenti, Luca and Paoletti, Nicola and Patane, Andrea and Wicker, Matthew},
booktitle={International Joint Conference on Artificial Intelligence (IJCAI 2019)},
pages = {5693--5700},
doi = {10.24963/ijcai.2019/789},
url = {https://doi.org/10.24963/ijcai.2019/789},
year={2019}
}
@article{tccb19,
title={Data-Driven Robust Control for a Closed-Loop Artificial Pancreas},
author={Nicola Paoletti and Kin Sum Liu and Hongkai Chen and Scott A. Smolka and Shan Lin},
journal={IEEE/ACM Transactions on Computational Biology and Bioinformatics},
volume = {17},
number = {6},
pages = {1981--1993},
year = {2020},
organization = {IEEE/ACM},
url = {https://ieeexplore.ieee.org/document/8695754},
doi = {10.1109/TCBB.2019.2912609},
}
@inproceedings{paoletti2019icd,
title={Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices},
author={Paoletti, Nicola and Jiang, Zhihao and Islam, Md Ariful and Abbas, Houssam and Mangharam, Rahul and Lin, Shan and Gruber, Zachary and Smolka, Scott A},
booktitle={International Conference on Cyber-Physical Systems (ICCPS 2019)},
pages={13--22},
organization = {IEEE/ACM},
url = {https://dl.acm.org/citation.cfm?id=3311044},
doi = {10.1145/3302509.3311044},
year={2019}
}
@inproceedings{chen2019,
title={Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes},
author={Chen, Hongkai and Paoletti, Nicola and Smolka, Scott A and Lin, Shan},
booktitle={American Control Conference (ACC 2019)},
pages={4765--4772},
organization = {IEEE},
url = {https://ieeexplore.ieee.org/document/8814868},
doi = {10.23919/ACC.2019.8814868},
year={2019}
}
@inproceedings{bortolussi19scott,
author = {Luca Bortolussi and
Francesca Cairoli and
Nicola Paoletti and
Scott D. Stoller},
title = {Conformal Predictions for Hybrid System State Classification},
booktitle = {From Reactive Systems to Cyber-Physical Systems - Essays Dedicated
to Scott A. Smolka on the Occasion of His 65th Birthday},
pages = {225--241},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31514-6_13},
doi = {10.1007/978-3-030-31514-6_13},
}
@article{cmsb_si,
editor = {Ezio Bartocci and
Pietro Li{\`{o}} and
Nicola Paoletti},
title = {Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)},
volume = {15},
issue = {4},
journal={IEEE/ACM Transactions on Computational Biology and Bioinformatics},
year = {2018},
url = {https://ieeexplore.ieee.org/document/8428603/},
doi = {10.1109/TCBB.2018.2816979}
}
@inproceedings{phan2018neural,
title={Neural State Classification for Hybrid Systems},
author={Phan, Dung and Paoletti, Nicola and Zhang, Timothy and Grosu, Radu and Smolka, Scott A and Stoller, Scott D},
booktitle={International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)},
pages={422--440},
organization = {Springer},
url = {https://link.springer.com/chapter/10.1007/978-3-030-01090-4_25},
doi = {10.1007/978-3-030-01090-4_25},
year={2018}
}
@article{calinescu2018efficient,
title={Efficient Synthesis of Robust Models for Stochastic Systems},
author={Calinescu, Radu and Ce{\v{s}}ka, Milan and Gerasimou, Simos and Kwiatkowska, Marta and Paoletti, Nicola},
journal={Journal of Systems and Software},
volume={143},
pages={140--158},
year={2018},
publisher={Elsevier},
url = {https://www.sciencedirect.com/science/article/pii/S0164121218300967},
doi = {10.1016/j.jss.2018.05.013}
}
@inproceedings{mehmood2018declarative,
title={Declarative vs Rule-based Control for Flocking Dynamics},
author={Mehmood, Usama and Paoletti, Nicola and Phan, Dung and Grosu, Radu and Lin, Shan and Stoller, Scott D and Tiwari, Ashish and Yang, Junxing and Smolka, Scott A},
booktitle={Annual ACM Symposium on Applied Computing (SAC 2018)},
pages={816--823},
organization = {ACM},
url = {https://dl.acm.org/citation.cfm?doid=3167132.3167222},
doi = {10.1145/3167132.3167222},
year={2018}
}
@article{paoletti_tcps2017,
title={Closed-loop quantitative verification of rate-adaptive pacemakers},
author={Nicola Paoletti and Andrea Patan\`{e} and Marta Kwiatkowska},
journal={ACM Transactions on Cyber-Physical Systems},
year={2018},
volume = {2},
issue = {4},
publisher={ACM},
url = {https://dl.acm.org/citation.cfm?id=3152767},
doi = {10.1145/3152767}
}
@inproceedings{ceska2017eurocast,
title={{Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Rate Parameters}},
author={Ce{\v{s}}ka, Milan and Paoletti, Nicola and Ce{\v{s}}ka, Milan},
booktitle={International Conference on Computer Aided Systems Theory (EUROCAST 2017)},
pages={38--46},
year={2018},
organization={Springer},
url = {https://link.springer.com/chapter/10.1007%2F978-3-319-74727-9_5},
doi = {10.1007/978-3-319-74727-9_5}
}
@inproceedings{cmsb2017,
title={{Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties}},
author={Nicola Paoletti and Kin Sum Liu and Scott A. Smolka and Shan Lin},
booktitle={Computational Methods in Systems Biology (CMSB 2017)},
pages={214--232},
year={2017},
organization = {Springer},
url = {https://link.springer.com/chapter/10.1007%2F978-3-319-67471-1_13},
doi = {10.1007/978-3-319-67471-1_13}
}
@inproceedings{hvc2017,
title={{SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems}},
author={Fedor Shmarov and Nicola Paoletti and Ezio Bartocci and Shan Lin and Scott Smolka and Paolo Zuliani},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference (HVC 17)},
pages={131--146},
year={2017},
organization = {Springer},
url = {https://link.springer.com/chapter/10.1007%2F978-3-319-70389-3_9},
doi = {10.1007/978-3-319-70389-3_9}
}
@inproceedings{calinescu2017designing,
title={{Designing Robust Software Systems through Parametric Markov Chain Synthesis}},
author={Calinescu, Radu and Ce{\v{s}}ka, Milan and Gerasimou, Simos and Kwiatkowska, Marta and Paoletti, Nicola},
booktitle={Software Architecture (ICSA), 2017 IEEE International Conference on},
pages={131--140},
year={2017},
organization={IEEE},
url = {http://ieeexplore.ieee.org/document/7930209/},
doi = {10.1109/ICSA.2017.16}
}
@inproceedings{calinescu2017rodes,
title={{RODES: A Robust-Design Synthesis Tool for Probabilistic Systems}},
author={Calinescu, Radu and Ce{\v{s}}ka, Milan and Gerasimou, Simos and Kwiatkowska, Marta and Paoletti, Nicola},
booktitle={International Conference on Quantitative Evaluation of Systems (QEST 2017)},
pages={304--308},
year={2017},
organization = {Springer},
url = {https://link.springer.com/chapter/10.1007/978-3-319-66335-7_20},
doi = {10.1007/978-3-319-66335-7_20}
}
@inproceedings{eberz2017broken,
title={{Broken hearted: How to attack ECG biometrics}},
author={Eberz, Simon and Paoletti, Nicola and Roeschlin, Marc and Kwiatkowska, Marta and Martinovic, Ivan and Patan{\`{e}}, Andrea},
booktitle={Network and Distributed System Security Symposium (NDSS 2017)},
organization = {Internet Society},
year={2017},
}
@inproceedings{cardelli2017syntax,
title={Syntax-Guided Optimal Synthesis for Chemical Reaction Networks},
author={Cardelli, Luca and Ce{\v{s}}ka, Milan and Fr{\"{a}}nzle, Martin and Kwiatkowska, Marta and Laurenti, Luca and Paoletti, Nicola and Whitby, Max},
booktitle={International Conference on Computer Aided Verification (CAV 2017)},
pages={375--395},
year={2017},
organization={Springer},
url = {https://link.springer.com/chapter/10.1007/978-3-319-63390-9_20},
doi = {10.1007/978-3-319-63390-9_20}
}
@Article{acta,
author = {Milan Ce{\v{s}}ka and Frits Dannenberg and Nicola Paoletti and Marta Kwiatkowska and Lubo{\v{s}} Brim},
title = {Precise Parameter Synthesis for Stochastic Biochemical Systems},
journal={Acta Informatica},
pages={589--623},
volume = {54},
issue = {6},
publisher={Springer},
year = {2017},
url = {https://link.springer.com/article/10.1007/s00236-016-0265-2},
doi = {10.1007/s00236-016-0265-2}
}
@inproceedings{islam2016cybercardia,
title={{CyberCardia project: Modeling, verification and validation of implantable cardiac devices}},
author={Islam, Md Ariful and Lim, Hyunkyung and Paoletti, Nicola and others},
booktitle={Bioinformatics and Biomedicine (BIBM), 2016 IEEE International Conference on},
pages={1445--1452},
year={2016},
organization={IEEE},
url = {http://ieeexplore.ieee.org/document/7822737/},
doi = {10.1109/BIBM.2016.7822737}
}
@inproceedings{barbot2016building,
title={{Building power consumption models from executable timed I/O automata specifications}},
author={Barbot, Beno{\^\i}t and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola},
booktitle={Hybrid Systems: Computation and Control (HSCC 2016)},
pages={195--204},
year={2016},
organization={ACM},
url = {http://dl.acm.org/citation.cfm?id=2883844},
doi = {10.1145/2883817.2883844}
}
@inproceedings{ceska2016prism,
title={{PRISM-PSY: precise GPU-accelerated parameter synthesis for stochastic systems}},
author={Ce{\v{s}}ka, Milan and Pila{\v{r}}, Petr and Paoletti, Nicola and Brim, Lubo{\v{s}} and Kwiatkowska, Marta},
booktitle={Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016)},
pages={367--384},
year={2016},
organization={Springer},
url = {https://link.springer.com/chapter/10.1007/978-3-662-49674-9_21},
doi = {10.1007/978-3-662-49674-9_21}
}
@article{merelli2016adaptability,
title={Adaptability checking in complex systems},
author={Merelli, Emanuela and Paoletti, Nicola and Tesei, Luca},
journal={Science of Computer Programming},
volume={115},
pages={23--46},
year={2016},
publisher={Elsevier},
url = {http://www.sciencedirect.com/science/article/pii/S0167642315000659},
doi = {10.1016/j.scico.2015.03.004}
}
@proceedings{conf_cmsb_2016,
editor = {Ezio Bartocci and
Pietro Li{\`{o}} and
Nicola Paoletti},
title = {Computational Methods in Systems Biology - 14th International Conference,
{CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9859},
publisher = {Springer},
year = {2016},
url = {https://link.springer.com/book/10.1007%2F978-3-319-45177-0},
doi = {10.1007/978-3-319-45177-0}
}
@InProceedings{KMPP15,
author = {Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola and Patan\`{e}, Andrea},
title = {Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques},
booktitle = {Hybrid Systems and Biology (HSB 2015)},
publisher={Springer},
series={LNCS/LNBI},
pages={119--140},
volume={9271},
year = {2015},
url = {https://link.springer.com/chapter/10.1007/978-3-319-26916-0_7},
doi = {10.1007/978-3-319-26916-0_7}
}
@inproceedings{barbot2015estimation,
title={Estimation and verification of hybrid heart models for personalised medical and wearable devices},
author={Barbot, Beno{\^\i}t and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola},
booktitle={Computational Methods in Systems Biology (CMSB 2015)},
pages={3--7},
year={2015},
organization={Springer},
url = {https://link.springer.com/chapter/10.1007/978-3-319-23401-4_1},
doi = {10.1007/978-3-319-23401-4_1}
}
@TechReport{BKMP_TR15,
author = {Barbot, Beno\^it and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola},
title = {Estimation and Verification of Hybrid Heart Models for Personalised
Medical and Wearable Devices},
institution = {Department of Computer Science, University of Oxford},
year = {2015},
number = {CS-RR-15-05},
url = {http://www.cs.ox.ac.uk/publications/publication9835-abstract.html},
doi = {10.1007/978-3-319-23401-4_1}
}
@inproceedings{barker2015hardware,
title={Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers},
author={Barker, Chris and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola and Patan\`{e}, Andrea},
booktitle={Engineering in Medicine and Biology Society (EMBC 2015)},
pages={7188--7191},
year={2015},
organization={IEEE},
url = {http://ieeexplore.ieee.org/document/7320050/},
doi = {10.1109/EMBC.2015.7320050}
}
@article{taffi2015bioaccumulation,
title={{Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: the case study of PCBs in the Adriatic Sea}},
author={Taffi, Marianna and Paoletti, Nicola and Li{\`{o}}, Pietro and Pucciarelli, Sandra and Marini, Mauro},
journal={Ecological Modelling},
volume={306},
pages={205--215},
year={2015},
publisher={Elsevier},
url = {http://www.sciencedirect.com/science/article/pii/S0304380014006036},
doi = {10.1016/j.ecolmodel.2014.11.030},
award = {ISEM Best Young Researcher Paper Award}
}
@InProceedings{ceska2014precise,
author = {Ce{\v{s}}ka, Milan and Dannenberg, Frits and Kwiatkowska, Marta and Paoletti, Nicola},
title = {Precise parameter synthesis for stochastic biochemical systems},
booktitle = {Computational Methods in Systems Biology (CMSB 2014)},
year = {2014},
pages = {86--98},
organization = {Springer},
url = {https://link.springer.com/chapter/10.1007/978-3-319-12982-2_7},
doi = {10.1007/978-3-319-12982-2_7}
}
@inproceedings{kwiatkowska2014quantitative,
title={On quantitative software quality assurance methodologies for cardiac pacemakers},
author={Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola},
booktitle={International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014)},
pages={365--384},
year={2014},
organization={Springer},
url = {https://link.springer.com/chapter/10.1007/978-3-662-45231-8_27},
doi = {10.1007/978-3-662-45231-8_27}
}
@inproceedings{kwiatkowska2014formal,
title={Formal modelling and validation of rate-adaptive pacemakers},
author={Kwiatkowska, Marta and Lea-Banks, Harriet and Mereacre, Alexandru and Paoletti, Nicola},
booktitle={Healthcare Informatics (ICHI), 2014 IEEE International Conference on},
pages={23--32},
year={2014},
organization={IEEE},
url = {http://ieeexplore.ieee.org/document/7052466/},
doi = {10.1109/ICHI.2014.11},
award = {Best Paper Award}
}
@ARTICLE{taffi2014estimation,
author = {{Taffi}, M. and {Paoletti}, N. and {Li\`{o}}, P. and {Tesei}, L. and
{Pucciarelli}, S. and {Marini}, M.},
title = "{Estimation and Modelling of PCBs Bioaccumulation in the Adriatic Sea Ecosystem}",
journal = {ArXiv e-prints},
archivePrefix = "arXiv",
volume = {abs/1405.6384v1},
year = 2014,
url = {https://arxiv.org/abs/1405.6384v1}
}
@phdthesis{paoletti2014formal,
title={Formal Computational Modelling of Bone Physiology and Disease Processes},
author={Paoletti, Nicola},
year={2014},
school={School of Advanced Studies, University of Camerino - Doctoral course in Information science and complex systems (XXVI cycle)},
doi = {10.13140/RG.2.1.2671.5682}
}
@article{taffi2014bioremediation,
title={Bioremediation in marine ecosystems: a computational study combining ecological modelling and flux balance analysis},
author={Taffi, Marianna and Paoletti, Nicola and Angione, Claudio and Pucciarelli, Sandra and Marini, Mauro and Li{\`{o}}, Pietro},
journal={Frontiers in Genetics},
volume={5},
number={319},
year={2014},
url = {http://journal.frontiersin.org/article/10.3389/fgene.2014.00319},
doi = {10.3389/fgene.2014.00319},
award = {MCED Best paper award* *Featured in commentary article}
}
@inproceedings{paoletti2014analyzing,
title={Analyzing and Synthesizing Genomic Logic Functions},
author={Paoletti, Nicola and Yordanov, Boyan and Hamadi, Youssef and Wintersteiger, Christoph M and Kugler, Hillel},
booktitle={Computer Aided Verification (CAV 2014)},
pages={343--357},
year={2014},
organization={Springer},
url = {https://link.springer.com/chapter/10.1007/978-3-319-08867-9_23},
doi = {10.1007/978-3-319-08867-9_23}
}
@inproceedings{penna2013dispas,
title={{DISPAS: an agent-based tool for the management of fishing effort}},
author={Penna, Pierluigi and Paoletti, Nicola and Scarcella, Giuseppe and Tesei, Luca and Marini, Mauro and Merelli, Emanuela},
booktitle={Software Engineering and Formal Methods},
pages={362--367},
year={2013},
organization={Springer},
url = {https://link.springer.com/chapter/10.1007/978-3-319-05032-4_26},
doi = {10.1007/978-3-319-05032-4_26}
}
@article{lio2012modelling,
title={Modelling osteomyelitis},
author={Li{\`{o}}, Pietro and Paoletti, Nicola and Moni, Mohammad Ali and Atwell, Kathryn and Merelli, Emanuela and Viceconti, Marco},
journal={BMC bioinformatics},
volume={13},
number={14},
pages={S12},
year={2012},
publisher={BioMed Central},
url = {https://bmcbioinformatics.biomedcentral.com/articles/10.1186/1471-2105-13-S14-S12},
doi = {10.1186/1471-2105-13-S14-S12}
}
@inproceedings{merelli2012multi,
author = {Emanuela Merelli and
Nicola Paoletti and
Luca Tesei},
title = {A multi-level model for self-adaptive systems},
booktitle = {Foundations of Coordination Languages and Self Adaptation (FOCLASA 2012)},
pages = {112--126},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.8},
doi = {10.4204/EPTCS.91.8},
}
@article{paoletti2012multilevel,
title={Multilevel computational modeling and quantitative analysis of bone remodeling},
author={Paoletti, Nicola and Li{\`{o}}, Pietro and Merelli, Emanuela and Viceconti, Marco},
journal={IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)},
volume={9},
number={5},
pages={1366--1378},
year={2012},
publisher={IEEE},
url = {http://ieeexplore.ieee.org/document/6178218/},
doi = {10.1109/TCBB.2012.51}
}
@inproceedings{lio2012disease,
author = {Pietro Li{\`{o}} and
Emanuela Merelli and
Nicola Paoletti},
title = {Disease processes as hybrid dynamical systems},
booktitle = {Hybrid Systems and Biology (HSB 2012)},
pages = {152--166},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.92.11},
doi = {10.4204/EPTCS.92.11},
}
@article{bartocci2012multiple,
author = {Ezio Bartocci and
Pietro Li{\`{o}} and
Emanuela Merelli and
Nicola Paoletti},
title = {Multiple Verification in Complex Biological Systems: The Bone Remodelling
Case Study},
journal = {Trans. Computational Systems Biology},
volume = {14},
pages = {53--76},
year = {2012},
url = {https://link.springer.com/chapter/10.1007/978-3-642-35524-0_3},
doi = {10.1007/978-3-642-35524-0_3},
}
@inproceedings{merelli2011methodological,
author = {Emanuela Merelli and
Nicola Paoletti and
Pietro Li{\`{o}}},
title = {Methodological Bridges for Multi-Level Systems},
booktitle = {European Future Technologies Conference and
Exhibition},
pages = {180--182},
year = {2011},
url = {http://www.sciencedirect.com/science/article/pii/S1877050911006259},
doi = {10.1016/j.procs.2011.09.065},
}
@article{lio2011combined,
title={A combined process algebraic and stochastic approach to bone remodeling},
author={Li{\`{o}}, Pietro and Merelli, Emanuela and Paoletti, Nicola and Viceconti, Marco},
journal={Electronic Notes in Theoretical Computer Science},
volume={277},
pages={41--52},
year={2011},
publisher={Elsevier},
url = {http://www.sciencedirect.com/science/article/pii/S1571066111001253},
doi = {10.1016/j.entcs.2011.09.034},
}
@inproceedings{paoletti2011osteoporosis,
title={Osteoporosis: a multiscale modeling viewpoint},
author={Paoletti, Nicola and Li{\`{o}}, Pietro and Merelli, Emanuela and Viceconti, Marco},
booktitle={Computational Methods in Systems Biology (CMSB 2011)},
pages={183--193},
year={2011},
organization={ACM},
url = {http://dl.acm.org/citation.cfm?id=2037536},
doi = {10.1145/2037509.2037536},
}
@inproceedings{lio2011multiple,
author = {Pietro Li{\`{o}} and
Emanuela Merelli and
Nicola Paoletti},
title = {Multiple verification in computational modeling of bone pathologies},
booktitle = {Computational Models for Cell Processes (CompMod 2011)},
pages = {82--96},
year = {2011},
doi = {10.4204/EPTCS.67.8},
}