List View
 |   | 
Author (down) Title Year Publication Publisher ISSN ISBN DOI Volume Pages
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico Exploiting Hub States in Automatic Verification 2005 Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings Springer 3-540-29209-8 10.1007/11562948_7 54-68
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Minichino, Michele; Ciancamerla, Ester; Parisse, Andrea; Tronci, Enrico; Venturini Zilli, Marisa Automatic Verification of a Turbogas Control System with the Mur$\varphi$ Verifier 2003 Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Springer 3-540-00913-2 10.1007/3-540-36580-X 141-155
Della Penna, Giuseppe; Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems 2013 European Journal of Control Elsevier North-Holland, Inc. 0947-3580 10.1016/j.ejcon.2013.02.001 19 14-36
Della Penna, Giuseppe; Di Marco, Antinisca; Intrigila, Benedetto; Melatti, Igor; Pierantonio, Alfonso Interoperability mapping from XML schemas to ER diagrams 2006 Data Knowl. Eng. Elsevier Science Publishers B. V. 0169-023x 10.1016/j.datak.2005.08.002 59 166-188
Della Penna, Giuseppe; Di Marco, Antinisca; Intrigila, Benedetto; Melatti, Igor; Pierantonio, Alfonso Xere: Towards a Natural Interoperability between XML and ER Diagrams 2003 Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Springer 3-540-00899-3 10.1007/3-540-36578-8_25 356-371
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Salvo, Ivano Mobility Types for Mobile Processes in Mobile Ambients 2003 Electr. Notes Theor. Comput. Sci. 10.1016/S1571-0661(04)81011-9 78
Ciancamerla, Ester; Minichino, Michele; Serro, Stefano; Tronci, Enrico Automatic Timeliness Verification of a Public Mobile Network 2003 22nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) Springer 978-3-540-20126-7 10.1007/978-3-540-39878-3_4 35-48
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
Chen, Q.M.; Finzi, A.; Mancini, T.; Melatti, I.; Tronci, E. MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 2020 IOS Press 1875-8681 10.3233/FI-2020-1941 174 229-258
Cesta, Amedeo; Fratini, Simone; Orlandini, Andrea; Finzi, Alberto; Tronci, Enrico Flexible Plan Verification: Feasibility Results 2011 Fundamenta Informaticae 10.3233/FI-2011-397 107 111-137