Home > Ateneo > Organizzazione > Dipartimenti > Dipartimento di Scienze Ambientali, Informatica e Statistica > Dipartimento di Scienze Ambientali, Informatica e Statistica > Persone > Ricerca Persone

Ricerca Persone

Cognome/Nome

Telefono/Fax:

Email

MARIN Andrea

Feed RSS Feed RSS degli avvisi personali

 

Al momento non ci sono avvisi

Materiali I.S.A.

 




Didattica a.a. 2013/2014 suddivisa per corsi di laurea

 

Giovedì dalle ore 14.30 alle ore 15.30

Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
Settore Scientifico Disciplinare (SSD) affine
Aree e linee di ricerca

Competenze di ricerca

Modelli stocastici

Description
  • Stochastic models
Parole Chiave
  • Computer engineering, Software engineering, Computer engineering
Codice ATECO
  • [72.1] - ricerca e sviluppo sperimentale nel campo delle scienze naturali e dell’ingegneria

Ricerche sviluppate e in corso

Metodologie e applicazioni di simulazione discreta e simulazione distribuita.

SSD
  • INF/01
Altri membri del gruppo di ricerca

Metodi, modelli e applicazioni di valutazione dell e prestazioni e affidabilità di sistemi distribuiti e parallela.

SSD
  • INF/01
Altri membri del gruppo di ricerca

Metodologie di progettazione e analisi di architetture software per sistemi mobili a componenti.

SSD
  • INF/01
Altri membri del gruppo di ricerca

Finanziamenti

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

Ente finanziatore
  • MIUR
Tipologia
  • PRIN 2010-2011
Ruolo nel progetto
  • PT
Data inizio
  • Anno: 2012 Durata mesi: 24
Altri membri del gruppo di ricerca

Aree geografiche in cui si applica prevalentemente l'esperienza di ricerca

Internazionale: Europa, America Settentrionale, Oceania

Lingue conosciute

  • Inglese (scritto: avanzato, parlato: intermedio)

Pubblicazioni per Anno

2013

  • M. Bugliesi, L. Gallina, S. Hamadou, A. Marin, S. Rossi Behavioural equivalences and interference metrics for mobile ad-hoc networks, in PERFORMANCE EVALUATION, vol. tba, pp. tba-tba (ISSN 0166-5316) Link DOI (Articolo su rivista)
  • E. Barbierato, G. Dei Rossi, M. Gribaudo, M. Iacono, A. Marin Exploiting product forms solution techniques in multiformalism modeling, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 296, pp. 61-77 (ISSN 1571-0661) Link DOI (Articolo su rivista)
  • Michele Bugliesi, Andrea Marin, Sabina Rossi Model Checking Adaptive Service Compositions, in SCIENCE OF COMPUTER PROGRAMMING, vol. tba, pp. tba-tba (ISSN 0167-6423) Link DOI (Articolo su rivista)
  • P.G. Harrison, A. Marin Product-Forms in Multi-Way Synchronizations, in COMPUTER JOURNAL, vol. tba, pp. tba-tba (ISSN 0010-4620) Link DOI (Articolo su rivista)
  • S. Balsamo, A. Marin Separable solutions for Markov processes in random environments, in EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, vol. 229, pp. 391-403 (ISSN 0377-2217) Link DOI (Articolo su rivista)
  • L. Gallina, T. Han, M. Kwiatkowska, A. Marin, S. Rossi 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: Disponibile On line, Fax: (212)944-1318, pp. 255-262, Convegno: MsWim 2013, Barcellona, November 3-8, 2013 (ISBN 9781450323536) Link DOI (Articolo in Atti di convegno)
  • A. Marin, S. Rossi Autoreversibility: exploiting symmetries in Markov chains, Proceedings of Int. Conf. MASCOTS 2013, Los Alamos, IEEE COMPUTER SOCIETY, pp. 151-160, Convegno: MASCOTS 2013, S. Francisco, August 2013 (ISBN 9780769551029) Link DOI (Articolo in Atti di convegno)
  • J. Hillston, A. Marin, C. Piazza, S. Rossi Contextual Lumpability, Proceedings of Valuetools 2013, Los Alamos, ACM, Convegno: Valuetools 2013, Torino, December, 2013 (ISBN 9781450325394) (Articolo in Atti di convegno)
  • S. Balsamo, G. Dei Rossi, A. Marin 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, Springer, vol. 7984, pp. 52-66, Convegno: Analytical and Stochastic Modelling Techiniques and Applications, Ghent, Belgium, July, 8-13 (ISBN 9783642394072) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • S. Balsamo, G. dei Rossi, A. Marin 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, Torino, 10-12/12/2013 (ISBN 9781450325394) (Articolo in Atti di convegno)
  • S. Balsamo, A. Marin 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, Ilkley, Uk, 11-13/11/2013 (ISBN 9788793102323) (Articolo in Atti di convegno)

