ROSSI Sabina

Position
Associate Professor
Roles
Delegate for Digital Innovation in Teaching and Research
Telephone
041 234 8422
E-mail
sabina.rossi@unive.it
Scientific sector (SSD)
INFORMATICA [INF/01]
Website
www.unive.it/persone/rossisab (personal record)
 http://www.dsi.unive.it/~srossi
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino (edificio Alfa)
Room: office Z.B01 (Zeta B building)
Research Institute
Research Institute for Complexity

Dati relazione

Periodo di riferimento
01/01/2018 - 31/12/2020
Afferenza
Dipartimento di Scienze Ambientali, Informatica e Statistica
Ruolo
Professori Associati
A.A.InsegnamentoCodice VotoVoto medio area
2017/2018FORMAL METHODS FOR SYSTEM VERIFICATIONCM04743.53.2
2017/2018INFORMATICA PER LA TRADUZIONE ASSISTITALM72202.83.2
2017/2018PROGRAMMAZIONECT03043.33.2
2018/2019FORMAL METHODS FOR SYSTEM VERIFICATIONCM047433.2
2018/2019IDONEITA' INFORMATICAFT029033.3
2018/2019INTRODUZIONE ALLA PROGRAMMAZIONECT04413.33.2
2019/2020ABILITA' INFORMATICHELT00307.28.1
2019/2020FORMAL METHODS FOR SYSTEM VERIFICATIONCM04747.57.9
2019/2020INTRODUZIONE ALLA PROGRAMMAZIONECT04417.67.9
Anno solareTipologiaTesi RelatoreTesi Correlatore
2018Corso di dottorato1
2018Corso di laurea magistrale1
2019Corso di laurea magistrale1
  • Analisi delle prestazioni
  • Analisi e verifica di sistemi distribuiti
  • Analysis of Backhaul networks based on Quantum Key Distribution
  • Semantica dei linguaggi di programmazione
  • Verifica di proprietà di sicurezza
  • Marin A.; Rossi S.; Sottana M. (2020), Dynamic resource allocation in fork-join queues in ACM TRANSACTIONS ON MODELING AND PERFORMANCE EVALUATION OF COMPUTING SYSTEMS, vol. 5, pp. 1-28 (ISSN 2376-3639) (Articolo su rivista)
  • Elahi M.; Marin A.; Rossi S.; Williamson C. (2020), Frequency scaling in multilevel queues in PERFORMANCE EVALUATION, vol. 143, pp. 102140 (ISSN 0166-5316) (Articolo su rivista)
  • Marin, Andrea; Rossi, Sabina; Zen, Carlo (2020), Size-based scheduling for TCP flows: Implementation and performance evaluation in COMPUTER NETWORKS, vol. 183, pp. 107574 (ISSN 1389-1286) (Articolo su rivista)
  • Marin A.; Rossi S.; Zen C. (2020), A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues , Proc. of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, Vienna, 31 August 2020 - 3 September 2020 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Science and Business Media Deutschland GmbH, vol. 12289, pp. 144-147, Convegno: 17th International Conference on Quantitative Evaluation Systems, QEST 2020, 2020 (ISBN 978-3-030-59853-2; 978-3-030-59854-9) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Marin A.; Rossi S. (2020), A Queueing Model that Works Only on the Biggest Jobs , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer, vol. 12039, pp. 118-132, Convegno: 16th European Workshop on Computer Performance Engineering, EPEW 2019, 2019 (ISBN 978-3-030-44410-5; 978-3-030-44411-2) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Ivan Malakhov, Andrea Marin, Sabina Rossi, Daria Smuseva (2020), Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach , 2020 IEEE International Conference on Blockchain (Blockchain), IEEE Computer Society, vol. 1, pp. 436-441, Convegno: 2020 IEEE International Conference on Blockchain (Blockchain) (ISBN 978-0-7381-0495-9) (Articolo in Atti di convegno)
  • Marin A.; Rossi S.; Williamson C. (2020), Speed scaling in fork-join queues: A comparative study , ACM International Conference Proceeding Series, Association for Computing Machinery, pp. 80-87, Convegno: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2020, 2020 (ISBN 9781450376464) (Articolo in Atti di convegno)
  • Bujari A.; Marin A.; Palazzi C.E.; Rossi S. (2019), Smart-RED: A novel congestion control mechanism for high throughput and low queuing delay in WIRELESS COMMUNICATIONS AND MOBILE COMPUTING, vol. 2019, pp. 1-10 (ISSN 1530-8669) (Articolo su rivista)
  • Marin A.; Piazza C.; Rossi S. (2019), A process algebra for (delimited) persistent stochastic non-interference , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11785, pp. 222-238, Convegno: 16th International Conference on Quantitative Evaluation of Systems, QEST 2019, 2019 (ISBN 9783030302801) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Hillston J.; Piazza C.; Marin A.; Rossi S. (2019), Delimited persistent stochastic non-interference , ACM International Conference Proceeding Series, 1515 BROADWAY, NEW YORK, NY 10036-9998 USA, Association for Computing Machinery, pp. 135-142, Convegno: 12th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2019, 2019 (ISBN 9781450365963) (Articolo in Atti di convegno)
  • Marin A.; Piazza C.; Rossi S. (2019), Proportional Lumpability , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer, vol. 11750, pp. 265-281, Convegno: 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, 2019 (ISBN 978-3-030-29661-2; 978-3-030-29662-9) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Marin A.; Rossi S.; Sottana M.; Zen C. (2019), Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows , Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS in PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS, IEEE Computer Society, vol. 2019, pp. 94-106, Convegno: 27th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2019, 2019 (ISBN 978-1-7281-4950-9) (ISSN 1526-7539) (Articolo in Atti di convegno)
  • Marin, Andrea; Rossi, Sabina; Burato, Dario; Sina, Andrea; Sottana, Matteo (2018), A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs in ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, vol. 28, pp. 1-23 (ISSN 1049-3301) (Articolo su rivista)
  • Giacomo Alzetta, Andrea Marin, Carla Piazza, Sabina Rossi (2018), Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses in INFORMATION AND COMPUTATION, vol. 260, pp. 99-125 (ISSN 1090-2651) (Articolo su rivista)
  • Marin, Andrea*; Rossi, Sabina; Sottana, Matteo (2018), Biased processor sharing in fork-join queues , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11024, pp. 273-288, Convegno: 15th International Conference on Quantitative Evaluation of Systems, QEST 2018, 2018 (ISBN 9783319991535) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Hillston, Jane; Marin, Andrea; Piazza, Carla*; Rossi, Sabina (2018), Information Flow Security for Stochastic Processes , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11178, pp. 142-156, Convegno: 15th European Performance Engineering Workshop, EPEW 2018, 2018 (ISBN 9783030022266) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Jane Hillston, Carla Piazza, Sabina Rossi (2018), Persistent Stochastic Non-Interference in Jane Hillston, Carla Piazza, Sabina Rossi, Proceedings EXPRESS/SOS 2018 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, Open Publishing Association, vol. 276, pp. 53-68, Convegno: 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, September 3, 2018 (ISSN 2075-2180) (Articolo in Atti di convegno)
