ROSSI Sabina

Dati relazione

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

Attività didattica

AnnoInsegnamentoCodice VotoVoto medio area
2012ABILITA' INFORMATICHELT0030 3.4 3.3
2012FOUNDATIONS OF PROGRAMMING LANGUAGES - MOD.2CM0189-2 3.2 3.2
2012INFORMATICA PER LA TRADUZIONE ASSISTITA ITALIANO-INGLESE MOD. 1LM7000-1 2.9 3.3
2012PROGRAMMAZIONE - MOD.1CT0304-1 3.3 3.1
2013ABILITA' INFORMATICHELT0030 3.0 3.1
2013FOUNDATIONS OF PROGRAMMING LANGUAGES - MOD.2CM0189-2 2.9 3.1
2013INFORMATICA PER LA TRADUZIONE ASSISTITALM7220 2.7 3.1
2013PROGRAMMAZIONE - MOD.1CT0304-1 3.0 3.1
2014ABILITA' INFORMATICHELT0030 3.1 3.2
2014FOUNDATIONS OF PROGRAMMING LANGUAGES - MOD.2CM0189-2 3.2 3.1
2014INFORMATICA PER LA TRADUZIONE ASSISTITALM7220 2.5 3.2
2014PROGRAMMAZIONE - MOD.1CT0304-1 3.2 3.1
2015ABILITA' INFORMATICHELT0030
2015FORMAL METHODS FOR SYSTEM VERIFICATIONCM0474
2015INFORMATICA PER LA TRADUZIONE ASSISTITALM7220
2015PROGRAMMAZIONE - MOD.1CT0304-1

Tesi

AnnoTipologiaTesi
2013Corso di dottorato1
2014Corso di laurea magistrale1
2015Corso di laurea1
2015Corso di laurea magistrale1

Finanziamenti

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

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

  • 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 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), Quantitative Analysis of Concurrent Reversible Computations , Proceedings of FORMATS 2015 in LECTURE NOTES IN COMPUTER SCIENCE 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)
  • M. Bugliesi; L. Gallina; S. Hamadou; A. Marin; S. Rossi (2014), Behavioural equivalences and interference metrics for mobile ad-hoc networks in PERFORMANCE EVALUATION, vol. 73, pp. 41-72 (ISSN 0166-5316) (Articolo su rivista)
  • Michele Bugliesi; Andrea Marin; Sabina Rossi (2014), Model Checking Adaptive Service Compositions in SCIENCE OF COMPUTER PROGRAMMING, vol. 94, pp. 289-306 (ISSN 0167-6423) (Articolo su rivista)
  • Andrea Marin; Sabina Rossi (2014), On Discrete Time Reversibility modulo State Renaming and its Applications in William Knottenbelt et al., Proceedings of Valuetools 2014, ACM Association for Computing Machinery, pp. 1-8, Convegno: Valuetools 2014 (Articolo in Atti di convegno)
  • Andrea Marin; Sabina Rossi (2014), 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 (Articolo in Atti di convegno)
  • L. Gallina; T. Han; M. Kwiatkowska; A. Marin; S. Rossi (2013), A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks in Björn Landfeldt, Mónica Aguilar-Igartua, Ravi Prakash, Cheng Li, 6th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM '13, ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318, pp. 255-262, Convegno: MsWim 2013, November 3-8, 2013 (ISBN 9781450323536) (Articolo in Atti di convegno)
  • A. Marin; S. Rossi (2013), Autoreversibility: exploiting symmetries in Markov chains , Proceedings of Int. Conf. MASCOTS 2013, Los Alamos, IEEE COMPUTER SOCIETY, pp. 151-160, Convegno: MASCOTS 2013, August 2013 (ISBN 9780769551029) (Articolo in Atti di convegno)
  • J. Hillston; A. Marin; C. Piazza; S. Rossi (2013), Contextual Lumpability , Proceedings of Valuetools 2013, Los Alamos, ACM, Convegno: Valuetools 2013, December, 2013 (ISBN 9781450325394) (Articolo in Atti di convegno)
  • Gian-Luca Dei Rossi; Lucia Gallina; Sabina Rossi (2013), Performance Analysis and Formal Verification of Cognitive Wireless Networks , Computer Performance Engineering in LECTURE NOTES IN COMPUTER SCIENCE in LECTURE NOTES IN COMPUTER SCIENCE, Berlin, Springer Berlin Heidelberg, vol. 8168, pp. 236-250, Convegno: 10th European Workshop, EPEW 2013, September 16-17, 2013 (ISBN 9783642407246) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • L. Gallina; S. Rossi (2012), A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks in WIRELESS COMMUNICATIONS AND MOBILE COMPUTING, vol. 13, pp. 296-312 (ISSN 1530-8669) (Articolo su rivista)
  • L. Gallina; T. Han; M. Kwiatkowska; A. Marin; S. Rossi; S. Spanò (2012), 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) (Articolo in Atti di convegno)
  • L. Gallina; G. Dei Rossi; A. Marin; S. Rossi (2012), Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks , Proc. of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM'12), New York, NY, ACM, pp. 151-158, Convegno: ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM'12), 21-26 Oct 2012 (ISBN 9781450316286) (Articolo in Atti di convegno)
  • M. Bugliesi; L. Gallina; S. Hamadou; A. Marin; S. Rossi (2012), Interference-sensitive Preorders for MANETs , Proc. of the 9th International Conference on Quantitative Evaluation of SysTems (QEST), Washington, DC, IEEE, pp. 189-198, Convegno: QEST'12, 17-20 Sep 2012 (ISBN 9780769547817) (Articolo in Atti di convegno)

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

