Alvise SPANO'

Qualifica: Ricercatore

Telefono: 041 234 8426

E-mail: alvise.spano@unive.it

SSD: Informatica [INFO-01/A]

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
Stanza: studio Assegnisti B1 (edificio Zeta B)

Research Institute: Research Institute for Complexity

Pubblicazioni

Anno	Tipologia	Pubblicazione
Anno	Tipologia	Pubblicazione

2025	Articolo in Atti di convegno	Laneve, Cosimo; Spanò, Alvise; Ressi, D.; Rossi, Sabina.; Bugliesi, M. Assessing Code Understanding in LLMs , Forte 2025, Springer, Cham, vol. 15732, pp. 202-210, Convegno: Forte 2025 (ISBN 9783031954962; 9783031954979) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/5097593
2025	Articolo in Atti di convegno	Lorenzo Fanton, Michele Bugliesi, Alvise Spanò Secure Distributed State Management in eUTxO Blockchains in Lorenzo Fanton, Michele Bugliesi, Alvise Spanò, 2025 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS), IEEE-27, Convegno: International Conference on Decentralized Applications and Infrastructures, 21 - 24 Luglio 2025 (ISBN 979-8-3315-3614-5) DOI - Scheda ARCA: 10278/5102327
2024	Articolo su rivista	Spanò, Alvise Flexible and reversible conversion between extensible records and overloading constraints for ML in THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 216 (ISSN 0164-1212) DOI - URL correlato - Scheda ARCA: 10278/5072461
2024	Articolo su rivista	Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Sasso, Giacomo Dal; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spanò, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto Smart contract languages: A comparative analysis in FUTURE GENERATION COMPUTER SYSTEMS, vol. 1 (ISSN 0167-739X) DOI - URL correlato - Scheda ARCA: 10278/5081863
2023	Articolo su rivista	Alvise Spanò, Lorenzo Fanton, Davide Pizzolato, Jacopo Moi, Francesco Vinci, Alberto Pesce, Cedrix J. Dongmo Foumthuim, Achille Giacometti, Marta Simeoni RINmaker: a fast, versatile and reliable tool to determine residue interaction networks in proteins in BMC BIOINFORMATICS, vol. 24 (ISSN 1471-2105) DOI - URL correlato - Scheda ARCA: 10278/5036941
2023	Articolo in Atti di convegno	Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Rossi, Sabina; Spanò, Alvise ALGOMOVE – A Move Embedding for Algorand in Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanè, Proceedings of the 2023 IEEE International Conference on Blockchain, IEEE, pp. 62-67, Convegno: 2023 IEEE International Conference on Blockchain, Dicembre 2023 (ISBN 979-8-3503-1929-3) DOI - Scheda ARCA: 10278/5047901
2022	Articolo su rivista	Panfili A.; Spano A.; Cortesi A. A Wearable System for Jump Detection in Inline Figure Skating in SENSORS, vol. 22, pp. 1650 (ISSN 1424-8220) DOI - Scheda ARCA: 10278/3754129
2021	Articolo su rivista	Chakraborty M.; Spano A.; Cortesi A. Geographic location based secure, dynamic and opportunistic RPL for distributed networks in AD HOC NETWORKS, vol. 123, pp. 102689 (ISSN 1570-8705) DOI - Scheda ARCA: 10278/3754135
2020	Articolo su rivista	Spano A.; Cortesi A. Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability in SENSORS, vol. 20, pp. 1926 (ISSN 1424-8220) DOI - Scheda ARCA: 10278/3725231
2019	Articolo in Atti di convegno	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) DOI - URL correlato - Scheda ARCA: 10278/3721103
2019	Articolo in Atti di convegno	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) DOI - URL correlato - Scheda ARCA: 10278/3721102
2013	Articolo su libro	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) DOI - Scheda ARCA: 10278/37423
2013	Articolo in Atti di convegno	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) DOI - Scheda ARCA: 10278/39004
2012	Articolo in Atti di convegno	Giuseppe Maggiore;Alvise Spanò;Renzo Orsini;Michele Bugliesi;Mohamed Abbadi;Enrico Steffinlongo A formal specification for Casanova, a language for computer games , Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '12, New York, ACM Association fot Computing Machinery, pp. 287-292, Convegno: EICS '12, June 25–28, 2012 (ISBN 9781450311687) DOI - Scheda ARCA: 10278/27911
2012	Articolo in Atti di convegno	L. Gallina; T. Han; M. Kwiatkowska; A. Marin; S. Rossi; S. Spanò Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks , Proc. of IFIP Wireless Days 2012, IEEE, pp. 1-6, Convegno: IFIP Wireless Days 2012, 21-23 Nov. 2012 (ISBN 9781467344029) DOI - URL correlato - Scheda ARCA: 10278/39312
2011	Articolo in Atti di convegno	Giuseppe Maggiore; Alvise Spanò; Renzo Orsini; Giulia Costantini; Michele Bugliesi ; Mohamed Abbadi Designing Casanova: a language for games in van den Herik, H. Jaap; Plaat, Aske, Advances in Computer Games, Springer-Verlag, Convegno: ACG 2011 : Advances in Computer Games 13 Conference (ISBN 9783642318658) (ISSN 1611-3349) DOI - Scheda ARCA: 10278/36316
2011	Articolo in Atti di convegno	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) - Scheda ARCA: 10278/29488

