ROSSI Sabina

Qualifica Professoressa Associata
Telefono 041 234 8422
E-mail sabina.rossi@unive.it
Sito web www.unive.it/persone/rossisab (scheda personale)
 http://www.dsi.unive.it/~srossi
Struttura Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Research Institute Research Institute for Complexity

Dati relazione

Periodo di riferimento 16/11/2015 - 15/11/2018
Afferenza Dipartimento di Scienze Ambientali, Informatica e Statistica
Ruolo Professori associati

Attività didattica

A.A.InsegnamentoCodice Voto (max 4)Voto medio area (max 4)
2015/2016ABILITA' INFORMATICHELT003033.2
2015/2016FORMAL METHODS FOR SYSTEM VERIFICATIONCM04743.43.1
2015/2016INFORMATICA PER LA TRADUZIONE ASSISTITALM72202.83.2
2015/2016PROGRAMMAZIONECT03042.83.1
2016/2017ABILITA' INFORMATICHELT00302.93.2
2016/2017FORMAL METHODS FOR SYSTEM VERIFICATIONCM04743.63.1
2016/2017INFORMATICA PER LA TRADUZIONE ASSISTITALM72202.83.2
2016/2017PROGRAMMAZIONECT030433.1
2017/2018FORMAL METHODS FOR SYSTEM VERIFICATIONCM04743.53.2
2017/2018INFORMATICA PER LA TRADUZIONE ASSISTITALM72202.83.2
2017/2018PROGRAMMAZIONECT03043.33.2

Tesi

Anno solareTipologiaTesi RelatoreTesi Correlatore
2015Corso di laurea1
2015Corso di laurea magistrale1
2017Corso di laurea1
2017Corso di laurea magistrale1

Ricerche sviluppate e in corso

  • Analisi delle prestazioni
  • Analisi e verifica di sistemi distribuiti
  • Semantica dei linguaggi di programmazione
  • Verifica di proprietà di sicurezza

Pubblicazioni realizzate nel triennio

  • 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)
  • Alzetta, Giacomo; Marin, Andrea; Piazza, Carla; Rossi, Sabina (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)
  • Hillston, Jane; Piazza, Carla; Rossi, Sabina (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)
  • Marin, Andrea; Rossi, Sabina (2017), Fair workload distribution for multi-server systems with pulling strategies in PERFORMANCE EVALUATION, vol. 113, pp. 26-41 (ISSN 0166-5316) (Articolo su rivista)
  • Marin, Andrea; Rossi, Sabina (2017), On the relations between Markov chain lumpability and reversibility in ACTA INFORMATICA, vol. 54, pp. 447-485 (ISSN 1432-0525) (Articolo su rivista)
  • Marin, Andrea; Rossi, Sabina (2017), Power control in saturated fork-join queueing systems in PERFORMANCE EVALUATION, vol. 116, pp. 101-118 (ISSN 0166-5316) (Articolo su rivista)
  • Marin, Andrea; Rossi, Sabina (2017), Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming , Analytical and Stochastic Modelling Techniques and Applications - 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings. in LECTURE NOTES IN COMPUTER SCIENCE, Thomas, Nigel; Forshaw, Matthew, vol. 10378, pp. 152-165, Convegno: Analytical and Stochastic Modelling Techniques and Applications (ISBN 978-3-319-61427-4) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Bujiari, Armir; Marin, Andrea; Rossi, Sabina; Palazzi, Claudio (2016), Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic in COMPUTER NETWORKS, vol. 108, pp. 160-170 (ISSN 1389-1286) (Articolo su rivista)
  • Gallina, Lucia; Marin, Andrea; Rossi, Sabina (2016), Connectivity and energy-aware preorders for mobile ad-hoc networks. in TELECOMMUNICATION SYSTEMS, vol. 63, pp. 307-333 (ISSN 1018-4864) (Articolo su rivista)
  • Balsamo, Maria Simonetta; Cavallin, Filippo; Marin, Andrea; Rossi, Sabina; (2016), Applying reversibility theory for the performance evaluation of reversible computations , Proc. of 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016 in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 9845, pp. 45-59, Convegno: 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016, 24-26/08/2016 (ISBN 978-331943903-7) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Marin, Andrea; Rossi, Sabina (2016), Dynamic control of the join-queue lengths in saturated fork-join queues. , 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016) in LECTURE NOTES IN COMPUTER SCIENCE, Spinger, Convegno: 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), August 23-25 2016 (ISBN 978-331943424-7) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Marin, Andrea; Rossi, Sabina; Bujari, Armir; Palazzi, Claudio (2016), Performance evaluation of AQM techniques with heterogeneous traffic , 13th IEEE Annual Consumer Communications & Networking Conference, IEEE, pp. 194-199, Convegno: 13th IEEE Annual Consumer Communications & Networking Conference, 9-12 Jan. 2016 (ISBN 978-1-4673-9292-1) (Articolo in Atti di convegno)
  • Cavallin, Filippo; Marin, Andrea; Rossi, Sabina (2016), Product-forms for Probabilistic Input/Output Automata , Proc. of 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016), IEEE, pp. 361-366, Convegno: 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016), September, 2016 (ISBN 978-1-5090-3432-1; 978-1-5090-3433-8) (Articolo in Atti di convegno)
  • Cavallin, Filippo; Marin, Andrea; Rossi, Sabina (2015), A Product-Form Model for the Analysis of Systems with Aging Objects , Proceedings of Int. Conf. MASCOTS 2015, IEEE, pp. 136-145, Convegno: MASCOTS 2015 (ISBN 978-1-4673-7720-1) (Articolo in Atti di convegno)
  • Marin, Andrea; Rossi, Sabina (2015), Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses in Andrea Marin, Sabina Rossi, Proceedings of QEST 2015, th International Conference on Quantitative Evaluation of Systems in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 9259, pp. 160-175, Convegno: 12th International Conference, QEST 2015, September 1-3, 2015 (ISBN 978-3-319-22263-9) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Marin, Andrea; Rossi, Sabina (2015), On the relations between Lumpability and Reversibility in Mike Attalah et al., Proceedings of MASCOTS 2014, IEEE COMPUTER SOC, pp. 427-432, Convegno: MASCOTS 2014 (ISBN 978-1-4799-5610-4) (Articolo in Atti di convegno)
  • Marin, Andrea; Rossi, Sabina (2015), Priority-based bandwidth allocation in wireless sensor networks , 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015, ACM, pp. 137-144, Convegno: ValueTools 2015 (ISBN 978-1-63190-096-9) (Articolo in Atti di convegno)
  • Marin, Andrea; Rossi, Sabina (2015), Quantitative Analysis of Concurrent Reversible Computations , Proceedings of FORMATS 2015 in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 9268, pp. 206-221, Convegno: FORMATS 2015 (ISBN 978-3-319-22974-4) (ISSN 0302-9743) (Articolo in Atti di convegno)