L'attivita' di ricerca svolta riguarda lo studio del concetto di "reversibilita'" delle catene di Markov allo scopo di studiare le prestazioni dei sistemi informatici. La proprieta' di reversibilita' e' particolarmente interessante in quanto costituisce la base di molte tecniche di semplificazione del problema relativo al calcolo delle probabilità stazionarie in catene di Markov complesse.
Gli obiettivi futuri si possono riassumere nei seguenti quattro punti:
1. studiare nuove definizioni, più generali, di reversibilità al fine 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
2. sviluppare nuovi metodi di aggregazione-disaggregazione per i processi di Markov
3. indagare nuove forme prodotto
4. applicare le tecniche proposte usando un formalismo composizionale per la specifica di modelli stocastici quale l’algebra dei processi PEPA (Performance Evaluation Process Algebra).

Altre attività scientifiche

Peer-review di articoli sottomessi alle seguenti riviste/conferenze:
- Thoeretical Computer Science- Journal - Elsevier
- Information and Computation - Journal - Elsevier
- Transactions on Services Computing - Journal - IEEE
- Performance Evaluation - Journal - Elsevier
- Valuetools - International Conference on Performance Evaluation Methodologies and Tools
- EPEW - European Workshop on Performance Engineering
- WD - IFIP Wireless Days Conference
- ICUMT - IEEE International Congress on Ultra Modern Telecommunications and Control Systems

Partecipazione ai comitati scientifici delle seguenti conferenze:
- EPEW 2015 (PC member), 12th European Workshop on Performance Engineering (EPEW 2015), 31 August and 1 September, 2015, Madrid (Spain).
- ICUMT 2015 (PC member), 7th IEEE International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2015), October 6-8, 2015, Brno (Czech Republic).
- IFIP Wireless Days 2014 (PC member), November 12-14, 2014, Rio de Janeiro, (Brazil).
- EPEW 2014 (PC member), 11th European Workshop on Performance Engineering (EPEW 2014), September 8-12, 2014, Florence (Italy).
- ICUMT 2014 (PC member), 6th IEEE International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2014), October 6-8, 2014, St, Petersburg (Russia).
- EPEW 2013 (PC member), 10th European Workshop on Performance Engineering (EPEW 2013), September 16-17, 2013, Venice (Italy).
- IFIP Wireless Days 2013 (PC member), November 13-15, 2013, Valencia, (Spain).
- IFIP Wireless Days 2012 (PC member), November 21-23, 2012, Dublin, (Ireland).

Incarichi accademici e attività organizzative

Partecipazione alle attivita' di orientamento per il corso di laurea in Informatica e il corso di laurea magistrale in Computer Science