Andrea MARIN
- Qualifica
- Professore Ordinario
- Incarichi
-
Delegato della Rettrice all'Orientamento e tutorato
- Telefono
- 041 234 8455 / 041 234 8476
-
marin@unive.it
- SSD
- Sistemi di elaborazione delle informazioni [IINF-05/A]
- 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)
Pubblicazioni
| Anno | Tipologia | Pubblicazione |
|---|---|---|
| Anno | Tipologia | Pubblicazione |
|
|
||
| In corso di stampa | Working paper |
Daria Smuseva, Andrea Marin, Sabina Rossi, Aad van Moorsel Verifier's Dilemma in Proof-of-Work Public Blockchains: A~Quantitative Analysis , vol. - - Scheda ARCA: 10278/5045182 |
| 2024 | Articolo su rivista |
Diletta Olliaro, Giuliano Casale, Andrea Marin, Sabina Rossi A product-form network for systems with job stealing policies in ACM TRANSACTIONS ON MODELING AND PERFORMANCE EVALUATION OF COMPUTING SYSTEMS, vol. - (ISSN 2376-3639) DOI - URL correlato - Scheda ARCA: 10278/5049941 |
| 2024 | Articolo su rivista |
Malakhov, Ivan; Marin, Andrea; Rossi, Sabina; Menasché, Daniel Sadoc Confirmed or Dropped? Reliability Analysis of Transactions in PoW Blockchains in IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING, vol. 11, pp. 1-13 (ISSN 2327-4697) DOI - Scheda ARCA: 10278/5061265 |
| 2024 | Articolo su rivista |
Marin, Andrea; Meo, Michela; Sereno, Matteo; Marsan, Marco Ajmone Queuing Network Models of Multiservice RANs in ACM TRANSACTIONS ON MODELING AND PERFORMANCE EVALUATION OF COMPUTING SYSTEMS, vol. 9, pp. 1-26 (ISSN 2376-3639) DOI - Scheda ARCA: 10278/5061263 |
| 2024 | Articolo su rivista |
Marin A.; Ajmone Marsan M.; Meo M.; Sereno M. Queuing models of links carrying streaming and elastic services in COMPUTER NETWORKS, vol. 244 (ISSN 1389-1286) DOI - Scheda ARCA: 10278/5061262 |
| 2024 | Articolo su rivista |
Olliaro Diletta.; Anggraito Adityo.; Marsan Marco Ajmone; Balsamo Simonetta; Marin Andrea The Impact of Service Demand Variability on Data Center Performance in IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, vol. online, pp. 1-13 (ISSN 1045-9219) DOI - Scheda ARCA: 10278/5084509 |
| 2024 | Articolo in Atti di convegno |
Muhammad Waqas, Leonardo Maccari, Andrea Marin Finite Capacity Multi-Server Job Systems: A Simulation Study , ECMS International Conference on Modelling and Simulation, European Council for Modelling and Simulation (ECMS), Convegno: Simulation Development, 04 June 2024 - Scheda ARCA: 10278/5077321 |
| 2023 | Articolo su rivista |
Malakhov I.; Marin A.; Rossi S. Analysis of the confirmation time in proof-of-work blockchains in FUTURE GENERATION COMPUTER SYSTEMS, vol. 147, pp. 275-291 (ISSN 0167-739X) DOI - Scheda ARCA: 10278/5036320 |
| 2023 | Articolo su rivista |
Olliaro D.; Ajmone Marsan M.; Balsamo S.; Marin A. The saturated Multiserver Job Queuing Model with two classes of jobs: Exact and approximate results in PERFORMANCE EVALUATION, vol. 162 (ISSN 0166-5316) DOI - Scheda ARCA: 10278/5046009 |
| 2023 | Articolo in Atti di convegno |
Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C. Causal Reversibility Implies Time Reversibility , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 14287, pp. 270-287, Convegno: 20th International Conference on Quantitative Evaluation of SysTems, QEST 2023, 2023 (ISBN 978-3-031-43834-9; 978-3-031-43835-6) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/5046010 |
| 2023 | Articolo in Atti di convegno |
Daria Smuseva, Ivan Malakhov, Andrea Marin, Sabina Rossi Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's Proof-of-Stake Blockchain , 2023 IEEE International Conference on Blockchain, IEEE Computer Society, Convegno: 2023 IEEE International Conference on Blockchain (ISBN 979-8-3503-1929-3) DOI - URL correlato - Scheda ARCA: 10278/5045181 |
| 2023 | Articolo in Atti di convegno |
Daria Smuseva, Andrea Marin, Sabina Rossi Selfish Mining in Public Blockchains: A Quantitative Analysis , Performance Evaluation Methodologies and Tools, Springer, vol. 539, pp. 18-32, Convegno: EAI VALUETOOLS 2023 - 16th EAI International Conference on Performance Evaluation Methodologies and Tools (ISBN 978-3-031-48884-9) (ISSN 1867-8211) DOI - URL correlato - Scheda ARCA: 10278/5045180 |
| 2023 | Articolo in Atti di convegno |
Diletta Olliaro, Gianfranco Balbo, Andrea Marin, Matteo Sereno Skipping and Fetching: Insights on Non-conventional Product-Form Solutions , Quantitative Evaluation of Systems, Springer, vol. 14287 LNCS, pp. 110-126, Convegno: International Conference on Quantitative Evaluation of Systems DOI - Scheda ARCA: 10278/5049942 |
| 2023 | Abstract in Atti di convegno |
Marin A.; Rossi S.; Olliaro D. A product-form network for systems with job stealing policies , Performance Evaluation Review in PERFORMANCE EVALUATION REVIEW, Zhenhua Liu, vol. 50, pp. 2-4, Convegno: SIGMETRICS / IFIP Performance 2022, 06/06/2022 - 10/06/2022 (ISSN 0163-5999) DOI - URL correlato - Scheda ARCA: 10278/5024200 |
| 2022 | Articolo su rivista |
Malakhov I.; Marin A.; Rossi S.; Smuseva D. On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness in IEEE ACCESS, vol. 10, pp. 1305-1316 (ISSN 2169-3536) DOI - Scheda ARCA: 10278/3759688 |
| 2022 | Articolo in Atti di convegno |
Balsamo S.; Marin A.; Mitrani I. A Mixed PS-FCFS Policy for CPU IntensiveWorkloads , ICPE 2022 - Proceedings of the 2022 ACM/SPEC International Conference on Performance Engineering, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, Inc, pp. 199-210, Convegno: 13th Annual ACM/SPEC International Conference on Performance Engineering, ICPE 2022, 2022 (ISBN 9781450391436) DOI - Scheda ARCA: 10278/5036247 |
| 2022 | Articolo in Atti di convegno |
Marin A.; Meo M.; Sereno M.; Marsan M.A. Modeling Service Mixes in Access Links: Product Form and Oscillations , Proceedings - 2022 IEEE 23rd International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2022, 345 E 47TH ST, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., pp. 312-318, Convegno: 23rd IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2022, 2022 (ISBN 978-1-6654-0876-9) DOI - Scheda ARCA: 10278/5036248 |
| 2022 | Articolo in Atti di convegno |
Balsamo S.; Malakhov I.; Marin A.; Mitrani I. Transaction confirmation in proof-of-work blockchains: Auctions, delays and droppings , 2022 20th Mediterranean Communication and Computer Networking Conference, MedComNet 2022, 345 E 47TH ST, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., pp. 140-149, Convegno: 20th Mediterranean Communication and Computer Networking Conference, MedComNet 2022, 2022 (ISBN 978-1-6654-8729-0) DOI - Scheda ARCA: 10278/5009380 |
| 2022 | Articolo in Atti di convegno |
Smuseva D.; Malakhov I.; Marin A.; van Moorsel A.; Rossi S. Verifier’s Dilemma in Ethereum Blockchain: A Quantitative Analysis , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, vol. 13479, pp. 317-336, Convegno: 19th International Conference on Quantitative Evaluation of Systems, QEST 2022, 2022 (ISBN 978-3-031-16335-7; 978-3-031-16336-4) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/5009381 |
| 2021 | Articolo su rivista |
Marin A.; Williamson C. Cheating at Craps: A Quantitative Analysis in PERFORMANCE EVALUATION REVIEW, vol. 48, pp. 53-61 (ISSN 0163-5999) DOI - Scheda ARCA: 10278/3744316 |
| 2021 | Articolo su rivista |
Marin A.; Piazza C.; Rossi S. D_PSNI: Delimited persistent stochastic non-interference in THEORETICAL COMPUTER SCIENCE, vol. 884, pp. 116-135 (ISSN 0304-3975) DOI - Scheda ARCA: 10278/3744315 |
| 2021 | Articolo su rivista |
Elahi M.; Marin A.; Rossi S.; Williamson C. Frequency scaling in multilevel queues in PERFORMANCE EVALUATION REVIEW, vol. 48, pp. 97-98 (ISSN 0163-5999) DOI - Scheda ARCA: 10278/3743022 |
| 2021 | Articolo su rivista |
Hillston J.; Marin A.; Piazza C.; Rossi S. Persistent Stochastic Non-Interference in FUNDAMENTA INFORMATICAE, vol. 181, pp. 1-35 (ISSN 0169-2968) DOI - Scheda ARCA: 10278/3744335 |
| 2021 | Articolo su rivista |
Marin A.; Piazza C.; Rossi S. Proportional lumpability and proportional bisimilarity in ACTA INFORMATICA, vol. n/a (ISSN 0001-5903) DOI - Scheda ARCA: 10278/3744337 |
| 2021 | Prefazione/Postfazione |
Abate A.; Marin A. Preface , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 12846, pp. 5-6 DOI - Scheda ARCA: 10278/5004881 |
| 2021 | Articolo in Atti di convegno |
Del Conte A.; Marin A.; Palazzi C.E. A FANET Simulator Designed and Implemented to Study Routing Algorithms , Proceedings of the 2021 IEEE/ACM 25th International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2021, 345 E 47TH ST, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., pp. 1-7, Convegno: 25th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2021, 2021 (ISBN 978-1-6654-3326-6) (ISSN 1550-6525) DOI - Scheda ARCA: 10278/5004880 |
| 2021 | Articolo in Atti di convegno |
Balsamo S.; Marin A.; Mitrani I.; Rebagliati N. Prediction of the Consolidation Delay in Blockchain-based Applications , ICPE 2021 - Proceedings of the ACM/SPEC International Conference on Performance Engineering, Association for Computing Machinery, Inc, pp. 81-92, Convegno: 2021 ACM/SPEC International Conference on Performance Engineering, ICPE 2021, 2021 (ISBN 9781450381949) DOI - Scheda ARCA: 10278/3744334 |
| 2021 | Articolo in Atti di convegno |
Malakhov, I; Gaetan, C; Marin, A; Rossi, S Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation , Performance Engineering and Stochastic Modeling - 17th European Workshop, EPEW 2021, and 26th International Conference, {ASMTA} 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INTERNATIONAL PUBLISHING AG, vol. 13104, pp. 3-21, Convegno: EPEW - European Performance Engineering Workshop (ISBN 978-3-030-91824-8; 978-3-030-91825-5) DOI - Scheda ARCA: 10278/5003163 |
| 2020 | Articolo su rivista |
Zikria Y.B.; Afzal M.K.; Kim S.W.; Marin A.; Guizani M. Deep learning for intelligent IoT: Opportunities, challenges and solutions in COMPUTER COMMUNICATIONS, vol. 164, pp. 50-53 (ISSN 0140-3664) DOI - Scheda ARCA: 10278/3743019 |
| 2020 | Articolo su rivista |
Marin A.; Rossi S.; Sottana M. 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) DOI - Scheda ARCA: 10278/3728122 |
| 2020 | Articolo su rivista |
Elahi M.; Marin A.; Rossi S.; Williamson C. Frequency scaling in multilevel queues in PERFORMANCE EVALUATION, vol. 143, pp. 102140 (ISSN 0166-5316) DOI - Scheda ARCA: 10278/3743020 |
| 2020 | Articolo su rivista |
Marin, Andrea; Rossi, Sabina; Zen, Carlo Size-based scheduling for TCP flows: Implementation and performance evaluation in COMPUTER NETWORKS, vol. 183, pp. 107574 (ISSN 1389-1286) DOI - Scheda ARCA: 10278/3743017 |
| 2020 | Prefazione/Postfazione |
Marin A.; Casale G.; Petriu D.C.; Rossi S. Guest editor's forewords: Special issue on Valuetools 2017 , Performance Evaluation: Special issue on Valuetools 2017, Elsevier B.V., vol. 137, pp. 102008 DOI - URL correlato - Scheda ARCA: 10278/3722950 |
| 2020 | Articolo in Atti di convegno |
Marin A.; Rossi S.; Zen C. A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues , Proc. of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, Vienna, 31 August 2020 - 3 September 2020, Springer Science and Business Media Deutschland GmbH, vol. 12289, pp. 144-147, Convegno: 17th International Conference on Quantitative Evaluation Systems, QEST 2020, 2020 (ISBN 978-3-030-59853-2; 978-3-030-59854-9) DOI - Scheda ARCA: 10278/3743023 |
| 2020 | Articolo in Atti di convegno |
Marin A.; Rossi S. 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), 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) DOI - Scheda ARCA: 10278/3728184 |
| 2020 | Articolo in Atti di convegno |
Ivan Malakhov, Andrea Marin, Sabina Rossi, Daria Smuseva Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach , 2020 IEEE International Conference on Blockchain (Blockchain), IEEE Computer Society, vol. 1, pp. 436-441, Convegno: 2020 IEEE International Conference on Blockchain (Blockchain) (ISBN 978-0-7381-0495-9) DOI - URL correlato - Scheda ARCA: 10278/3734910 |
| 2020 | Articolo in Atti di convegno |
Marin A.; Rossi S.; Williamson C. 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) DOI - Scheda ARCA: 10278/3728121 |
| 2019 | Articolo su rivista |
Balsamo S.; Marin A.; Stojic I. 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) DOI - URL correlato - Scheda ARCA: 10278/3722985 |
| 2019 | Articolo su rivista |
Bujari A.; Marin A.; Palazzi C.E.; Rossi S. 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) DOI - URL correlato - Scheda ARCA: 10278/3722875 |
| 2019 | Articolo su rivista |
Patil, Kishor*; Jafri, Mohsin; Fiems, Dieter; Marin, Andrea Stochastic modeling of depth based routing in underwater sensor networks in AD HOC NETWORKS, vol. 89, pp. 132-141 (ISSN 1570-8705) DOI - URL correlato - Scheda ARCA: 10278/3713235 |
| 2019 | Articolo in Atti di convegno |
Marin A.; Piazza C.; Rossi S. 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), Springer Verlag, vol. 11785, pp. 222-238, Convegno: 16th International Conference on Quantitative Evaluation of Systems, QEST 2019, 2019 (ISBN 9783030302801) DOI - URL correlato - Scheda ARCA: 10278/3722872 |
| 2019 | Articolo in Atti di convegno |
Hillston J.; Piazza C.; Marin A.; Rossi S. 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) DOI - URL correlato - Scheda ARCA: 10278/3722859 |
| 2019 | Articolo in Atti di convegno |
Marin A.; Piazza C.; Rossi S. Proportional Lumpability , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 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) DOI - URL correlato - Scheda ARCA: 10278/3722874 |
| 2019 | Articolo in Atti di convegno |
Marin A.; Rossi S.; Sottana M.; Zen C. 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, 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) DOI - Scheda ARCA: 10278/3722873 |
| 2018 | Articolo su rivista |
Marin, Andrea; Rossi, Sabina; Burato, Dario; Sina, Andrea; Sottana, Matteo 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) DOI - Scheda ARCA: 10278/3699932 |
| 2018 | Articolo su rivista |
Mohsin Raza Jafri , Simonetta Balsamo , Andrea Marin , Robert Martin 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) DOI - URL correlato - Scheda ARCA: 10278/3700617 |
| 2018 | Articolo su rivista |
Giacomo Alzetta, Andrea Marin, Carla Piazza, Sabina Rossi 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) DOI - URL correlato - Scheda ARCA: 10278/3703617 |
| 2018 | Articolo in Atti di convegno |
Marin, Andrea*; Rossi, Sabina; Sottana, Matteo 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) DOI - URL correlato - Scheda ARCA: 10278/3710571 |
| 2018 | Articolo in Atti di convegno |
Marin, Andrea*; Mitrani, Isi; Elahi, Maryam; Williamson, Carey 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), Springer Verlag, vol. 11024, pp. 257-272, Convegno: 15th International Conference on Quantitative Evaluation of Systems, QEST 2018, 2018 (ISBN 9783319991535) DOI - URL correlato - Scheda ARCA: 10278/3711312 |
| 2018 | Articolo in Atti di convegno |
Hillston, Jane; Marin, Andrea; Piazza, Carla*; Rossi, Sabina 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) DOI - URL correlato - Scheda ARCA: 10278/3710572 |
| 2018 | Articolo in Atti di convegno |
Jafri, Mohsin; Torsello, Andrea; Marin, Andrea; Ghaderi, Majid 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) DOI - URL correlato - Scheda ARCA: 10278/3710482 |
| 2018 | Abstract in Atti di convegno |
Kishore Patil, Dieter Fiems, Mohsin Raza Jafri, Andrea Marin, 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 - URL correlato - Scheda ARCA: 10278/3702159 |
| 2018 | Curatela |
(a cura di) Simonetta Balsamo; Andrea Marin; Enrico Vicario New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers. , Springer, vol. 825 (ISBN 978-3-319-91631-6) (ISSN 1865-0929) DOI - Scheda ARCA: 10278/3717549 |
| 2017 | Articolo su rivista |
Marin, Andrea; Rossi, Sabina Fair workload distribution for multi-server systems with pulling strategies in PERFORMANCE EVALUATION, vol. 113, pp. 26-41 (ISSN 0166-5316) DOI - URL correlato - Scheda ARCA: 10278/3692876 |
| 2017 | Articolo su rivista |
Marin, Andrea; Balsamo, Simonetta; Fourneau, Jean-Michel LB-networks: A model for dynamic load balancing in queueing networks in PERFORMANCE EVALUATION, vol. 115, pp. 38-53 (ISSN 0166-5316) DOI - Scheda ARCA: 10278/3692874 |
| 2017 | Articolo su rivista |
Marin, Andrea; Rossi, Sabina On the relations between Markov chain lumpability and reversibility in ACTA INFORMATICA, vol. 54, pp. 447-485 (ISSN 1432-0525) DOI - URL correlato - Scheda ARCA: 10278/3673297 |
| 2017 | Articolo su rivista |
Marin, Andrea; Rossi, Sabina Power control in saturated fork-join queueing systems in PERFORMANCE EVALUATION, vol. 116, pp. 101-118 (ISSN 0166-5316) DOI - Scheda ARCA: 10278/3692878 |
| 2017 | Articolo in Atti di convegno |
Andrea, Marin; Sabina, Rossi 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., 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) DOI - Scheda ARCA: 10278/3692879 |
| 2017 | Articolo in Atti di convegno |
Simonetta Balsamo, Dieter Fiems, Mohsin Raza Jafri, Andrea Marin 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 DOI - Scheda ARCA: 10278/3700470 |
| 2017 | Articolo in Atti di convegno |
Mohsin Raza Jafri , Simonetta Balsamo , Andrea Marin 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) - URL correlato - Scheda ARCA: 10278/3700408 |
| 2017 | Articolo in Atti di convegno |
Balsamo, Maria Simonetta; Marin, Andrea; Stojic, Ivan 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) DOI - Scheda ARCA: 10278/3679104 |
| 2016 | Articolo su rivista |
Bujiari, Armir; Marin, Andrea; Rossi, Sabina; Palazzi, Claudio Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic in COMPUTER NETWORKS, vol. 108, pp. 160-170 (ISSN 1389-1286) DOI - URL correlato - Scheda ARCA: 10278/3682156 |
| 2016 | Articolo su rivista |
Gallina, Lucia; Marin, Andrea; Rossi, Sabina Connectivity and energy-aware preorders for mobile ad-hoc networks in TELECOMMUNICATION SYSTEMS, vol. 63, pp. 307-333 (ISSN 1018-4864) DOI - URL correlato - Scheda ARCA: 10278/3673294 |
| 2016 | Articolo su rivista |
Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin Lumping and reversed processes in cooperating automata in ANNALS OF OPERATIONS RESEARCH, vol. 239, pp. 695-722 (ISSN 0254-5330) DOI - Scheda ARCA: 10278/3638126 |
| 2016 | Articolo su rivista |
MARIN, Andrea Product-form in G-networks in PROBABILITY IN THE ENGINEERING AND INFORMATIONAL SCIENCES, vol. 30, pp. 345-360 (ISSN 0269-9648) DOI - URL correlato - Scheda ARCA: 10278/3682157 |
| 2016 | Articolo in Atti di convegno |
Marin, Andrea; Rossi, Sabina Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations , 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INTERNATIONAL PUBLISHING AG, vol. 9826, pp. 123-138, Convegno: 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), August 23-25 2016 (ISBN 978-331943424-7) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/3673299 |
| 2016 | Articolo in Atti di convegno |
Fourneau, Jean Michel; Marin, Andrea; Balsamo, Maria Simonetta Modeling Energy Packets Networks in the Presence of Failures , Proc. of 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016), 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, pp. 144-153, Convegno: 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016), September, 2016 (ISBN 978-1-5090-3432-1; 978-1-5090-3433-8) (ISSN 1526-7539) DOI - Scheda ARCA: 10278/3682174 |
| 2016 | Articolo in Atti di convegno |
Marin, Andrea; Rossi, Sabina; Bujari, Armir; Palazzi, Claudio Performance evaluation of AQM techniques with heterogeneous traffic , 13th IEEE Annual Consumer Communications & Networking Conference, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, pp. 194-199, Convegno: 13th IEEE Annual Consumer Communications & Networking Conference, 9-12 Jan. 2016 (ISBN 978-1-4673-9292-1) DOI - URL correlato - Scheda ARCA: 10278/3673298 |
| 2016 | Articolo in Atti di convegno |
Cavallin, Filippo; Marin, Andrea; Rossi, Sabina; Product-forms for Probabilistic Input/Output Automata , Proc. of 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016), 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, pp. 361-366, Convegno: 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016), September, 2016 (ISBN 978-1-5090-3432-1; 978-1-5090-3433-8) (ISSN 1526-7539) DOI - Scheda ARCA: 10278/3682175 |
| 2015 | Articolo su rivista |
Balsamo, Maria Simonetta; Marin, Andrea; Dei Rossi, Gian-Luca Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems in INTERNATIONAL JOURNAL OF COMPUTER AIDED ENGINEERING AND TECHNOLOGY, Inderscience Enterprises Ltd., vol. 7, pp. 145-157 (ISSN 1757-2657) DOI - URL correlato - Scheda ARCA: 10278/3680943 |
| 2015 | Articolo in Atti di convegno |
Cavallin, Filippo; Marin, Andrea; Rossi, Sabina A Product-form Model for the Analysis of Systems with Aging Objects , Proceedings of Int. Conf. MASCOTS 2015, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, vol. 2015-, pp. 136-145, Convegno: IEEE 23rd International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2015, 2015 (ISBN 9781467377201) (ISSN 1526-7539) DOI - Scheda ARCA: 10278/3663441 |
| 2015 | Articolo in Atti di convegno |
Balsamo, Maria Simonetta; Marin, Andrea; Stojic, Ivan Deriving the performance indices in product-form stochastic Petri nets: Open problems and simulation , Proc. of 29th Annual European Simulation and Modelling Conference 2015, ESM 2015, EUROSIS, pp. 81-88, Convegno: 29th Annual European Simulation and Modelling Conference 2015, ESM 2015, 2015 (ISBN 9789077381908) - Scheda ARCA: 10278/3676679 |
| 2015 | Articolo in Atti di convegno |
Dei Rossi, Gian-Luca; Iacono, Mauro; Marin, Andrea Evaluating the impact of eDoS attacks to cloud facilities , Proc. of 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015, ACM, pp. 1-8, Convegno: 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015, 14-16/12/2016 (ISBN 978-1-63190-096-9) DOI - Scheda ARCA: 10278/3682194 |
| 2015 | Articolo in Atti di convegno |
Gelenbe, Erol; Marin, Andrea Interconnected Wireless Sensors with Energy Harvesting , Proceedings of ASMTA 2015, Springer, vol. 9081, pp. 87-99, Convegno: ASMTA 2015, 2015 (ISSN 0302-9743) DOI - Scheda ARCA: 10278/3663444 |
| 2015 | Articolo in Atti di convegno |
Marin, Andrea; Rossi, Sabina Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses in Andrea Marin, Sabina Rossi, Proceedings of QEST 2015, th International Conference on Quantitative Evaluation of Systems, Springer, vol. 9259, pp. 160-175, Convegno: 12th International Conference, QEST 2015, September 1-3, 2015 (ISBN 978-3-319-22263-9) (ISSN 0302-9743) DOI - URL correlato - Scheda ARCA: 10278/3663451 |
| 2015 | Articolo in Atti di convegno |
Andrea Marin;
Sabina Rossi On the relations between Lumpability and Reversibility in Mike Attalah et al., Proceedings of MASCOTS 2014, IEEE COMPUTER SOC, pp. 427-432, Convegno: MASCOTS 2014 (ISBN 978-1-4799-5610-4) DOI - Scheda ARCA: 10278/43986 |
| 2015 | Articolo in Atti di convegno |
Balsamo, Maria Simonetta; Marin, Andrea; Stojic, Ivan Perfect sampling in stochastic Petri nets using decision diagrams , Proc. of Int. Conf. MASCOTS 2015, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, pp. 126-135, Convegno: IEEE 23rd International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2015, 2015 (ISBN 978-1-4673-7720-1) (ISSN 1526-7539) DOI - Scheda ARCA: 10278/3663439 |
| 2015 | Articolo in Atti di convegno |
Marin, Andrea; Rossi, Sabina Priority-based bandwidth allocation in wireless sensor networks , 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015, ICST, pp. 137-144, Convegno: 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015, 2015 (ISBN 9781631900969) DOI - Scheda ARCA: 10278/3680768 |
| 2015 | Articolo in Atti di convegno |
Marin, Andrea; Rossi, Sabina Quantitative Analysis of Concurrent Reversible Computations , Proceedings of FORMATS 2015, Springer, vol. 9268, pp. 206-221, Convegno: FORMATS 2015 (ISBN 978-3-319-22974-4) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/3663443 |
| 2014 | Articolo su rivista |
M. Bugliesi; L. Gallina; S. Hamadou; A. Marin;
S. Rossi Behavioural equivalences and interference metrics for mobile ad-hoc networks in PERFORMANCE EVALUATION, vol. 73, pp. 41-72 (ISSN 0166-5316) DOI - URL correlato - Scheda ARCA: 10278/39218 |
| 2014 | Articolo su rivista |
Andrea Marin; Samuel Rota Bulò Explicit solutions for queues with Hypo- or Hyper-exponential service time distribution and application to product-form approximations in PERFORMANCE EVALUATION, vol. 81, pp. 1-19 (ISSN 0166-5316) DOI - URL correlato - Scheda ARCA: 10278/42860 |
| 2014 | Articolo su rivista |
Michele Bugliesi; Andrea Marin; Sabina Rossi Model Checking Adaptive Service Compositions in SCIENCE OF COMPUTER PROGRAMMING, vol. 94, pp. 289-306 (ISSN 0167-6423) DOI - URL correlato - Scheda ARCA: 10278/39176 |
| 2014 | Articolo su rivista |
P.G. Harrison; A. Marin Product-Forms in Multi-Way Synchronizations in COMPUTER JOURNAL, vol. 57, pp. 1693-1710 (ISSN 0010-4620) DOI - URL correlato - Scheda ARCA: 10278/39336 |
| 2014 | Articolo in Atti di convegno |
Andrea Marin;
Sabina Rossi On Discrete Time Reversibility modulo State Renaming and its Applications in William Knottenbelt et al., Proceedings of Valuetools 2014, ACM Association for Computing Machinery, pp. 225-232, Convegno: Valuetools 2014 (ISBN 978-1-63190-057-0) DOI - Scheda ARCA: 10278/43987 |
| 2014 | Articolo in Atti di convegno |
Balsamo, Maria Simonetta; Marin, Andrea; Stojic, Ivan 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 DOI - Scheda ARCA: 10278/43985 |
| 2013 | 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) DOI - Scheda ARCA: 10278/39234 |
| 2013 | 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) DOI - Scheda ARCA: 10278/39235 |
| 2013 | Articolo in Atti di convegno |
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: link esterno , Fax: (212)944-1318, pp. 255-262, Convegno: MsWim 2013, November 3-8, 2013 (ISBN 9781450323536) DOI - URL correlato - Scheda ARCA: 10278/39159 |
| 2013 | 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, August 2013 (ISBN 9780769551029) DOI - Scheda ARCA: 10278/39158 |
| 2013 | 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, December, 2013 (ISBN 9781450325394) DOI - Scheda ARCA: 10278/39247 |
| 2013 | 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, Springer, vol. 7984, pp. 52-66, Convegno: Analytical and Stochastic Modelling Techiniques and Applications, July, 8-13 (ISBN 9783642394072) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/39335 |
| 2013 | 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, 10-12/12/2013 (ISBN 9781450325394) - Scheda ARCA: 10278/39043 |
| 2013 | 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, 11-13/11/2013 (ISBN 9788793102323) - Scheda ARCA: 10278/39870 |
| 2012 | 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) DOI - URL correlato - Scheda ARCA: 10278/37069 |
| 2012 | Articolo su rivista |
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) DOI - Scheda ARCA: 10278/36681 |
| 2012 | 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) DOI - URL correlato - Scheda ARCA: 10278/30874 |
| 2012 | Articolo in Atti di convegno |
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, 7*9 August 2012 (ISBN 9781467324533) DOI - Scheda ARCA: 10278/39075 |
| 2012 | 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, 22-24/10/2012 (ISBN 9789077381731) - Scheda ARCA: 10278/33221 |
| 2012 | 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, 21-23 Nov. 2012 (ISBN 9781467344029) DOI - URL correlato - Scheda ARCA: 10278/39312 |
| 2012 | 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, 3-4/10/2012 (ISBN 9781447145936) DOI - Scheda ARCA: 10278/36559 |
| 2012 | 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, October, 2012 (ISBN 9781936968633) DOI - Scheda ARCA: 10278/38615 |
| 2012 | 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), 21-26 Oct 2012 (ISBN 9781450316286) DOI - URL correlato - Scheda ARCA: 10278/35213 |
| 2012 | 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, 17-20 Sep 2012 (ISBN 9780769547817) DOI - URL correlato - Scheda ARCA: 10278/39280 |
| 2012 | 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, 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) DOI - Scheda ARCA: 10278/36941 |
| 2011 | Articolo in Atti di convegno |
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, October 10-12, 2011 (ISBN 9781457720277) DOI - URL correlato - Scheda ARCA: 10278/27867 |
| 2011 | 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, Berlin, Berlin Heidelberg: Springer, vol. 6751, pp. 316-330, Convegno: 18th International Conference, ASMTA 2011, June 20-22, 2011 (ISBN 9783642217128) (ISSN 0302-9743) DOI - URL correlato - Scheda ARCA: 10278/39362 |
| 2011 | Articolo in Atti di convegno |
Dei Rossi, Gian-Luca; Marin, Andrea; Rosati, Matteo; Balsamo, Maria Simonetta 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, 6-8 June 2011 (ISBN 9789077381632) - Scheda ARCA: 10278/30011 |
| 2011 | Articolo in Atti di convegno |
Dei Rossi, Gian-Luca; Marin, Andrea; Balsamo, Maria Simonetta 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, 10-12 Oct 2011 (ISBN 9781457720277) DOI - Scheda ARCA: 10278/23636 |
| 2011 | 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, © Springer-Verlag Berlin Heidelberg, vol. 6977, pp. 29-41, Convegno: 8th European conference on Computer Performance Engineering, October 2011 (ISBN 9783642247484) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/23606 |
| 2011 | Articolo in Atti di convegno |
Marin, Andrea; Rota Bulò, Samuel Explicit solutions for queues with Hypo-exponential service time and applications to product-form analysis , Proc. of Int. Conf. Valuetools 2011, ICST, pp. 166-175, Convegno: Valuetools, 16-20, May, 2011 (ISBN 9781936968091) - Scheda ARCA: 10278/30012 |
| 2011 | Articolo in Atti di convegno |
Baldan P; Cocco N.; De Nes F.; Llabres Segura M.; Marin A.; Simeoni M. MPath2PN - Translating Metabolic Pathways into Petri Nets , BIOPPN-2011 International Workshop on Biological Processes & Petri Nets, CEUR Workshop Proceedings (CEUR-WS.org), vol. 724, pp. 102-116, Convegno: 2nd International Workshop on Biological Processes & Petri Nets (BioPPN2011) (ISSN 1613-0073) - URL correlato - Scheda ARCA: 10278/23620 |
| 2011 | 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, © Springer-Verlag Berlin Heidelberg, vol. 6751, pp. 70-84, Convegno: 8th international conference on Analytical and stochastic modeling techniques and applications, June 2011 (ISBN 9783642217128) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/31800 |
| 2011 | 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, 14-16/3/2011 (ISBN 9781450305198) DOI - Scheda ARCA: 10278/26178 |
| 2010 | Articolo su rivista |
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) DOI - Scheda ARCA: 10278/23014 |
| 2010 | Articolo in Atti di convegno |
Marin, Andrea; Vigliotti, Maria Grazia 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, 28-30 Jan. 2010 (ISBN 9781605585635) DOI - Scheda ARCA: 10278/27965 |
| 2010 | Articolo in Atti di convegno |
Balsamo, Maria Simonetta; Dei Rossi, Gian-Luca; Marin, Andrea 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, Berlino, Springer, vol. LNCS 6342, pp. 191-206, Convegno: European Performance Engineering Workshop, EPEW 2010, September 23-24, 2010 (ISBN 9783642157837) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/33536 |
| 2010 | 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, 14-16.1.2010 (ISBN 9788392605447) - Scheda ARCA: 10278/25026 |
| 2010 | Articolo in Atti di convegno |
Balsamo, Maria Simonetta; Harrison, Peter; Marin, Andrea A unifying approach to product-forms in networks with finite capacity constraints in V. Misra, P. Barford, M.S. Squillante Eds, Proc. of Int. Conf. ACM SIGMETRICS 2010 in PERFORMANCE EVALUATION REVIEW, New York, ACM, vol. 38, pp. 25-36, Convegno: ACM Sigmetrics 2010, 14-18 June 2010 (ISBN 9781450302111) (ISSN 0163-5999) DOI - Scheda ARCA: 10278/26577 |
| 2010 | Articolo in Atti di convegno |
Balsamo, Maria Simonetta; Dei Rossi, Gian-Luca; Marin, Andrea 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, October 25-27, 2010 (ISBN 9789077381571) - Scheda ARCA: 10278/24429 |
| 2010 | 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, 15-18, Sept. 2010 (ISBN 9780769541884) - Scheda ARCA: 10278/25060 |
| 2010 | Articolo in Atti di convegno |
Marin, Andrea; Vigliotti, Maria Grazia On product-form approximations of cooperating stochastic models in E. Gelenbe et al., Proceedings of the 25th International Symposium on Computer and Information Sciences, Springer Netherlands, vol. 62, pp. 65-70, Convegno: International Symposium on Computer and Information Sciences (ISCIS), September 2010 (ISBN 9789048197934; 9789048197941) (ISSN 1876-1100) DOI - Scheda ARCA: 10278/29523 |
| 2010 | Articolo in Atti di convegno |
Balsamo, Maria Simonetta; Marin, Andrea Product-form solutions for models with joint-state dependent transition rates , Int. Conf. on Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2010), Berlino, Springer, vol. Lecture notes in computer science, pp. 87-101, Convegno: Int. Conf. on Aanalytical and Stochastic Modeling Techniques and Applications (ASMTA 2010), June 2010 (ISBN 9783642135675) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/28376 |
| 2010 | Articolo in Atti di convegno |
Balsamo, Maria Simonetta; Marin, Andrea 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, October 20-22, 2010 (ISBN 9781424492305) DOI - Scheda ARCA: 10278/35694 |
| 2009 | Articolo in Atti di convegno |
Marin, Andrea; Rota Bulò, Samuel A general algorithm to compute the steady-state solution of product-form cooperating Markov chains , Proc. of Int. Conf. MASCOTS 2009, IEEE, pp. 515-524, Convegno: MASCOTS 2009, 21-23 Sept. 2009 (ISBN 9781424449279) DOI - Scheda ARCA: 10278/27966 |
| 2009 | Articolo in Atti di convegno |
Balsamo, Maria Simonetta; Marin, Andrea 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, 26-28/10/2009 (ISBN 9789077381526) - Scheda ARCA: 10278/28937 |
| 2009 | 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, 10-13 May 2009 (ISBN 9781424438075) DOI - Scheda ARCA: 10278/21793 |
| 2009 | 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, Berlino, Springer, vol. 5513, pp. 204-218, Convegno: ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications, June 2009 (ISBN 9783642022043) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/34419 |
| 2008 | Articolo su libro |
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) - Scheda ARCA: 10278/18834 |
| 2007 | Articolo su libro |
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) - Scheda ARCA: 10278/16380 |
| 2007 | 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, ACM 2007, pp. 1-10 (ISBN 9789639799004) - Scheda ARCA: 10278/18114 |
| 2007 | Articolo in Atti di convegno |
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, 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) DOI - Scheda ARCA: 10278/36414 |