default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrea Marin
@article{DBLP:journals/cn/MarinMMS24,
author = {Andrea Marin and
Marco Ajmone Marsan and
Michela Meo and
Matteo Sereno},
title = {Queuing models of links carrying streaming and elastic services},
journal = {Comput. Networks},
volume = {244},
pages = {110306},
year = {2024},
url = {https://doi.org/10.1016/j.comnet.2024.110306},
doi = {10.1016/J.COMNET.2024.110306},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/MarinMMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/OlliaroMBM24,
author = {Diletta Olliaro and
Marco Ajmone Marsan and
Simonetta Balsamo and
Andrea Marin},
title = {The Saturated Multiserver Job Queuing Model with Two Classes of Jobs:
Exact and Approximate Results},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {51},
number = {4},
pages = {28--29},
year = {2024},
url = {https://doi.org/10.1145/3649477.3649493},
doi = {10.1145/3649477.3649493},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmetrics/OlliaroMBM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnse/MalakhovMRM24,
author = {Ivan Malakhov and
Andrea Marin and
Sabina Rossi and
Daniel Sadoc Menasch{\'{e}}},
title = {Confirmed or Dropped? Reliability Analysis of Transactions in PoW
Blockchains},
journal = {{IEEE} Trans. Netw. Sci. Eng.},
volume = {11},
number = {4},
pages = {3276--3288},
year = {2024},
url = {https://doi.org/10.1109/TNSE.2024.3360080},
doi = {10.1109/TNSE.2024.3360080},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnse/MalakhovMRM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tompecs/OlliaroCMR24,
author = {Diletta Olliaro and
Giuliano Casale and
Andrea Marin and
Sabina Rossi},
title = {A Product-form Network for Systems with Job Stealing Policies},
journal = {{ACM} Trans. Model. Perform. Evaluation Comput. Syst.},
volume = {9},
number = {2},
pages = {6:1--6:26},
year = {2024},
url = {https://doi.org/10.1145/3643845},
doi = {10.1145/3643845},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tompecs/OlliaroCMR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tompecs/MarinMSM24,
author = {Andrea Marin and
Michela Meo and
Matteo Sereno and
Marco Ajmone Marsan},
title = {Queuing Network Models of Multiservice RANs},
journal = {{ACM} Trans. Model. Perform. Evaluation Comput. Syst.},
volume = {9},
number = {2},
pages = {7:1--7:26},
year = {2024},
url = {https://doi.org/10.1145/3649307},
doi = {10.1145/3649307},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tompecs/MarinMSM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/WaqasMM24,
author = {Muhammad Waqas and
Leonardo Maccari and
Andrea Marin},
editor = {Daniel Grzonka and
Natalia Rylko and
Grazyna Suchacka and
Vladimir Mityushev},
title = {Finite Capacity Multi-Server Job Systems: {A} Simulation Study},
booktitle = {Proceedings of the 38th {ECMS} International Conference on Modelling
and Simulation, {ECMS} 2024 Cracow, Poland, June 2024},
pages = {466--473},
publisher = {European Council for Modeling and Simulation},
year = {2024},
url = {https://doi.org/10.7148/2024-0466},
doi = {10.7148/2024-0466},
timestamp = {Fri, 26 Jul 2024 08:40:37 +0200},
biburl = {https://dblp.org/rec/conf/ecms/WaqasMM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmetrics/2024,
editor = {Michele Garetto and
Andrea Marin and
Florin Ciucu and
Giulia Fanti and
Rhonda Righter},
title = {Abstracts of the 2024 {ACM} {SIGMETRICS/IFIP} {PERFORMANCE} Joint
International Conference on Measurement and Modeling of Computer Systems,
{SIGMETRICS/PERFORMANCE} 2024, Venice, Italy, June 10-14, 2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3652963},
doi = {10.1145/3652963},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/MalakhovMR23,
author = {Ivan Malakhov and
Andrea Marin and
Sabina Rossi},
title = {Analysis of the confirmation time in proof-of-work blockchains},
journal = {Future Gener. Comput. Syst.},
volume = {147},
pages = {275--291},
year = {2023},
url = {https://doi.org/10.1016/j.future.2023.04.016},
doi = {10.1016/J.FUTURE.2023.04.016},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/MalakhovMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/OlliaroMBM23,
author = {Diletta Olliaro and
Marco Ajmone Marsan and
Simonetta Balsamo and
Andrea Marin},
title = {The saturated Multiserver Job Queuing Model with two classes of jobs:
Exact and approximate results},
journal = {Perform. Evaluation},
volume = {162},
pages = {102370},
year = {2023},
url = {https://doi.org/10.1016/j.peva.2023.102370},
doi = {10.1016/J.PEVA.2023.102370},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/OlliaroMBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/MarinRO23,
author = {Andrea Marin and
Sabina Rossi and
Diletta Olliaro},
title = {A product-form network for systems with job stealing policies},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {50},
number = {4},
pages = {2--4},
year = {2023},
url = {https://doi.org/10.1145/3595244.3595246},
doi = {10.1145/3595244.3595246},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/MarinRO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/AbateM23,
author = {Alessandro Abate and
Andrea Marin},
title = {Introduction to the Special Issue on {QEST} 2021},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {33},
number = {4},
pages = {13:1--13:2},
year = {2023},
url = {https://doi.org/10.1145/3631707},
doi = {10.1145/3631707},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/AbateM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/blockchain2/SmusevaMMR23,
author = {Daria Smuseva and
Ivan Malakhov and
Andrea Marin and
Sabina Rossi},
title = {Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's Proof-of-Stake
Blockchain},
booktitle = {{IEEE} International Conference on Blockchain, Blockchain 2023, Danzhou,
China, December 17-21, 2023},
pages = {332--339},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/Blockchain60715.2023.00058},
doi = {10.1109/BLOCKCHAIN60715.2023.00058},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/blockchain2/SmusevaMMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AvritzerJMHCTM23,
author = {Alberto Avritzer and
Andrea Janes and
Andrea Marin and
Andr{\'{e}} van Hoorn and
Matteo Camilli and
Catia Trubiani and
Daniel S. Menasch{\'{e}}},
title = {Assessment of Aging and Rejuvenation for Resiliency in Heterogeneous
Network Clusters},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023 - Workshops, Florence, Italy, October 9-12, 2023},
pages = {198--205},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSREW60843.2023.00074},
doi = {10.1109/ISSREW60843.2023.00074},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/AvritzerJMHCTM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/OlliaroBMS23,
author = {Diletta Olliaro and
Gianfranco Balbo and
Andrea Marin and
Matteo Sereno},
editor = {Nils Jansen and
Mirco Tribastone},
title = {Skipping and Fetching: Insights on Non-conventional Product-Form Solutions},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {110--126},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_8},
doi = {10.1007/978-3-031-43835-6\_8},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/OlliaroBMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BernardoLMMRC23,
author = {Marco Bernardo and
Ivan Lanese and
Andrea Marin and
Claudio Antares Mezzina and
Sabina Rossi and
Claudio Sacerdoti Coen},
editor = {Nils Jansen and
Mirco Tribastone},
title = {Causal Reversibility Implies Time Reversibility},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {270--287},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_19},
doi = {10.1007/978-3-031-43835-6\_19},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/BernardoLMMRC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/SmusevaMR23,
author = {Daria Smuseva and
Andrea Marin and
Sabina Rossi},
editor = {Evangelia Kalyvianaki and
Marco Paolieri},
title = {Selfish Mining in Public Blockchains: {A} Quantitative Analysis},
booktitle = {Performance Evaluation Methodologies and Tools - 16th {EAI} International
Conference, {VALUETOOLS} 2023, Crete, Greece, September 6-7, 2023,
Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {539},
pages = {18--32},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48885-6\_2},
doi = {10.1007/978-3-031-48885-6\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/SmusevaMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/Marin23,
author = {Andrea Marin},
editor = {Marco Vieira and
Valeria Cardellini and
Antinisca Di Marco and
Petr Tuma},
title = {Theory and Practice in Performance Evaluation Courses: The Challenge
of Online Teaching},
booktitle = {Companion of the 2023 {ACM/SPEC} International Conference on Performance
Engineering, {ICPE} 2023, Coimbra, Portugal, April 15-19, 2023},
pages = {351--354},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578245.3584353},
doi = {10.1145/3578245.3584353},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/Marin23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/MalakhovMRS22,
author = {Ivan Malakhov and
Andrea Marin and
Sabina Rossi and
Daria Smuseva},
title = {On the Use of Proof-of-Work in Permissioned Blockchains: Security
and Fairness},
journal = {{IEEE} Access},
volume = {10},
pages = {1305--1316},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2021.3138528},
doi = {10.1109/ACCESS.2021.3138528},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/MalakhovMRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MarinPR22,
author = {Andrea Marin and
Carla Piazza and
Sabina Rossi},
title = {Proportional lumpability and proportional bisimilarity},
journal = {Acta Informatica},
volume = {59},
number = {2-3},
pages = {211--244},
year = {2022},
url = {https://doi.org/10.1007/s00236-021-00404-y},
doi = {10.1007/S00236-021-00404-Y},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/MarinPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medcomnet/BalsamoMMM22,
author = {Simonetta Balsamo and
Ivan Malakhov and
Andrea Marin and
Isi Mitrani},
title = {Transaction confirmation in proof-of-work blockchains: auctions, delays
and droppings},
booktitle = {20th Mediterranean Communication and Computer Networking Conference,
MedComNet 2022, Pafos, Cyprus, June 1-3, 2022},
pages = {140--149},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/MedComNet55087.2022.9810464},
doi = {10.1109/MEDCOMNET55087.2022.9810464},
timestamp = {Tue, 05 Jul 2022 09:58:06 +0200},
biburl = {https://dblp.org/rec/conf/medcomnet/BalsamoMMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/SmusevaMMMR22,
author = {Daria Smuseva and
Ivan Malakhov and
Andrea Marin and
Aad van Moorsel and
Sabina Rossi},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marco Paolieri},
title = {Verifier's Dilemma in Ethereum Blockchain: {A} Quantitative Analysis},
booktitle = {Quantitative Evaluation of Systems - 19th International Conference,
{QEST} 2022, Warsaw, Poland, September 12-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13479},
pages = {317--336},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16336-4\_16},
doi = {10.1007/978-3-031-16336-4\_16},
timestamp = {Tue, 21 Mar 2023 20:54:44 +0100},
biburl = {https://dblp.org/rec/conf/qest/SmusevaMMMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BalsamoMM22,
author = {Simonetta Balsamo and
Andrea Marin and
Isi Mitrani},
editor = {Dan Feng and
Steffen Becker and
Nikolas Herbst and
Philipp Leitner},
title = {A Mixed {PS-FCFS} Policy for {CPU} Intensive Workloads},
booktitle = {{ICPE} '22: {ACM/SPEC} International Conference on Performance Engineering,
Bejing, China, April 9 - 13, 2022},
pages = {199--210},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3489525.3511678},
doi = {10.1145/3489525.3511678},
timestamp = {Wed, 30 Mar 2022 16:00:26 +0200},
biburl = {https://dblp.org/rec/conf/wosp/BalsamoMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wowmom/MarinMSM22,
author = {Andrea Marin and
Michela Meo and
Matteo Sereno and
Marco Ajmone Marsan},
title = {Modeling Service Mixes in Access Links: Product Form and Oscillations},
booktitle = {23rd {IEEE} International Symposium on a World of Wireless, Mobile
and Multimedia Networks, WoWMoM 2022, Belfast, United Kingdom, June
14-17, 2022},
pages = {312--318},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/WoWMoM54355.2022.00065},
doi = {10.1109/WOWMOM54355.2022.00065},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wowmom/MarinMSM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HillstonMPR21,
author = {Jane Hillston and
Andrea Marin and
Carla Piazza and
Sabina Rossi},
title = {Persistent Stochastic Non-Interference},
journal = {Fundam. Informaticae},
volume = {181},
number = {1},
pages = {1--35},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2049},
doi = {10.3233/FI-2021-2049},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/HillstonMPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/MarinW21,
author = {Andrea Marin and
Carey Williamson},
title = {Cheating at Craps: {A} Quantitative Analysis},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {48},
number = {4},
pages = {53--61},
year = {2021},
url = {https://doi.org/10.1145/3466826.3466845},
doi = {10.1145/3466826.3466845},
timestamp = {Fri, 11 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/MarinW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MarinPR21,
author = {Andrea Marin and
Carla Piazza and
Sabina Rossi},
title = {\emph{D}{\_}\emph{PSNI}: Delimited persistent stochastic non-interference},
journal = {Theor. Comput. Sci.},
volume = {884},
pages = {116--135},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2021.08.007},
doi = {10.1016/J.TCS.2021.08.007},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MarinPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/ConteMP21,
author = {Alessio Del Conte and
Andrea Marin and
Claudio E. Palazzi},
editor = {Jos{\'{e}} M. Cecilia and
Francisco J. Martinez},
title = {A {FANET} Simulator Designed and Implemented to Study Routing Algorithms},
booktitle = {25th {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications, {DS-RT} 2021, Valencia, Spain, September
27-29, 2021},
pages = {1--7},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DS-RT52167.2021.9576126},
doi = {10.1109/DS-RT52167.2021.9576126},
timestamp = {Wed, 03 Nov 2021 10:00:37 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/ConteMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/MalakhovGMR21,
author = {Ivan Malakhov and
Carlo Gaetan and
Andrea Marin and
Sabina Rossi},
editor = {Paolo Ballarini and
Hind Castel and
Ioannis Dimitriou and
Mauro Iacono and
Tuan Phung{-}Duc and
Joris Walraevens},
title = {Workload Prediction in {BTC} Blockchain and Application to the Confirmation
Time Estimation},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {13104},
pages = {3--21},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91825-5\_1},
doi = {10.1007/978-3-030-91825-5\_1},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/epew/MalakhovGMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BalsamoMMR21,
author = {Simonetta Balsamo and
Andrea Marin and
Isi Mitrani and
Nicola Rebagliati},
editor = {Johann Bourcier and
Zhen Ming (Jack) Jiang and
Cor{-}Paul Bezemer and
Vittorio Cortellessa and
Daniele Di Pompeo and
Ana Lucia Varbanescu},
title = {Prediction of the Consolidation Delay in Blockchain-based Applications},
booktitle = {{ICPE} '21: {ACM/SPEC} International Conference on Performance Engineering,
Virtual Event, France, April 19-21, 2021},
pages = {81--92},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3427921.3450249},
doi = {10.1145/3427921.3450249},
timestamp = {Wed, 21 Apr 2021 09:00:35 +0200},
biburl = {https://dblp.org/rec/conf/wosp/BalsamoMMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2021,
editor = {Alessandro Abate and
Andrea Marin},
title = {Quantitative Evaluation of Systems - 18th International Conference,
{QEST} 2021, Paris, France, August 23-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12846},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85172-9},
doi = {10.1007/978-3-030-85172-9},
isbn = {978-3-030-85171-2},
timestamp = {Fri, 20 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-01058,
author = {Andrea Marin and
Isi Mitrani},
title = {A Foreground-Background queueing model with speed or capacity modulation},
journal = {CoRR},
volume = {abs/2112.01058},
year = {2021},
url = {https://arxiv.org/abs/2112.01058},
eprinttype = {arXiv},
eprint = {2112.01058},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-01058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/MarinRZ20,
author = {Andrea Marin and
Sabina Rossi and
Carlo Zen},
title = {Size-based scheduling for {TCP} flows: Implementation and performance
evaluation},
journal = {Comput. Networks},
volume = {183},
pages = {107574},
year = {2020},
url = {https://doi.org/10.1016/j.comnet.2020.107574},
doi = {10.1016/J.COMNET.2020.107574},
timestamp = {Fri, 01 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/MarinRZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/ZikriaAKMG20,
author = {Yousaf Bin Zikria and
Muhammad Khalil Afzal and
Sung Won Kim and
Andrea Marin and
Mohsen Guizani},
title = {Deep learning for intelligent IoT: Opportunities, challenges and solutions},
journal = {Comput. Commun.},
volume = {164},
pages = {50--53},
year = {2020},
url = {https://doi.org/10.1016/j.comcom.2020.08.017},
doi = {10.1016/J.COMCOM.2020.08.017},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comcom/ZikriaAKMG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BalsamoMS20,
author = {Simonetta Balsamo and
Andrea Marin and
Ivan Stojic},
title = {Computation of the normalising constant for product-form models of
distributed systems with synchronisation},
journal = {Future Gener. Comput. Syst.},
volume = {111},
pages = {475--490},
year = {2020},
url = {https://doi.org/10.1016/j.future.2019.10.045},
doi = {10.1016/J.FUTURE.2019.10.045},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/BalsamoMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/MarinCPR20,
author = {Andrea Marin and
Giuliano Casale and
Dorina C. Petriu and
Sabina Rossi},
title = {Guest editor's forewords: Special issue on Valuetools 2017},
journal = {Perform. Evaluation},
volume = {137},
year = {2020},
url = {https://doi.org/10.1016/j.peva.2019.102008},
doi = {10.1016/J.PEVA.2019.102008},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/MarinCPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/ElahiMRW20,
author = {B. Maryam Elahi and
Andrea Marin and
Sabina Rossi and
Carey Williamson},
title = {Frequency scaling in multilevel queues},
journal = {Perform. Evaluation},
volume = {143},
pages = {102140},
year = {2020},
url = {https://doi.org/10.1016/j.peva.2020.102140},
doi = {10.1016/J.PEVA.2020.102140},
timestamp = {Fri, 18 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/ElahiMRW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/ElahiMRW20,
author = {B. Maryam Elahi and
Andrea Marin and
Sabina Rossi and
Carey Williamson},
title = {Frequency scaling in multilevel queues},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {48},
number = {3},
pages = {97--98},
year = {2020},
url = {https://doi.org/10.1145/3453953.3453975},
doi = {10.1145/3453953.3453975},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/ElahiMRW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tompecs/MarinRS20,
author = {Andrea Marin and
Sabina Rossi and
Matteo Sottana},
title = {Dynamic Resource Allocation in Fork-Join Queues},
journal = {{ACM} Trans. Model. Perform. Evaluation Comput. Syst.},
volume = {5},
number = {1},
pages = {3:1--3:28},
year = {2020},
url = {https://doi.org/10.1145/3372376},
doi = {10.1145/3372376},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tompecs/MarinRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/blockchain2/MalakhovMRS20,
author = {Ivan Malakhov and
Andrea Marin and
Sabina Rossi and
Daria Smuseva},
title = {Fair Work Distribution on Permissioned Blockchains: a Mobile Window
Based Approach},
booktitle = {{IEEE} International Conference on Blockchain, Blockchain 2020, Rhodes,
Greece, November 2-6, 2020},
pages = {436--441},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/Blockchain50366.2020.00063},
doi = {10.1109/BLOCKCHAIN50366.2020.00063},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/blockchain2/MalakhovMRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/MarinRZ20,
author = {Andrea Marin and
Sabina Rossi and
Carlo Zen},
editor = {Marco Gribaudo and
David N. Jansen and
Anne Remke},
title = {A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues},
booktitle = {Quantitative Evaluation of Systems - 17th International Conference,
{QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12289},
pages = {144--147},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59854-9\_11},
doi = {10.1007/978-3-030-59854-9\_11},
timestamp = {Tue, 03 Nov 2020 17:25:04 +0100},
biburl = {https://dblp.org/rec/conf/qest/MarinRZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/MarinRW20,
author = {Andrea Marin and
Sabina Rossi and
Carey Williamson},
title = {Speed scaling in fork-join queues: a comparative study},
booktitle = {{VALUETOOLS} 2020: 13th {EAI} International Conference on Performance
Evaluation Methodologies and Tools, Tsukuba, Japan, May 18-20, 2020},
pages = {80--87},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3388831.3388845},
doi = {10.1145/3388831.3388845},
timestamp = {Mon, 01 Jun 2020 19:30:16 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/MarinRW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adhoc/PatilJFM19,
author = {Kishor Patil and
Mohsin Raza Jafri and
Dieter Fiems and
Andrea Marin},
title = {Stochastic modeling of depth based routing in underwater sensor networks},
journal = {Ad Hoc Networks},
volume = {89},
pages = {132--141},
year = {2019},
url = {https://doi.org/10.1016/j.adhoc.2019.03.009},
doi = {10.1016/J.ADHOC.2019.03.009},
timestamp = {Tue, 12 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/adhoc/PatilJFM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wicomm/BujariMPR19,
author = {Armir Bujari and
Andrea Marin and
Claudio E. Palazzi and
Sabina Rossi},
title = {Smart-RED: {A} Novel Congestion Control Mechanism for High Throughput
and Low Queuing Delay},
journal = {Wirel. Commun. Mob. Comput.},
volume = {2019},
pages = {6941248:1--6941248:10},
year = {2019},
url = {https://doi.org/10.1155/2019/6941248},
doi = {10.1155/2019/6941248},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wicomm/BujariMPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MarinPR19,
author = {Andrea Marin and
Carla Piazza and
Sabina Rossi},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {A Process Algebra for (Delimited) Persistent Stochastic Non-Interference},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
publisher = {CEUR-WS.org},
year = {2019},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/MarinPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/MarinR19,
author = {Andrea Marin and
Sabina Rossi},
editor = {Marco Gribaudo and
Mauro Iacono and
Tuan Phung{-}Duc and
Rostislav Razumchik},
title = {A Queueing Model that Works Only on the Biggest Jobs},
booktitle = {Computer Performance Engineering - 16th European Workshop, {EPEW}
2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12039},
pages = {118--132},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-44411-2\_8},
doi = {10.1007/978-3-030-44411-2\_8},
timestamp = {Fri, 03 Apr 2020 14:00:52 +0200},
biburl = {https://dblp.org/rec/conf/epew/MarinR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MarinPR19,
author = {Andrea Marin and
Carla Piazza and
Sabina Rossi},
editor = {{\'{E}}tienne Andr{\'{e}} and
Mari{\"{e}}lle Stoelinga},
title = {Proportional Lumpability},
booktitle = {Formal Modeling and Analysis of Timed Systems - 17th International
Conference, {FORMATS} 2019, Amsterdam, The Netherlands, August 27-29,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11750},
pages = {265--281},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29662-9\_16},
doi = {10.1007/978-3-030-29662-9\_16},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/MarinPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/MarinRSZ19,
author = {Andrea Marin and
Sabina Rossi and
Matteo Sottana and
Carlo Zen},
title = {Theoretical and Experimental Evaluation of the Two-Level Processor
Sharing Discipline for {TCP} Flows},
booktitle = {27th {IEEE} International Symposium on Modeling, Analysis, and Simulation
of Computer and Telecommunication Systems, {MASCOTS} 2019, Rennes,
France, October 21-25, 2019},
pages = {94--106},
publisher = {{IEEE} Computer Society},
year = {2019},
url = {https://doi.org/10.1109/MASCOTS.2019.00020},
doi = {10.1109/MASCOTS.2019.00020},
timestamp = {Thu, 31 Oct 2019 17:47:19 +0100},
biburl = {https://dblp.org/rec/conf/mascots/MarinRSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/MarinPR19,
author = {Andrea Marin and
Carla Piazza and
Sabina Rossi},
editor = {David Parker and
Verena Wolf},
title = {A Process Algebra for (Delimited) Persistent Stochastic Non-Interference},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {222--238},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_13},
doi = {10.1007/978-3-030-30281-8\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/MarinPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/HillstonMPR19,
author = {Jane Hillston and
Andrea Marin and
Carla Piazza and
Sabina Rossi},
title = {Delimited Persistent Stochastic Non-Interference},
booktitle = {Proceedings of the 12th {EAI} International Conference on Performance
Evaluation Methodologies and Tools, {VALUETOOLS} 2019, Universitat
de les Illes Balears, Palma de Mallorca, Spain, March 12-15, 2019},
pages = {135--142},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3306309.3306329},
doi = {10.1145/3306309.3306329},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/HillstonMPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlzettaMPR18,
author = {Giacomo Alzetta and
Andrea Marin and
Carla Piazza and
Sabina Rossi},
title = {Lumping-based equivalences in Markovian automata: Algorithms and applications
to product-form analyses},
journal = {Inf. Comput.},
volume = {260},
pages = {99--125},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.04.002},
doi = {10.1016/J.IC.2018.04.002},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlzettaMPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcomsys/JafriBMM18,
author = {Mohsin Raza Jafri and
Simonetta Balsamo and
Andrea Marin and
Robert Martin},
title = {Implementation of depth-based routing and its enhancement in AquaSim-Next
Generation for underwater wireless sensor networks},
journal = {Int. J. Commun. Syst.},
volume = {31},
number = {12},
year = {2018},
url = {https://doi.org/10.1002/dac.3714},
doi = {10.1002/DAC.3714},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcomsys/JafriBMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/MarinRBSS18,
author = {Andrea Marin and
Sabina Rossi and
Dario Burato and
Andrea Sina and
Matteo Sottana},
title = {A Product-Form Model for the Performance Evaluation of a Bandwidth
Allocation Strategy in WSNs},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {28},
number = {2},
pages = {13:1--13:23},
year = {2018},
url = {https://doi.org/10.1145/3155335},
doi = {10.1145/3155335},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/MarinRBSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/HillstonMPR18,
author = {Jane Hillston and
Andrea Marin and
Carla Piazza and
Sabina Rossi},
editor = {Rena Bakhshi and
Paolo Ballarini and
Beno{\^{\i}}t Barbot and
Hind Castel{-}Taleb and
Anne Remke},
title = {Information Flow Security for Stochastic Processes},
booktitle = {Computer Performance Engineering - 15th European Workshop, {EPEW}
2018, Paris, France, October 29-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11178},
pages = {142--156},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02227-3\_10},
doi = {10.1007/978-3-030-02227-3\_10},
timestamp = {Tue, 07 May 2024 20:13:41 +0200},
biburl = {https://dblp.org/rec/conf/epew/HillstonMPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/JafriMTG18,
author = {Mohsin Raza Jafri and
Andrea Marin and
Andrea Torsello and
Majid Ghaderi},
editor = {Azzedine Boukerche and
Salil S. Kanhere and
Paolo Bellavista},
title = {On the Optimality of Opportunistic Routing Protocols for Underwater
Sensor Networks},
booktitle = {Proceedings of the 21st {ACM} International Conference on Modeling,
Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2018,
Montreal, QC, Canada, October 28 - November 02, 2018},
pages = {207--215},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3242102.3242116},
doi = {10.1145/3242102.3242116},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mswim/JafriMTG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/MarinMEW18,
author = {Andrea Marin and
Isi Mitrani and
B. Maryam Elahi and
Carey Williamson},
editor = {Annabelle McIver and
Andr{\'{a}}s Horv{\'{a}}th},
title = {Control and Optimization of the {SRPT} Service Policy by Frequency
Scaling},
booktitle = {Quantitative Evaluation of Systems - 15th International Conference,
{QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11024},
pages = {257--272},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99154-2\_16},
doi = {10.1007/978-3-319-99154-2\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/MarinMEW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/MarinRS18,
author = {Andrea Marin and
Sabina Rossi and
Matteo Sottana},
editor = {Annabelle McIver and
Andr{\'{a}}s Horv{\'{a}}th},
title = {Biased Processor Sharing in Fork-Join Queues},
booktitle = {Quantitative Evaluation of Systems - 15th International Conference,
{QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11024},
pages = {273--288},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99154-2\_17},
doi = {10.1007/978-3-319-99154-2\_17},
timestamp = {Mon, 27 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/MarinRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/valuetools/2017infq,
editor = {Simonetta Balsamo and
Andrea Marin and
Enrico Vicario},
title = {New Frontiers in Quantitative Methods in Informatics - 7th Workshop,
InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {825},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91632-3},
doi = {10.1007/978-3-319-91632-3},
isbn = {978-3-319-91631-6},
timestamp = {Wed, 23 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/2017infq.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MarinR17,
author = {Andrea Marin and
Sabina Rossi},
title = {On the relations between Markov chain lumpability and reversibility},
journal = {Acta Informatica},
volume = {54},
number = {5},
pages = {447--485},
year = {2017},
url = {https://doi.org/10.1007/s00236-016-0266-1},
doi = {10.1007/S00236-016-0266-1},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/MarinR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/MarinR17,
author = {Andrea Marin and
Sabina Rossi},
title = {Fair workload distribution for multi-server systems with pulling strategies},
journal = {Perform. Evaluation},
volume = {113},
pages = {26--41},
year = {2017},
url = {https://doi.org/10.1016/j.peva.2017.04.005},
doi = {10.1016/J.PEVA.2017.04.005},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/MarinR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/MarinBF17,
author = {Andrea Marin and
Simonetta Balsamo and
Jean{-}Michel Fourneau},
title = {LB-networks: {A} model for dynamic load balancing in queueing networks},
journal = {Perform. Evaluation},
volume = {115},
pages = {38--53},
year = {2017},
url = {https://doi.org/10.1016/j.peva.2017.06.004},
doi = {10.1016/J.PEVA.2017.06.004},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/MarinBF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/MarinR17a,
author = {Andrea Marin and
Sabina Rossi},
title = {Power control in saturated fork-join queueing systems},
journal = {Perform. Evaluation},
volume = {116},
pages = {101--118},
year = {2017},
url = {https://doi.org/10.1016/j.peva.2017.08.008},
doi = {10.1016/J.PEVA.2017.08.008},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/MarinR17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/MarinR17,
author = {Andrea Marin and
Sabina Rossi},
editor = {Nigel Thomas and
Matthew Forshaw},
title = {Aggregation and Truncation of Reversible Markov Chains Modulo State
Renaming},
booktitle = {Analytical and Stochastic Modelling Techniques and Applications -
24th International Conference, {ASMTA} 2017, Newcastle-upon-Tyne,
UK, July 10-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10378},
pages = {152--165},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61428-1\_11},
doi = {10.1007/978-3-319-61428-1\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/asmta/MarinR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/BalsamoFJM17,
author = {Simonetta Balsamo and
Dieter Fiems and
Mohsin Raza Jafri and
Andrea Marin},
editor = {Simonetta Balsamo and
Andrea Marin and
Enrico Vicario},
title = {Analysis of Performance in Depth Based Routing for Underwater Wireless
Sensor Networks},
booktitle = {New Frontiers in Quantitative Methods in Informatics - 7th Workshop,
InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {825},
pages = {18--31},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-91632-3\_2},
doi = {10.1007/978-3-319-91632-3\_2},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/BalsamoFJM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/valuetools/2017,
editor = {Andrea Marin and
Benny Van Houdt and
Giuliano Casale and
Dorina C. Petriu and
Sabina Rossi},
title = {Proceedings of the 11th {EAI} International Conference on Performance
Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy,
December 05-07, 2017},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3150928},
timestamp = {Wed, 23 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BalsamoRM16,
author = {Simonetta Balsamo and
Gian{-}Luca Dei Rossi and
Andrea Marin},
title = {Lumping and reversed processes in cooperating automata},
journal = {Ann. Oper. Res.},
volume = {239},
number = {2},
pages = {695--722},
year = {2016},
url = {https://doi.org/10.1007/s10479-014-1694-3},
doi = {10.1007/S10479-014-1694-3},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/BalsamoRM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BujariMPR16,
author = {Armir Bujari and
Andrea Marin and
Claudio E. Palazzi and
Sabina Rossi},
title = {Analysis of {ECN/RED} and {SAP-LAW} with simultaneous {TCP} and {UDP}
traffic},
journal = {Comput. Networks},
volume = {108},
pages = {160--170},
year = {2016},
url = {https://doi.org/10.1016/j.comnet.2016.08.016},
doi = {10.1016/J.COMNET.2016.08.016},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/BujariMPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eetws/MarinR16,
author = {Andrea Marin and
Sabina Rossi},
title = {Priority-based bandwidth allocation in wireless sensor networks},
journal = {{EAI} Endorsed Trans. Wirel. Spectr.},
volume = {2},
number = {10},
pages = {e3},
year = {2016},
url = {https://doi.org/10.4108/eai.14-12-2015.2262651},
doi = {10.4108/EAI.14-12-2015.2262651},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eetws/MarinR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sesa/RossiIM16,
author = {Gian{-}Luca Dei Rossi and
Mauro Iacono and
Andrea Marin},
title = {Evaluating the impact of eDoS attacks to cloud facilities},
journal = {{EAI} Endorsed Trans. Security Safety},
volume = {3},
number = {10},
pages = {e2},
year = {2016},
url = {https://doi.org/10.4108/eai.14-12-2015.2262650},
doi = {10.4108/EAI.14-12-2015.2262650},
timestamp = {Mon, 17 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sesa/RossiIM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/GallinaMR16,
author = {Lucia Gallina and
Andrea Marin and
Sabina Rossi},
title = {Connectivity and energy-aware preorders for mobile ad-hoc networks},
journal = {Telecommun. Syst.},
volume = {63},
number = {2},
pages = {307--333},
year = {2016},
url = {https://doi.org/10.1007/s11235-015-0122-6},
doi = {10.1007/S11235-015-0122-6},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/telsys/GallinaMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/BalsamoCMR16,
author = {Simonetta Balsamo and
Filippo Cavallin and
Andrea Marin and
Sabina Rossi},
editor = {Sabine Wittevrongel and
Tuan Phung{-}Duc},
title = {Applying Reversibility Theory for the Performance Evaluation of Reversible
Computations},
booktitle = {Analytical and Stochastic Modelling Techniques and Applications -
23rd International Conference, {ASMTA} 2016, Cardiff, UK, August 24-26,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9845},
pages = {45--59},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43904-4\_4},
doi = {10.1007/978-3-319-43904-4\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/asmta/BalsamoCMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccnc/MarinRBP16,
author = {Andrea Marin and
Sabina Rossi and
Armir Bujari and
Claudio E. Palazzi},
title = {Performance evaluation of {AQM} techniques with heterogeneous traffic},
booktitle = {13th {IEEE} Annual Consumer Communications {\&} Networking Conference,
{CCNC} 2016, Las Vegas, NV, USA, January 9-12, 2016},
pages = {194--199},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CCNC.2016.7444755},
doi = {10.1109/CCNC.2016.7444755},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccnc/MarinRBP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/FourneauMB16,
author = {Jean{-}Michel Fourneau and
Andrea Marin and
Simonetta Balsamo},
title = {Modeling Energy Packets Networks in the Presence of Failures},
booktitle = {24th {IEEE} International Symposium on Modeling, Analysis and Simulation
of Computer and Telecommunication Systems, {MASCOTS} 2016, London,
United Kingdom, September 19-21, 2016},
pages = {144--153},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/MASCOTS.2016.44},
doi = {10.1109/MASCOTS.2016.44},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/FourneauMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/CavallinMR16,
author = {Filippo Cavallin and
Andrea Marin and
Sabina Rossi},
title = {Product-Forms for Probabilistic Input/Output Automata},
booktitle = {24th {IEEE} International Symposium on Modeling, Analysis and Simulation
of Computer and Telecommunication Systems, {MASCOTS} 2016, London,
United Kingdom, September 19-21, 2016},
pages = {361--366},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/MASCOTS.2016.19},
doi = {10.1109/MASCOTS.2016.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/CavallinMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/MarinR16,
author = {Andrea Marin and
Sabina Rossi},
editor = {Gul Agha and
Benny Van Houdt},
title = {Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations},
booktitle = {Quantitative Evaluation of Systems - 13th International Conference,
{QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9826},
pages = {123--138},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4\_8},
doi = {10.1007/978-3-319-43425-4\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/qest/MarinR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BalsamoMS16,
author = {Simonetta Balsamo and
Andrea Marin and
Ivan Stojic},
editor = {Gul Agha and
Benny Van Houdt},
title = {Spnps: {A} Tool for Perfect Sampling in Stochastic Petri Nets},
booktitle = {Quantitative Evaluation of Systems - 13th International Conference,
{QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9826},
pages = {163--166},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4\_11},
doi = {10.1007/978-3-319-43425-4\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/BalsamoMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/BalsamoMS16,
author = {Simonetta Balsamo and
Andrea Marin and
Ivan Stojic},
editor = {Antonio Puliafito and
Kishor S. Trivedi and
Bruno Tuffin and
Marco Scarpa and
Fumio Machida and
Javier Alonso},
title = {Testing spnps perfect sampling tool on fork-join queueing networks
(tool paper)},
booktitle = {10th {EAI} International Conference on Performance Evaluation Methodologies
and Tools, {VALUETOOLS} 2016, Taormina, Italy, 25th-28th Oct 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.4108/eai.25-10-2016.2266454},
doi = {10.4108/EAI.25-10-2016.2266454},
timestamp = {Fri, 15 Mar 2024 12:30:47 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/BalsamoMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/RossiM16,
author = {Sabina Rossi and
Andrea Marin},
editor = {Antonio Puliafito and
Kishor S. Trivedi and
Bruno Tuffin and
Marco Scarpa and
Fumio Machida and
Javier Alonso},
title = {Fair workload distribution for multi-server systems with pulling strategies},
booktitle = {10th {EAI} International Conference on Performance Evaluation Methodologies
and Tools, {VALUETOOLS} 2016, Taormina, Italy, 25th-28th Oct 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.4108/eai.25-10-2016.2267058},
doi = {10.4108/EAI.25-10-2016.2267058},
timestamp = {Fri, 03 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/RossiM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcaet/BalsamoRM15,
author = {Simonetta Balsamo and
Gian{-}Luca Dei Rossi and
Andrea Marin},
title = {Applying {BCMP} multi-class queueing networks for the performance
evaluation of hierarchical and modular software systems},
journal = {Int. J. Comput. Aided Eng. Technol.},
volume = {7},
number = {2},
pages = {145--157},
year = {2015},
url = {https://doi.org/10.1504/IJCAET.2015.068328},
doi = {10.1504/IJCAET.2015.068328},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcaet/BalsamoRM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sas/RossiM15,
author = {Sabina Rossi and
Andrea Marin},
title = {On Discrete Time Reversibility modulo State Renaming and its Applications},
journal = {{EAI} Endorsed Trans. Self Adapt. Syst.},
volume = {1},
number = {3},
pages = {e2},
year = {2015},
url = {https://doi.org/10.4108/icst.valuetools.2014.258200},
doi = {10.4108/ICST.VALUETOOLS.2014.258200},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sas/RossiM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/GelenbeM15,
author = {Erol Gelenbe and
Andrea Marin},
editor = {Marco Gribaudo and
Daniele Manini and
Anne Remke},
title = {Interconnected Wireless Sensors with Energy Harvesting},
booktitle = {Analytical and Stochastic Modelling Techniques and Applications -
22nd International Conference, {ASMTA} 2015, Albena, Bulgaria, May
26-29, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9081},
pages = {87--99},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18579-8\_7},
doi = {10.1007/978-3-319-18579-8\_7},
timestamp = {Sun, 04 Aug 2024 19:41:36 +0200},
biburl = {https://dblp.org/rec/conf/asmta/GelenbeM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MarinR15,
author = {Andrea Marin and
Sabina Rossi},
editor = {Sriram Sankaranarayanan and
Enrico Vicario},
title = {Quantitative Analysis of Concurrent Reversible Computations},
booktitle = {Formal Modeling and Analysis of Timed Systems - 13th International
Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9268},
pages = {206--221},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22975-1\_14},
doi = {10.1007/978-3-319-22975-1\_14},
timestamp = {Fri, 06 Sep 2019 10:57:16 +0200},
biburl = {https://dblp.org/rec/conf/formats/MarinR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/BalsamoMS15,
author = {Simonetta Balsamo and
Andrea Marin and
Ivan Stojic},
title = {Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams},
booktitle = {23rd {IEEE} International Symposium on Modeling, Analysis, and Simulation
of Computer and Telecommunication Systems, {MASCOTS} 2015, Atlanta,
GA, USA, October 5-7, 2015},
pages = {126--135},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MASCOTS.2015.30},
doi = {10.1109/MASCOTS.2015.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/BalsamoMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/CavallinMR15,
author = {Filippo Cavallin and
Andrea Marin and
Sabina Rossi},
title = {A Product-Form Model for the Analysis of Systems with Aging Objects},
booktitle = {23rd {IEEE} International Symposium on Modeling, Analysis, and Simulation
of Computer and Telecommunication Systems, {MASCOTS} 2015, Atlanta,
GA, USA, October 5-7, 2015},
pages = {136--145},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MASCOTS.2015.31},
doi = {10.1109/MASCOTS.2015.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/CavallinMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/MarinR15,
author = {Andrea Marin and
Sabina Rossi},
editor = {Javier Campos and
Boudewijn R. Haverkort},
title = {Lumping-Based Equivalences in Markovian Automata and Applications
to Product-Form Analyses},
booktitle = {Quantitative Evaluation of Systems, 12th International Conference,
{QEST} 2015, Madrid, Spain, September 1-3, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9259},
pages = {160--175},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22264-6\_11},
doi = {10.1007/978-3-319-22264-6\_11},
timestamp = {Sat, 19 Oct 2019 20:32:11 +0200},
biburl = {https://dblp.org/rec/conf/qest/MarinR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rvsp/MarinKLHW15,
author = {Andrea Marin and
Atul Kumar and
Kai{-}Che Liu and
Shih{-}Wei Wayne Huang and
Angelo Wang},
title = {Stress Analysis at Trocar and Endoscope Interface Using Computational
Simulation: {A} Preliminary Study},
booktitle = {Third International Conference on Robot, Vision and Signal Processing,
{RVSP} 2015, Kaohsiung, Taiwan, November 18-20, 2015},
pages = {126--129},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RVSP.2015.37},
doi = {10.1109/RVSP.2015.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rvsp/MarinKLHW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HarrisonM14,
author = {Peter G. Harrison and
Andrea Marin},
title = {Product-Forms in Multi-Way Synchronizations},
journal = {Comput. J.},
volume = {57},
number = {11},
pages = {1693--1710},
year = {2014},
url = {https://doi.org/10.1093/comjnl/bxt103},
doi = {10.1093/COMJNL/BXT103},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/HarrisonM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/BugliesiGHMR14,
author = {Michele Bugliesi and
Lucia Gallina and
Sardaouna Hamadou and
Andrea Marin and
Sabina Rossi},
title = {Behavioural equivalences and interference metrics for mobile ad-hoc
networks},
journal = {Perform. Evaluation},
volume = {73},
pages = {41--72},
year = {2014},
url = {https://doi.org/10.1016/j.peva.2013.11.003},
doi = {10.1016/J.PEVA.2013.11.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/BugliesiGHMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/MarinB14,
author = {Andrea Marin and
Samuel Rota Bul{\`{o}}},
title = {Explicit solutions for queues with Hypo- or Hyper-exponential service
time distribution and application to product-form approximations},
journal = {Perform. Evaluation},
volume = {81},
pages = {1--19},
year = {2014},
url = {https://doi.org/10.1016/j.peva.2014.07.021},
doi = {10.1016/J.PEVA.2014.07.021},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/MarinB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BugliesiMR14,
author = {Michele Bugliesi and
Andrea Marin and
Sabina Rossi},
title = {Model checking adaptive service compositions},
journal = {Sci. Comput. Program.},
volume = {94},
pages = {289--306},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.11.031},
doi = {10.1016/J.SCICO.2013.11.031},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BugliesiMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/BalsamoMS14,
author = {Simonetta Balsamo and
Andrea Marin and
Ivan Stojic},
title = {Optimisation of Servers with Different Quality of Services},
booktitle = {{IEEE} 22nd International Symposium on Modelling, Analysis {\&}
Simulation of Computer and Telecommunication Systems, {MASCOTS} 2014,
Paris, France, September 9-11, 2014},
pages = {142--151},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/MASCOTS.2014.26},
doi = {10.1109/MASCOTS.2014.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/BalsamoMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/MarinR14,
author = {Andrea Marin and
Sabina Rossi},
title = {On the Relations between Lumpability and Reversibility},
booktitle = {{IEEE} 22nd International Symposium on Modelling, Analysis {\&}
Simulation of Computer and Telecommunication Systems, {MASCOTS} 2014,
Paris, France, September 9-11, 2014},
pages = {427--432},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/MASCOTS.2014.59},
doi = {10.1109/MASCOTS.2014.59},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/MarinR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/RossiM14,
author = {Sabina Rossi and
Andrea Marin},
editor = {Moshe Haviv and
William J. Knottenbelt and
Lorenzo Maggi and
Daniele Miorandi},
title = {On Discrete Time Reversibility modulo State Renaming and its Applications},
booktitle = {8th International Conference on Performance Evaluation Methodologies
and Tools, {VALUETOOLS} 2014, Bratislava, Slovakia, December 9-11,
2014},
publisher = {{ICST}},
year = {2014},
timestamp = {Tue, 29 Dec 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/RossiM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/BalsamoM13,
author = {Simonetta Balsamo and
Andrea Marin},
title = {Separable solutions for Markov processes in random environments},
journal = {Eur. J. Oper. Res.},
volume = {229},
number = {2},
pages = {391--403},
year = {2013},
url = {https://doi.org/10.1016/j.ejor.2013.03.011},
doi = {10.1016/J.EJOR.2013.03.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/BalsamoM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/BalsamoRM13,
author = {Simonetta Balsamo and
Gian{-}Luca Dei Rossi and
Andrea Marin},
editor = {Alexander N. Dudin and
Koen De Turck},
title = {Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic
Petri Nets},
booktitle = {Analytical and Stochastic Modelling Techniques and Applications -
20th International Conference, {ASMTA} 2013, Ghent, Belgium, July
8-10, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7984},
pages = {52--66},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39408-9\_5},
doi = {10.1007/978-3-642-39408-9\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/asmta/BalsamoRM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/MarinR13,
author = {Andrea Marin and
Sabina Rossi},
title = {Autoreversibility: Exploiting Symmetries in Markov Chains},
booktitle = {2013 {IEEE} 21st International Symposium on Modelling, Analysis and
Simulation of Computer and Telecommunication Systems, San Francisco,
CA, USA, August 14-16, 2013},
pages = {151--160},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/MASCOTS.2013.23},
doi = {10.1109/MASCOTS.2013.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/MarinR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/GallinaMRHK13,
author = {Lucia Gallina and
Andrea Marin and
Sabina Rossi and
Tingting Han and
Marta Z. Kwiatkowska},
editor = {Bj{\"{o}}rn Landfeldt and
M{\'{o}}nica Aguilar{-}Igartua and
Ravi Prakash and
Cheng Li},
title = {A process algebraic framework for estimating the energy consumption
in ad-hoc wireless sensor networks},
booktitle = {16th {ACM} International Conference on Modeling, Analysis and Simulation
of Wireless and Mobile Systems, MSWiM '13, Barcelona, Spain, November
3-8, 2013},
pages = {255--262},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2507924.2507958},
doi = {10.1145/2507924.2507958},
timestamp = {Wed, 22 Mar 2023 16:53:34 +0100},
biburl = {https://dblp.org/rec/conf/mswim/GallinaMRHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/HillstonMRP13,
author = {Jane Hillston and
Andrea Marin and
Sabina Rossi and
Carla Piazza},
editor = {Andr{\'{a}}s Horv{\'{a}}th and
Peter Buchholz and
Vittorio Cortellessa and
Luca Muscariello and
Mark S. Squillante},
title = {Contextual lumpability},
booktitle = {7th International Conference on Performance Evaluation Methodologies
and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013},
pages = {194--203},
publisher = {{ICST/ACM}},
year = {2013},
url = {https://doi.org/10.4108/icst.valuetools.2013.254408},
doi = {10.4108/ICST.VALUETOOLS.2013.254408},
timestamp = {Tue, 25 Sep 2018 18:26:26 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/HillstonMRP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/BalsamoRM13,
author = {Simonetta Balsamo and
Gian{-}Luca Dei Rossi and
Andrea Marin},
editor = {Andr{\'{a}}s Horv{\'{a}}th and
Peter Buchholz and
Vittorio Cortellessa and
Luca Muscariello and
Mark S. Squillante},
title = {Queueing networks and conditional product-forms},
booktitle = {7th International Conference on Performance Evaluation Methodologies
and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013},
pages = {204--213},
publisher = {{ICST/ACM}},
year = {2013},
url = {https://doi.org/10.4108/icst.valuetools.2013.254406},
doi = {10.4108/ICST.VALUETOOLS.2013.254406},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/BalsamoRM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2013,
editor = {Maria Simonetta Balsamo and
William J. Knottenbelt and
Andrea Marin},
title = {Computer Performance Engineering - 10th European Workshop, {EPEW}
2013, Venice, Italy, September 16-17, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8168},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40725-3},
doi = {10.1007/978-3-642-40725-3},
isbn = {978-3-642-40724-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epew/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/MarinV12,
author = {Andrea Marin and
Maria Grazia Vigliotti},
title = {Algorithmic product-form approximations of interacting stochastic
models},
journal = {Comput. Math. Appl.},
volume = {64},
number = {12},
pages = {3852--3868},
year = {2012},
url = {https://doi.org/10.1016/j.camwa.2012.03.034},
doi = {10.1016/J.CAMWA.2012.03.034},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cma/MarinV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BalsamoHM12,
author = {Simonetta Balsamo and
Peter G. Harrison and
Andrea Marin},
title = {Methodological construction of product-form stochastic Petri nets
for performance evaluation},
journal = {J. Syst. Softw.},
volume = {85},
number = {7},
pages = {1520--1539},
year = {2012},
url = {https://doi.org/10.1016/j.jss.2011.11.1042},
doi = {10.1016/J.JSS.2011.11.1042},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/BalsamoHM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/MarinBH12,
author = {Andrea Marin and
Simonetta Balsamo and
Peter G. Harrison},
title = {Analysis of stochastic Petri nets with signals},
journal = {Perform. Evaluation},
volume = {69},
number = {11},
pages = {551--572},
year = {2012},
url = {https://doi.org/10.1016/j.peva.2012.06.003},
doi = {10.1016/J.PEVA.2012.06.003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/MarinBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/BalsamoRM12,
author = {Simonetta Balsamo and
Gian{-}Luca Dei Rossi and
Andrea Marin},
editor = {Khalid Al{-}Begain and
Dieter Fiems and
Jean{-}Marc Vincent},
title = {Lumping and Reversed Processes in Cooperating Automata},
booktitle = {Analytical and Stochastic Modeling Techniques and Applications - 19th
International Conference, {ASMTA} 2012, Grenoble, France, June 4-6,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7314},
pages = {212--226},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30782-9\_15},
doi = {10.1007/978-3-642-30782-9\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/asmta/BalsamoRM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/BalsamoRM12,
author = {Simonetta Balsamo and
Gian{-}Luca Dei Rossi and
Andrea Marin},
editor = {Erol Gelenbe and
Ricardo Lent},
title = {Cooperating Stochastic Automata: Approximate Lumping an Reversed Process},
booktitle = {Computer and Information Sciences {III} - 27th International Symposium
on Computer and Information Sciences, Paris, France, October 3-4,
2012},
pages = {131--141},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-4594-3\_14},
doi = {10.1007/978-1-4471-4594-3\_14},
timestamp = {Sat, 16 Sep 2017 12:11:33 +0200},
biburl = {https://dblp.org/rec/conf/iscis/BalsamoRM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/MarinBB12,
author = {Andrea Marin and
Samuel Rota Bul{\`{o}} and
Simonetta Balsamo},
title = {A Numerical Algorithm for the Decomposition of Cooperating Structured
Markov Processes},
booktitle = {20th {IEEE} International Symposium on Modeling, Analysis and Simulation
of Computer and Telecommunication Systems, {MASCOTS} 2012, Washington,
DC, USA, August 7-9, 2012},
pages = {401--410},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/MASCOTS.2012.52},
doi = {10.1109/MASCOTS.2012.52},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/MarinBB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/GallinaRMR12,
author = {Lucia Gallina and
Gian{-}Luca Dei Rossi and
Andrea Marin and
Sabina Rossi},
editor = {Albert Y. Zomaya and
Bj{\"{o}}rn Landfeldt and
Ravi Prakash},
title = {Evaluating resistance to jamming and casual interception in mobile
wireless networks},
booktitle = {The 15th {ACM} International Conference on Modeling, Analysis and
Simulation of Wireless and Mobile Systems, MSWiM '12, Paphos, Cyprus,
October 21-25, 2012},
pages = {151--158},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2387238.2387265},
doi = {10.1145/2387238.2387265},
timestamp = {Wed, 22 Mar 2023 16:53:34 +0100},
biburl = {https://dblp.org/rec/conf/mswim/GallinaRMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BugliesiGMRH12,
author = {Michele Bugliesi and
Lucia Gallina and
Andrea Marin and
Sabina Rossi and
Sardaouna Hamadou},
title = {Interference-Sensitive Preorders for MANETs},
booktitle = {Ninth International Conference on Quantitative Evaluation of Systems,
{QEST} 2012, London, United Kingdom, September 17-20, 2012},
pages = {189--198},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/QEST.2012.15},
doi = {10.1109/QEST.2012.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BugliesiGMRH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/HarrisonM12,
author = {Peter G. Harrison and
Andrea Marin},
editor = {Bruno Gaujal and
Alain Jean{-}Marie and
Eduard A. Jorswieck and
Alexandre Seuret},
title = {Deriving the rate equations characterising product-form models and
application to propagating synchronisations},
booktitle = {6th International {ICST} Conference on Performance Evaluation Methodologies
and Tools, Cargese, Corsica, France, October 9-12, 2012},
pages = {107--116},
publisher = {{ICST/IEEE}},
year = {2012},
url = {https://doi.org/10.4108/valuetools.2012.250312},
doi = {10.4108/VALUETOOLS.2012.250312},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/HarrisonM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wd/GallinaHKMRS12,
author = {Lucia Gallina and
Tingting Han and
Marta Z. Kwiatkowska and
Andrea Marin and
Sabina Rossi and
Alvise Span{\`{o}}},
title = {Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks},
booktitle = {Proceedings of the {IFIP} Wireless Days Conference 2012, Ireland,
November 21-23, 2012},
pages = {1--6},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/WD.2012.6402864},
doi = {10.1109/WD.2012.6402864},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wd/GallinaHKMRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarbieratoRGIM13,
author = {Enrico Barbierato and
Gian{-}Luca Dei Rossi and
Marco Gribaudo and
Mauro Iacono and
Andrea Marin},
editor = {Jeremy T. Bradley and
Keijo Heljanko and
William J. Knottenbelt and
Nigel Thomas},
title = {Exploiting product forms solution techniques in multiformalism modeling},
booktitle = {Proceedings the Sixth International Workshop on the Practical Application
of Stochastic Modelling, {PASM} 2012, and the Eleventh International
Workshop on Parallel and Distributed Methods in Verification, {PDMC}
2012, London, UK, September 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {296},
pages = {61--77},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2013.07.005},
doi = {10.1016/J.ENTCS.2013.07.005},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BarbieratoRGIM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/BalsamoRM11,
author = {Simonetta Balsamo and
Gian{-}Luca Dei Rossi and
Andrea Marin},
editor = {Khalid Al{-}Begain and
Simonetta Balsamo and
Dieter Fiems and
Andrea Marin},
title = {Optimisation of Virtual Machine Garbage Collection Policies},
booktitle = {Analytical and Stochastic Modeling Techniques and Applications - 18th
International Conference, {ASMTA} 2011, Venice, Italy, June 20-22,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6751},
pages = {70--84},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21713-5\_6},
doi = {10.1007/978-3-642-21713-5\_6},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/asmta/BalsamoRM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/GallinaHMR11,
author = {Lucia Gallina and
Sardaouna Hamadou and
Andrea Marin and
Sabina Rossi},
editor = {Khalid Al{-}Begain and
Simonetta Balsamo and
Dieter Fiems and
Andrea Marin},
title = {A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks},
booktitle = {Analytical and Stochastic Modeling Techniques and Applications - 18th
International Conference, {ASMTA} 2011, Venice, Italy, June 20-22,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6751},
pages = {316--330},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21713-5\_23},
doi = {10.1007/978-3-642-21713-5\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asmta/GallinaHMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/AnastasiouKM11,
author = {Nikolas Anastasiou and
William J. Knottenbelt and
Andrea Marin},
editor = {Nigel Thomas},
title = {Automatic Synchronisation Detection in Petri Net Performance Models
Derived from Location Tracking Data},
booktitle = {Computer Performance Engineering - 8th European Performance Engineering
Workshop, {EPEW} 2011, Borrowdale, UK, October 12-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6977},
pages = {29--41},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24749-1\_4},
doi = {10.1007/978-3-642-24749-1\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/epew/AnastasiouKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/MarinB11,
author = {Andrea Marin and
Samuel Rota Bul{\`{o}}},
editor = {Samson Lasaulce and
Dieter Fiems and
Peter G. Harrison and
Luc Vandendorpe},
title = {Explicit solutions for queues with hypo-exponential service time and
applications to product-form analysis},
booktitle = {5th International {ICST} Conference on Performance Evaluation Methodologies
and Tools Communications, {VALUETOOLS} '11, Paris, France, May 16-20,
2011},
pages = {166--175},
publisher = {{ICST/ACM}},
year = {2011},
url = {https://doi.org/10.4108/icst.valuetools.2011.245722},
doi = {10.4108/ICST.VALUETOOLS.2011.245722},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/MarinB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wd/GallinaHMR11,
author = {Lucia Gallina and
Sardaouna Hamadou and
Andrea Marin and
Sabina Rossi},
title = {A framework for throughput and energy efficiency in mobile ad hoc
networks},
booktitle = {Proceedings of the {IFIP} Wireless Days Conference 2011, Niagara Falls,
ON, Canada, October 10-12, 2011},
pages = {1--6},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/WD.2011.6098191},
doi = {10.1109/WD.2011.6098191},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/wd/GallinaHMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wd/RossiMB11,
author = {Gian{-}Luca Dei Rossi and
Andrea Marin and
Simonetta Balsamo},
title = {A queueing model with batch arrivals for studying the impact of fragmentation
in wireless protocols},
booktitle = {Proceedings of the {IFIP} Wireless Days Conference 2011, Niagara Falls,
ON, Canada, October 10-12, 2011},
pages = {1--3},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/WD.2011.6098187},
doi = {10.1109/WD.2011.6098187},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wd/RossiMB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BalsamoM11,
author = {Simonetta Balsamo and
Andrea Marin},
editor = {Samuel Kounev and
Vittorio Cortellessa and
Raffaela Mirandola and
David J. Lilja},
title = {Performance engineering with product-form models: efficient solutions
and applications},
booktitle = {ICPE'11 - Second Joint {WOSP/SIPEW} International Conference on Performance
Engineering, Karlsruhe, Germany, March 14-16, 2011},
pages = {437--448},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1958746.1958812},
doi = {10.1145/1958746.1958812},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/BalsamoM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asmta/2011,
editor = {Khalid Al{-}Begain and
Simonetta Balsamo and
Dieter Fiems and
Andrea Marin},
title = {Analytical and Stochastic Modeling Techniques and Applications - 18th
International Conference, {ASMTA} 2011, Venice, Italy, June 20-22,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6751},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21713-5},
doi = {10.1007/978-3-642-21713-5},
isbn = {978-3-642-21712-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asmta/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Marin10,
author = {Andrea Marin},
title = {On the relations among product-form stochastic models},
school = {Ca' Foscari University of Venice, Italy},
year = {2010},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=TD12022898},
timestamp = {Sat, 06 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Marin10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/BaldanCMS10,
author = {Paolo Baldan and
Nicoletta Cocco and
Andrea Marin and
Marta Simeoni},
title = {Petri nets for modelling metabolic pathways: a survey},
journal = {Nat. Comput.},
volume = {9},
number = {4},
pages = {955--989},
year = {2010},
url = {https://doi.org/10.1007/s11047-010-9180-6},
doi = {10.1007/S11047-010-9180-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/BaldanCMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/BalsamoM10,
author = {Simonetta Balsamo and
Andrea Marin},
editor = {Khalid Al{-}Begain and
Dieter Fiems and
William J. Knottenbelt},
title = {Product-Form Solutions for Models with Joint-State Dependent Transition
Rates},
booktitle = {Analytical and Stochastic Modeling Techniques and Applications, 17th
International Conference, {ASMTA} 2010, Cardiff, UK, June 14-16, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6148},
pages = {87--101},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13568-2\_7},
doi = {10.1007/978-3-642-13568-2\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/asmta/BalsamoM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BalsamoRM10,
author = {Simonetta Balsamo and
Gian{-}Luca Dei Rossi and
Andrea Marin},
editor = {Alessandro Aldini and
Marco Bernardo and
Luciano Bononi and
Vittorio Cortellessa},
title = {A Numerical Algorithm for the Solution of Product-Form Models with
Infinite State Spaces},
booktitle = {Computer Performance Engineering - 7th European Performance Engineering
Workshop, {EPEW} 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6342},
pages = {191--206},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15784-4\_13},
doi = {10.1007/978-3-642-15784-4\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/epew/BalsamoRM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/MarinV10,
author = {Andrea Marin and
Maria Grazia Vigliotti},
editor = {Erol Gelenbe and
Ricardo Lent and
Georgia Sakellari and
Ahmet Sacan and
Ismail Hakki Toroslu and
Adnan Yazici},
title = {On product-form approximations of cooperating stochastic models},
booktitle = {Computer and Information Sciences - Proceedings of the 25th International
Symposium on Computer and Information Sciences, London, UK, September
22-24, 2010},
series = {Lecture Notes in Electrical Engineering},
volume = {62},
pages = {65--70},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-90-481-9794-1\_13},
doi = {10.1007/978-90-481-9794-1\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscis/MarinV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/MarinV10,
author = {Andrea Marin and
Maria Grazia Vigliotti},
title = {From Systems to Components: Constructive Methods for Product-Form
Solutions},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {305},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.44},
doi = {10.1109/QEST.2010.44},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/MarinV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/BalsamoHM10,
author = {Simonetta Balsamo and
Peter G. Harrison and
Andrea Marin},
editor = {Vishal Misra and
Paul Barford and
Mark S. Squillante},
title = {A unifying approach to product-forms in networks with finite capacity
constraints},
booktitle = {{SIGMETRICS} 2010, Proceedings of the 2010 {ACM} {SIGMETRICS} International
Conference on Measurement and Modeling of Computer Systems, New York,
New York, USA, 14-18 June 2010},
pages = {25--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1811039.1811043},
doi = {10.1145/1811039.1811043},
timestamp = {Fri, 30 Jul 2021 16:13:32 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/BalsamoHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wd/BalsamoM10,
author = {Simonetta Balsamo and
Andrea Marin},
title = {Separable equilibrium distributions for systems with unreliable wireless
links},
booktitle = {Proceedings of the 3rd {IFIP} Wireless Days Conference 2010, Venice,
Italy, October 20-22, 2010},
pages = {1--5},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/WD.2010.5657759},
doi = {10.1109/WD.2010.5657759},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/wd/BalsamoM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/MarinV10,
author = {Andrea Marin and
Maria Grazia Vigliotti},
editor = {Alan Adamson and
Andre B. Bondi and
Carlos Juiz and
Mark S. Squillante},
title = {A general result for deriving product-form solutions in markovian
models},
booktitle = {Proceedings of the first joint {WOSP/SIPEW} International Conference
on Performance Engineering, San Jose, California, USA, January 28-30,
2010},
pages = {165--176},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1712605.1712632},
doi = {10.1145/1712605.1712632},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/MarinV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/BalsamoM09,
author = {Simonetta Balsamo and
Andrea Marin},
editor = {El Mostapha Aboulhamid and
Jos{\'{e}} Luis Sevillano},
title = {Determining product-form steady-state solutions of Generalized Stochastic
Petri Nets by the analysis of the reversed process},
booktitle = {The 7th {IEEE/ACS} International Conference on Computer Systems and
Applications, {AICCSA} 2009, Rabat, Morocco, May 10-13, 2009},
pages = {808--815},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/AICCSA.2009.5069421},
doi = {10.1109/AICCSA.2009.5069421},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/BalsamoM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/BalsamoM09,
author = {Simonetta Balsamo and
Andrea Marin},
editor = {Khalid Al{-}Begain and
Dieter Fiems and
G{\'{a}}bor Horv{\'{a}}th},
title = {On the Characterization of Product-Form Multiclass Queueing Models
with Probabilistic Disciplines},
booktitle = {Analytical and Stochastic Modeling Techniques and Applications, 16th
International Conference, {ASMTA} 2009, Madrid, Spain, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5513},
pages = {204--218},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02205-0\_15},
doi = {10.1007/978-3-642-02205-0\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/asmta/BalsamoM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/MarinB09,
author = {Andrea Marin and
Samuel Rota Bul{\`{o}}},
title = {A general algorithm to compute the steady-state solution of product-form
cooperating Markov chains},
booktitle = {17th Annual Meeting of the {IEEE/ACM} International Symposium on Modelling,
Analysis and Simulation of Computer and Telecommunication Systems,
{MASCOTS} 2009, September 21-23, 2009, South Kensington Campus, Imperial
College, London, {UK}},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/MASCOT.2009.5366744},
doi = {10.1109/MASCOT.2009.5366744},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/MarinB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BalsamoM07,
author = {Simonetta Balsamo and
Andrea Marin},
editor = {Marco Bernardo and
Jane Hillston},
title = {Queueing Networks},
booktitle = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
pages = {34--82},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_2},
doi = {10.1007/978-3-540-72522-0\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BalsamoM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/BalsamoM07,
author = {Simonetta Balsamo and
Andrea Marin},
editor = {Peter W. Glynn},
title = {Representing {LCFSPR} {BCMP} service center with Coxian service time
by {GSPN}},
booktitle = {Proceedings of the 2nd International Conference on Performance Evaluation
Methodolgies and Tools, {VALUETOOLS} 2007, Nantes, France, October
22-27, 2007},
series = {{ACM} International Conference Proceeding Series},
pages = {33},
publisher = {{ICST/ACM}},
year = {2007},
url = {https://doi.org/10.4108/valuetools.2007.1774},
doi = {10.4108/VALUETOOLS.2007.1774},
timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/BalsamoM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