Referee della proposta progettuale "LOCKCHAIN4FOODCHAIN: Tecnologie Blockchain avanzate per una supply chain alimentare di cibi sani e affidabili (Enhanced Blockchain Technology for a healthy Trusted Food Supply Chain)", Bando per il finanziamento di Progetti di Ricerca di Ateneo 2020, Università degli Studi di Perugia - Prot. n. 31166 del 15/02/2021 - Classif. III/13.
- Guest Editor, per la rivista internazionale Performance Evaluation (Elsevier). Special issue on a selection of the best papers presented at ValueTools 2017.
- Editor dei Proceedings di ”11th EAI International Conference on Performance Evaluation Methodologies and Tools (Valuetools’17), December 5-7, 2017, Venice (Italy).
The research interests mainly concern:
- The study of an information flow security property for systems specified as terms of a quantitative process algebra. Intuitively, we propose a quantitative extension of the Non-Interference property used to secure systems from the functional point view by assuming that the observers are able to measure also the timing properties of the system, e.g., the response time or the throughput. We study formal methods to allow mechanisms for downgrading or declassifying information such as information filters and channel control in a quantitative setting.
- The study of aggregation techniques for solving Continuous Time Markov Chains, named lumpability. In particular, we introduced two relations over stochastic automata, named lumpable bisimulation and exact equivalence, that induce a strong and an exact lumping, respectively, on the underlying Markov chains. We show that an exact equivalence over the states of a non-synchronising automaton is indeed a lumpable bisimulation for the corresponding reversed automaton and then it induces a strong lumping on the time-reversed Markov chain underlying the model. This property allows us to prove that the class of quasi-reversible models is closed under exact equivalence. Quasi-reversibility is a pivotal property to study product-form models. Hence, exact equivalence turns out to be a theoretical tool to prove the product-form of models by showing that they are exactly equivalent to models which are known to be quasi-reversible. Algorithms for computing both lumpable bisimulation and exact equivalence are under investigation.
- Fair Work Distribution on Permissioned Blockchains: In permissioned blockchains, a set of identifiable miners are in charge of consolidating the new blocks. The agreement protocol is usually based on a consensus mechanism inspired by a voting Byzantine Fault Tolerance (BFT) mechanism rather than the well-known proof-of-work (PoW). However, PoW provides some benefits with respect to BFT, i.e., it allows the final user to quantify the effort required to change a consolidated transaction without the need of trusting the consortium of miners. The aim of my research is that of addressing some of the problems that arise from the application of PoW in permissioned blockchains. We propose a quantitative model whose solution allows us to assess its capacity of balancing the hash power provided by heterogeneous miners.

