List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages (down)
Bucciarelli, Antonio; de Lorenzis, Silvia; Piperno, Adolfo; Salvo, Ivano Some Computational Properties of Intersection Types (Extended Abstract) 1999 IEEE Computer Society 10.1109/LICS.1999.782598 109-118
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
Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico Automated Generation Of Optimal Controllers Through Model Checking Techniques 2008 Informatics in Control Automation and Robotics. Selected Papers from ICINCO 2006 Springer 10.1007/978-3-540-79142-3_10 107-119
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. SyLVaaS: System Level Formal Verification as a Service 2016 Fundamenta Informaticae 10.3233/FI-2016-1444 149 101-132
Campagnano, Edoardo; Ciancamerla, Ester; Minichino, Michele; Tronci, Enrico Automatic Analysis of a Safety Critical Tele Control System 2005 24th International Conference on: Computer Safety, Reliability, and Security (SAFECOMP) Springer 3-540-29200-4 10.1007/11563228_8 94-107
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
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
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
Mancini, T. Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts 2016 Fundamenta Informaticae 10.3233/FI-2016-1443 149 61-100
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Finite Horizon Analysis of Stochastic Systems with the Mur$\varphi$ Verifier 2003 Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings Springer 3-540-20216-1 10.1007/978-3-540-45208-9_6 58-71