Partecipazione a comitati editoriali di riviste/collane scientifiche

Guest Editor, per la rivista internazionale Performance Evaluation (Elsevier). Special issue on a selection of the best papers presented at ValueTools 2017.

Descrizione dell'attività di ricerca svolta nel triennio e gli obiettivi futuri

La progettazione e lo sviluppo di sistemi moderni per l’elaborazione delle informazioni richiede l’analisi di diversi aspetti che riguardano sia le funzionalità, quali correttezza, affidabilità e sicurezza, che le prestazioni come ad esempio l’utilizzazione delle risorse e i tempi di risposta dei sistemi che si vogliono sviluppare. In questo contesto, mi sono dedicata allo studio di modelli per la valutazione delle prestazioni allo scopo di analizzare gli aspetti dinamici del comportamento di un sistema. I modelli stocastici sviluppati forniscono una descrizione astratta dei sistemi che si vogliono analizzare in termini di catene di Markov e distribuzioni di probabilità. Sono stati analizzati sistemi reali, spesso molto complessi, composti da un numero elevato di componenti che interagiscono fra di loro. Questo ha comportato lo studio e l’analisi di modelli in cui lo spazio degli stati è troppo elevato per poter effettuare valutazioni esatte e computazionalmente efficienti. Per risolvere questo problema, noto come esplosione dello spazio degli stati, mi sono concentrata nello studio sia di tecniche composizionali che di metodi di aggregazione-disaggregazione.
In particolare, sono state studiate condizioni che garantiscono soluzioni in forma prodotto per il calcolo delle probabilità stazionarie dei sistemi. La soluzione in forma prodotto, quando esiste, può essere derivata dall’unione (o prodotto) delle probabilità stazionarie delle sotto-componenti, che sono a loro volta processi di Markov, che interagiscono fra di loro.
Un altro modo per affrontare il problema dell’esplosione dello spazio degli stati consiste nel generare un processo di Markov aggregato che è più piccolo di quello originale (nel senso che ha meno stati) ma che può essere utile per determinare soluzioni esatte per la catena di Markov originale in modo efficiente. Questi metodi si basano sul concetto di lumping ovvero una partizione dello spazio degli stati che mantiene la proprietà di essere una catena di Markov.
Il risultato più importante degli ultimi tre anni di ricerca riguarda una generalizzazione della nozione di reversibilità delle catene di Markov ottenuta introducendo i concetti di autoreversibilità e reversibilità a meno di rinomina degli stati. Queste proprietà di reversibilità sono particolarmente interessanti in quanto consentono di semplificare il problema relativo al calcolo delle probabilità stazionarie in catene di Markov complesse.

