Andrea Marin's Homepage

Personal information

  • Assistant professor at Università Ca' Foscari di Venezia (Venice) Italy
  • Email: marin _at_ dais.unive.it
  • Tel: +39 041 2348476
  • Research activity: Performance evaluation, relation between models, Petri Nets, Stochastic Petri Nets, Queueing Networks, Product-form models
  • Interests: Bioinformatic, pathways representation using Petri Nets and extensions
  • Erdos number: 4
  • Curriculum Vitae (in italian) updated at 01-12-2011

Curriculum

  • I was Born in Mestre on April 8th, 1976
  • June, 1995: I finished my secondary school with 60/60 graduation at ITIS C. Zuccante as Computer Science Technician
  • 2000: I attended 10 months of military service
  • February 2002: I graduated cum laude in computer science (first level) at Università Ca' Foscari of Venice
  • July 2002: I graduated cum laude in computer science at Università Ca' Foscari of Venice
  • From 2002 to 2004: I attended the SISS-Veneto post graduate school at Università Ca' Foscari on Mathematics and Computer Science didactics. July 2004 I succesfully passed the State sponsored qualification exam to become a licensed teacher with 80/80
  • I've been teaching Math and Computer Science in the secondary school since 2000. In 2004 I taught Siemens PLC programming at a ESF (European Social Found) course.
  • From 2006 to 2009: I was a PhD student at Università Ca' Foscari of Venice. In March 2009 I've received the PhD degree in Computer Science supervised by prof. Simonetta Balsamo
  • From Jan. 2009 to Dec. 2011: I've been a postdoctoral researcher at the University of Venice
  • From Dec. 2011: I've been an assistant professor at the University of Venice
  • 2011: I've been Program Co-chair of Int. Conf. ASMTA 2011 and Program Chair of the Int. Conf. on Industrial Simulation

Awards:

  1. Int. Conf. EUROSIS/ESM 2009: Award for the best paper presented at the conference
  2. Int. Conf. SCS/ASMTA 2010: Award for the best paper presented at the conference
  3. Int. Conf. ICST/VALUETOOLS 2011: Award for the best paper presented at the conference
  4. Int. Conf. IFIP/Wireless days 2011: Award for the best paper presented at the conference

Documents

PhD thesis

Final versionDownload PDF
Reviewers: Dr. Gianfranco Balbo and Dr. Ramon Puigjaner
  • Review on Hidden Markov Models algorithms for Data Mining. Download in English or in Italian.
  • Biological Pathway Representation using Petri Nets and their extensions. Technical Report 2006. Download
  • On representing multiclass M/M/k queue by Generalized Stochastic Petri Net. Technical Report 2007. Download
  • Un approccio didattico alle dimostrazioni per induzione basato sullo studio di grafi. Specialization thesis for Mathematics didactic (In italian). Download
  • Didattica della OOP mediante la tartaruga LOGO. Specialization thesis for Computer Science didactic (In italian). Download

Talks and tutorials

Forthcoming events
  • None
Past events
  • March, 14th, Karlsruche, Germany. Tutorial at Int. Conf. ACM/SPEC ICPE. Performance Engineering with Product-Form Models: Efficient Solutions and Applications. Joint with S. Balsamo.
  • November, 17th Tutorial at IFIP/PERFORMANCE 2010, November, 15-19, Namur, Belgium. Title: Stochastic models in product form: the (E)RCAT methodology. Joint with M. G. Vigliotti (Imperial College, London)
    • (Download the presentation about ERCAT)
  • September, 15th: Tutorial at QEST 2010, Williamsburg, Virginia, USA. Title: From system to components: constructive methods for product-form solutions. Joint with M. G. Vigliotti (Imperial College, London). (Download the presentation part A) (Download the presentation part B) Link
  • Andrea Marin. Gare di Informatica Abacus 2009. Vai alla pagina
  • Markovian models and product-form solutions. Date 2007-09-11 at University Ca' Foscari of Venice.
  • Biological Pathway Representation using Petri Nets and their extensions. Date 2006-12-12 at Universitat de les Illes Balears. Palma de Mallorca
  • Biological Pathway Representation using Petri Nets and their extensions. Date: 2006-12-05 at Università Ca' Foscari di Venezia. Download presentation.
  • Samuel Rota Bulò and Andrea Marin A NEW semantics of substitution. Report on joint research carried out with prof. J. M. Gabbay, Samuel Rota Bulò, in the framework of a phd-course in the University of Venice. Date 2006-03-01. Download