Future work:

- Reversible Markovian process algebra equipped with stochastic noninterference techniques that we will apply to the study of private blockchains. We will start by
developing models of various aspects of blockchains in general, such as distributed ledgers, consensus protocols, and peer-to-peer asynchronous networks. In doing this, we will consider performance aspects too. Then we will focus on private blockchains, in which noninterference and reversibility analyses play a role due to the presence of users with different permissions, and hence different security levels, as well as the necessity of reversing transactions in certain situations, for regulation compliance. Special attention will be paid to central bank digital currency (CBDC), for which we are already consulting the relevant literature including working papers and reports of the International Monetary Fund, the World Economic Forum, and central banks.
- Membro del Program Committee di “2nd Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT’20)”, December 9-11, 2020, online conference.
- Membro del Program Committee di “International Conference on Foundations of Computer Science & Technology (FCST’20)”, June 27-28, 2020, Copenhagen (Denmark).
- Membro del Program Committee di “3rd Smart Cities Symposium (SCS’20)”, September 21-23, 2020, virtual symposium.
- Membro del Program Committee di “12th International Conference on Wireless and Mobile Network (WiMo 2020)”, May 30-31, 2020, Vancouver (Canada).
- Membro del Program Committee di ”35th Italian Conference on Computational Logic (CILC’20)”, October 13-15, 2020, Rende (ITALY).
- Membro del Program Committee di ”12th International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2020)”, October 5-7, 2020, online conference.
- Membro del Program Committee di “6th International Conference on Artificial Intelligence and Fuzzy Logic Systems (AIFZ 2020)”, October 24-25, 2020, Sydney (Austra- lia).
- Membro del Program Committee di “20th Italian Conference on Theoretical Computer Science (ICTCS’19)”, Deptember 9-11, 2019, Como (Italy).
- Membro del Program Committee di “7th International Conference on Soft Compu- ting”, April 27-28, 2019, Copenhagen (Denmark).
- Membro del Program Committee di ”12th EAI International Conference on Performan- ce Evaluation Methodologies and Tools (Valuetools’19), March 12-15, 2019, Palma de Mallorca (Spain).
- Membro del Program Committee di ”11th International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2019)”, October 28-30, 2019,Dublin (Ireland).
- Membro del Program Committee di “6th International Conference on Computer Networks & Data Communications (CNDC 2019)”, December 21-22, 2019, Sydney (Australia).
- Membro del Program Committee di “First Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT’19)”, September 22-24, 2019, Amsterdam (the Netherlands).
- Membro del Program Committee di ”10th International Conference on Wireless & Mobile Network (WiMo 2018)”, May 26-27, 2018, Vienna (Austria).
- Membro del Program Committee di “9th International Conference on Ubiquitous Computing”, December 22-23, 2018, Sydney (Australia).
- Membro del Program Committee di “10th International Conference on Networks & Communications (NeTCoM’18)”, December 22-23, 2018, Dubai.
- Membro del Program Committee di ”7th International Conference on Theory and Practice in Modern Computing”, July 18 - 20, 2018, Madrid (Spain).
Insegnamento per il Dottorato di Ricerca in Informatica (PhD in Computer Science), "Advances in Autonomous, Distributed and Pervasive Systems", modulo da 10 ore, 2018.
- Delegata della rettrice all’Innovazione digitale per la didattica e la ricerca per il triennio accademico 2020/21-2022/23.
- Membro di EUTOPIA Digital Expert Group come rappresentante dell’Università Ca’ Foscari per la definizione della strategia digitale per il progetto EUTOPIA (European Universities Transforming into an Open Inclusive Academy for 2050).
- Membro della commissione di valutatione dei contratti dei ricercatori lettera a) e delle proposte di borse di dottorato sul Programma Operativo Nazionale Ricerca e Innovazione (PON) 2014-2020, presentate dall'Università Ca' Foscari di Venezia.
- Vice-Coordinatore del Dottorato di Ricerca in Informatica (Vice-coordinator of the PhD in Computer Science), dall’a.a. 2013-2014 all’a.a. 2018-2019.
- Membro del Collegio di Dottorato del Dottorato di Ricerca in Informatica (PhD in Computer Science), Universit`a Ca’ Foscari di Venezia, dal 01-10-2009 a oggi.