Nicola Paoletti
Nicola Paoletti
Completed Projects:
Interests
- Formal methods
- Verification and synthesis
- Hybrid systems
- Modelling of heart and pacemaker devices
- Computational biology
See also:
Download model from Taffi et al., Bioremediation in marine ecosystems (pdf)
Selected Publications
-
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
-
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
-
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