List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico From Boolean Functional Equations to Control Software 2011 CoRR, Technical Report abs/1106.0468
Alimguzhin, V.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. Linearising Discrete Time Hybrid Systems 2017 IEEE Transactions on Automatic Control 0018-9286 10.1109/TAC.2017.2694559 62 5357-5364
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 2013 International Journal on Advances in Software IARIA 1942-2628 vol. 6, nr 1&2 155-169
Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh Parallel and distributed model checking in Eddy 2009 Int. J. Softw. Tools Technol. Transf. Springer-Verlag 1433-2779 10.1007/s10009-008-0094-x 11 13-25
Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh Parallel and Distributed Model Checking in Eddy 2006 Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 – April 1, 2006, Proceedings Springer - Verlag 0302-9743 978-3-540-33102-5 10.1007/11691617_7 108-125
Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Leeners, B. Complete populations of virtual patients for in silico clinical trials 2021 Bioinformatics 1367-4803 10.1093/bioinformatics/btaa1026 1-8
Mancini, T.; Melatti, I.; Tronci, E. Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification 2021 IEEE Transactions on Software Engineering 1939-3520 10.1109/TSE.2021.3109842 1-1
Fischer, S.; Ehrig, R.; Schaefer, S.; Tronci, E.; Mancini, T.; Egli, M.; Ille, F.; Krueger, T.H.C.; Leeners, B.; Roeblitz, S. Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation 2021 Frontiers in Endocrinology 1664-2392 10.3389/fendo.2021.613048 12 117
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Validation and Verification Issues in a Timeline-based Planning System 2008 In E-Proc. of ICAPS Workshop on Knowledge Engineering for Planning and Scheduling
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Validation and verification issues in a timeline-based planning system 2010 The Knowledge Engineering Review Cambridge University Press 10.1017/S0269888910000160 25 299-318