Pubblicazioni scelte

Cookie Informazioni sui cookie Lista cookies

Questo sito web utilizza i cookie

Questo sito utilizza cookie. I cookie necessari (di prima parte) permettono il corretto funzionamento del sito e di effettuare analisi statistiche anonime. Cliccando sulla X in alto a destra verranno installati solo i cookie necessari. Se acconsenti, verranno installati anche altri cookie che abilitano le funzionalità dei social media e forniscono statistiche sul loro utilizzo. In questo caso, i dati raccolti saranno condivisi anche con i nostri partner, che potrebbero associarli ad altre informazioni per finalità di analisi, di pubblicità, ecc. Cliccando “Lista cookie” potrai vedere quali cookie verranno installati. Per ottenere maggiori informazioni consulta “Informazioni sui cookies”.

Necessari

Google - Youtube

Facebook - Pixel

Cookies Policy

Cookie Policy - Informativa sul trattamento dei dati personali ai sensi dell’art 13 del Regolamento (UE) 2016/679

L’Università Ca’ Foscari Venezia, nell’ambito delle proprie finalità istituzionali e in adempimento agli obblighi previsti dall’art. 13 del Regolamento (UE) 2016/679 (“Regolamento”), Le fornisce informazioni in merito al trattamento dei dati personali raccolti, durante la navigazione sul sito web “www.unive.it - Sito”, dai cookie e/o dagli altri strumenti di tracciamento presenti sul sito stesso. Per “cookie” si intende la stringa di testo, di piccole dimensioni, che un sito invia al dispositivo dell'utente (dove viene memorizzata automaticamente) e che viene poi rinviata al sito o a terze parti ogni qualvolta si acceda nuovamente al sito stesso attraverso il medesimo dispositivo.

Nella presente informativa, per semplificare, si utilizzerà il termine “cookie” per fare riferimento sia ai cookie, come definiti sopra, sia agli eventuali altri strumenti di tracciamento presenti sul Sito.

1. Titolare del trattamento

Il Titolare del trattamento è l’Università Ca’ Foscari Venezia, con sede in Dorsoduro n. 3246, 30123 Venezia (VE), nella persona della Magnifica Rettrice pro tempore.

2. Responsabile della Protezione dei Dati

L’Università ha nominato il “Responsabile della Protezione dei Dati” (“RPD” o Data Protection Officer “DPO”), che può essere contattato scrivendo all’indirizzo di posta elettronica dpo@unive.it o al seguente recapito: Università Ca’ Foscari Venezia, Responsabile della Protezione dei Dati, Dorsoduro n. 3246, 30123 Venezia (VE).

3. Categorie di cookie utilizzati, dati raccolti, finalità e basi giuridiche

Nel Sito sono presenti le seguenti tipologie di cookie (per informazioni dettagliate su ogni singolo cookie si faccia riferimento alla lista cookie presente in calce all’informativa):

