Participation in editorial boards of scientific journals/book series: IFIP Wireless Days 2012 (PC member), November 21-23, 2012, Dublin, (Ireland).

IFIP Wireless Days 2011 (PC member), October 10-12, 2011, Niagara Falls, Ontario (Canada).

ICUMT 2011 (PC member), 3rd IEEE International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2011), October 5-7, 2011, Budapest (Hungary).

CILC 2011 (PC member) 26-esimo Convegno Italiano di Logica Computazionale, 31 Agosto - 2 Settembre 2011, Pescara (Italy).

ICUMT 2010 (PC member), 2nd IEEE International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2010), October 18-20, 2010, Moscow (Russia).

IFIP Wireless Days 2010 (PC member and Local Arrangement Chair), October 20-22, 2010, Venice (Italy).

TCS 2010 (PC member) 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), September 20-23, 2010, Brisbane (Australia).

CILC 2010 (PC member) 25-esimo Convegno Italiano di Logica Computazionale, July 7-9, 2010, Rende, Università della Calabria (Italy).

Main departmental research areas and fields: Area: Informatica Linea: ARTIFICIAL INTELLIGENCE
Area: Informatica Linea: DISTRIBUTED SYSTEMS
Area: Informatica Linea: INFORMATION SYSTEMS
Area: Informatica Linea: PROGRAMMING LANGUAGES
Area: Informatica

Research skills

Modelli formali per analisi qualitative e quantitative di sistemi software

Keywords:: Software technology, Network tecnology, Security technology

ATECO code:: [62.0] - produzione di software, consulenza informatica e attività connesse

Completed and pending researches

Analisi delle prestazioni

SSD:: INF/01

Analisi e verifica di sistemi distribuiti

SSD:: INF/01

Analysis of Backhaul networks based on Quantum Key Distribution

SSD:: ING-INF/05

Other members of the research group:: Peppino FAZIO
Leonardo MACCARI
Andrea MARIN
Diletta OLLIARO

Blockchain Programming Languages

SSD:: INF/01

Other members of the research group:: Lorenzo BENETOLLO
Alvise SPANO'

Blockchain Programming Languages

SSD:: INF/01

Other members of the research group:: Lorenzo BENETOLLO
Michele BUGLIESI
Alvise SPANO'

Modeling, simulation and analysis of complex systems in astrophysics

SSD:: INF/01

Other members of the research group:: Leone BACCIU
Matteo GRAZIOSO
Marco Salvatore NOBILE

Semantica dei linguaggi di programmazione

SSD:: INF/01

Strumenti di Intelligenza Artificiale per l'analisi di Linguaggi di Programmazione

SSD:: INFO-01/A

Other members of the research group:: Michele BUGLIESI
Dalila RESSI
Alvise SPANO'
Rocco TRIPODI

Verifica di proprietà di sicurezza

SSD:: INF/01

Funds

ADAPT: Accessible Data for Accessible Proto-types in Social Sector

Funding body:: MIUR

Type:: Bando Smart Cities

Role in the project:: NS

Starting date:: Year: 2013 Length in months: 48

Other members of the research group:: Andrea ALBARELLI
Michele BUGLIESI
Riccardo FOCARDI
Flaminia LUCCIO
Andrea MARIN
Salvatore ORLANDO
Alessandra RAFFAETA'
Claudio SILVESTRI
Andrea TORSELLO

CINA: Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura

Funding body:: MIUR

Type:: PRIN

Role in the project:: PT

Starting date:: Year: 2012 Length in months: 24

Other members of the research group:: Maria Simonetta BALSAMO
Michele BUGLIESI
Andrea MARIN

FINANZIAMENTO PER BORSE DI DOTTORATO - Studio ed implementazione di modelli formali per l'analisi di reti ad-hoc e reti di sensori

Funding body:: MIUR

Type:: Altri programmi ministeriali

Role in the project:: LD

Starting date:: Year: 2008 Length in months: 26

Stochastic Differential Equations on GPU for Optimization (SDEGnO)

Funding body:: Bando a Cascata del Centro Nazionale ICSC – “National Centre for HPC, Big Data and Quantum Computing” – codice CN00000013, Spoke 3 – “Astrophysics and Cosmos Observation” a valere sui fondi PNRR assegnati al Programma HPC finanziato sui fondi PNRR MUR

Type:: Altri programmi ministeriali

