MARIN Andrea

Qualifica Professore Associato
Telefono Laboratorio Centro ACADIA: 041 234 8455 / 041 234 8476
E-mail marin@unive.it
acadia.dais@unive.it - Centro di ricerca ACADIA
Sito web www.unive.it/persone/marin (scheda personale)
 http://www.dsi.unive.it/~marin
Struttura Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Z.B02 (edificio Zeta B)
Research Institute Research Institute for Complexity

Dati relazione

Periodo di riferimento 02/05/2017 - 01/05/2020
Afferenza Dipartimento di Scienze Ambientali, Informatica e Statistica
Ruolo Professori associati

Attività didattica

A.A.InsegnamentoCodice VotoVoto medio area
2016/2017PROGRAMMAZIONECT03043.43.1
2016/2017SIMULAZIONE E PERFORMANCE DELLE RETICT04213.73.1
2016/2017SISTEMI INFORMATIVI PER IL TURISMOEM90323.13.1
2016/2017SOFTWARE PERFORMANCE AND SCALABILITYCM04813.63.1
2017/2018PROGRAMMAZIONECT03043.13.2
2017/2018SIMULAZIONE E PERFORMANCE DELLE RETICT04213.63.2
2017/2018SOFTWARE PERFORMANCE AND SCALABILITYCM04813.33.2
2018/2019PROGRAMMAZIONE E LABORATORIOCT04423.33.2
2018/2019SIMULAZIONE E PERFORMANCE DELLE RETICT04213.73.2
2018/2019SOFTWARE PERFORMANCE AND SCALABILITYCM04813.33.2

Tesi

Anno solareTipologiaTesi RelatoreTesi Correlatore
2017Corso di laurea4
2017Corso di laurea magistrale2
2018Corso di laurea4
2018Corso di laurea magistrale2
2019Corso di dottorato1
2019Corso di laurea3
2019Corso di laurea magistrale2

Finanziamenti

  • ADAPT: Accessible Data for Accessible Proto-types in Social Sector
  • MASTER (Multiple ASpects TrajEctoRy management and analysis)
  • Sistema domotico IoT integrato ad elevata sicurezza informatica per smart building

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

  • 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)
  • Marin A.; Casale G.; Petriu D.C.; Rossi S. (2020), Guest editor's forewords: Special issue on Valuetools 2017 , Performance Evaluation: Special issue on Valuetools 2017, Elsevier B.V., vol. 137, pp. 102008 (Prefazione/Postfazione)
  • 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)
  • 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)
  • Balsamo S.; Marin A.; Stojic I. (2019), Computation of the normalising constant for product-form models of distributed systems with synchronisation in FUTURE GENERATION COMPUTER SYSTEMS, vol. In press (ISSN 0167-739X) (Articolo su rivista)
  • 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)
  • Patil, Kishor*; Jafri, Mohsin; Fiems, Dieter; Marin, Andrea (2019), Stochastic modeling of depth based routing in underwater sensor networks in AD HOC NETWORKS, vol. 89, pp. 132-141 (ISSN 1570-8705) (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)
  • Mohsin Raza Jafri , Simonetta Balsamo , Andrea Marin , Robert Martin (2018), Implementation of Depth-based routing and its enhancement in Aqua-Sim Next Generation for Underwater Wireless Sensor Networks in INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, vol. 31 (ISSN 1099-1131) (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)
  • Marin, Andrea*; Mitrani, Isi; Elahi, Maryam; Williamson, Carey (2018), Control and optimization of the SRPT service policy by frequency scaling , 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. 257-272, 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)
  • Jafri, Mohsin; Torsello, Andrea; Marin, Andrea; Ghaderi, Majid (2018), On the optimality of opportunistic routing protocols for underwater sensor networks , MSWiM 2018 - Proceedings of the 21st ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Association for Computing Machinery, Inc, pp. 207-215, Convegno: 21st ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2018, 2018 (ISBN 9781450359603) (Articolo in Atti di convegno)
  • Kishore Patil, Dieter Fiems, Mohsin Raza Jafri, Andrea Marin, (2018), Performance Evaluation of Depth Based Routing in Underwater Sensor Networks in Kishor Patil, Dieter Fiems, Mohsin Raza Jafri, Andrea Marin, StochMod 2018, Lancaster University Management School (LUMS)-89, Convegno: StochMod 2018, 13-15 June, 2018 (Abstract in Atti di convegno)
  • (a cura di) Simonetta Balsamo; Andrea Marin; Enrico Vicario (2018), New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers. in Simonetta Balsamo; Andrea Marin; Enrico Vicario in COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, Springer, vol. 825 (ISBN 978-3-319-91631-6) (ISSN 1865-0929) (Curatela)
  • 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; Balsamo, Simonetta; Fourneau, Jean-Michel (2017), LB-networks: A model for dynamic load balancing in queueing networks in PERFORMANCE EVALUATION, vol. 115, pp. 38-53 (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)
  • Andrea, Marin; Sabina, Rossi (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)
  • Simonetta Balsamo, Dieter Fiems, Mohsin Raza Jafri, Andrea Marin (2017), Analysis of performance in Depth Based Routing for Underwater Wireless Sensor Networks , CCIS (Communications in Computer and Information Science) series, Springer, Convegno: Proceedings of InfQ 2017 –New Frontiers in Quantitative Methods in Informatics, In conjunction with 11th EAI International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2017) , Venice, Italy., 05/12/2017 - 07/12/2017 (Articolo in Atti di convegno)
  • Mohsin Raza Jafri , Simonetta Balsamo , Andrea Marin (2017), Identifying the Optimal transmission range in Depth-Based Routing For UWSN , Proceedings of 31st European Simulation and Modelling Conference - ESM’2017, IST, Lisbon, Portugal, EUROSIS, pp. 288-292, Convegno: Eurosis, October 25-27, 2017 (ISBN 978-949285900-6) (Articolo in Atti di convegno)
  • Balsamo, Maria Simonetta; Marin, Andrea; Stojic, Ivan (2017), Testing spnps perfect sampling tool on fork-join queueing networks (tool paper) , Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, Association for Computing Machinery, pp. 62-67, Convegno: 10th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2016, 2016 (ISBN 9781631901416) (Articolo in Atti di convegno)

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