cookie tecnici o di sessione: ossia cookie utili a effettuare la navigazione o a fornire un servizio richiesto dall’utente. Non vengono utilizzati per scopi ulteriori e sono normalmente installati direttamente dal titolare del sito web. Nel Sito sono presenti cookie necessari per gestire il login e l’accesso all’area riservata del Sito nonché per registrare le preferenze relative all’installazione dei cookie stessi.
I dati raccolti associati a tali cookie sono: indirizzo IP dell’utente, data e ora della visita, modalità di invio dei dati, risorsa richiesta, responso alla richiesta, dimensione in byte della risposta, link di provenienza dell’utente alla risorsa richiesta, sistema operativo utilizzato, tipo di browser, tipo di dispositivo da cui si naviga (PC, smartphone, ecc.). La base giuridica per il trattamento dei predetti dati personali è rappresentata dagli artt. 6.1.b) del Regolamento (“servizio prestato su richiesta dell’interessato”) e art. 6.1.e) del Regolamento (“esecuzione di un compito di interesse pubblico”). in quanto l’Ateneo, essendo una Pubblica Amministrazione, deve per legge dotarsi di un sito istituzionale dal quale gli utenti possono trarre informazioni relative ai servizi resi (artt. 53 e 54 Codice Amministrazione Digitale – D.Lgs. n. 82/2005). Non è possibile disattivare tali cookies attraverso il banner di Ateneo, in quanto la loro disattivazione pregiudica la navigazione del Sito.
cookie analitici (di prima parte): ossia cookie utili alla misurazione delle visite alle varie pagine del Sito nonché al miglioramento delle prestazioni e dell’usabilità del Sito stesso attraverso l’elaborazione di dati aggregati per la creazione di statistiche. I cookie analitici in uso sono rilasciati dall'Ateneo. I dati raccolti sono: indirizzo Ip, pagina visitata, lingua del browser, tempo medio della visita, azioni sulla pagina (download, outlinks), prima visita, ultima visita, dispositivo utilizzato. La base giuridica per il trattamento dei predetti dati personali è rappresentata dall’art. 6.1.e) del Regolamento (“esecuzione di un compito di interesse pubblico”) al fine di reperire statistiche utili sulle visite alle pagine del Sito, come ad esempio, nel caso delle sottosezioni della sezione Amministrazione Trasparente. Non è possibile disattivare tali cookies attraverso il banner di Ateneo, in quanto la loro disattivazione pregiudica la navigazione del Sito.
cookie di terze parti (social network): ossia cookie rilasciati da terze parti solo ove l’utente abbia prestato apposito consenso. Infatti, durante la prima visita al Sito, viene richiesto agli utenti attraverso apposito banner il consenso all’installazione di tali cookie. Il mancato consenso o la revoca successiva dello stesso, attraverso l’impostazione “disabilita cookie”, non pregiudica la navigazione sul Sito. I dati, quindi, vengono raccolti dalle predette terze parti e non dal gestore del sito su cui si sta navigando, e sono finalizzati alla raccolta di dati sulla navigazione e sulle preferenze dell’utente. I cookie di terze parti che possono essere rilasciati dal Sito sono i seguenti: a) cookie di Google - Youtube (per permettere agli utenti di visualizzare i video caricati su Youtube presenti nel Sito nonché all’Università di valutare l'efficacia delle attività di comunicazione istituzionale), il cui funzionamento è gestito da Google; b) cookie di Facebook - Pixel (che traccia gli utenti per il retargeting pubblicitario su Facebook), il cui funzionamento è gestito da Meta Platforms Inc. Si segnala che, fornendo il consenso all’installazione dei cookie di Facebook - Pixel, l’Università provvederà a raccogliere i dati relativi al tempo di permanenza di un utente su una determinata pagina web e i dati relativi allo scrolling delle pagine, tramite suoi strumenti, senza tuttavia conservarli. Le predette informazioni saranno automaticamente tramesse dall’Ateneo a Pixel qualora il tempo di permanenza dell’utente sulla pagina sia superiore ai 45 secondi e qualora lo scrolling della pagina sia almeno del 60%. L’Università ha visibilità solo, in forma anonima e aggregata, di dati statistici messi a disposizione dai fornitori delle predette piattaforme, in qualità di Contitolare del trattamento con questi ultimi, in conformità a quanto previsto dalla sentenza C-210/16 del 5 giugno 2018 della Corte di Giustizia dell’Unione Europea. La base giuridica per tale trattamento è rappresentata dall’art. 6.1.a) del Regolamento (“consenso dell’interessato”).

Si ricorda, inoltre, che è sempre possibile procedere alla disabilitazione dei cookie attraverso le impostazioni del proprio browser come descritte nei link riportati di seguito ma che disabilitando completamente i cookie nel browser, si potrebbero perdere alcune funzionalità del Sito (utilizzo dei servizi accessibili solo a seguito del login):

Internet Explorer: http://windows.microsoft.com/it-it/internet-explorer/delete-manage-cookies#ie=ie-11 https://support.microsoft.com/it-it/windows/eliminare-e-gestire-i-cookie-168dab11-0753-043d-7c16-ede5947fc64d
Microsoft Edge: support.microsoft.com/it-it/microsoft-edge/eliminare-i-cookie-in-microsoft-edge-63947406-40ac-c3b8-57b9-2a946a29ae09
Google Chrome: https://support.google.com/accounts/answer/61416?hl=it
Apple Safari: http://support.apple.com/kb/HT1677?viewlocale=it_IT
Mozilla Firefox: https://support.mozilla.org/it/kb/Attivare%20e%20disattivare%20i%20cookie
Opera: http://help.opera.com/Windows/10.00/it/cookies.html

Infine, è possibile prendere visione dei cookie di profilazione/comportamentale presenti sul proprio browser, visitando l’indirizzo http://www.youronlinechoices.com/it/le-tue-scelte/.

4. Modalità di trattamento

Il trattamento dei dati personali verrà effettuato da dipendenti e collaboratori dell’Ateneo che agiscono sulla base di specifiche istruzioni fornite in ordine alle finalità e modalità del trattamento medesimo (nel rispetto di quanto previsto dall’art. 29 del Regolamento e dall’art. 2-quaterdecies del D.Lgs. n. 196/2003), con l’utilizzo di procedure informatizzate, adottando misure tecniche e organizzative adeguate a proteggerli da accessi non autorizzati o illeciti, dalla distruzione, dalla perdita di integrità e riservatezza, anche accidentali.

5. Tempo di conservazione

Si prega di prendere visione della lista cookie presente in calce all’informativa per conoscere la specifica durata di ogni singolo cookie.

6. Destinatari e categorie di destinatari dei dati personali

Per le finalità sopra riportate, oltre ai dipendenti e ai collaboratori dell’Ateneo specificamente autorizzati, potranno trattare i dati personali anche soggetti che svolgono attività in outsourcing per conto dell’Ateneo nella loro qualità di Responsabili del trattamento (es. agenzie di comunicazione, ecc.). La lista aggiornata dei Responsabili del trattamento dell’Università è disponibile alla pagina web: https://www.unive.it/pag/34666/

I dati raccolti utilizzando i cookie di terze parti potranno essere oggetto di trasferimento al di fuori dello Spazio Economico Europeo (SEE), nel rispetto di quanto prescritto dal Regolamento.

7. Diritti dell’interessato e modalità di esercizio

In qualità di interessato, ha diritto di ottenere dall’Ateneo, nei casi previsti dal Regolamento, l’accesso ai dati personali, la rettifica, l’integrazione, la cancellazione degli stessi, la limitazione del trattamento ovvero di opporsi al trattamento medesimo nonché la revoca del consenso (artt. 15 e ss. del Regolamento). La richiesta potrà essere presentata, senza alcuna formalità, contattando direttamente il Responsabile della Protezione dei Dati all’indirizzo dpo@unive.it ovvero inviando una comunicazione al seguente recapito: Università Ca’ Foscari Venezia, Responsabile della Protezione dei Dati, Dorsoduro n. 3246, 30123 Venezia. In alternativa, è possibile contattare il Titolare del trattamento, inviando una PEC a protocollo@pec.unive.it.

Gli interessati che ritengono che il trattamento dei dati personali a loro riferiti avvenga in violazione di quanto previsto dal Regolamento hanno, inoltre, il diritto di proporre reclamo all’Autorità Garante per la Protezione dei Dati Personali (art. 77 del Regolamento), o di adire le opportune sedi giudiziarie (art. 79 del Regolamento).

Appendice Social Media:

A integrazione dell’informativa resa ai sensi dell’art. 13 del Regolamento (UE) 2016/679 (pubblicata al seguente link www.unive.it/pag/17993), l’Università informa gli utenti che accedono alle pagine istituzionali dell’Ateneo nei social media (es. Facebook, Instagram) che l’Università tratta, in forma anonima e aggregata, i dati statistici messi a disposizione dai fornitori delle predette piattaforme, in qualità di Contitolari del trattamento con questi ultimi, in conformità a quanto previsto dalla sentenza C-210/16 del 5 giugno 2018 della Corte di Giustizia dell’Unione Europea.

Inoltre, l’Università tratta i dati personali conferiti dall'utenza attraverso le pagine delle proprie piattaforme di social media, nell’ambito delle sue finalità istituzionali, esclusivamente per gestire le interazioni con l'utenza (commenti, post pubblici, ecc.).

Nel Sito, infine, sono presenti dei social button, ovvero dei link che rinviano agli account dell'Università sui social network raffigurati (es. Facebook, YouTube, X e LinkedIn) e consentono agli utenti che stanno navigando di interagire con un “click” direttamente con le piattaforme social. Tramite l’utilizzo di tali pulsanti non sono installati sul Sito cookie di terze parti (i pulsanti permettono semplicemente l'accesso diretto dal Sito ai predetti account).

