Ca' Foscari
University
of Venice

Alvise SPANO'

Position: Researcher

Telephone: 041 234 8426

E-mail: alvise.spano@unive.it

Scientific sector (SSD): Informatica [INFO-01/A]

Website: www.unive.it/people/alvise.spano (personal record)

Office: Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Assegnisti B1 (Zeta B building)

Research Institute: Research Institute for Complexity

Publications

Year	Type	Publication
Year	Type	Publication

2024	Journal Article	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 - ARCA card: 10278/5072461
2024	Journal Article	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 - ARCA card: 10278/5081863
2023	Journal Article	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 - ARCA card: 10278/5036941
2023	Article in Conference Proceedings	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 - ARCA card: 10278/5047901
2022	Journal Article	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 - ARCA card: 10278/3754129
2021	Journal Article	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 - ARCA card: 10278/3754135
2020	Journal Article	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 - ARCA card: 10278/3725231
2019	Article in Conference Proceedings	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 - ARCA card: 10278/3721103
2019	Article in Conference Proceedings	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 - ARCA card: 10278/3721102
2013	Book Article	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 - ARCA card: 10278/37423
2013	Article in Conference Proceedings	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 - ARCA card: 10278/39004
2012	Article in Conference Proceedings	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 - ARCA card: 10278/27911
2012	Article in Conference Proceedings	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 - ARCA card: 10278/39312
2011	Article in Conference Proceedings	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 - ARCA card: 10278/36316
2011	Article in Conference Proceedings	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) - ARCA card: 10278/29488

List of selected publications

Cookie Cookie Policy Information on cookies

This website uses cookies

This website uses cookies. Essential cookies (first party) are necessary for this website to work properly and they allow the University to compile anonymous statistics on its use. If you click on the X, you will only enable essential cookies. With your consent, cookies will activate social media functionalities and produce usage statistics, and your data will be shared with our partners that may associate it with other data for analysis, advertising, ect. On “Cookie list” you can see which cookies may be installed. You can find out more on the “Cookie policy”.

Essential

Google - Youtube

Cookies Policy

Cookie Policy - Privacy notice provided in accordance with EU Regulation 2016/679

Ca' Foscari University of Venice, as part of its institutional aims and in fulfillment of the obligations set forth in article 13 of the EU Regulation 2016/679 ("Regulation"), gives you information regarding the processing of personal data collected by cookies and/or similar technologies when you visit the www.unive.it website (“Website”). Cookies are small pieces of information that a website sends to the user’s device where it is automatically stored and then sent back to the same website or to a third party every time that the website is visited using the same device.

In this notice, the term “cookie” will mean cookies as defined above as well as any other similar tracking technology used in the Website.

1. Data Controller

The data controller is Ca' Foscari University of Venice, with headquarters in Dorsoduro n. 3246, 30123 Venice (VE), legally represented by the Rector pro tempore.

2. Data Protection Officer

The University has appointed a "Data Protection Officer" ("DPO"), who can be contacted by writing to the email address: dpo@unive.it or to the following address: Ca' Foscari University, Venice, Data Protection Officer, Dorsoduro n. 3246, 30123 Venice (VE).

3. Types of cookies, data collect, purposes and legal basis

The cookies used on the website are (please refer to the cookie list for specific information on each cookie):

essential cookies: cookies that are necessary to support the login system and the access to the “Personal Area” of the Website as well as to remember users’ cookie preferences.
Personal data associated with these cookie is: user’s IP address, date and time of the visit, means of data transfer, requested resource, response, response size in byte, link connected to the user requesting the resource, user’s operating system, browser and device used. The legal basis for this processing activity is represented by art. 6.1.b) (“performance of a service asked by the data subject”) and art. 6.1.e) of the Regulation (“execution of a task of public interest or connected to the exercise of public powers''). Being the University is a public body and it is required to have a website where the users can find useful information on its activities (artt. 53 e 54 D.lgs. n. 82/2005). Is not possible to disable these cookies through the banner, as this action will have a negative effect on your navigation of the Website.

analytics cookies (firs party): cookies that collect aggregated and statistical data on the navigation of the Website aimed at measuring the number of visits for each page of the Websites as well as the performance and the usability of the Website. The analytics cookies used on the Website are set by the University. Personal data associated with these cookies is: User IP, browser language, average visit time, page actions (downloads, outlinks), first visit, last visit, device used, ecc. The legal basis for this processing activity is represented by art. 6.1.e) of the Regulation (“execution of a task of public interest or connected to the exercise of public powers''), as the University aims at collecting statistical data on the visits of its Website pages especially with regards to the pages of “Amministrazione Trasparente”. Is not possible to disable these cookies through the banner, as this action will have a negative effect on your navigation of the Website.
third party cookies (social media): these cookies are set by third parties that collect the data in order to analyze the navigation and the preferences of the users. On the website, there are cookies set by Google namely Google-Youtube that allow users to watch Youtube videos on the Website and the University to measure the performance of its communication campaigns. These cookies are managed by Google and the University only processes anonymous and statistical information collected by them, who act as joint controllers on the basis of the CJEU ruling n. C-210/16 (5 June 2018). The legal basis for this processing activity is represented by art. 6.1.a) of the Regulation (“consent of the data subject''). The first time you land on the Website, a banner pops up asking whether you consent to enable these cookies. If you do not consent or withdraw consent at a later time through the “click here to change your cookie preferences” button, this will have no effect on your navigation.

