Andrea Marin's Homepage

Publications

Editions
  • Proceedings of the 10th European Workshop on Performance Engineering, EPEW 2013, LNCS 8168. Joint with S. Balsamo and W. Knottenbelt
  • 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
  • A. Bujiari, A. Marin, C.E. Palazzi, S. Rossi,Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic, 2016, Computer Networks, availanle online [Link]
  • A. Marin, S. Rossi, On the relations between Markov chain lumpability and reversibility, 2016, Acta Informatica, In press. [Link]
  • L. Gallina, A. Marin, S. Rossi, Connectivity and Energy-aware Preorders for Mobile Ad-Hoc Networks, 2016, Telecommunication Systems, 63(2) pp. 307--333. [Link]
  • S. Balsamo, G. Dei Rossi, A. Marin, Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems., International Journal of Computer Aided Engineering and Technology (IJCAET), 2015, pp. 145--157 [Link]
  • S. Balsamo, G. Dei Rossi, A. Marin, Lumping and reversed processes in cooperating automata, Annals of Oper. Res., 239(2), pp. 695--722, 2016. [Link]
  • A. Marin, S. Rota Bulò, Explicit solutions for queues with Hypo- or Hyper-exponential service time distribution and application to product-form approximation, Performance Evaluation, 81, pp. 1--19, 2014. [Link]
  • P.G. Harrison, A. Marin, Product-Forms in Multi-Way Synchronizations, The Computer Journal, 57(11), pp. 1693--1710, 2014. [Link]
  • M. Bugliesi, L. Gallina, S. Hamadou, A. Marin, S. Rossi, Behavioural equivalences and interference metrics for mobile ad-hoc networks Performance Evaluation, 73, pp.41--72, 2014 [link]
  • E. Barbierato, G. Dei Rossi, M. Gribaudo, M. Iacono, A. Marin, Exploiting product forms solution techniques in multiformalism modeling Electronic Notes in Theoretical Computer Science, vol. 296, 2013, pp. 61--77 [Link]
  • M. Bugliesi, A. Marin, S. Rossi, Model Checking Adaptive Service Compositions Science of Computer Programming, to appear
  • S. Balsamo, A. Marin, Seperable solutions for Markov processes in random environments European Journal of Operational Research, vol. 229(2), 2013, pp. 391--403 [Link]
  • A. Marin, S. Balsamo, P.G. Harrison, Analysis of Stochastic Petri Nets with Signals Elsevier Performance Evaluation, vol. 69(11), 2012, pp. 551--572, NL, ISSN:0168-5316 [Link]
  • A. Marin, M.G. Vigliotti, Algorithmic product-form approximations of interacting stochastic models Elsevier Computer & Mathematics with Applications. [Link]
  • S. Balsamo, P.G. Harrison, A. Marin, Methodological Construction of Product-Form Stochastic Petri-Nets for Performance Evaluation. Elsevier Journal of Systems and Software, vol. 85(7), 2012, pp. 1520--1539, NL. ISSN: 0164-1212. [Link]
  • 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.Natural Computing: an International Journal, vol. 9(4), Dec. 2010, pp.955--989, Kluwer Academic Publisher, USA. [Link]
International Conferences and Workshops
2016

  • A. Marin, S. Rossi, Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations, in Proc. of QEST 2016, pp. 123--138, [Link]
  • S. Balsamo, A. Marin, I. Stojic, Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets, in Proc. of QEST 2016, pp. 163--166, [Link]
  • A. Marin, S. Rossi, A. Bujari, C. E. Palazzi, Performance evaluation of AQM techniques with heterogeneous traffic, in Proc. of IEEE CCNC 2016, pp. 194--199 [Link]
  • S. Balsamo, F. Cavallin, A. Marin, S. Rossi, Applying Reversibility Theory for the Performance Evaluation of Reversible Computations in Proc. of ASMTA 2016, pp. 45--56. [Link]

2015

  • A. Marin, S. Rossi, Priority-based bandwidth allocation in wireless sensor networks in Proc. of Valuetools 2015, Berlin, pp. 1--8
  • G. Dei Rossi, M. Iacono, A. Marin, Evaluating the impact of eDoS attacks to cloud facilities, in Proc. of Valuetools 2015, Berlin, pp. 1--8
  • E. Gelenbe, A. Marin, Interconnected Wireless Sensors with Energy Harvesting, in Proc. of Analytical Stochastic Modeling Techniques and Applications, ASMTA 2015, Varna, pp 87--99
  • A. Marin, S. Rossi, Quantitative Analysis of Concurrent Reversible Computations, Proc. of Int. Conf. on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, Madrid, pp 206--221
  • S. Balsamo, A. Marin, I. Stojic, Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams, in Proc. of IEEE 23rd Symp. on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2015, Atlanta pp. 126-135
  • F. Cavallin, A. Marin, S. Rossi, A Product-Form Model for the Analysis of Systems with Aging Objects, in Proc. of IEEE 23rd Symp. on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2015, Atlanta pp. 136-145
  • A. Marin, S. Rossi, Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses, in Proc.of the 12th International Conference on Quantitative Evaluation of SysTems, Madrid LNCS, To appear
  • S. Balsamo, A. Marin, I. Stojic, Deriving the performance indices in product-form stochastic Petri nets: open problems and simulationin Proc. of EUROSIS European Simulation Multiconference, pp. 1--7