2012

  • A. Marin, S. Balsamo, P.G. Harrison Analysis of stochastic Petri nets with signals, in PERFORMANCE EVALUATION, vol. 69, pp. 551-572 (ISSN 0166-5316) Link DOI (Articolo su rivista)
  • A. Marin; M.G. Vigliotti Algorithmic product-form approximations of interacting stochastic models, in COMPUTERS & MATHEMATICS WITH APPLICATIONS, vol. 64, pp. 3852-3868 (ISSN 0898-1221) Link DOI (Articolo su rivista)
  • S. Balsamo, P.G. Harrison, A. Marin 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) Link DOI (Articolo su rivista)
  • Andrea Marin, Samuel Rota Bulò, Simonetta Balsamo 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, Washington DC, 7*9 August 2012 (ISBN 9781467324533) Link DOI (Articolo in Atti di convegno)
  • S. Balsamo, G. Dei Rossi, A. Marin 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, Essen, DE, Eurosis, 22-24/10/2012 (ISBN 9789077381731) (Articolo in Atti di convegno)
  • L. Gallina, T. Han, M. Kwiatkowska, A. Marin, S. Rossi, S. Spanò 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, Dublin, 21-23 Nov. 2012 (ISBN 9781467344029) Link DOI (Articolo in Atti di convegno)
  • S. Balsamo, G. Dei Rossi, A. Marin 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, Paris, France, 3-4/10/2012 (ISBN 9781447145936) (Articolo in Atti di convegno)
  • Peter G. Harrison, Andrea Marin Deriving the rate equations characterising product-form models and application to propagating synchronisations, Proc. of 6th International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS) , IEEE, pp. 107-116, Convegno: Valuetools, Corsica, October, 2012 (ISBN 9781936968633) Link DOI (Articolo in Atti di convegno)
  • L. Gallina, G. Dei Rossi, A. Marin, S. Rossi 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), Cyprus, 21-26 Oct 2012 (ISBN 9781450316286) Link DOI (Articolo in Atti di convegno)
  • M. Bugliesi, L. Gallina, S. Hamadou, A. Marin, S. Rossi 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, London, UK, 17-20 Sep 2012 (ISBN 9780769547817) Link DOI (Articolo in Atti di convegno)
  • S. Balsamo, G. Dei Rossi, A. Marin 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, Berlino, LNCS 7314, Springer, vol. 7314, pp. 212-226, Convegno: ASMTA 2012 proc. of Int. Conf. on Analytical and Stochastic Modelling Techinques and Applications, Grenoble, Fr, June 4-6, 2012 (ISBN 9783642307812) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