Data ultimo aggiornamento dell'informativa: 19/02/2025

Lista cookies rilasciati

Data ultimo aggiornamento della lista cookie: 22/12/2022
Tipologia	Nome	Fornitore (Dominio)	Descrizione	Durata	Informativa
Necessario	_pk_id[*]	unive/WAI	*	30 giorni	Informativa
Necessario	_pk_ses[*]	unive/WAI	*	1 giorno	Informativa
Necessario	_pk_ref[*]	unive/WAI	*	6 mesi	Informativa
Necessario	_gsas	unive/google	Memorizza le preferenze dell'utente	3 mesi	Informativa
Necessario	_opensaml_req_cookie%	unive	Gestione autenticazione e SingleSignOn (shibboleth)	sessione	Informativa
Necessario	_shibsession[], _shibsstate[]	Unive.it (www.unive.it)	Mantiene i dati di sessione del SingleSignOn	Sessione	Informativa
Necessario	PHPSESSID	Unive.it (www.unive.it)	Identificatore univoco dell'utente per gli applicativi del sito	Sessione	Informativa
Necessario	cookie[*]	Unive.it (www.unive.it)	Memorizza le preferenze dell'utente sui cookie	1 mese	Informativa
Necessario	cookie	idp.unive.it	Memorizza le preferenze dell'utente sui cookie	1 mese	Informativa
Necessario	fe_typo_user	Unive.it (www.unive.it)	Identificatore univoco dell'utente per l'area riservata del sito	sessione	Informativa
Necessario	JSESSIONID	Unive.it (www.unive.it)	Utilizzato per creare le sessioni in area riservata	sessione	Informativa
Necessario	ADMCMD_prev	Unive.it (www.unive.it)	Utilizzato per la gestione degli accessi al cms typo3	sessione	Informativa
Necessario	unive.it	Unive.it (www.unive.it)	servono a registrare le preferenze sui cookies	6 mesi	Informativa
Necessario	noiframe	Unive.it (www.unive.it)	servono a registrare le preferenze sui cookies	6 mesi	Informativa
Google - Youtube	__Secure-1PAPISID	Google (google.com)	Utilizzato per finalità di targeting per costruire un profilo degli interessi dei visitatori del sito web al fine di mostrare pubblicità Google pertinente e personalizzata.	1 mese	Informativa
Google - Youtube	CONSENT	Google (google.com)	Utilizzato da google per memorizzare le preferenze dell'utente	17 anni	Informativa
Facebook - Pixel	Socialpix	Unive.it (www.unive.it)	Servono a registrare le preferenze sui cookiesc	6 mesi	Informativa Università Ca' Foscari
Facebook - Pixel	_fbp	Unive.it (www.unive.it)	Traccia gli utenti per il retargeting pubblicitario su Facebook	3 mesi	Informativa facebook