SPANO' Alvise

Qualifica
Tecnico Amministrativo
Telefono
041 234 8426
E-mail
alvise.spano@unive.it
Sito web
www.unive.it/persone/alvise.spano (scheda personale)
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino (edificio Alfa)
Stanza: studio Assegnisti B1 (edificio Zeta B)
Sicurezza
Addetto Squadra Di Emergenza

Pubblicazioni per anno

2020
  • Spano A.; Cortesi A. Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability in SENSORS, vol. 20, pp. 1926 (ISSN 1424-8220) (Articolo su rivista)
    Link DOI Link al documento: 10278/3725231
2019
  • Chakraborty M.; Spano A.; Cortesi A. Geographic location based dynamic and opportunistic RPL for distributed networks , Computer Information Systems and Industrial Management, Springer Verlag, vol. 11703, pp. 120-131, Convegno: 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, 2019 (ISBN 978-3-030-28956-0; 978-3-030-28957-7) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3721103
  • Spano A.; Cortesi A.; Zausa G. Type-driven cross-programming for android and LEGO Mindstorms interoperability , Computer Information Systems and Industrial Management, Springer Verlag, vol. 11703, pp. 191-209, Convegno: 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, 2019 (ISBN 978-3-030-28956-0; 978-3-030-28957-7) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3721102
2013
  • SPANO' A.; BUGLIESI M.; CORTESI A. Typing Legacy COBOL Code , Software and Data Technologies, Berlin, Springer-Verlag, vol. 303, pp. 151-165 (ISBN 9783642361760; 9783642361777) (ISSN 1865-0929) (Articolo su libro)
    Link DOI Link al documento: 10278/37423
  • Michele Bugliesi; Stefano Calzavara; Alvise Spano Lintent: Towards Security Type-Checking of Android Applications , FMOODS/FORTE, Berlin Hidelberg, SPRINGER-VERLAG, vol. 7892, pp. 289-304, Convegno: Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec, June 3-5, 2013 (ISBN 9783642385919) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/39004
2011
  • SPANO' A.; BUGLIESI M.; CORTESI A. Type-Flow Analysis for Legacy Cobol Code in Maria Jose Escalona, Boris Shishkov and José Cordeiro, ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies, SciTePress – Science and Technology Publications, vol. 2, pp. 64-75, Convegno: ICSOFT 2011 - 6th International Conference on Software and Database Technologies, 18-21 July, 2011 (ISBN 9789898425775) (Articolo in Atti di convegno)
    Link al documento: 10278/29488