2011

  • Baldan P, Cocco N., De Nes F., Llabres Segura M., Marin A., Simeoni M. MPath2PN - Translating Metabolic Pathways into Petri Nets, in CEUR WORKSHOP PROCEEDINGS, vol. 724, pp. 102-116 (ISSN 1613-0073) (Articolo su rivista)
  • L. Gallina, S. Hamadou, A. Marin, S. Rossi A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks, Proceedings of the IFIP Wireless Days Conference 2011, IEEE Computer Society, pp. 1-6, Convegno: IFIP Wireless Days 2011, Niagara Falls, ON, Canada, October 10-12, 2011 (ISBN 9781457720277) Link DOI (Articolo in Atti di convegno)
  • L. Gallina, S. Hamadou, A. Marin, S. Rossi A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks, Analytical and Stochastic Modeling Techniques and Applications, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin, Berlin Heidelberg: Springer, vol. 6751, pp. 316-330, Convegno: 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 (ISBN 9783642217128) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • G. Dei Rossi, A. Marin, M. Rosati, M. Balsamo A Simulation Package For an Energy-Aware Comparison of ARQ protocols in S. Balsamo, A. Marin, Proc. of Int. Conf. on Industrial Simulation 2011, EUROSIS, pp. 18-25, Convegno: Industrial Simulation Conference, Venice, 6-8 June 2011 (ISBN 9789077381632) (Articolo in Atti di convegno)
  • G. Dei Rossi, A. Marin, S. Balsamo A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols, Proc. of Int. Conf. Wireless Days Conference 2011, IFIP, pp. 1-3, Convegno: Wireless Days 2011, Niagara Falls, 10-12 Oct 2011 (ISBN 9781457720277) Link DOI (Articolo in Atti di convegno)
  • N. Anastasiou, W. Knottenbelt, A. Marin Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data in Nigel Thomas, Proceedings of the 8th European conference on Computer Performance Engineering, in LECTURE NOTES IN COMPUTER SCIENCE, © Springer-Verlag Berlin Heidelberg, vol. 6977, pp. 29-41, Convegno: 8th European conference on Computer Performance Engineering , Borrowdale, UK, October 2011 (ISBN 9783642247484) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • A. Marin, S. Rota Bulò Explicit solutions for queues with Hypo-exponential service time and applications to product-form analysis, Proc. of Int. Conf. Valuetools 2011, ICST, pp. 1-10, Convegno: Valuetools, Cachan, FR, 16-20, May, 2011 (ISBN 9781936968091) (Articolo in Atti di convegno)
  • S. Balsamo, G.Dei Rossi, A. Marin Optimisation of Virtual Machine Garbage Collection Policies in K. Al-Begain et al., Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications, in LECTURE NOTES IN COMPUTER SCIENCE, © Springer-Verlag Berlin Heidelberg, vol. 6751, pp. 70-84, Convegno: 8th international conference on Analytical and stochastic modeling techniques and applications , Venice, June 2011 (ISBN 9783642217128) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • S. Balsamo, A. Marin Performance Engineering with Product-Form Models: Efficient Solutions and Applications in S. Kounev, V. Cortelessa, D. Lilja, R. Mirandola, ICPE '11 Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering, New York, ACM, pp. 437-448, Convegno: ICPE 2011, Karlsruhe, Germania, 14-16/3/2011 (ISBN 9781450305198) Link DOI (Articolo in Atti di convegno)

