BALSAMO Maria Simonetta

Qualifica Professoressa Ordinaria
Telefono 041 234 8473
E-mail balsamo@unive.it
Sito web www.unive.it/persone/balsamo (scheda personale)
 http://www.dsi.unive.it/~balsamo
Struttura Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: http://www.unive.it/dais
Sede: Campus scientifico via Torino

Dati relazione

Periodo di riferimento 01/11/2012 - 31/10/2015
Afferenza Dipartimento di Scienze Ambientali, Informatica e Statistica
Ruolo Professori Ordinari

Attività didattica

AnnoInsegnamentoCodice VotoVoto medio area
2012DISTRIBUTED SYSTEMSCM0187 3.1 3.1
2012PERFORMANCE AND RELIABILITY OF COMPUTER SYSTEMSCM0229
2012RETI DI CALCOLATORI - MOD.1CT0119-1 2.5 3.1
2013DISTRIBUTED SYSTEMSCM0187 3.0 305.0
2013PERFORMANCE AND RELIABILITY OF COMPUTER SYSTEMSCM0229
2013RETI DI CALCOLATORICT0373 216.0 305.0
2014DISTRIBUTED SYSTEMSCM0187 2.8 3.1
2014PERFORMANCE AND RELIABILITY OF COMPUTER SYSTEMSCM0229 3.0 3.1
2014RETI DI CALCOLATORICT0373 2.9 3.1
2015CLOUD COMPUTING AND DISTRIBUTED SYSTEMSCM0468
2015PERFORMANCE AND RELIABILITY OF COMPUTER SYSTEMSCM0229
2015RETI DI CALCOLATORICT0373

Tesi

AnnoTipologiaTesi
2013Corso di dottorato1
2013Corso di laurea magistrale2

Finanziamenti

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

Ricerche sviluppate e in corso

  • Metodi, modelli e applicazioni di valutazione dell e prestazioni e affidabilità di sistemi distribuiti e parallela.
  • Metodologie di progettazione e analisi di architetture software per sistemi mobili a componenti.
  • Metodologie e applicazioni di simulazione discreta e simulazione distribuita.

Pubblicazioni realizzate nel triennio

  • Balsamo, Maria Simonetta; Marin, Andrea; Stojic, Ivan (2015), Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams , Proc. of Int. Conf. MASCOTS 2015, IEEE, pp. 126-135, Convegno: MASCOTS 2015 (ISBN 978-1-4673-7720-1) (Articolo in Atti di convegno)
  • Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (2014), Lumping and reversed processes in cooperating automata in ANNALS OF OPERATIONS RESEARCH, vol. nd, pp. nd-nd (ISSN 0254-5330) (Articolo su rivista)
  • Simonetta Balsamo; Andrea Marin; Ivan Stojic (2014), Optimisation of servers with different quality of service in Mike Attalah et al., Proceedings of MASCOTS 2014, IEEE COMPUTER SOC, pp. 142-151, Convegno: IEEE MASCOTS, 2014 (Articolo in Atti di convegno)
  • S. Balsamo; A. Marin (2013), Separable solutions for Markov processes in random environments in EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, vol. 229, pp. 391-403 (ISSN 0377-2217) (Articolo su rivista)
  • S. Balsamo; G. Dei Rossi; A. Marin (2013), Modelling retrial-upon-conflict systems with product-form stochastic Petri nets in Alexander N. Dudin, Koen De Turck, Proceedings of Int. Conf. ASMTA 2013 in LECTURE NOTES IN COMPUTER SCIENCE in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 7984, pp. 52-66, Convegno: Analytical and Stochastic Modelling Techiniques and Applications, July, 8-13 (ISBN 9783642394072) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • S. Balsamo; G. dei Rossi; A. Marin (2013), Queueing networks and conditional product-forms , VALUETOOLS 2013 - 7th International Conference on Performance Evaluation Methodologies and Tools, ACM Association for Computing Machinery, Convegno: ValueTools '13, 10-12/12/2013 (ISBN 9781450325394) (Articolo in Atti di convegno)
  • S. Balsamo; A. Marin (2013), Synchronisation semantics for networks with fork and join: a product-form approach , Performance and Security Modelling & Evaluation of Cooperative Heterogeneous Networks, Aalborg, River Publishers, Convegno: HET-NETs 2013, 11-13/11/2013 (ISBN 9788793102323) (Articolo in Atti di convegno)
  • A. Marin; S. Balsamo; P.G. Harrison (2012), Analysis of stochastic Petri nets with signals in PERFORMANCE EVALUATION, vol. 69, pp. 551-572 (ISSN 0166-5316) (Articolo su rivista)
  • S. Balsamo; P.G. Harrison; A. Marin (2012), Methodological construction of product-form stochastic Petri nets for performance evaluation in THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 85, pp. 1520-1539 (ISSN 0164-1212) (Articolo su rivista)
  • Andrea Marin; Samuel Rota Bulò; Simonetta Balsamo (2012), A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes , Proc. of Int. Conf MASCOTS 2012, IEEE, ACM, pp. 401-410, Convegno: 20th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 7*9 August 2012 (ISBN 9781467324533) (Articolo in Atti di convegno)
  • S. Balsamo; G. Dei Rossi; A. Marin (2012), A Survey on Multi-Formalism Performance Evaluation Tools in M. Klumpp, T. Heupel, ESM 2012, Proc. of the 26th annual European Simulation and Modelling Conference, Ghent, Eurosis, pp. 15-23, Convegno: ESM 2012, 26th annual European Simulation and Modelling Conference, 22-24/10/2012 (ISBN 9789077381731) (Articolo in Atti di convegno)
  • S. Balsamo; G. Dei Rossi; A. Marin (2012), Cooperating stochastic automata: approximate lumping an reversed process , ISCIS 2012, Proc. of 27th International Symposium on Computer and Information Sciences, Berlino, Springer, pp. 131-141, Convegno: ISCIS 2012, Proc. of 27th International Symposium on Computer and Information Sciences, 3-4/10/2012 (ISBN 9781447145936) (Articolo in Atti di convegno)
  • S. Balsamo; G. Dei Rossi; A. Marin (2012), Lumping and Reversed Processes in Cooperating Automata in K. Al-Begain, D. Fiems, J.M. Vincent, Analytical and Stochastic Modeling Techniques and Applications in LECTURE NOTES IN COMPUTER SCIENCE in LECTURE NOTES IN COMPUTER SCIENCE, Berlino, LNCS 7314, Springer, vol. 7314, pp. 212-226, Convegno: ASMTA 2012 proc. of Int. Conf. on Analytical and Stochastic Modelling Techinques and Applications, June 4-6, 2012 (ISBN 9783642307812) (ISSN 0302-9743) (Articolo in Atti di convegno)