Publications

Editions
  • Proceedings of Int. Conf. ASMTA 2011, LNCS 6752. Joint with K. Al-Begain, S. Balsamo, and D. Fiems
  • Proceedings of EUROSIS Int. Conf. on Industrial Simulation. Joint with S. Balsamo
International Journals
  • S. Balsamo, P.G. Harrison, A. Marin, Methodological Construction of Product-Form Stochastic Petri-Nets for Performance Evaluation. Elsevier Journal of Systems and Software. To appear (50 pages)
  • S. Balsamo, P. G. Harrison, A. Marin, A unifying approach to product-forms in networks with finite capacity constraints. ACM SIGMETRICS Performance Evaluation Review, vol. 38(1), 2010, pp. 25--36, New York, NY, USA. ISSN: 0163-5999. [Link]
  • P. Baldan, N. Cocco, A. Marin, M. Simeoni, Petri nets for Modeling Metabolic Pathways: A Survey. Journal of Natural Computing.
International Conferences and Workshops
  • M. Bugliesi, L. Gallina, A. Marin, S. Rossi, A Model for Broadcast, Unicast and Multicast Communications of Mobile Ad Hoc Networks in proc. of the Global Congress on Science and Engineering - GCSE 2011, to appear in J. Elsevier Procedia Engineering
  • L. Gallina, S. Hamadou, A. Marin and Sabina Rossi A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks in proc. of IFIP/IEEE Wireless Days 2011, Niagara falls, Canada, pp. 1--6 (Best paper award)
  • G. Dei Rossi, A. Marin A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols in Proc. of IFIP/IEEE Wireless Days 2011, Niagara Falls, Canada, pp. 1--3.
  • N. Anastasiou, W. Knottenbelt, A. Marin Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data in Proc. of 8th Performance Engineering Work., Borrowdale, LNCS 6977, pp. 29--41.
  • P. Baldan, N. Cocco, F. De Nes, M. Llabres Segura, A. Marin, M. Simeoni MPath2PN - Translating metabolic pathways into Petri nets in Proc. of Int. Work. on Biological Processes and Petri Nets, BioPPN 2011, Newcastle upon Tyne, UK
  • G. Dei Rossi, A. Marin, M. Rosati, S. Balsamo A Simulation Package For an Energy-Aware Comparison of ARQ protocols in Proc. of EUROSIS Int. Conf. on Industrial Simulation 2011, Venice, 2011
  • L. Gallina, S. Hamadou, A. Marin, S. Rossi,A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks in Proc. of Int. Conf. on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2011, Venice, LNCS, To appear.
  • S. Balsamo, G. Dei Rossi, A. Marin,Optimisation of Virtual Machine Garbage Collection Policies in Proc. of Int. Conf. on Analytical and Stochastic Modelling Techinques and Applications, ASMTA 2011, Venice, LNCS, To appear.
  • A. Marin, S. Rota Bulò, Explicit solutions for queues with Hypo-exponential service time and applications to product-form analysis In Proc. of Int. Conf. ICST/ACM SIGMETRICS Valuetools 2011, pp. 1--10 (Best paper award)
  • S. Balsamo, A. Marin, Performance Engineering with Product-Form Models: Efficient Solutions and Applications In Proc. of Int. Conf. on Performance Engineering ACM/SPEC ICPE 2011. pp. 437--448.[Link]
  • A. Marin, M. G. Vigliotti, From system to components: constructive methods for product-form solutions
    • In Proc. of Int. Conf. IEEE/QEST 2010, Williamsburg, VA. pp. 305.
  • N. Thomas, A. Marin, P.G. Harrison, Semi-Product-Form Solution for Models with State-Dependent Rates presented at Work. Process Algebra and Stochastically Timed Activities (PASTA) 2011, London, Imperial College.[Link]
  • S. Balsamo, A. Marin, Separable equilibrium distributions for systems with unreliable wireless links in proc. of IFIP/IEEE Int. Conf. Wireless days 2010, pp. 1--5., Venice 2010. [Link]
  • S. Balsamo, G. Dei Rossi, A. Marin, Applying BCMP Multi-class Queueing Networks for the Performance Evaluation of Hierarchical and Modular Software Systems, in Proc. of Int. Conf. EUROSIS European Simulation and Modelling Conf., ESM 2010, Hesselt, BE, pp. 206--213.
  • S. Balsamo, G. Dei Rossi, A. Marin, A numerical algorithm for the solution of product-form models with infinite state spaces. In proc. of Computer Performance Engineering Work., LNCS 6342/2010, pp. 191--206, Bertinoro, September 2010. [Link]
  • A. Marin, M.G. Vigliotti, On product-form approximations of cooperating stochastic models. in Proc. of Int. Symposium on Computer Science, ISCIS 2010, LNEE 62/2010, pp. 65--70, Royal Society, London, 2010. [Link]
  • S. Balsamo, A. Marin, Product-form solutions for models with joint-state dependent transition rates. In proc. of Int. Conf. on Aanalytical and Stochastic Modeling Techniques and Applications (ASMTA 2010), LNCS 6148, pp. 87--101, Cardiff, June 2010. Best Paper Award [Link] [Slides]
  • S. Balsamo, P. G. Harrison, A. Marin, A unifying approach to product-forms in networks with finite capacity constraints. in Proc of the ACM SIGMETRICS int. conf. on Measurement and Models, 2010, pp. 25--36, New York, NY, USA. (Also appeared on Journal Performance Evaluation review) [Link]
  • G. Dei Rossi, S. Balsamo and A. Marin, A tool for the numerical solution of cooperating Markov chains in product-form. in Proc. Of Int. Conf. on Heterogenous Networks, HET-NETs 2010, Zakopane, Poland, January 2010. pp. 311--324. [Download]
  • A. Marin and M.G. Vigliotti, A general result for deriving product-form solutions of Markovian models, in proc. of Int. Conf. on Performance Engineering ACM/ICPE 2010, S. Josè, USA, ACM, pp. 165--176, Jan. 2010. [Link]
  • S. Balsamo and A. Marin, Composition of product-form Generalized Stochastic Petri Nets: a modular apprach, n proc. of Int. Conf. EUROSIS European Simulation and Modelling Conference, ESM 2009, Leicester, UK, pp. 26--34, 2009. Best paper award[Link] [Slides]
  • A. Marin and S. Rota Bulò, A general algorithm to compute the steady-state solution of product-form cooperating Markov chains in proc. of the Annual Meeting of the IEEE/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2009, London, UK, pp. 515--524, September 2009 [Link] [Slides]
  • S. Balsamo and A. Marin, On the Characterization of Product-Form Multiclass Queueing Models with Probabilistic Disciplines. in Proc. Int. Conf. on Analytical and Stochastic Modelling Techniques and Applications (ASMTA '09), Madrid Spain, LNCS 5513/2009, pp. 204--218, June 2009. [Link]
  • S. Balsamo and A. Marin, Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process. ACS/IEEE International Conference on Computer Systems and Applications, Rabat Morocco, pp. 808--815, 10-13 May 2009. [Link]
  • S. Balsamo and A. Marin, From BCMP Queueing Networks to Generalized Stochastic Petri Nets: An Algorithm and an Equivalence Definition, In Proc. of Int. Conf. EUROSIS European Simulation and Modelling Conference, ESM 2008, Le Havre FR, pp. 447--455, 27-29 October 2008.[Download]
  • S. Balsamo and A. Marin, Representing LCFSPR BCMP service center with Coxian service time by GSPN, in Proc. of Int. Conf. ICST/ACM Valuetools 2007, Nantes FR, pp. 1--10, October 2007. [Link]
  • S. Balsamo and A. Marin, Queueing Networks. In "Formal Methods for Performance Evaluation", Marco Bernando and Jane Hillston Eds, LNCS 4486, Springer, 2007, pp. 34--82. [Link]
  • S. Balsamo and A. Marin, On representing multiclass M/M/k queues by generalized stochastic Petri nets. in Proc. Int. Conf. on Analytical and Stochastic Modelling Techniques and Applications (ASMTA '07), SCS, Prague CZ, pp. 121--128, 4-6 June 2007. [Download]