2014

  • A. Marin, S. Rossi, On Discrete Time Reversibility modulo State Renaming and its Applications, in Prof. of VALUETOOLS 2014, Bratislava pp. 1--8
  • A. Marin, S. Rossi, On the relations between lumpability and reversibility, in Proc. of IEEE 22nd Symp. on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2014, Paris, FR, pp. 427--432
  • S. Balsamo, A. Marin, I. Stojic, Optimisation of servers with different quality of services in Proc. of IEEE 22nd Symp. on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2014, Paris, FR, pp. 142--151

2013

  • A. Marin, S. Rossi, Autoreversibility: exploiting symmetries in Markov chains, in Proc of Proc. of IEEE 21st Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2013, Washington DC, USA [paper]
  • S. Balsamo, G. Dei Rossi, A. Marin, Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets, In Proc. of ASMTA 2013, pp. 52--66 [link]
  • 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 Proc. of MSWIM 2013, Barcellona, SP
  • J. Hillston, A. Marin, C. Piazza, S. Rossi, Contextual lumpability in proc. of int. conf. Valuetools 2013, Turin, Italy, pp. 1--10
  • S. Balsamo, G. Dei Rossi, A. Marin, Queueing networks and conditional product-forms in Proc. of Int. Conf. Valuetools 2013, Turin, Italy, pp. 1--10
  • S. Balsamo, G. Dei Rossi, A. Marin, Modelling retrial-upon-conflict systems with product-form stochastic Petri nets in Proc. of Int. Conf. on Analytical and Stochastic Modelling Techinques and Applications, ASMTA 2013, Ghent, Belgium, LNCS 7984, pp. 52--66

2012

  • S. Balsamo, G. Dei Rossi, A. Marin, A Survey on Multi-Formalism Performance Evaluation Tools in Proc. of the 26th annual European Simulation and Modelling Conference, ESM 2012, Essen, DE, pp. 15--23
  • L. Gallina, G. Dei Rossi, A. Marin, S. Rossi, Evaluating resistance to jamming and casual interception in mobile wireless networks, in Proc. of MSWiM 2012, Cyprus, pp. 151-158 [link]
  • L. Gallina, T. Han, M. Z. Kwiatkowska, A. Marin, S. Rossi, A. Spanò, Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks, in Proc of Wireless Days 2012, Dublin, Ireland, pp. 1--6 [paper]
  • P. G. Harrison, Andrea Marin, Deriving the rate equations characterising product-form models and application to propagating synchronisations. in Proc. of VALUETOOLS 2012, pp. 107--116 [link]
  • M. Bugliesi, L. Gallina, S. Hamadou, A. Marin, S. Rossi, Interference-sensitive Preorders for MANETs, in Proc of 9th Int. Conf. on Quantitative Evaluation of SysTems, QEST 2012, pp. 189--198 [paper]
  • S. Balsamo, G. Dei Rossi, A. Marin, Cooperating stochastic automata: approximate lumping an reversed process, in Proc. of 27th International Symposium on Computer and Information Sciences, ISCIS 2012, LNEE, Springer, ISSN 1876-1100, pp. 131--141 [link]
  • A. Marin, S. Rota Bulò, S. Balsamo, A numerical algorithm for the decomposition of cooperating structured Markov processes in Proc. of IEEE 20th Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2012, Washington DC, USA, pp. 401--410 [link]
  • S. Balsamo, G. Dei Rossi, A. Marin, Lumping and Reversed Processes in Cooperating Automata in proc. of Int. Conf. on Analytical and Stochastic Modelling Techinques and Applications, ASMTA 2012, Grenoble, FR, LNCS 7314, pp. 212--226. [link]

2011

  • 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) [Link]
  • 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. [Link]
  • 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. [Link] [Paper]
  • 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. [Link]
  • 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 6751, pp. 316--330. [Link]
  • 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 6751, pp. 70--84.[Link]
  • 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 [Link] (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]

2010

  • 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]

<2009

  • 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]