Partecipazione a comitati editoriali di riviste/collane scientifiche

Performance Evaluation Journal, Elsevier - Associate Editor

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

Studio e sviluppo di modelli e metodi quantitativi per l'analisi e valutazione delle prestazioni e
affidabilità di sistemi informatici complessi. L’attività di ricerca si è principalmente focalizzata sullo sviluppo e analisi di metodologie analitiche basate su processi e modelli stocastici e metodologie di simulazione discreta per la valutazione delle prestazioni ed affidabilità di sistemi di elaborazione e di comunicazione a diversi livelli di astrazione.
Temi specifici includono:
- studio di relazioni fra formalismi e modelli stocastici per la valutazione delle prestazioni di
sistemi; derivazioni di metodi e algoritmi di trasformazione fra modelli, con particolare
attenzione alle classi di modelli in ‘forma-prodotto’ analizzabili con metodi a complessità
polinomiale;
- metodi di analisi di sistemi complessi anche con automi cooperanti tramite modelli stocastici e algoritmi di aggregazione e lumping sia esatti e sia approssimati;
- sviluppo e analisi di modelli stocastici basati su reti di Petri stocastiche con particolare attenzione alle classi di modelli aventi soluzione in forma-prodotto;
- modelli e metodi analitici per la valutazione delle prestazioni ed affidabilità di sistemi di
elaborazione parallela e distribuita e di sistemi software con vincoli di sincronizzazione,
concorrenza, capacità finita delle risorse, limiti alla popolazione e diversi protocolli di gestione
del blocco;
- metodi di simulazione e loro applicazione, con particolare enfasi sulla metodologia di
simulazione per la valutazione di architetture software;
- analisi quantitativa di architetture software su sistemi distribuiti e coordinati con componenti
mobili; integrazione di metodi e modelli di specifica e di valutazione delle prestazioni di
architetture software.

Altri prodotti scientifici

Edizioni:
• S. Balsamo, W. J. Knottenbelt, A.Marin (Eds.): Computer Performance Engineering - 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings. Lecture Notes in Computer Science 8168, Springer 2013, ISBN 978-3-642-40724-6. EDIZIONE

Altre attività scientifiche

• Program Co-Chair, EPEW 2013, 10th European Workshop on Performance Engineering, Ca' Foscari University, Venice, Italy, 16-17 September, 2013
• Program Committee, EPEW 2014, 11th European Workshop on Performance Engineering, Florence, Italy, 11-12 September, 2014
• Program Committee, EPEW 2015, 12th European Workshop on Performance Engineering, Madrid, Spain, 31 August and 1 September, 2015
• Program Committee, ASMTA 2015, 22nd International Conference on Analytical & Stochastic Modelling Techniques & Applications, Varna, Bulgaria, 26 May - 29 May 2015
• Program Committee, ASMTA 2014, 21st International Conference on Analytical & Stochastic Modelling Techniques & Applications will be held in Budapest, Hungary, 30 June - 2 July 2014.
• Program Committee, ASMTA 2014, 21st International Conference on Analytical & Stochastic Modelling Techniques & Applications will be held in Budapest, Hungary, 30 June - 2 July 2014.
• Program Committee, ASMTA 2013, Twentieth International Conference on Analytical & Stochastic Modelling Techniques & Applications, 8-10 July 2013, Ghent, Belgium.
• Program Committee, PADS2012 27th International Conference on Principles of Advanced and Distributed Simulation, Zhangjiajie, China, IEEE Computer Society Washington, DC, USA 2012
• Program Committee, Simutech, 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, July 28 - 31, 2012, Rome, Italy.
• Program Committee, Simutech, 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Reykjavik, Iceland, July 29 - 31, 2013.
• Program Committee, Simutech, 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, August 28 - 30, 2014, Vienna, Austria.
• Program Committee, Simutech, 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, July 21 - 23, 2015, Colmar, Alsace, France
• Program Committee, Simutech, 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, July 29 - 31, 2016, Lisbon, Portugal.
Attività di revisione per varie riviste congressi internazionali.

Incarichi accademici e attività organizzative

Membro del Comitato di Ricerca Dipartimentale (DAIS) da prima triennio in considerazione fino a settore 2014. (inclusa la valutazione ADIR per settore informatica per gli anni 2012, 2013 e 2014)
Presidente della commissione per esame di stato di Ingegnere dell'Informazione nel 2015 (sessione estiva e autunnale).
Membro commissione di conferma a Professore Ordinario settore Inf/01, Università La Sapienza, Roma, maggio 2014.
Membro commissione Premio di Laurea Magistrale in Informatica, Università di Venezia, ottobre 2015.