List View
 |   | 
Author Title Year Publication Publisher ISSN (up) ISBN DOI Volume Pages
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa Synchronized regular expressions 2003 Acta Inf. 39 31-70
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa Synchronized Regular Expressions 2002 Electr. Notes Theor. Comput. Sci. 62 195-210
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro A Type Inference Algorithm for Secure Ambients 2002 Electronic Notes in Theoretical Computer Science Elsevier 10.1016/S1571-0661(04)00321-4 62 83-101
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
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 2004 Sttt 10.1007/s10009-004-0149-6 6 320-341
Mari, Federico; Tronci, Enrico CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems 2007 Hybrid Systems: Computation and Control (HSCC 2007) Springer 10.1007/978-3-540-71493-4_32 399-412
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
Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Tronci, Enrico; Verzino, Giovanni; Yushtein, Yuri Model Checking Satellite Operational Procedures 2011 DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. San Anton, Malta, EuroSpace.
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 2010 Computer Aided Verification Springer Berlin / Heidelberg 10.1007/978-3-642-14295-6_20 180-195
Bobbio, Andrea; Ciancamerla, Ester; Di Blasi, Saverio; Iacomini, Alessandro; Mari, Federico; Melatti, Igor; Minichino, Michele; Scarlatti, Alessandro; Tronci, Enrico; Terruggia, Roberta; Zendri, Emilio Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks 2009 Proceedings of Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS) 10.1109/CRISIS.2009.5411974 90-97