You can always manage your cookie preferences through the browser setting. If you disable all cookies, please note that some activities on the website will not be possible anymore (i.e. the ones on the pages accessible in the Personal Area). To find out more on how to manage cookies through browser settings, please visit:

Internet Explorer: http://windows.microsoft.com/it-it/internet-explorer/delete-manage-cookies#ie=ie-11
Microsoft Edge: https://support.microsoft.com/help/4027947
Google Chrome: https://support.google.com/chrome/answer/95647?co=GENIE.Platform%3DDesktop&hl=en-GB
Apple Safari: https://support.apple.com/en-gb/guide/safari/sfri11471/mac
Mozilla Firefox: https://support.mozilla.org/en-US/kb/cookies-information-websites-store-on-your-computer
Opera: http://help.opera.com/Windows/10.00/it/cookies.html

If you want to know more about profiling cookies on your browser, please visit http://www.youronlinechoices.com..

4. Means of data processing

The processing of personal data will be carried out by authorized employees (in compliance with Article 29 of the Regulation and art. 2-quaterdecies of D. lgs. 196/2003), with the use of computerized procedures, adopting appropriate technical and organizational measures to protect them from unauthorized or illegal access, destruction, loss of integrity and confidentiality, even if accidental in nature.

5. Data retention

For information on the retention period of each cookie, please refer to the list below.

6. Recipients and categories of recipients of personal data and data transfer outside the European Economic Area

For the purposes set out above, in addition to specifically authorized employees and collaborators of the University, personal data may also be processed by those who execute outsourced activities on behalf of the University in their capacity as data processors (the updated list is available at: https://www.unive.it/pag/36643/).

Personal data collected by third party cookies may be transferred outside the European Economic Area (EEA) in compliance with the provisions of the Regulation.

7. Data subjects rights and how to exercise them

As a data subject, you have the right to obtain from the University, in the cases provided for by the Regulation, the access, the rectification and the erasure of your personal data as well as ask for the limitation of the processing of your personal data or to object to the data processing itself (articles 15 and following of the Regulation). The request can be submitted, without any particular formal procedures, by contacting the Data Protection Officer directly at dpo@unive.it or by sending a communication to the following address: Ca' Foscari University of Venice - Data Protection Officer, Dorsoduro 3246, 30123 Venice. Alternatively, you can contact the Data Controller, by writing a PEC (certified email) to protocollo@pec.unive.it.

Data subjects, who believe that the processing of their personal data is in violation of the provisions of the Regulation, have the right to file a complaint with the Data Protection Authority, as provided for by art. 77 of the Regulation, or to take legal action (art. 79 of the Regulation).

Appendix on social media:

In addition to the privacy notice published at: www.unive.it/pag/29567, the University provides you with information on the processing of your personal data collected through its social media pages (Facebook, Instagram). In particular, the University only processes anonymous and statistical information collected by the social media providers, who act as joint controllers on the basis of the CJEU ruling n. C-210/16 (5 June 2018). Moreover, the University informs you that when you leave a comment or a post on its social media pages, it will process your data only to administer your request/comment.

Last updated: 27/07/2022

List of cookies

Last update of the list of cookies: 22/12/2022
Type	Name	Sender (Domain)	Description	Duration	Policy
Essential	_shibsession[], _shibsstate[]	Unive.it (www.unive.it)	They maintain the session data of the SingleSignOn.	session	Information
Essential	PHPSESSID	Unive.it (www.unive.it)	Unique user identifier for the website applications.	session	Information
Essential	cookie[*]	Unive.it (www.unive.it)	It stores the user's preferences on cookies. user preferences on cookies.	1 month	Information
Essential	cookie	idp.unive.it	It stores the user's preferences on cookies.	1 month	Information
Essential	fe_typo_user	Unive.it (www.unive.it)	Unique user identifier for the reserved area of the website	session	Information
Essential	JSESSIONID	Unive.it (www.unive.it)	Used to create web sessions into the Personal Area.	session	Information
Essential	ADMCMD_prev	Unive.it (www.unive.it)	Used to create web sessions into the Personal Area.	session	Information
Essential	unive.it	Unive.it (www.unive.it)	It stores the user's preferences on cookies.	6 months	Information
Essential	noiframe	Unive.it (www.unive.it)	It stores the user's preferences on cookies.	6 months	Information
Essential	_pk_id[*]	unive/WAI	*	30 days	Information
Essential	_pk_ses[*]	unive/WAI	*	1 day	Information
Essential	_pk_ref[*]	unive/WAI	*	6 months	Information
Essential	_gsas[*]	unive/google	It stores the user's preferences on cookies.	3 months	Information
Essential	_opensaml_req_cookie%[*]	unive	Authentication and SingleSignOn (shibboleth)	session	Information
Google - Youtube	__Secure-1PAPISID	Google (google.com)	Used for targeting purposes in order to acquire web visitors' interests and show them pertinent and customised Google advertising.	2 years	Information
Google - Youtube	CONSENT	Google (google.com)	Used by Google to store the user's preferences.	17 years	Information
Google - Youtube	__Secure-1PSID	Google (google.com)	Used for targeting purposes in order to acquire web visitors' interests and show them pertinent and customised Google advertising.	2 years	Information