Gli obiettivi futuri riguardano:
- Lo studio di nuove definizioni, più generali, di reversibilità nello stile di quelle introdotte recentemente allo scopo di estendere la classe dei processi stocastici per cui esistono tecniche efficienti per il calcolo delle probabilità stazionarie e degli indici di prestazione in generale;
- Lo sviluppo e l’applicazione di metodi di aggregazione-disaggregazione sia per i processi di Markov da analizzare che per i loro processi inversi;
- L’indagine di nuove forme prodotto utilizzando i risultati e le ricerche descritte nei punti sopra;
- L’applicazione delle tecniche proposte usando un formalismo composizionale per la specifica di modelli stocastici quale l’algebra dei processi PEPA (Performance Evaluation Process Algebra).

Altri prodotti scientifici

- Collaborazione scientifica con il gruppo di ricerca della Prof.ssa Jane Hillston, professor of Quantitative Modelling in the School of Informatics within the College of Science and Engineering at the University of Edinburgh.
- Partecipazione al gruppo ACADIA Center - AdvanCes in Autonomous, DIstributed and pervAsive systems, Università Ca' Foscari.
Il gruppo è  formato da professori, ricercatori e assegnisti di ricerca attivi nelle aree de sicurezza, analisi delle prestazioni, affidabilità del software nell'ambito dei sistemi pervasivi e distribuiti. Il gruppo intrattiene collaborazioni con numerosi istituti internazionali, fra cui University of Edinburgh, University of Antwerp, Imperial College London, University of Vienna. Vengono ospitati regolarmente studiosi internazionali per l'organizzazione di eventi scientifici e la stesura progetti di ricerca. https://www.dais.unive.it/~acadia/.
- Partecipazione alle attività del Progetto MIUR PRIN2010 "CINA: Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura ”, come Key Personnel dell'Università Ca' Foscari di Venezia. Dal 01-02-2013 al 01-02-2016.
- Partecipazione alle attività del Progetto MIUR "Implementation of knowledge management
systems", Smart Cities Project "ADAPT - Accessible Data for Accessible Proto-Types in Social Sector" - SCN-00447, come Key Personnel dell'Università Ca' Foscari di Venezia. Dal 01-01-2015 al 30-12-2017.
- Partecipazione al gruppo di ricerca "Science of complex economics, human and natural systems" nell'ambito del progetto "Research for Global Challenges" dell'Università Ca'Foscari di Venezia, http://www.unive.it/data/11644/. Dal 01-11-2016 a oggi.
- Partecipazione alle attività del Progetto "ECOMOBILITY: ECOlogical supporting for traffic Management in cOastal areas By using an InteLlIgenT sYstem" (INTERREG Italia-Croazia, 2018-2019). Il Progetto si propone di studiare la gestione del traffico stradale e marittimo nelle aree costiere, al fine di preservare l'ambiente, mantenendo comunque lo sviluppo economico, commerciale e turistico. Dal 01-01-2018 a oggi.
- Responsabile del Progetto "Metodi Formali per l’Analisi delle Prestazioni: Reversibilità e Forme Prodotto nelle Catene di Markov" finanziato dall'Università Ca' Foscari all'interno del programma "Incentivi per la Ricerca InDividuale (IRIDE)". Dal 01-01-2016 al 30-12-2017
- Responsabile dell'Unità di Venezia per il Progetto PRIN 2017 "RECTA: REversible Computation: Theory and Applications" sottomesso in data 29/03/2018.

Menzioni e premi ricevuti

Best Paper Award, 10th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'16), ACM Press, 2016, per l'articolo: A. Marin and S. Rossi, "Fair workload distribution for multi-server systems with pulling strategies".

Relazioni invitate presso convegni o workshops

- Presentazione di un articolo a "12th International Conference on Quantitative Evaluation of Systems (QEST'15)", Madrid (Spain), September 1-3, 2015. Presentazione dell'articolo "Lumping-based equivalences in Markovian automata and applications to product-form analyses", M. Bugliesi, L. Gallina, S. Hamadou, A. Marin and S. Rossi.
- Presentazione di un articolo a "13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'15)", Madrid (Spain), September 2 - 4, 2015. Presentazione dell'articolo "Quantitative Analysis of Concurrent Reversible Computations", A. Marin and S. Rossi.
- Presentazione di un articolo a "24th International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA'17)", Newcastle-upon-Tyne (UK), July 10–11, 2017. Presentazione dell'articolo "Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming", A. Marin and S. Rossi.
- Presentazione di un articolo a "15th European Workshop on Computer Performance Engineering (EPEW'18),Paris, France, October 2018. Presentazione dell'articolo "Information Flow Security for Stochastic Processes", Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi:.

Altre attività scientifiche