Nel triennio di riferimento, la ricerca si è focalizzata su problemi di bilanciamento del carico in sistemi fork-join con il vincolo della minimizzazione del consumo energetico oltre che del mantenimento di un alto throughput. A tale scopo sono state sviluppate metodologie innovative per l'analisi stazionaria di Catene di Markov a tempo continuo. Un'altra linea di lavoro è rappresentata dallo scheduling multi-livello. Sebbene alcuni risultati sull'ottimalità di queste discipline siano disponibili in letteratura, la loro implementazione e le implicazioni in contesti reali sono state poco esplorate. La ricerca ha sviluppato un nuovo modo di ottimizzazione del modello ed implementato in uno scheduler Linux. Infine in questi tre anni si è studiata l'ottimalità di protocolli di routing per underwater sensor networks.

Per il prossimo triennio, si prevede di approfondire lo studio di discipline di scheduling con attenzione al risparmio energetico, e si aggiungerà lo studio quantitativo di distributed ledgers basati su blockchain. In particolare, sarà analizzato il trade-off tra costi di esercizio e performance.

Relazioni invitate presso convegni o workshops

Presentazione del lavoro "Biased Processor Sharing in Fork-Join Queues" a QEST 2018, Pechino Cina
Presentazione del lavoro "Control and Optimization of the SRPT Service Policy by Frequency Scaling" a QEST 2018, Pechino Cina
Presentazione del lavoro "On the Optimality of Opportunistic Routing Protocols for Underwater Sensor Networks" a MSWIM 2018, Montreal Canada
Presentazione del lavoro "A Process Algebra for (Delimited) Persistent Stochastic Non-Interference" a QEST 2019, Glasgow, UK
Presentazione del lavoro "Theoretical and Experimental Evaluation of the Two-Level Processor Sharing Discipline for TCP Flows" a MASCOTS 2019, Rennes Francia
Presentazione del lavoro "A Queueing Model that Works Only on the Biggest Jobs" a EPEW 2019, Milano Italia
Relazione su invito "Rho-reversibility and its applications to performance models" a ASMTA 2019, Mosca Russia

Seminari su invito tenuti presso altre Università, Centri di Ricerca, Aziende, etc.

Luglio 2017: Seminario presso l'Università di Calgary in Canada dal titolo "Power control in fork-join systems"
Luglio 2019: Seminario presso PUC - Rio de Janeiro in Brasile dal titolo "Power control in fork-join systems"

Altre attività scientifiche

Comitati di programma:
Valuetools 2019, 2020
QEST 2017, 2018, 2019, 2020
IEEE Mascots 2019
ACM ICPE 2017, 2018, 2019
IFIP Wireless days 2018
EPEW 2017, 2018, 2019
Bioinformatics 2017, 2018, 2019
ASMTA 2017, 2019
Simultech 2017, 2018

Steering Committee
Valuetools
QEST (2016-2019)

Chair
Special track chair di IEEE CCNC 2017
Tutorial chair di ACM ICPE 2018

Peer-reviews: Revisioni per Journal internazionali come Performance Evaluation, Sensors, ACM Transactions on Performance Evaluation of Computer Systems, ACM Transactions on Modeling and Computer Simulation, Annals of Operations Research, Future Generation Computer Systems

Book review: Revisione del libro *** per Springer (il titolo è stato omesso per mantenere l'anonimato del revisore)

Altre attività didattiche

2019: Corso insegnanti
2019: Corso di Dottorato presso l'Università di Firenze "Queueing systems and networks for performance modeling"

Incarichi accademici e attività organizzative

Coordinatore del Collegio didattico del CDS triennale in Informatica e magistrale in Informatica-Computer Science (Settembre 2018-ora).

Partecipazione alle attività di valutazione della ricerca

Partecipazione alle attività di valutazione per l'assegnazione ADIR per gli anni del triennio di riferimento

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

Membro del collegio didattico fino a Settembre 2018
Membro del comitato della ricerca DAIS per tutta la durata del triennio di riferimento
Membro del collegio di dottorato per tutta la durata del triennio di riferimento