@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",
}
@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",
}
@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",
}
@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",
}
@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",
}
@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{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",
}
@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",
}
@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",
}
@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{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",
}
@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",
}
@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: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",
}