shopify analytics

Scientific Publications

Paeon related scientific publications in international conferences and journals.

T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci.
Anytime system level verification via parallel random exhaustive hardware in the loop simulation.
Microprocessors and Microsystems 41 (2016): 12–28. ISSN: 0141-9331.
S. Sinisi.
Computing Patient-Specific Biological Models for Personalised Medicine via Model Checking Driven Simulation.
Master Degree Thesis, Computer Science Department, Sapienza University of Rome (2016).
S. Röblitz, C. Stötzel, P. Deuflhard, H. M. Jones, D.-O. Azulay, P. H. van der Graaf, and S. W. Martin.
A mathematical model of the human menstrual cycle for the administration of GnRH analogues.
Journal of Theoretical Biology 321 (2013): 8–27. ISSN: 0022-5193.
B. Leeners, T. H. Kruger, S. Brody, S. Schmidlin, E. Naegeli, and M. Egli.
The quality of sexual experience in women correlates with post-orgasmic prolactin surges: results from an experimental prototype study.
Journal of Sexual Medicine 10, no. 5 (2013): 1313–1319
V. Alimguzhin, F. Mari, I. Melatti, I. Salvo, and E. Tronci.
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software.
In Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013), 43–60. Lecture Notes in Computer Science 7976. Springer - Verlag, 2013.
V. Alimguzhin, F. Mari, I. Melatti, I. Salvo, and E. Tronci.
On-the-Fly Control Software Synthesis.
In Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013), 61–80. Lecture Notes in Computer Science 7976. Springer - Verlag, 2013.
T. Mancini, F. Mari, A. Massini, I. Melatti, F. Merli, and E. Tronci.
System Level Formal Verification via Model Checking Driven Simulation.
In Proceedings of the 25th International Conference on Computer Aided Verification. July 13–19, 2013, Saint Petersburg, Russia, 296–312. Lecture Notes in Computer Science 8044. Springer - Verlag, 2013.
F. Mari, I. Melatti, I. Salvo, and E. Tronci.
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems.
International Journal on Advances in Software vol. 6, nr 1&2 (2013): 155–169. Iaria. ISSN: 1942-2628.