2010

  • Baldan P. , Cocco N. , Marin A. , Simeoni M. Petri nets for modelling metabolic pathways: a survey, in NATURAL COMPUTING, vol. 9 (4), pp. 955-989 (ISSN 1567-7818) Link DOI (Articolo su rivista)
  • A. Marin, M. G. Vigliotti A general result for deriving product-form solutions of Markovian models, Proc. of Int. Conf. WOSP/SIPIEW 2010, New York, ACM, pp. 165-176, Convegno: WOSP/SIPEW 2010, San Jose, California, USA, 28-30 Jan. 2010 (ISBN 9781605585635) Link DOI (Articolo in Atti di convegno)
  • S. Balsamo; G. Dei Rossi; A. Marin A numerical algorithm for the solution of product-form models with infinite state spaces in A. Aldini, M. Bernardo, L. Bononi, V. Cortellessa, COMPUTER PERFORMANCE ENGINEERING, in LECTURE NOTES IN COMPUTER SCIENCE, Berlino, Springer, vol. LNCS 6342, pp. 191-206, Convegno: European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 (ISBN 9783642157837) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • S. Balsamo, G. Dei Rossi, A. Marin A tool for the numerical solution of cooperating Markov chains in product-form in Tadeusz Czachórski, Performance Modelling and Evaluation of Heterogeneous Networks, Gliwice, Institute of Theoretical and Applied Informatics of the Polish Academy of Sciences, pp. 309-324, Convegno: HET-NETs 2010 , Zakopane, Poland, 14-16.1.2010 (ISBN 9788392605447) (Articolo in Atti di convegno)
  • M. Simonetta Balsamo, Peter Harrison, Andrea Marin A unifying approach to product-forms in networks with finite capacity constraints in V. Misra, P. Barford, M.S. Squillante Eds, ACM SIGMETRICS 2010, in ACM SIGMETRICS Conferences, New York, ACM, vol. ACM SIGMETRICS, also ACM PERF. EV. REVIEW Special Issue Volume 38, No.1 JUNE 2010, pp. 25-36, Convegno: ACM Sigmetrics 2010, New York, New York, USA, 14-18 June 2010 (ISBN 9781450302111) Link DOI (Articolo in Atti di convegno)
  • S. Balsamo, G. Dei Rossi, A. Marin Applying BCMP Multi-class Queueing Networks for the Performance Evaluation of Hierarchical and Modular Software Ssystems in Prof. Gerrit Janssens, ESM 2010, Proc. Eurosis 24rd European Simulation and Modelling Conference, Eurosis, pp. 206-213, Convegno: ESM'2010, 24th annual European Simulation and Modelling Conference, Hasselt, Belgium, October 25-27, 2010 (ISBN 9789077381571) (Articolo in Atti di convegno)
  • A. Marin, M.G. Vigliotti From system to components: constructive methods for product-form solutions in P. Kemper, E. Smirni, Proc. of Int. Conf. QEST 2010, pp. 305-305, Convegno: QEST 2010, Williamsburg, Virginia, USA, 15-18, Sept. 2010 (ISBN 9780769541884) (Articolo in Atti di convegno)
  • A. Marin, M. G. Vigliotti On product-form approximations of cooperating stochastic models in E. Gelenbe et al., Proceedings of the 25th International Symposium on Computer and Information Sciences, in LECTURE NOTES IN ELECTRICAL ENGINEERING, Springer Netherlands, vol. 62, pp. 65-70, Convegno: International Symposium on Computer and Information Sciences (ISCIS), London, UK, September 2010 (ISBN 9789048197934) (ISSN 1876-1100) Link DOI (Articolo in Atti di convegno)
  • S. Balsamo, A. Marin Product-form solutions for models with joint-state dependent transition rates, Int. Conf. on Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2010), in LECTURE NOTES IN COMPUTER SCIENCE, Berlino, Springer, vol. Lecture notes in computer science, 6148, pp. 87-101, Convegno: Int. Conf. on Aanalytical and Stochastic Modeling Techniques and Applications (ASMTA 2010), Cardiff, UK, June 2010 (ISBN 9783642135675) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • S. Balsamo, A. Marin Separable equilibrium distributions for systems with unreliable wireless links in M. Gerla, D. Maggiorini, C. E. Palazzi, IFIP/IEEE Wireless days 2010, IEEE, pp. 1-5, Convegno: 3rd IFIP Wireless Days Conference 2010, Venezia, October 20-22, 2010 (ISBN 9781424492305) Link DOI (Articolo in Atti di convegno)

2009

  • A. Marin, S. Rota Bulo' A general algorithm to compute the steady-state solution of product-form cooperating Markov chains, Proc. of Int. Conf. MASCOTS 2009, IEEE, pp. 1-10, Convegno: MASCOTS 2009, Londra, UK, 21-23 Sept. 2009 (ISBN 9781424449279) Link DOI (Articolo in Atti di convegno)
  • BALSAMO S.; A. MARIN Composition of product-form Generalized Stochastic Petri Nets: a modular approach in Marwan Al-Akaidi, ESM 2009, European Simulation Multiconference, EUROSIS-ETI, pp. 26-34, Convegno: ESM 2009, Eurosis 23rd European Simulation and Modelling Conference, Leicester, UK, 26-28/10/2009 (ISBN 9789077381526) (Articolo in Atti di convegno)
  • BALSAMO S.; A. MARIN Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process, AICSSA'09 - International Conference on Computer Systems and Applications, IEEE Computer Society, pp. 808-815, Convegno: AICSSA 2009, 7-th ACS/IEEE International Conference on Computer Systems and Applications, Rabat, Marocco, 10-13 May 2009 (ISBN 9781424438075) Link DOI (Articolo in Atti di convegno)
  • BALSAMO S.; A. Marin On the characterization of probabilistic queueing disciplines. in Khalid Al-Begain, Dieter Fiems and Gábor Horváth, ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications, in LECTURE NOTES IN COMPUTER SCIENCE, Berlino, Springer, vol. 5513, pp. 204-218, Convegno: ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications, Madrid Spain, June 2009 (ISBN 9783642022043) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

