PAEON / Scientific Publications

	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).

	R. Ehrig, T. Dierkes, S. Schaefer, S. Roeblitz, E. Tronci, T. Mancini, I. Salvo, V. Alimguzhin, F. Mari, I. Melatti, A. Massini, B. Leeners, T. H. C. Krueger, M. Egli, and F. Ille. An integrative approach for model driven computation of treatments in reproductive medicine. In Proceedings of the 15th International Symposium on Mathematical and Computational Biology (BIOMAT 2015), Rorkee, India., 2015.
	T. Mancini, E. Tronci, I. Salvo, F. Mari, A. Massini, and I. Melatti. Computing Biological Model Parameters by Parallel Statistical Model Checking. International Work Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015) 9044 (2015): 542–554.
	T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci. Simulator Semantics for System Level Formal Verification. In Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015).
	T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci. SyLVaaS: System Level Formal Verification as a Service. In Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), special session on Formal Approaches to Parallel and Distributed Systems (4PAD)., 2015.
	T. Mancini. Now or Never: negotiating efficiently with unknown counterparts. In proceedings of the 22nd RCRA International Workshop. Ferrara, Italy. CEUR, 2015 (2015).

	E. Tronci, T. Mancini, I. Salvo, S. Sinisi, F. Mari, I. Melatti, A. Massini, F. Davì, T. Dierkes, R. Ehrig, S. Röblitz, B. Leeners, T. Krüger, M. Egli, and F. Ille. Patient-Specific Models from Inter-Patient Biological Models and Clinical Records. In Formal Methods in Computer-Aided Design (FMCAD)., 2014. ISBN: 978-0-9835678-4-4.
	F. Mari, I. Melatti, I. Salvo, and E. Tronci. Model Based Synthesis of Control Software from System Level Formal Specifications. Acm Transactions On Software Engineering And Methodology 23, no. 1 (2014): 6. Acm. ISSN: 1049-331x.
	T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci. System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation. In Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Computing. IEEE Computer Society, 2014.
	T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci. Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation. In Proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014) (2014).

	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.