- Membro del Comitato Scientifico di "12th European Workshop on Computer Performance Engineering (EPEW'15)", August 31 - September 1, 2015, Madrid (Spain).
- Membro del Comitato Scientifico di ICUMT 2015, 7th IEEE International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2015), October 6-8, 2015, Brno (Czech Republic).
- Membro del Comitato Scientifico di "13th Annual IEEE Consumer Communications & Networking Conference (CCNC 2016), Special Sessions Track on Wireless Models and Simulations for Consumer Communication and Networking", 9-12 January 2016, Las Vegas (USA).
- Membro del Comitato Scientifico di "13th European Workshop on Computer Performance Engineering (EPEW'16)", October 5-7, 2016, Chios (Greece).
- Membro del Comitato Scientifico di "14th Annual IEEE Consumer Communications & Networking Conference (CCNC 2017), Special Sessions Track on Wireless Models and Simulations for Consumer Communication and Networking", January 8-11, 2017, Las Vegas (USA).
- Local co-Chair di "2nd EAI International Conference on Smart Objects and Technologies for Social Good (GoodTechs 2016)", November 30 - December 1, 2016, Venice (Italy).
- Program Co-Chair di "11th EAI International Conference on Performance Evaluation Methodologies and Tools (Valuetools'17), December 5-7, 2017, Venice (Italy).
- Membro del Comitato Scientifico di "7th International Conference on Theory and Practice in Modern Computing", July 18 - 20, 2018, Madrid (Spain).
- Membro del Comitato Scientifico di "10th International Conference on Wireless & Mobile Network (WiMo 2018)", May 26-27, 2018, Vienna (Austria).
- Membro del Comitato Scientifico di MobiApps'18 (TPC member), 5th International Workshop on Mobile Applications, August 6-8, Barcelona (Spain).
- Membro del Comitato Scientifico di ICUMT'18, 10th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, November 5-9, Moscow (Russia).
- Membro del Comitato Scientifico di SCCCS'18, International Symposium on Cloud Computing and Cyber-Security, August 15-16, London (UK).
- Membro del Comitato Scientifico di 3ICT 2018, International Conference on Innovation and Intelligence for Informatics, Computing, and Technologies, November 18-20, Bhrain.

Attività di revisione per numerose conferenze internazionali tra cui: (MASCOTS) IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, (QEST) International Conference on Quantitative Evaluation of SysTems, (VALUETOOLS) International Conference on Performance Evaluation Methodologies and Tools, (EPEW) European Performance Engineering Workshop, (ESOP) European Symposium on Programming, (PPDP) Principles and Practice of Declarative Programming, (CSF) IEEE Computer Security Foundations Symposium, (LOPSTR) International Symposium on
Logic-based Program Synthesis and Tranformation.

Attività di revisione per numerose riviste internazionali tra cui: Performance evaluation (Elsevier), Information and Computation (Elsevier), Journal of Computer Security (IOS Press), ACM Transactions on Computational Logic (TOCL), Journal of Logic and Algebraic Programming (Elsevier), Theoretical Computer Science (Elsevier), Computer Languages, Systems and Structures (Elsevier).

Altre attività didattiche

Titolare dell'insegnamento "Advances in Autonomous, Distributed and Pervasive Systems" (10 ore) per i dottorandi del corso di dottorato in Informatica (PhD in Computer Science) dell'Università Ca' Foscari di Venezia A.A. 2016/2017.

Incarichi accademici e attività organizzative

Vice-Coordinatore del Collegio di Dottorato della Scuola Dottorale in Informatica (PhD in Computer Science) dell'Università Ca' Foscari Venezia, dal 3 ottobre 2013 ad oggi.

Componente di Collegi didattici, Comitati e Commissioni di Dipartimento, Commissioni di Ateneo

Membro del Collegio di Dottorato della Scuola Dottorale in Informatica (PhD in Computer Science) dell'Università Ca' Foscari Venezia per i cicli XXV, XXVI, XXVII, XXVIII, XXIX, XXX, XXXI, XXXII, XXXIII dal 01-10-2009 a oggi.

Membro della Commissione giudicatrice per il Dottorato di Ricerca in INFORMATICA, ciclo XXVIII, in co-tutela con l'Universitè Paris 7 - Paris Diderot University, preposta all'esame del candidato Giordano Favro al conseguimento del titolo di Dottore di Ricerca presso L'Università Ca' Foscari di Venezia, 2016.

Attività e incarichi esterni

Membro della Commissione giudicatrice per il Dottorato di Ricerca in INFORMATICA, ciclo XXVIII, in co-tutela con "New Mexico State University" e con "Universitè de Grenoble" e differimenti del XXVII ciclo preposta all'esame per conseguimento del titolo di Dottore di Ricerca presso L'Università degli Studi di Udine, 2016.