Role in the project:: LD

Sito di progetto:: https://www.msnobile.eu/index.php/sdegno-stochastic-differential-equations-on-gpus-for-optimization/

Starting date:: Year: 2024 Length in months: 12

Other members of the research group:: Marco Salvatore NOBILE

Publication highlights

Spanò, Alvise; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Ressi, Dalila; Rossi, Sabina AlgoMove: Typed Abstractions for Algorand Smart Contracts in BLOCKCHAIN: RESEARCH AND APPLICATIONS, vol. 100485 (ISSN 2096-7209)
DOI 2026, Journal Article - ARCA card: 10278/5117627

Della Torre, Stefano; Bacciu, Leone; Grazioso, Matteo; Cavallotto, Giovanni; Gervasi, Massimo; La Vacca, Giuseppe; Rossi, Sabina; Nobile, Marco S. Validation of COSMICA code for massive stochastic simulation of cosmic rays propagation in the heliosphere in ASTRONOMY AND COMPUTING, vol. 55 (ISSN 2213-1337)
DOI 2026, Journal Article - ARCA card: 10278/5112968

Rizzo, Matteo; Spanò, Alvise; Benetollo, Lorenzo; Ressi, Dalila; Gasparetto, Andrea; Rossi, Sabina Advanced Large Language Models Prompting Strategies for Reentrancy Classification and Explanation in Smart Contracts in Matteo Rizzo; Alvise Spanò; Lorenzo Benetollo; Dalila Ressi; Andrea Gasparetto; Sabina Rossi, Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Springer Science and Business Media Deutschland GmbH, vol. 669, pp. 37-56, Convegno: 4th EAI International Conference on Blockchain Technology and Emerging Applications, BlockTEA 2025, 2025 (ISBN 9783032123343; 9783032123350) (ISSN 1867-8211)
DOI 2026, Article in Conference Proceedings - ARCA card: 10278/5113990

Bacciu, Leone; Grazioso, Matteo; Cavallotto, Giovanni; Della Torre, Stefano; Gervasi, Massimo; La Vacca, Giuseppe; Rossi, Sabina; Nobile, Marco S. Massive stochastic simulation of cosmic rays propagation in the heliosphere: The COSMICA code in ASTRONOMY AND COMPUTING, vol. 55 (ISSN 2213-1337)
DOI 2025, Journal Article - ARCA card: 10278/5107828

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 2025, Journal Article - ARCA card: 10278/5081863

List of publications

List of selected publications

Curriculum vitae

Sabina Rossi received her master degree in Mathematics from the University of Padova, Italy, in 1990 and her Ph.D. in Computational Mathematics and Informatics Mathematics from the University of Padova in 1994. She is Associate Professor of Computer Science at the University Ca’ Foscari of Venice, Italy, since 2012. Formerly she has been Assistant Professor of Computer Science at the University Ca’ Foscari of Venice, Italy, since 2000. Previously, she held a research position at the Universitè Catholique de Louvain-la-Neuve, Belgium. She has been visiting Professor at the Universitè Paris 7, Denis Diderot, France (2007). She has expertise in foundational models of distributed systems with mobility and concurrency.

Her current research focuses on the development of formal tools for the analysis, veriﬁcation and performance evaluation of complex systems based on process algebraic techniques. Recently, she has worked on Markovian models for the evaluation of the performance and dependability of computer and communication systems. Specifically, she worked on a new notion of time-reversibility to efficiently compute the stationary probabilities of large Markov models. She has applied her results for the analysis of ad-hoc wireless and sensor networks, systems with fork-join operations, distributed systems with load balancing.

Prof. Sabina Rossi is the (co-)author of over 80 technical papers in refereed international journals and conference proceedings and has been in the program committees of various international conferences and workshops.

The information above has been uploaded on Ca' Foscari website directly by the person this webpage refers to. The correctness and the truthfulness of the published information are the responsibility of the relevant person.

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

Sabina ROSSI

Office hours

Teaching activity current year

Teaching activity previous years

Activities and research skills

Publication highlights

List of publications

Curriculum vitae

cafoscariNEWS

Private blockchains to be even safer thanks to NiRvAna project

Blockchain private più sicure grazie al progetto NiRvAna

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

1. Data Controller

2. Data Protection Officer

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

4. Means of data processing

5. Data retention

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

7. Data subjects rights and how to exercise them

Appendix on social media: