toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title (up) Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Mancini, T. ; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Tronci, E. On minimising the maximum expected verification time 2017 Information Processing Letters 10.1016/j.ipl.2017.02.001 details   pdf doi
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico On Model Based Synthesis of Embedded Control Software 2012 Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012 ACM 978-1-4503-1425-1 10.1145/2380356.2380398 227-236 details   pdf doi
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico On Model Based Synthesis of Embedded Control Software 2012 CoRR, Technical Report abs/1207.4474 details   url
Bartolini, Novella; Tronci, Enrico On Optimizing Service Availability of an Internet Based Architecture for Infrastructure Protection 2006 Cnip details   pdf openurl
Chierichetti, Flavio; Lattanzi, Silvio; Mari, Federico; Panconesi, Alessandro On Placing Skips Optimally in Expectation 2008 Web Search and Web Data Mining (WSDM 2008) Acm 10.1145/1341531.1341537 15-24 details   pdf doi
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico On-the-Fly Control Software Synthesis 2013 Proceedings of International SPIN Symposium on Model Checking of Software (SPIN 2013) Springer - Verlag 0302-9743 978-3-642-39175-0 10.1007/978-3-642-39176-7_5 61-80 details   pdf doi
Mancini, T.; Tronci, E.; Scialanca, A.; Lanciotti, F.; Finzi, A.; Guarneri, R.; Di Pompeo, S. Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network 2018 25th RCRA International Workshop on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” (RCRA 2018) 10.29007/grw9 details   pdf doi
Tronci, Enrico Optimal Finite State Supervisory Control 1996 CDC '96: Proceedings of the 35th IEEE International Conference on Decision and Control IEEE Computer Society 10.1109/CDC.1996.572981 details   pdf doi
Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Mari, F.; Leeners, B. Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 2020 IOS Press 1875-8681 10.3233/FI-2020-1943 174 283-310 details   pdf doi
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 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: