Nicola Paoletti : Publications
Journal papers
-
[1]
Precise Parameter Synthesis for Stochastic Biochemical Systems
M. Kwiatkowska M. Ceska F. Dannenberg N. Paoletti and L. Brim
In Acta Informatica‚ to appear. 2016.
Details about Precise Parameter Synthesis for Stochastic Biochemical Systems | BibTeX data for Precise Parameter Synthesis for Stochastic Biochemical Systems
-
[2]
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‚ Sandra Pucciarelli‚ Mauro Marini and Pietro Liò
In Ecological Modelling. Vol. 306. Pages 205–215. 2015.
Details about Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: the case study of PCBs in the Adriatic Sea | BibTeX data for Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: the case study of PCBs in the Adriatic Sea | DOI (http://dx.doi.org/10.1016/j.ecolmodel.2014.11.030)
-
[3]
Adaptability Checking in Complex Systems
Emanuela Merelli‚ Nicola Paoletti and Luca Tesei
In Science of Computer Programming. Vol. 115–116. Pages 23–46. 2015.
Details about Adaptability Checking in Complex Systems | BibTeX data for Adaptability Checking in Complex Systems
-
[4]
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‚ Sandra Pucciarelli‚ Mauro Marini and Pietro Liò
In Ecological Modelling‚ in press. 2014.
Details about Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: the case study of PCBs in the Adriatic Sea | BibTeX data for Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: the case study of PCBs in the Adriatic Sea
-
[5]
Bioremediation in marine ecosystems: a computational study combining ecological modelling and flux balance analysis
Marianna Taffi‚ Nicola Paoletti‚ Claudio Angione‚ Sandra Pucciarelli‚ Mauro Marini and Pietro Liò
In Frontiers in Genetics. Vol. 5. No. 319. 2014.
Details about Bioremediation in marine ecosystems: a computational study combining ecological modelling and flux balance analysis | BibTeX data for Bioremediation in marine ecosystems: a computational study combining ecological modelling and flux balance analysis | DOI (10.3389/fgene.2014.00319)
-
[6]
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study
Ezio Bartocci‚ Pietro Liò‚ Emanuela Merelli and Nicola Paoletti
In Transactions on Computational Systems Biology XIV − Special Issue on Computational Models for Cell Processes. Vol. 14 of Lecture Notes in Computer Science. Pages 53−76. 2012.
Details about Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study | BibTeX data for Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study
-
[7]
Modelling osteomyelitis
Pietro Liò‚ Nicola Paoletti‚ Mohammad Ali Moni‚ Kathryn Atwell‚ Emanuela Merelli and Marco Viceconti
In BMC Bioinformatics. Vol. 13. No. S−14. Pages S12. 2012.
Details about Modelling osteomyelitis | BibTeX data for Modelling osteomyelitis
-
[8]
Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling
Nicola Paoletti‚ Pietro Liò‚ Emanuela Merelli and Marco Viceconti
In IEEE/ACM Trans. Comput. Biology Bioinform.. Vol. 9. No. 5. Pages 1366−1378. 2012.
Details about Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling | BibTeX data for Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling
Conference papers
-
[1]
Building Power Consumption Models from Executable Timed I/O Automata Specifications
Benoît Barbot‚ Marta Kwiatkowska‚ Alexandru Mereacre and Nicola Paoletti
In 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2016). To appear. 2016.
Details about Building Power Consumption Models from Executable Timed I/O Automata Specifications | BibTeX data for Building Power Consumption Models from Executable Timed I/O Automata Specifications
-
[2]
PRISM−PSY: Precise GPU−Accelerated Parameter Synthesis for Stochastic Systems
L. Brim M. Ceska P. Pilar N. Paoletti and M. Kwiatkowska
In 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)‚ to appear. Springer. 2016.
Details about PRISM−PSY: Precise GPU−Accelerated Parameter Synthesis for Stochastic Systems | BibTeX data for PRISM−PSY: Precise GPU−Accelerated Parameter Synthesis for Stochastic Systems
-
[3]
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques
Marta Kwiatkowska‚ Alexandru Mereacre‚ Nicola Paoletti and Andrea Patanè
In Proceedings of the 4th International Workshop on Hybrid Systems and Biology (HSB 2015). Vol. 9271 of LNCS/LNBI. Pages 1–22. Springer. 2015.
Details about Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques | BibTeX data for Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques
-
[4]
Estimation and verification of hybrid heart models for personalised medical and wearable devices
Benoît Barbot‚ Marta Kwiatkowska‚ Alexandru Mereacre and Nicola Paoletti
In 13th International Conference on Computational Methods in Systems Biology (CMSB 2015). Vol. 9308 of LNCS. Pages 3–7. Springer. 2015.
Details about Estimation and verification of hybrid heart models for personalised medical and wearable devices | BibTeX data for Estimation and verification of hybrid heart models for personalised medical and wearable devices
-
[5]
Hardware−in−the−loop simulation and energy optimization of cardiac pacemakers
Chris Barker‚ Marta Kwiatkowska‚ Alexandru Mereacre‚ Nicola Paoletti and Andrea Patanè
In 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Pages 7188–7191. IEEE. 2015.
Details about Hardware−in−the−loop simulation and energy optimization of cardiac pacemakers | BibTeX data for Hardware−in−the−loop simulation and energy optimization of cardiac pacemakers
-
[6]
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers
Marta Kwiatkowska‚ Alexandru Mereacre and Nicola Paoletti
In 6th International Symposium On Leveraging Applications of Formal Methods‚ Verification and Validation (ISoLA). Vol. 8803 of LNCS. Pages 365–384. Springer. 2014.
Details about On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers | BibTeX data for On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers | DOI (10.1007/978-3-662-45231-8_27)
-
[7]
Precise Parameter Synthesis for Stochastic Biochemical Systems
Milan Češka‚ Frits Dannenberg‚ Marta Kwiatkowska and Nicola Paoletti
In Computational Methods in Systems Biology‚ 12th International Conference (CMSB). Vol. 8859 of LNBI. Pages 86–98. 2014.
Details about Precise Parameter Synthesis for Stochastic Biochemical Systems | BibTeX data for Precise Parameter Synthesis for Stochastic Biochemical Systems | Download of Precise Parameter Synthesis for Stochastic Biochemical Systems
-
[8]
Formal Modelling and Validation of Rate−Adaptive Pacemakers
Marta Kwiatkowska‚ Harriet Lea−Banks‚ Alexandru Mereacre and Nicola Paoletti
In IEEE International Conference on Healthcare Informatics (ICHI). Pages 23–32. IEEE. 2014.
Details about Formal Modelling and Validation of Rate−Adaptive Pacemakers | BibTeX data for Formal Modelling and Validation of Rate−Adaptive Pacemakers | DOI (10.1109/ICHI.2014.11)
-
[9]
Analyzing and Synthesizing Genomic Logic Functions
Nicola Paoletti‚ Boyan Yordanov‚ Youssef Hamadi‚ Christoph M. Wintersteiger and Hillel Kugler
In 26th International Conference on Computer Aided Verification (CAV). Vol. 8559 of LNCS. Pages 343−357. Springer. 2014.
Details about Analyzing and Synthesizing Genomic Logic Functions | BibTeX data for Analyzing and Synthesizing Genomic Logic Functions
-
[10]
A multi−level model for self−adaptive systems
Emanuela Merelli‚ Nicola Paoletti and Luca Tesei
In 11th International Workshop on Foundations of Coordination Languages and Self Adaptation (FOCLASA). Vol. 91 of EPTCS. Pages 112−126. 2012.
Details about A multi−level model for self−adaptive systems | BibTeX data for A multi−level model for self−adaptive systems
-
[11]
Disease processes as hybrid dynamical systems
Pietro Liò‚ Emanuela Merelli and Nicola Paoletti
In 1st International Workshop on Hybrid Systems and Biology (HSB). Vol. 92 of EPTCS. Pages 152−166. 2012.
Details about Disease processes as hybrid dynamical systems | BibTeX data for Disease processes as hybrid dynamical systems
-
[12]
Osteoporosis: a multiscale modeling viewpoint
Nicola Paoletti‚ Pietro Liò‚ Emanuela Merelli and Marco Viceconti
In Computational Methods in Systems Biology‚ 9th International Conference (CMSB). Pages 183−193. ACM. 2011.
Details about Osteoporosis: a multiscale modeling viewpoint | BibTeX data for Osteoporosis: a multiscale modeling viewpoint
Technical reports
-
[1]
Building Power Consumption Models from Executable Timed I/O Automata Specifications
Benoît Barbot‚ Marta Kwiatkowska‚ Alexandru Mereacre and Nicola Paoletti
Department of Computer Science. Oxford‚ UK. 2016.
Details about Building Power Consumption Models from Executable Timed I/O Automata Specifications | BibTeX data for Building Power Consumption Models from Executable Timed I/O Automata Specifications | Download (pdf) of Building Power Consumption Models from Executable Timed I/O Automata Specifications
-
[2]
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques.
Marta Kwiatkowska‚ Alexandru Mereacre‚ Nicola Paoletti and Andrea Patanè
No. CS−RR−15−09. Department of Computer Science. Oxford‚ UK. September, 2015.
Details about Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. | BibTeX data for Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. | Download (pdf) of Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques.
-
[3]
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices
Benoît Barbot‚ Marta Kwiatkowska‚ Alexandru Mereacre and Nicola Paoletti
No. CS−RR−15−05. Department of Computer Science. Oxford‚ UK. May, 2015.
Details about Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices | BibTeX data for Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices | Download (pdf) of Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices