Showing 1 - 20 results of 28 for search 'Paoletti, N', query time: 0.02s
Refine Results
-
1
A multi−level model for self−adaptive systems by Merelli, E, Paoletti, N, Tesei, L
Published 2012Conference item -
2
Closed-loop quantitative verification of rate-adaptive pacemakers by Paoletti, N, Patane, A, Kwiatkowska, M
Published 2018Journal article -
3
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers by Kwiatkowska, M, Mereacre, A, Paoletti, N
Published 2014Conference item -
4
Disease processes as hybrid dynamical systems by Liò, P, Merelli, E, Paoletti, N
Published 2012Conference item -
5
Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling by Paoletti, N, Liò, P, Merelli, E, Viceconti, M
Published 2012Journal article -
6
Precise Parameter Synthesis for Stochastic Biochemical Systems by Češka, M, Dannenberg, F, Kwiatkowska, M, Paoletti, N
Published 2014Conference item -
7
Building power consumption models from executable timed I/O automata specifications by Kwiatkowska, M, Barbot, B, Mereacre, A, Paoletti, N
Published 2016Conference item -
8
Osteoporosis: a multiscale modeling viewpoint by Paoletti, N, Liò, P, Merelli, E, Viceconti, M
Published 2011Conference item -
9
Precise Parameter Synthesis for Stochastic Biochemical Systems by Češka, M, Dannenberg, F, Kwiatkowska, M, Paoletti, N
Published 2014Report -
10
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study by Bartocci, E, Liò, P, Merelli, E, Paoletti, N
Published 2012Journal article -
11
Precise Parameter Synthesis for Stochastic Biochemical Systems by Ceska, M, Dannenberg, F, Kwiatkowska, M, Paoletti, N
Published 2015Journal article -
12
RODES: A robust-design synthesis tool for probabilistic systems by Calinescu, R, Česká, M, Gerasimou, S, Kwiatkowska, M, Paoletti, N
Published 2017Conference item -
13
Efficient synthesis of robust models for stochastic systems by Calinescu, R, Ceska, M, Gerasimou, S, Kwiatkowska, M, Paoletti, N
Published 2018Journal article -
14
Formal Modelling and Validation of Rate−Adaptive Pacemakers by Kwiatkowska, M, Lea−Banks, H, Mereacre, A, Paoletti, N
Published 2014Conference item -
15
-
16
Designing robust software systems through parametric markov chain synthesis by Kwiatkowska, M, Calinescu, R, Ceska, M, Gerasimou, S, Paoletti, N
Published 2017Conference item -
17
Precise parameter synthesis for stochastic biochemical systems by Kwiatkowska, M, Ceska, M, Dannenberg, F, Paoletti, N, Brim, L
Published 2016Journal article -
18
Analyzing and Synthesizing Genomic Logic Functions by Paoletti, N, Yordanov, B, Hamadi, Y, Wintersteiger, C, Kugler, H
Published 2014Conference item -
19
PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems by Češka, M, Pilar, P, Paoletti, N, Brim, L, Kwiatkowska, M
Published 2016Conference item -
20
Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers by Barker, C, Kwiatkowska, M, Mereacre, A, Paoletti, N, Patanè, A
Published 2015Conference item