Nicola Paoletti : Publications
Click here to download all publications in a single bibtex file
@article{CDP+16,
title = "Precise Parameter Synthesis for Stochastic Biochemical Systems",
author = "M. Ceska, F. Dannenberg, N. Paoletti, M. Kwiatkowska and L. Brim",
year = "2016",
journal = "Acta Informatica, to appear",
publisher = "Springer",
}
@inproceedings{BKM+16,
title = "{Building Power Consumption Models from Executable Timed I/O Automata Specifications}",
author = "Barbot, Beno\^it and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola",
year = "2016",
booktitle = "19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2016). To appear",
}
@inproceedings{CPPBK16,
title = "PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems",
author = "M. Ceska, P. Pilar, N. Paoletti, L. Brim and M. Kwiatkowska",
year = "2016",
booktitle = "22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), to appear",
publisher = "Springer",
series = "LNCS",
}
@techreport{RR-16-01,
title = "Building Power Consumption Models from Executable Timed I/O Automata Specifications",
author = "Benoît Barbot and Marta Kwiatkowska and Alexandru Mereacre and Nicola Paoletti",
year = "2016",
address = "Oxford, UK",
institution = "Department of Computer Science",
}
@techreport{RR-15-09,
title = "Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques.",
author = "Marta Kwiatkowska and Alexandru Mereacre and Nicola Paoletti and Andrea Patan\`e",
year = "2015",
address = "Oxford, UK",
institution = "Department of Computer Science",
month = "Sep",
number = "CS-RR-15-09",
}
@techreport{TechBKMP15,
title = "Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices",
author = "Barbot, Beno\^it and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola",
year = "2015",
address = "Oxford, UK",
institution = "Department of Computer Science",
month = "May",
number = "CS-RR-15-05",
}
@article{taffi2015ecomod,
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 Pucciarelli, Sandra and Marini, Mauro and Li\`o, Pietro",
year = "2015",
journal = "Ecological Modelling",
pages = "205--215",
volume = "306",
doi = "http://dx.doi.org/10.1016/j.ecolmodel.2014.11.030",
}
@article{merelli2015scico,
title = "Adaptability Checking in Complex Systems",
author = "Merelli, Emanuela and Paoletti, Nicola and Tesei, Luca",
year = "2015",
journal = "Science of Computer Programming",
pages = "23--46",
volume = "115--116",
}
@inproceedings{KMP+15,
title = "Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques",
author = "Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola and Patan\`e, Andrea",
year = "2015",
booktitle = "Proceedings of the 4th International Workshop on Hybrid Systems and Biology (HSB 2015)",
pages = "1--22",
publisher = "Springer",
series = "LNCS/LNBI",
volume = "9271",
}
@inproceedings{BKMP15,
title = "Estimation and verification of hybrid heart models for personalised medical and wearable devices",
author = "Barbot, Beno\^it and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola",
year = "2015",
booktitle = "13th International Conference on Computational Methods in Systems Biology (CMSB 2015)",
pages = "3--7",
publisher = "Springer",
series = "LNCS",
volume = "9308",
}
@inproceedings{BKMPP15,
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",
year = "2015",
booktitle = "37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)",
pages = "7188--7191",
publisher = "IEEE",
}
@article{taffi2014ecomod,
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 Pucciarelli, Sandra and Marini, Mauro and Li\`o, Pietro",
year = "2014",
journal = "Ecological Modelling, in press",
}
@article{taffi2014,
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",
year = "2014",
journal = "Frontiers in Genetics",
number = "319",
volume = "5",
doi = "10.3389/fgene.2014.00319",
}
@inproceedings{isola2014,
title = "On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers",
author = "Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola",
year = "2014",
booktitle = "6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)",
pages = "365--384",
publisher = "Springer",
series = "LNCS",
volume = "8803",
doi = "10.1007/978-3-662-45231-8_27",
}
@inproceedings{cmsb2014,
title = "Precise Parameter Synthesis for Stochastic Biochemical Systems",
author = "\v{C}e\v{s}ka, Milan and Dannenberg, Frits and Kwiatkowska, Marta and Paoletti, Nicola",
year = "2014",
booktitle = "Computational Methods in Systems Biology, 12th International Conference (CMSB)",
pages = "86--98",
series = "LNBI",
volume = "8859",
}
@inproceedings{ichi2014,
title = "Formal Modelling and Validation of Rate-Adaptive Pacemakers",
author = "Kwiatkowska, Marta and Lea-Banks, Harriet and Mereacre, Alexandru and Paoletti, Nicola",
year = "2014",
booktitle = "IEEE International Conference on Healthcare Informatics (ICHI)",
pages = "23--32",
publisher = "{IEEE}",
doi = "10.1109/ICHI.2014.11",
}
@inproceedings{PYHWK14,
title = "Analyzing and Synthesizing Genomic Logic Functions",
author = "Paoletti, Nicola and Yordanov, Boyan and Hamadi, Youssef and Wintersteiger, Christoph M. and Kugler, Hillel",
year = "2014",
booktitle = "26th International Conference on Computer Aided Verification (CAV)",
pages = "343-357",
publisher = "Springer",
series = "LNCS",
volume = "8559",
}
@article{DBLP:journals/tcsb/BartocciLMP12,
title = "Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study",
author = "Ezio Bartocci and Pietro Li{\`o} and Emanuela Merelli and Nicola Paoletti",
year = "2012",
journal = "Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes",
pages = "53-76",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "14",
}
@article{DBLP:journals/bmcbi/LioPMAMV12,
title = "Modelling osteomyelitis",
author = "Pietro Li{\`o} and Nicola Paoletti and Mohammad Ali Moni and Kathryn Atwell and Emanuela Merelli and Marco Viceconti",
year = "2012",
journal = "BMC Bioinformatics",
number = "S-14",
pages = "S12",
volume = "13",
}
@article{DBLP:journals/tcbb/PaolettiLMV12,
title = "Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling",
author = "Nicola Paoletti and Pietro Li{\`o} and Emanuela Merelli and Marco Viceconti",
year = "2012",
journal = "IEEE/ACM Trans. Comput. Biology Bioinform.",
number = "5",
pages = "1366-1378",
volume = "9",
}
@inproceedings{DBLP:journals/corr/abs-1209-1628,
title = "A multi-level model for self-adaptive systems",
author = "Emanuela Merelli and Nicola Paoletti and Luca Tesei",
year = "2012",
booktitle = "11th International Workshop on Foundations of Coordination Languages and Self Adaptation (FOCLASA)",
pages = "112-126",
series = "EPTCS",
volume = "91",
}
@inproceedings{DBLP:journals/corr/abs-1208-3858,
title = "Disease processes as hybrid dynamical systems",
author = "Pietro Li{\`o} and Emanuela Merelli and Nicola Paoletti",
year = "2012",
booktitle = "1st International Workshop on Hybrid Systems and Biology (HSB)",
pages = "152-166",
series = "EPTCS",
volume = "92",
}
@inproceedings{DBLP:conf/cmsb/PaolettiLMV11,
title = "Osteoporosis: a multiscale modeling viewpoint",
author = "Nicola Paoletti and Pietro Li{\`o} and Emanuela Merelli and Marco Viceconti",
year = "2011",
booktitle = "Computational Methods in Systems Biology, 9th International Conference (CMSB)",
pages = "183-193",
publisher = "ACM",
}