2008

  • BALSAMO S.; A. MARIN From BCMP Queueing Networks to Generalized Stochastic Petri Nets: An Algorithm and an Equivalence Definition, European Simulation Multiconference, EUROSIS, pp. 447-455 (ISBN 9789077381441) (Articolo su libro)

2007

  • BALSAMO S.; A. MARIN On representing multiclass M/M/k queues by generalized stochastic Petri nets in K. AL-BEGAIN; A. HEINDL AND M. TELEK EDS., ASMTA, Analytical and Stochastic Modelling Techniques and Applications 2007, SCS, pp. 121-128 (ISBN 9780955301841) (Articolo su libro)
  • BALSAMO S.; MARIN A. Representing LCFSPR BCMP service center with Coxian service time by GSPN in C. CASSANDRAS; A. PROUTIERE; K. TRIVEDI EDS., Valuetools 2007, in ACM INTERNATIONAL CONFERENCE PROCEEDING SERIES, in ACM International Conference Proceeding Series , ACM 2007, pp. 1-10 (ISBN 9789639799004) (Articolo su libro)
  • BALSAMO S.; A. MARIN Queueing Networks in M. Bernardo, J. Hillston, SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation, in LECTURE NOTES IN COMPUTER SCIENCE, Berlino, Springer-Verlag, vol. 4486, pp. 34-82, Convegno: SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation (ISBN 9783540724827) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

Curriculum di Andrea MARIN

Andrea Marin si è laureato con lode in Informatica nel 2002. Nel 2004 consegue il diploma di specializzazione per l'insegnamento dell'Informatica e della Matematica. Nel 2009 consegue il Dottorato di Ricerca in Informatica presso l'Università Ca' Foscari.
Dal 2011 è ricercatore a tempo indeterminato presso l'Università Ca' Foscari di Venezia.
Nel 2013 è stato nominato coordinatore del Centro di Ricerca Acadia del Dipartimento di Scienze Ambientali, Informatica e Statistica.

Le sue attività di ricerca includono:
- analisi di processi stocastici per la valutazione delle prestazioni e dell'affidabilità dei sistemi informatici
- studio di modelli formali specificati in termini di algebre dei processi quantitative, e reti di Petri stocastiche e reti di code
- definizione e studio di nuovi algoritmi per la decomposizione dei modelli

Andrea Marin ha diverse collaborazioni internazionali testimoniate da pubblicazioni i cui coautori provengono da istituzioni di ricerca rinomate a livello internazionale (Imperial College, University of Oxford). E' autore di numerose pubblicazioni su journal di rilievo internazionale (Performance Evaluation, Journal of System and Software, Natural Computation, Europen Journal of Operations Research) e congressi di rilievo internazionale presso i quali per quattro volte ha conseguito il premio per miglior articolo presentato (EUROSIS/ESM 2009, SCS/ASMTA 2010, ICST/VALUETOOLS 2011, IFIP/WIRELESS DAYS 2011). Nel 2012 l'articolo presentato a MASCOTS è stato segnalato tra i tre migliori interventi della conferenza.

Andrea Marin è revisore stabile per diverse riviste internazionali (Performance Evaluation, Theoretical Computer Science, The Computer Journal, IET Software) ed è stabilmente parte del program committee di congressi internazionali (ASMTA, PASM, Wireless Days). E' stato program chair dell'Industrial Simulation Conference 2011, ASMTA 2011 e general chair di EPEW 2013.
 
Ha tenuto tutorial in alcune delle più prestigiose conferenze internazionali:
  1. QEST 2010
  2. IFIP Performance 2010
  3. ACM ICPE 2011


 

© Ca'Foscari 2014