Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Susanna Donatelli
@article{DBLP:journals/peerj-cs/AmparoreDG22,
author = {Elvio Gilberto Amparore and
Susanna Donatelli and
Francesco Gall{\`{a}}},
title = {starMC: an automata based CTL* model checker},
journal = {PeerJ Comput. Sci.},
volume = {8},
pages = {e823},
year = {2022},
url = {https://doi.org/10.7717/peerj-cs.823},
doi = {10.7717/PEERJ-CS.823},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/peerj-cs/AmparoreDG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/DonatelliF22,
author = {Susanna Donatelli and
Giuliana Franceschinis},
title = {Special issue on the Workshop on TOols for Stochastic Modeling and
Evaluation {(TOSME} 2021)},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {49},
number = {4},
pages = {28},
year = {2022},
url = {https://doi.org/10.1145/3543146.3543154},
doi = {10.1145/3543146.3543154},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/DonatelliF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AmparoreD22,
author = {Elvio G. Amparore and
Susanna Donatelli},
editor = {Luca Bernardinello and
Laure Petrucci},
title = {The Ins and Outs of Petri Net Composition},
booktitle = {Application and Theory of Petri Nets and Concurrency - 43rd International
Conference, {PETRI} {NETS} 2022, Bergen, Norway, June 19-24, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13288},
pages = {278--299},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06653-5\_15},
doi = {10.1007/978-3-031-06653-5\_15},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/AmparoreD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/AmparoreBDDM22,
author = {Elvio G. Amparore and
Marco Botta and
Idilio Drago and
Susanna Donatelli and
Giuseppe Mazzone},
title = {Challenges for Driver Action Recognition with Face Masks},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {1491--1497},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ITSC55140.2022.9921833},
doi = {10.1109/ITSC55140.2022.9921833},
timestamp = {Thu, 10 Nov 2022 21:13:36 +0100},
biburl = {https://dblp.org/rec/conf/itsc/AmparoreBDDM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DonatelliHL21,
author = {Susanna Donatelli and
Stefan Haar and
Slawomir Lasota},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {183},
number = {1-2},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2079},
doi = {10.3233/FI-2021-2079},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/DonatelliHL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AmparoreDC20,
author = {Elvio Gilberto Amparore and
Susanna Donatelli and
Gianfranco Ciardo},
title = {Variable order metrics for decision diagrams in system verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {5},
pages = {541--562},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00522-6},
doi = {10.1007/S10009-019-00522-6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/AmparoreDC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AmparoreDG20,
author = {Elvio Gilberto Amparore and
Susanna Donatelli and
Francesco Gall{\`{a}}},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {A CTL* Model Checker for Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {403--413},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_21},
doi = {10.1007/978-3-030-51831-8\_21},
timestamp = {Tue, 30 Jun 2020 19:29:38 +0200},
biburl = {https://dblp.org/rec/conf/apn/AmparoreDG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DonatelliH20,
author = {Susanna Donatelli and
Serge Haddad},
editor = {Nathalie Bertrand and
Nils Jansen},
title = {Guarded Autonomous Transitions Increase Conciseness and Expressiveness
of Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 18th International
Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12288},
pages = {215--230},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57628-8\_13},
doi = {10.1007/978-3-030-57628-8\_13},
timestamp = {Tue, 25 Aug 2020 15:25:25 +0200},
biburl = {https://dblp.org/rec/conf/formats/DonatelliH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/DonatelliH20,
author = {Susanna Donatelli and
Serge Haddad},
editor = {Alberto Leporati and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira and
Claudio Zandron},
title = {Expressiveness and Conciseness of Timed Automata for the Verification
of Stochastic Models},
booktitle = {Language and Automata Theory and Applications - 14th International
Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12038},
pages = {170--183},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-40608-0\_11},
doi = {10.1007/978-3-030-40608-0\_11},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/DonatelliH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Amparore0D19,
author = {Elvio Gilberto Amparore and
Peter Buchholz and
Susanna Donatelli},
editor = {David Parker and
Verena Wolf},
title = {\emph{Great-Nsolve}: {A} Tool Integration for (Markov Regenerative)
Stochastic Petri Nets},
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 = {355--360},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_21},
doi = {10.1007/978-3-030-30281-8\_21},
timestamp = {Fri, 18 Oct 2019 11:18:54 +0200},
biburl = {https://dblp.org/rec/conf/qest/Amparore0D19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AmparoreCDM19,
author = {Elvio Gilberto Amparore and
Gianfranco Ciardo and
Susanna Donatelli and
Andrew S. Miner},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {i {\_}{\textbackslash}mathrm Rank : {A} Variable Order Metric for
{DEDS} Subject to Linear Invariants},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {285--302},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_16},
doi = {10.1007/978-3-030-17465-1\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AmparoreCDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/Donatelli19,
author = {Susanna Donatelli},
title = {Markov regenerative processes solution and stochastic model checking:
an on-the-fly approach},
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 = {1},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3306309.3306310},
doi = {10.1145/3306309.3306310},
timestamp = {Tue, 05 Mar 2019 07:39:30 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/Donatelli19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/AmparoreD19,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
editor = {Antonio Puliafito and
Kishor S. Trivedi},
title = {Modelling and Efficient Solution of Multiple-Phased Systems},
booktitle = {Systems Modeling: Methodologies and Tools},
pages = {47--61},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-92378-9\_4},
doi = {10.1007/978-3-319-92378-9\_4},
timestamp = {Fri, 14 Feb 2020 13:36:48 +0100},
biburl = {https://dblp.org/rec/books/sp/19/AmparoreD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2019,
editor = {Susanna Donatelli and
Stefan Haar},
title = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2},
doi = {10.1007/978-3-030-21571-2},
isbn = {978-3-030-21570-5},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-01483,
author = {Vincenzo De Florio and
Susanna Donatelli and
Giovanna Dondossola},
title = {Flexible Development of Dependability Services: An Experience Derived
from Energy Automation Systems},
journal = {CoRR},
volume = {abs/1910.01483},
year = {2019},
url = {http://arxiv.org/abs/1910.01483},
eprinttype = {arXiv},
eprint = {1910.01483},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-01483.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/BeccutiCAPADC18,
author = {Marco Beccuti and
Francesca Cordero and
Maddalena Arigoni and
Riccardo Panero and
Elvio Gilberto Amparore and
Susanna Donatelli and
Raffaele A. Calogero},
title = {SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer},
journal = {Bioinform.},
volume = {34},
number = {5},
pages = {871--872},
year = {2018},
url = {https://doi.org/10.1093/bioinformatics/btx674},
doi = {10.1093/BIOINFORMATICS/BTX674},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/BeccutiCAPADC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/AmparoreD18,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
title = {Efficient model checking of the stochastic logic CSL\({}^{\mbox{TA}}\)},
journal = {Perform. Evaluation},
volume = {123-124},
pages = {1--34},
year = {2018},
url = {https://doi.org/10.1016/j.peva.2018.03.002},
doi = {10.1016/J.PEVA.2018.03.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/AmparoreD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AmparoreDBGM18,
author = {Elvio Gilberto Amparore and
Susanna Donatelli and
Marco Beccuti and
Giulio Garbi and
Andrew S. Miner},
title = {Decision Diagrams for Petri Nets: {A} Comparison of Variable Ordering
Algorithms},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {13},
pages = {73--92},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-58381-4\_4},
doi = {10.1007/978-3-662-58381-4\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/AmparoreDBGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AmparoreD18,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {GreatTeach: {A} Tool for Teaching (Stochastic) Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {416--425},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_24},
doi = {10.1007/978-3-319-91268-4\_24},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/AmparoreD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/GharibLBADB18,
author = {Mohamad Gharib and
Paolo Lollini and
Marco Botta and
Elvio Gilberto Amparore and
Susanna Donatelli and
Andrea Bondavalli},
title = {On the Safety of Automotive Systems Incorporating Machine Learning
Based Components: {A} Position Paper},
booktitle = {48th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks Workshops, {DSN} Workshops 2018, Luxembourg, June 25-28,
2018},
pages = {271--274},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/DSN-W.2018.00074},
doi = {10.1109/DSN-W.2018.00074},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/GharibLBADB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AmparoreBBDT18,
author = {Elvio Gilberto Amparore and
Marco Beccuti and
Marco Botta and
Susanna Donatelli and
Fabio Tango},
editor = {Ana L{\'{u}}cia C. Bazzan and
Luca Crociani and
Ivana Dusparic and
Sascha Ossowski},
title = {Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and
Intelligent Transportation Systems},
booktitle = {Proceedings of the Tenth International Workshop on Agents in Traffic
and Transportation {(ATT} 2018) co-located with with the Federated
Artificial Intelligence Meeting, including ECAI/IJCAI, {AAMAS} and
{ICML} 2018 conferences {(FAIM} 2018), Stockholm, Sweden, July 14,
2018},
series = {{CEUR} Workshop Proceedings},
volume = {2129},
pages = {70--77},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2129/paper19.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:31 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/AmparoreBBDT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AmparoreDBGM17,
author = {Elvio Gilberto Amparore and
Susanna Donatelli and
Marco Beccuti and
Giulio Garbi and
Andrew S. Miner},
editor = {Daniel Moldt and
Lawrence Cabac and
Heiko R{\"{o}}lke},
title = {Decision Diagrams for Petri Nets: Which Variable Ordering?},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering (PNSE'17), co-located with the38th International Conference
on Application and Theory of Petri Nets and Concurrency Petri Nets
2017 and the 17th International Conference on Application of Concurrency
to System Design {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1846},
pages = {31--50},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1846/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/AmparoreDBGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AmparoreDL17,
author = {Elvio Gilberto Amparore and
Susanna Donatelli and
Elisa Landini},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Modelling and Evaluation of a Control Room Application},
booktitle = {Application and Theory of Petri Nets and Concurrency - 38th International
Conference, {PETRI} {NETS} 2017, Zaragoza, Spain, June 25-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10258},
pages = {243--263},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57861-3\_15},
doi = {10.1007/978-3-319-57861-3\_15},
timestamp = {Wed, 25 Sep 2019 18:08:03 +0200},
biburl = {https://dblp.org/rec/conf/apn/AmparoreDL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AmparoreBD17,
author = {Elvio Gilberto Amparore and
Marco Beccuti and
Susanna Donatelli},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Gradient-Based Variable Ordering of Decision Diagrams for Systems
with Structural Units},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {184--200},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_13},
doi = {10.1007/978-3-319-68167-2\_13},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/AmparoreBD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AmparoreD17,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {alphaFactory: {A} Tool for Generating the Alpha Factors of General
Distributions - (Tool Paper)},
booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
{QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10503},
pages = {36--51},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66335-7\_3},
doi = {10.1007/978-3-319-66335-7\_3},
timestamp = {Mon, 16 Sep 2019 15:31:32 +0200},
biburl = {https://dblp.org/rec/conf/qest/AmparoreD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/AmparoreD17,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
editor = {Simonetta Balsamo and
Andrea Marin and
Enrico Vicario},
title = {Analysis of Non-Markovian Systems in GreatSPN},
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 = {127--138},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-91632-3\_10},
doi = {10.1007/978-3-319-91632-3\_10},
timestamp = {Wed, 23 May 2018 12:27:16 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/AmparoreD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AmparoreD16,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
editor = {Gul Agha and
Benny Van Houdt},
title = {Optimal Aggregation of Components for the Solution of Markov Regenerative
Processes},
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 = {19--34},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4\_2},
doi = {10.1007/978-3-319-43425-4\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/qest/AmparoreD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/AmparoreD16,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
editor = {Antonio Puliafito and
Kishor S. Trivedi and
Bruno Tuffin and
Marco Scarpa and
Fumio Machida and
Javier Alonso},
title = {Efficient solution of extended Multiple-Phased Systems},
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.2267064},
doi = {10.4108/EAI.25-10-2016.2267064},
timestamp = {Fri, 15 Mar 2024 12:30:47 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/AmparoreD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/CarraraLCBPDCZ15,
author = {Matteo Carrara and
Josephine Lum and
Francesca Cordero and
Marco Beccuti and
Michael Poidinger and
Susanna Donatelli and
Raffaele A. Calogero and
Francesca Zolezzi},
title = {Alternative splicing detection workflow needs a careful combination
of sample prep and bioinformatics analysis},
journal = {{BMC} Bioinform.},
volume = {16},
number = {{S-9}},
pages = {S2},
year = {2015},
url = {https://doi.org/10.1186/1471-2105-16-S9-S2},
doi = {10.1186/1471-2105-16-S9-S2},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/CarraraLCBPDCZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BeccutiADSBF15,
author = {Marco Beccuti and
Elvio Gilberto Amparore and
Susanna Donatelli and
Dimitri Scheftelowitsch and
Peter Buchholz and
Giuliana Franceschinis},
editor = {Marta Beltr{\'{a}}n and
William J. Knottenbelt and
Jeremy T. Bradley},
title = {Markov Decision Petri Nets with Uncertainty},
booktitle = {Computer Performance Engineering - 12th European Workshop, {EPEW}
2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9272},
pages = {177--192},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23267-6\_12},
doi = {10.1007/978-3-319-23267-6\_12},
timestamp = {Sat, 19 Oct 2019 19:59:03 +0200},
biburl = {https://dblp.org/rec/conf/epew/BeccutiADSBF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/BeccutiCCLDNPC14,
author = {Marco Beccuti and
Matteo Carrara and
Francesca Cordero and
Fulvio Lazzarato and
Susanna Donatelli and
Francesca Nadalin and
Alberto Policriti and
Raffaele A. Calogero},
title = {Chimera: a Bioconductor package for secondary analysis of fusion products},
journal = {Bioinform.},
volume = {30},
number = {24},
pages = {3556--3557},
year = {2014},
url = {https://doi.org/10.1093/bioinformatics/btu662},
doi = {10.1093/BIOINFORMATICS/BTU662},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/BeccutiCCLDNPC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AmparoreBD14,
author = {Elvio Gilberto Amparore and
Marco Beccuti and
Susanna Donatelli},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {(Stochastic) Model Checking in GreatSPN},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {354--363},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_19},
doi = {10.1007/978-3-319-07734-5\_19},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/AmparoreBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/AmparoreBCSDT14,
author = {Elvio Gilberto Amparore and
Marco Beccuti and
Simona Collina and
Flavia De Simone and
Susanna Donatelli and
Fabio Tango},
editor = {Joaquim Filipe and
Oleg Yu. Gusikhin and
Kurosh Madani and
Jurek Z. Sasiadek},
title = {Cognitive Systems in Intelligent Vehicles - {A} New Frontier for Autonomous
Driving},
booktitle = {{ICINCO} 2014 - Proceedings of the 11th International Conference on
Informatics in Control, Automation and Robotics, Volume 2, Vienna,
Austria, 1 - 3 September, 2014},
pages = {817--822},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0005160808170822},
doi = {10.5220/0005160808170822},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icinco/AmparoreBCSDT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AmparoreBD14,
author = {Elvio Gilberto Amparore and
Peter Buchholz and
Susanna Donatelli},
editor = {Gethin Norman and
William H. Sanders},
title = {A Structured Solution Approach for Markov Regenerative Processes},
booktitle = {Quantitative Evaluation of Systems - 11th International Conference,
{QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8657},
pages = {9--24},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10696-0\_3},
doi = {10.1007/978-3-319-10696-0\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/qest/AmparoreBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/CarraraBCDLCC13,
author = {Matteo Carrara and
Marco Beccuti and
Federica Cavallo and
Susanna Donatelli and
Fulvio Lazzarato and
Francesca Cordero and
Raffaele A. Calogero},
title = {State of art fusion-finder algorithms are suitable to detect transcription-induced
chimeras in normal tissues?},
journal = {{BMC} Bioinform.},
volume = {14},
number = {{S-7}},
pages = {S2},
year = {2013},
url = {https://doi.org/10.1186/1471-2105-14-S7-S2},
doi = {10.1186/1471-2105-14-S7-S2},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/CarraraBCDLCC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/AmparoreD13,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
title = {A component-based solution for reducible Markov regenerative processes},
journal = {Perform. Evaluation},
volume = {70},
number = {6},
pages = {400--422},
year = {2013},
url = {https://doi.org/10.1016/j.peva.2013.02.002},
doi = {10.1016/J.PEVA.2013.02.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/AmparoreD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AmparoreBBDF13,
author = {Elvio Gilberto Amparore and
Paolo Ballarini and
Marco Beccuti and
Susanna Donatelli and
Giuliana Franceschinis},
editor = {Jos{\'{e}} Manuel Colom and
J{\"{o}}rg Desel},
title = {Expressing and Computing Passage Time Measures of {GSPN} Models with
{HASL}},
booktitle = {Application and Theory of Petri Nets and Concurrency - 34th International
Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7927},
pages = {110--129},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38697-8\_7},
doi = {10.1007/978-3-642-38697-8\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/AmparoreBBDF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/AmparoreD13,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
editor = {Maria Simonetta Balsamo and
William J. Knottenbelt and
Andrea Marin},
title = {Improving and Assessing the Efficiency of the {MC4CSLTA} Model Checker},
booktitle = {Computer Performance Engineering - 10th European Workshop, {EPEW}
2013, Venice, Italy, September 16-17, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8168},
pages = {206--220},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40725-3\_16},
doi = {10.1007/978-3-642-40725-3\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/epew/AmparoreD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/AmparoreBBDF13,
author = {Elvio Gilberto Amparore and
Beno{\^{\i}}t Barbot and
Marco Beccuti and
Susanna Donatelli and
Giuliana Franceschinis},
editor = {Margaret L. Loper and
Gabriel A. Wainer},
title = {Simulation-based verification of hybrid automata stochastic logic
formulas for stochastic symmetric nets},
booktitle = {{SIGSIM} Principles of Advanced Discrete Simulation, {SIGSIM-PADS}
'13, Montreal, QC, Canada, May 19-22, 2013},
pages = {253--264},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2486092.2486124},
doi = {10.1145/2486092.2486124},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pads/AmparoreBBDF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/13/DonatelliH13,
author = {Susanna Donatelli and
Serge Haddad},
editor = {Claude Jard and
Olivier H. Roux},
title = {Quantitative Verification of Markov Chains},
booktitle = {Communicating Embedded Systems},
pages = {139--163},
publisher = {Wiley},
year = {2013},
url = {https://doi.org/10.1002/9781118558188.ch5},
doi = {10.1002/9781118558188.CH5},
timestamp = {Tue, 02 Jul 2019 16:31:33 +0200},
biburl = {https://dblp.org/rec/books/wi/13/DonatelliH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcip/BeccutiCGDDF12,
author = {Marco Beccuti and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Susanna Donatelli and
Giovanna Dondossola and
Giuliana Franceschinis},
title = {Quantification of dependencies between electrical and information
infrastructures},
journal = {Int. J. Crit. Infrastructure Prot.},
volume = {5},
number = {1},
pages = {14--27},
year = {2012},
url = {https://doi.org/10.1016/j.ijcip.2012.01.003},
doi = {10.1016/J.IJCIP.2012.01.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcip/BeccutiCGDDF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmparoreD13,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
editor = {Jeremy T. Bradley and
Keijo Heljanko and
William J. Knottenbelt and
Nigel Thomas},
title = {Backward Solution of Markov Chains and Markov Regenerative Processes:
Formalization and Applications},
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 = {7--26},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2013.07.002},
doi = {10.1016/J.ENTCS.2013.07.002},
timestamp = {Tue, 22 Nov 2022 14:07:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AmparoreD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2010w,
editor = {Susanna Donatelli and
Jetty Kleijn and
Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes},
title = {Proceedings of the Workshops of the 31st International Conference
on Application and Theory of Petri Nets and Other Models of Concurrency
{(PETRI} {NETS} 2010) and of the 10th International Conference on
Application of Concurrency to System Design {(ACSD} 2010), Braga,
Portugal, June, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {827},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-827},
urn = {urn:nbn:de:0074-827-8},
timestamp = {Wed, 09 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/2010w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2012-5,
editor = {Kurt Jensen and
Susanna Donatelli and
Jetty Kleijn},
title = {Transactions on Petri Nets and Other Models of Concurrency {V}},
series = {Lecture Notes in Computer Science},
volume = {6900},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29072-5},
doi = {10.1007/978-3-642-29072-5},
isbn = {978-3-642-29071-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/2012-5.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-5736,
author = {Giovanna Dondossola and
Geert Deconinck and
Felicita Di Giandomenico and
Susanna Donatelli and
Mohamed Ka{\^{a}}niche and
Paulo Ver{\'{\i}}ssimo},
title = {Critical Utility Infrastructural Resilience},
journal = {CoRR},
volume = {abs/1211.5736},
year = {2012},
url = {http://arxiv.org/abs/1211.5736},
eprinttype = {arXiv},
eprint = {1211.5736},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-5736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nla/AmparoreD11,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
title = {Revisiting the matrix-free solution of Markov regenerative processes},
journal = {Numer. Linear Algebra Appl.},
volume = {18},
number = {6},
pages = {1067--1083},
year = {2011},
url = {https://doi.org/10.1002/nla.819},
doi = {10.1002/NLA.819},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nla/AmparoreD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AmparoreBDF11,
author = {Elvio Gilberto Amparore and
Marco Beccuti and
Susanna Donatelli and
Giuliana Franceschinis},
title = {Probe Automata for Passage Time Specification},
booktitle = {Eighth International Conference on Quantitative Evaluation of Systems,
{QEST} 2011, Aachen, Germany, 5-8 September, 2011},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QEST.2011.20},
doi = {10.1109/QEST.2011.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AmparoreBDF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/DonatelliPR10,
author = {Susanna Donatelli and
Prakash Panangaden and
Gerardo Rubino},
title = {Special Issue on "Quantitative Evaluation of Systems"},
journal = {Perform. Evaluation},
volume = {67},
number = {9},
pages = {757--758},
year = {2010},
url = {https://doi.org/10.1016/j.peva.2010.05.002},
doi = {10.1016/J.PEVA.2010.05.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/DonatelliPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BabarBDM10,
author = {Junaid Babar and
Marco Beccuti and
Susanna Donatelli and
Andrew S. Miner},
editor = {Johan Lilius and
Wojciech Penczek},
title = {GreatSPN Enhanced with Decision Diagram Data Structures},
booktitle = {Applications and Theory of Petri Nets, 31st International Conference,
{PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6128},
pages = {308--317},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13675-7\_19},
doi = {10.1007/978-3-642-13675-7\_19},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BabarBDM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/AmparoreD10,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
title = {Model checking CSL\({}^{\mbox{TA}}\) with Deterministic and Stochastic
Petri Nets},
booktitle = {Proceedings of the 2010 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2010, Chicago, IL, USA, June 28 - July
1 2010},
pages = {605--614},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DSN.2010.5544425},
doi = {10.1109/DSN.2010.5544425},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/AmparoreD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/AmparoreD10,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
editor = {Alessandro Aldini and
Marco Bernardo and
Luciano Bononi and
Vittorio Cortellessa},
title = {A Component-Based Solution Method for Non-ergodic Markov Regenerative
Processes},
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 = {236--251},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15784-4\_16},
doi = {10.1007/978-3-642-15784-4\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/epew/AmparoreD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AmparoreD10,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
title = {DSPN-Tool: {A} New {DSPN} and {GSPN} Solver for GreatSPN},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {79--80},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.17},
doi = {10.1109/QEST.2010.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AmparoreD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AmparoreD10a,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
title = {{MC4CSLTA:} An Efficient Model Checking Tool for {CSLTA}},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {153--154},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.26},
doi = {10.1109/QEST.2010.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AmparoreD10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2010-4,
editor = {Kurt Jensen and
Susanna Donatelli and
Maciej Koutny},
title = {Transactions on Petri Nets and Other Models of Concurrency {IV}},
series = {Lecture Notes in Computer Science},
volume = {6550},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18222-8},
doi = {10.1007/978-3-642-18222-8},
isbn = {978-3-642-18221-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/2010-4.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/BaarirBCPDF09,
author = {Souheib Baarir and
Marco Beccuti and
Davide Cerotti and
Massimiliano De Pierro and
Susanna Donatelli and
Giuliana Franceschinis},
title = {The GreatSPN tool: recent enhancements},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {36},
number = {4},
pages = {4--9},
year = {2009},
url = {https://doi.org/10.1145/1530873.1530876},
doi = {10.1145/1530873.1530876},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/BaarirBCPDF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DonatelliHS09,
author = {Susanna Donatelli and
Serge Haddad and
Jeremy Sproston},
title = {Model Checking Timed and Stochastic Properties with CSL{\^{}}\{TA\}},
journal = {{IEEE} Trans. Software Eng.},
volume = {35},
number = {2},
pages = {224--240},
year = {2009},
url = {https://doi.org/10.1109/TSE.2008.108},
doi = {10.1109/TSE.2008.108},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DonatelliHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/critis/Donatelli08,
author = {Susanna Donatelli},
editor = {Roberto Setola and
Stefan Geretshuber},
title = {Dependent Automata for the Modelling of Dependencies},
booktitle = {Critical Information Infrastructure Security, Third International
Workshop, {CRITIS} 2008, Rome, Italy, October 13-15, 2008. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {5508},
pages = {311--318},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03552-4\_29},
doi = {10.1007/978-3-642-03552-4\_29},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/critis/Donatelli08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/critis/CerottiCDBDG07,
author = {Davide Cerotti and
Daniele Codetta Raiteri and
Susanna Donatelli and
Claudio Brasca and
Giovanna Dondossola and
Fabrizio Garrone},
editor = {Javier L{\'{o}}pez and
Bernhard M. H{\"{a}}mmerli},
title = {{UML} Diagrams Supporting Domain Specification Inside the {CRUTIAL}
Project},
booktitle = {Critical Information Infrastructures Security, Second International
Workshop, {CRITIS} 2007, M{\'{a}}laga, Spain, October 3-5, 2007.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5141},
pages = {106--123},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89173-4\_10},
doi = {10.1007/978-3-540-89173-4\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/critis/CerottiCDBDG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/DonatelliHS07,
author = {Susanna Donatelli and
Serge Haddad and
Jeremy Sproston},
title = {CSL\({}^{\mbox{TA}}\): an Expressive Logic for Continuous-Time Markov
Chains},
booktitle = {Fourth International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
{UK}},
pages = {31--40},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/QEST.2007.40},
doi = {10.1109/QEST.2007.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/DonatelliHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DAprileDSS07,
author = {Davide D'Aprile and
Susanna Donatelli and
Arnaud Sangnier and
Jeremy Sproston},
editor = {Orna Grumberg and
Michael Huth},
title = {From Time Petri Nets to Timed Automata: An Untimed Approach},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {216--230},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_18},
doi = {10.1007/978-3-540-71209-1\_18},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DAprileDSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SprostonD06,
author = {Jeremy Sproston and
Susanna Donatelli},
title = {Backward Bisimulation in Markov Chain Model Checking},
journal = {{IEEE} Trans. Software Eng.},
volume = {32},
number = {8},
pages = {531--546},
year = {2006},
url = {https://doi.org/10.1109/TSE.2006.74},
doi = {10.1109/TSE.2006.74},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SprostonD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CerottiDDS06,
author = {Davide Cerotti and
Davide D'Aprile and
Susanna Donatelli and
Jeremy Sproston},
title = {Verifying Stochastic Well-formed Nets with {CSL} Model-Checking Tools},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {143--152},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.36},
doi = {10.1109/ACSD.2006.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/CerottiDDS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/CerottiDHS06,
author = {Davide Cerotti and
Susanna Donatelli and
Andr{\'{a}}s Horv{\'{a}}th and
Jeremy Sproston},
title = {{CSL} Model Checking for Generalized Stochastic Petri Nets},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems
{(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
pages = {199--210},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QEST.2006.13},
doi = {10.1109/QEST.2006.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/CerottiDHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2006,
editor = {Susanna Donatelli and
P. S. Thiagarajan},
title = {Petri Nets and Other Models of Concurrency - {ICATPN} 2006, 27th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4024},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767589},
doi = {10.1007/11767589},
isbn = {3-540-34699-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Donatelli04,
author = {Susanna Donatelli},
title = {Student Forum},
booktitle = {2004 International Conference on Dependable Systems and Networks {(DSN}
2004), 28 June - 1 July 2004, Florence, Italy, Proceedings},
pages = {904},
publisher = {{IEEE} Computer Society},
year = {2004},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/dsn/Donatelli04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BernardiDD04,
author = {Simona Bernardi and
Susanna Donatelli and
Giovanna Dondossola},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Towards a Methodological Approach to Specification and Analysis of
Dependable Automation Systems},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {36--51},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_5},
doi = {10.1007/978-3-540-30206-3\_5},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BernardiDD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ChungCDHPSSY04,
author = {Ming{-}Ying Chung and
Gianfranco Ciardo and
Susanna Donatelli and
N. He and
Brigitte Plateau and
William J. Stewart and
E. Sulaiman and
Andy Jinqing Yu},
title = {A Comparison of Structural Formalisms for Modeling Large Markov Models},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303217},
doi = {10.1109/IPDPS.2004.1303217},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/ChungCDHPSSY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/DAprileDS04,
author = {Davide D'Aprile and
Susanna Donatelli and
Jeremy Sproston},
editor = {Cevdet Aykanat and
Tugrul Dayar and
Ibrahim Korpeoglu},
title = {{CSL} Model Checking for the GreatSPN Tool},
booktitle = {Computer and Information Sciences - {ISCIS} 2004, 19th International
Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3280},
pages = {543--552},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30182-0\_55},
doi = {10.1007/978-3-540-30182-0\_55},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iscis/DAprileDS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BernardiDD04,
author = {Simona Bernardi and
Susanna Donatelli and
Giovanna Dondossola},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {A class Diagram framework for collecting dependability requirements
in automation systems},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {276--283},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BernardiDD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/BernardiD04,
author = {Simona Bernardi and
Susanna Donatelli},
title = {Stochastic Petri Nets and Inheritance for Dependability Modelling},
booktitle = {10th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2004), 3-5 March 2004, Papeete, Tahiti},
pages = {363--372},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/PRDC.2004.1276592},
doi = {10.1109/PRDC.2004.1276592},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/BernardiD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/SprostonD04,
author = {Jeremy Sproston and
Susanna Donatelli},
title = {Backward Stochastic Bisimulation in {CSL} Model Checking},
booktitle = {1st International Conference on Quantitative Evaluation of Systems
{(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
pages = {220--229},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QEST.2004.1348036},
doi = {10.1109/QEST.2004.1348036},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/SprostonD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/IlieBBDDDFGM04,
author = {Jean{-}Michel Ili{\'{e}} and
Souheib Baarir and
Marco Beccuti and
Cl{\'{e}}ment Delamare and
Susanna Donatelli and
Claude Dutheillet and
Giuliana Franceschinis and
Rossano Gaeta and
Patrice Moreaux},
title = {Extended {SWN} Solvers in GreatSPN},
booktitle = {1st International Conference on Quantitative Evaluation of Systems
{(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
pages = {324--325},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QEST.2004.1348049},
doi = {10.1109/QEST.2004.1348049},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/IlieBBDDDFGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BernardiBD03,
author = {Simona Bernardi and
Andrea Bobbio and
Susanna Donatelli},
editor = {J{\"{o}}rg Desel and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Petri Nets and Dependability},
booktitle = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This
tutorial volume originates from the 4th Advanced Course on Petri Nets,
{ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003.
In addition to lectures given at {ACPN} 2003, additional chapters
have been commissioned]},
series = {Lecture Notes in Computer Science},
volume = {3098},
pages = {125--179},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-27755-2\_4},
doi = {10.1007/978-3-540-27755-2\_4},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/BernardiBD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BernardiD03,
author = {Simona Bernardi and
Susanna Donatelli},
title = {Building Petri net scenarios for dependable automation systems},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {72--81},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231544},
doi = {10.1109/PNPM.2003.1231544},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BernardiD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpe/DonatelliF02,
author = {Susanna Donatelli and
Liliana Ferro},
editor = {Tony Field and
Peter G. Harrison and
Jeremy T. Bradley and
Uli Harder},
title = {Validation of {GSPN} and {SWN} Models through the {PROD} Tool},
booktitle = {Computer Performance Evaluation, Modelling Techniques and Tools 12th
International Conference, {TOOLS} 2002, London, UK, April 14-17, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2324},
pages = {131--140},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46029-2\_8},
doi = {10.1007/3-540-46029-2\_8},
timestamp = {Sun, 25 Oct 2020 23:14:48 +0100},
biburl = {https://dblp.org/rec/conf/cpe/DonatelliF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BallariniBD02,
author = {Paolo Ballarini and
Simona Bernardi and
Susanna Donatelli},
title = {Validation and Evaluation of a Software Solution for Fault Tolerant
Distributed Synchronization},
booktitle = {2002 International Conference on Dependable Systems and Networks {(DSN}
2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings},
pages = {773--784},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/DSN.2002.1029023},
doi = {10.1109/DSN.2002.1029023},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/BallariniBD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/FlorioDD02,
author = {Vincenzo De Florio and
Susanna Donatelli and
Giovanna Dondossola},
title = {Flexible Development of Dependability Services: An Experience Derived
from Energy Automation Systems},
booktitle = {9th {IEEE} International Conference on Engineering of Computer-Based
Systems {(ECBS} 2002), 8-11 April 2002, Lund, Sweden},
pages = {86--93},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ECBS.2002.999826},
doi = {10.1109/ECBS.2002.999826},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/FlorioDD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BernardiDM02,
author = {Simona Bernardi and
Susanna Donatelli and
Jos{\'{e}} Merseguer},
title = {From {UML} sequence diagrams and statecharts to analysable petrinet
models},
booktitle = {Third International Workshop on Software and Performance, WOSP@ISSTA
2002, July 24-26, 2002, Rome, Italy},
pages = {35--45},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/584369.584376},
doi = {10.1145/584369.584376},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/BernardiDM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/DonatelliK01,
author = {Susanna Donatelli and
Peter Kemper},
title = {Integrating synchronization with priority into a Kronecker representation},
journal = {Perform. Evaluation},
volume = {44},
number = {1-4},
pages = {73--96},
year = {2001},
url = {https://doi.org/10.1016/S0166-5316(00)00060-2},
doi = {10.1016/S0166-5316(00)00060-2},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/DonatelliK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BernardiDH01,
author = {Simona Bernardi and
Susanna Donatelli and
Andr{\'{a}}s Horv{\'{a}}th},
title = {Implementing compositionality for stochastic Petri nets},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {3},
number = {4},
pages = {417--430},
year = {2001},
url = {https://doi.org/10.1007/s100090100065},
doi = {10.1007/S100090100065},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BernardiDH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Donatelli01,
author = {Susanna Donatelli},
editor = {Jos{\'{e}} Manuel Colom and
Maciej Koutny},
title = {Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?},
booktitle = {Application and Theory of Petri Nets 2001, 22nd International Conference,
{ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2075},
pages = {1--18},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45740-2\_1},
doi = {10.1007/3-540-45740-2\_1},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Donatelli01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BernardiD01,
author = {Simona Bernardi and
Susanna Donatelli},
title = {Performance Validation of Fault-Tolerance Software: {A} Compositional
Approach},
booktitle = {2001 International Conference on Dependable Systems and Networks {(DSN}
2001) (formerly: FTCS), 1-4 July 2001, G{\"{o}}teborg, Sweden,
Proceedings},
pages = {379--388},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DSN.2001.941422},
doi = {10.1109/DSN.2001.941422},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/BernardiD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/BuchholzCDK00,
author = {Peter Buchholz and
Gianfranco Ciardo and
Susanna Donatelli and
Peter Kemper},
title = {Complexity of Memory-Efficient Kronecker Operations with Applications
to the Solution of Markov Models},
journal = {{INFORMS} J. Comput.},
volume = {12},
number = {3},
pages = {203--222},
year = {2000},
url = {https://doi.org/10.1287/ijoc.12.3.203.12634},
doi = {10.1287/IJOC.12.3.203.12634},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/BuchholzCDK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BallariniDF00,
author = {Paolo Ballarini and
Susanna Donatelli and
Giuliana Franceschinis},
editor = {Mogens Nielsen and
Dan Simpson},
title = {Parametric Stochastic Well-Formed Nets and Compositional Modelling},
booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference,
{ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {1825},
pages = {43--62},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44988-4\_5},
doi = {10.1007/3-540-44988-4\_5},
timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
biburl = {https://dblp.org/rec/conf/apn/BallariniDF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coop/DonatelliSS00,
author = {Susanna Donatelli and
Marcello Sarini and
Carla Simone},
title = {Toward a Contextual Information Service supporting adaptability and
awareness promotion in {CSCW} systems},
booktitle = {Proceedings of the 4th International Conference on Designing Cooperative
Systems, {COOP} 2000, Sophia-Antipolis, France, May 23-26, 2000},
pages = {83--98},
publisher = {{IOS} Press},
year = {2000},
url = {https://hdl.handle.net/20.500.12015/3084},
timestamp = {Thu, 07 Jun 2018 15:17:25 +0200},
biburl = {https://dblp.org/rec/conf/coop/DonatelliSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpe/DonatelliK00,
author = {Susanna Donatelli and
Peter Kemper},
editor = {Boudewijn R. Haverkort and
Henrik C. Bohnenkamp and
Connie U. Smith},
title = {Integrating Synchronization with Priority into a Kronecker Representation},
booktitle = {Computer Performance Evaluation: Modelling Techniques and Tools, 11th
International Conference, {TOOLS} 2000, Schaumburg, IL, USA, March
27-31, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1786},
pages = {203--215},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46429-8\_15},
doi = {10.1007/3-540-46429-8\_15},
timestamp = {Sat, 19 Oct 2019 20:33:55 +0200},
biburl = {https://dblp.org/rec/conf/cpe/DonatelliK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/BottiFDLCDBKKTV00,
author = {Oliver Botti and
Vincenzo De Florio and
Geert Deconinck and
Rudy Lauwereins and
Flavio Cassinari and
Susanna Donatelli and
Andrea Bobbio and
Axel Klein and
Holger K{\"{u}}fner and
Erwin M. Thurner and
Eric Verhulst},
title = {The {TIRAN} approach to reusing software implemented fault tolerance},
booktitle = {Eight Euromicro Workshop on Parallel and Distributed Processing, {PDP}
2000, 19-12 January 2000, Rhodos, Greece},
pages = {325--332},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/EMPDP.2000.823427},
doi = {10.1109/EMPDP.2000.823427},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdp/BottiFDLCDBKKTV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/MinerCD00,
author = {Andrew S. Miner and
Gianfranco Ciardo and
Susanna Donatelli},
editor = {Alexandre Brandwajn and
Jim Kurose and
Philippe Nain},
title = {Using the exact state space of a Markov model to compute approximate
stationary measures},
booktitle = {Proceedings of the 2000 {ACM} {SIGMETRICS} international conference
on Measurement and modeling of computer systems, Santa Clara, CA,
USA, June 18-21, 2000},
pages = {207--216},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/339331.339417},
doi = {10.1145/339331.339417},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/MinerCD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CamposDS99,
author = {Javier Campos and
Susanna Donatelli and
Manuel Silva Su{\'{a}}rez},
title = {Structured Solution of Asynchronously Communicating Stochastic Modules},
journal = {{IEEE} Trans. Software Eng.},
volume = {25},
number = {2},
pages = {147--165},
year = {1999},
url = {https://doi.org/10.1109/32.761442},
doi = {10.1109/32.761442},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CamposDS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BottiFDCDBKKLTV99,
author = {Oliver Botti and
Vincenzo De Florio and
Geert Deconinck and
Flavio Cassinari and
Susanna Donatelli and
Andrea Bobbio and
Axel Klein and
Holger K{\"{u}}fner and
Rudy Lauwereins and
Erwin M. Thurner and
Eric Verhulst},
editor = {Patrick Amestoy and
Philippe Berger and
Michel J. Dayd{\'{e}} and
Iain S. Duff and
Val{\'{e}}rie Frayss{\'{e}} and
Luc Giraud and
Daniel Ruiz},
title = {{TIRAN:} Flexible and Portable Fault Tolerance Solutions for Cost
Effective Dependable Applications},
booktitle = {Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference,
Toulouse, France, August 31 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1685},
pages = {1166--1170},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48311-X\_164},
doi = {10.1007/3-540-48311-X\_164},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/BottiFDCDBKKLTV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/1999,
editor = {Susanna Donatelli and
H. C. M. Kleijn},
title = {Application and Theory of Petri Nets 1999, 20th International Conference,
{ICATPN} '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1639},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48745-X},
doi = {10.1007/3-540-48745-X},
isbn = {3-540-66132-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/MarsanBCDF98,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Gianni Conte and
Susanna Donatelli and
Giuliana Franceschinis},
title = {Modelling with Generalized Stochastic Petri Nets},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {26},
number = {2},
pages = {2},
year = {1998},
url = {https://doi.org/10.1145/288197.581193},
doi = {10.1145/288197.581193},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/MarsanBCDF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpe/DonatelliHM98,
author = {Susanna Donatelli and
Serge Haddad and
Patrice Moreaux},
editor = {Ram{\'{o}}n Puigjaner and
Nunzio N. Savino and
Bartomeu Serra},
title = {Structured Characterization of the Markov Chain of Phase-Type {SPN}},
booktitle = {Computer Performance Evaluation: Modelling Techniques and Tools, 10th
International Conference, Tools '98, Palma de Mallorca, Spain, September
14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1469},
pages = {243--254},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-68061-6\_20},
doi = {10.1007/3-540-68061-6\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cpe/DonatelliHM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CamposSD97,
author = {Javier Campos and
Manuel Silva Su{\'{a}}rez and
Susanna Donatelli},
title = {Structured solution of stochastic {DSSP} systems},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {91--100},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595540},
doi = {10.1109/PNPM.1997.595540},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CamposSD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/AnglanoDFB97,
author = {Cosimo Anglano and
Susanna Donatelli and
Giuliana Franceschinis and
Oliver Botti},
title = {Performance prediction of a reconfigurable high voltage substation
simulator: a case study using {SWN}},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {163--172},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595547},
doi = {10.1109/PNPM.1997.595547},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/AnglanoDFB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dse/DonatelliMR96,
author = {Susanna Donatelli and
Nicola Mazzocca and
Stefano Russo},
title = {Client - server programs analysis in the {EPOCA} environment},
journal = {Distributed Syst. Eng.},
volume = {3},
number = {3},
pages = {149--161},
year = {1996},
url = {https://doi.org/10.1088/0967-1846/3/3/001},
doi = {10.1088/0967-1846/3/3/001},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dse/DonatelliMR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/MarsanBD96,
author = {Marco Ajmone Marsan and
Andrea Bobbio and
Susanna Donatelli},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Petri Nets in Performance Analysis: An Introduction},
booktitle = {Lectures on Petri Nets {I:} Basic Models, Advances in Petri Nets,
the volumes are based on the Advanced Course on Petri Nets, held in
Dagstuhl, September 1996},
series = {Lecture Notes in Computer Science},
volume = {1491},
pages = {211--256},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65306-6\_17},
doi = {10.1007/3-540-65306-6\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/MarsanBD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/DonatelliF96,
author = {Susanna Donatelli and
Giuliana Franceschinis},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Modelling and Analysis of Distributed Software Using GSPNs},
booktitle = {Lectures on Petri Nets {II:} Applications, Advances in Petri Nets,
the volumes are based on the Advanced Course on Petri Nets, held in
Dagstuhl, September 1996},
series = {Lecture Notes in Computer Science},
volume = {1492},
pages = {438--476},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65307-4\_54},
doi = {10.1007/3-540-65307-4\_54},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/DonatelliF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/BottiDF96,
author = {Oliver Botti and
Susanna Donatelli and
Giuliana Franceschinis},
title = {Assessing the Performance of Multiprocessor Architectures through
{SWN} Models Simulation: {A} Case Study in the Field of Plant Automation
Systems},
booktitle = {Proceedings 29st Annual Simulation Symposium {(SS} '96), April 8-11,
1996, New Orleans, LA, {USA}},
pages = {118--127},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/SIMSYM.1996.492159},
doi = {10.1109/SIMSYM.1996.492159},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/anss/BottiDF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DonatelliF96,
author = {Susanna Donatelli and
Giuliana Franceschinis},
editor = {Jonathan Billington and
Wolfgang Reisig},
title = {The {PSR} Methodology: Integrating Hardware and Software Models},
booktitle = {Application and Theory of Petri Nets 1996, 17th International Conference,
Osaka, Japan, June 24-28, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1091},
pages = {133--152},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61363-3\_8},
doi = {10.1007/3-540-61363-3\_8},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/DonatelliF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pds/DonatelliMR96,
author = {Susanna Donatelli and
Nicola Mazzocca and
Stefano Russo},
editor = {Innes Jelly and
Ian Gorton and
Peter R. Croll},
title = {{EPOCA:} status and prospects},
booktitle = {Software Engineering for Parallel and Distributed Systems, Proceedings
of the First {IFIP} {TC10} International Workshop on Parallel and
Distributed Software Engineering, March 1996},
series = {{IFIP} Conference Proceedings},
volume = {50},
pages = {265--270},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pds/DonatelliMR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/DonatelliRH95,
author = {Susanna Donatelli and
Marina Ribaudo and
Jane Hillston},
title = {A comparison of performance evaluation process algebra and generalized
stochastic Petri nets},
booktitle = {Proceedings of the Sixth International Workshop on Petri Nets and
Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
pages = {158--168},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/PNPM.1995.524326},
doi = {10.1109/PNPM.1995.524326},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/DonatelliRH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/DonatelliF95,
author = {Susanna Donatelli and
Giuliana Franceschinis},
editor = {Blaine D. Gaither},
title = {State Space Reductions Using Stochastic Well-Formed Net Simplifications:
An Application to Random Polling Systems},
booktitle = {Proceedings of the 1995 {ACM} {SIGMETRICS} joint international conference
on Measurement and modeling of computer systems, Ottawa, Canada, May
15-19, 1995},
pages = {303--304},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/223587.223622},
doi = {10.1145/223587.223622},
timestamp = {Fri, 30 Jul 2021 16:13:31 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/DonatelliF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/DonatelliFRR94,
author = {Susanna Donatelli and
Giuliana Franceschinis and
Marina Ribaudo and
Stefano Russo},
title = {Use of GSPNs for concurrent software validation in {EPOCA}},
journal = {Inf. Softw. Technol.},
volume = {36},
number = {7},
pages = {443--448},
year = {1994},
url = {https://doi.org/10.1016/0950-5849(94)90067-1},
doi = {10.1016/0950-5849(94)90067-1},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/DonatelliFRR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/BalboDFMR94,
author = {Gianfranco Balbo and
Susanna Donatelli and
Giuliana Franceschinis and
Antonino Mazzeo and
Nicola Mazzocca and
Marina Ribaudo},
title = {On the Computation of Performance Characteristics of Concurrent Programs
Using GSPNs},
journal = {Perform. Evaluation},
volume = {19},
number = {2-3},
pages = {195--222},
year = {1994},
url = {https://doi.org/10.1016/0166-5316(94)90039-6},
doi = {10.1016/0166-5316(94)90039-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/BalboDFMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Donatelli94,
author = {Susanna Donatelli},
editor = {Robert Valette},
title = {Superposed Generalized Stochastic Petri Nets: Definition and Efficient
Solution},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {258--277},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_15},
doi = {10.1007/3-540-58152-9\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Donatelli94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpe/DonatelliFMR94,
author = {Susanna Donatelli and
Giuliana Franceschinis and
Nicola Mazzocca and
Stefano Russo},
editor = {G{\"{u}}nter Haring and
Gabriele Kotsis},
title = {Software Architecture of the {EPOCA} Integrated Environment},
booktitle = {Computer Performance Evaluation, Modeling Techniques and Tools, 7th
International Conference, Vienna, Austria, May 3-6, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {794},
pages = {335--352},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58021-2\_19},
doi = {10.1007/3-540-58021-2\_19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpe/DonatelliFMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/Donatelli93,
author = {Susanna Donatelli},
title = {Superposed Stochastic Automata: {A} Class of Stochastic Petri Nets
with Parallel Solution and Distributed State Space},
journal = {Perform. Evaluation},
volume = {18},
number = {1},
pages = {21--36},
year = {1993},
url = {https://doi.org/10.1016/0166-5316(93)90025-P},
doi = {10.1016/0166-5316(93)90025-P},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/Donatelli93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/MarsanDNR93,
author = {Marco Ajmone Marsan and
Susanna Donatelli and
Fabio Neri and
U. Rubino},
title = {Good and Bad Dynamic Polling Orders in Symmetric Single Buffer Markovian
Multiserver Multiqueue Systems},
booktitle = {Proceedings {IEEE} {INFOCOM} '93, The Conference on Computer Communications,
Twelfth Annual Joint Conference of the {IEEE} Computer and Communications
Societies, Networking: Foundation for the Future, San Francisco, CA,
USA, March 28 - April 1, 1993},
pages = {176--185},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/INFCOM.1993.253235},
doi = {10.1109/INFCOM.1993.253235},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/MarsanDNR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/DonatelliA93,
author = {Susanna Donatelli and
Cosimo Anglano},
title = {On the use of communication graphs in automatic mapping},
booktitle = {1993 Euromicro Workshop on Parallel and Distributed Processing, {PDP}
1993, Gran Canaria, Spain, 27-29 January 1993},
pages = {490--498},
publisher = {{IEEE}},
year = {1993},
url = {https://doi.org/10.1109/EMPDP.1993.336372},
doi = {10.1109/EMPDP.1993.336372},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/pdp/DonatelliA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/AnglanoDG93,
author = {Cosimo Anglano and
Susanna Donatelli and
Rossano Gaeta},
title = {Parallel architectures with regular structure: {A} case study in modelling
using stochastic well-formed coloured Petri nets},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {226--235},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393448},
doi = {10.1109/PNPM.1993.393448},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/AnglanoDG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/BalboDF92,
author = {Gianfranco Balbo and
Susanna Donatelli and
Giuliana Franceschinis},
title = {Understanding Parallel Program Behavior through Petri Net Models},
journal = {J. Parallel Distributed Comput.},
volume = {15},
number = {3},
pages = {171--187},
year = {1992},
url = {https://doi.org/10.1016/0743-7315(92)90002-5},
doi = {10.1016/0743-7315(92)90002-5},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/BalboDF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DonatelliS92,
author = {Susanna Donatelli and
Matteo Sereno},
editor = {Kurt Jensen},
title = {On the Product Form Solution for Stochastic Petri Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {154--172},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_9},
doi = {10.1007/3-540-55676-1\_9},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/DonatelliS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/MarsanMDN92,
author = {Marco Ajmone Marsan and
Lu{\'{\i}}s F. M. de Moraes and
Susanna Donatelli and
Fabio Neri},
title = {Cycles and Waiting Times in Symmetric Exhaustive and Gated Multiserver
Multiqueue Systems},
booktitle = {Proceedings {IEEE} {INFOCOM} '92, The Conference on Computer Communications,
Eleventh Annual Joint Conference of the {IEEE} Computer and Communications
Societies, One World through Communications, Florence, Italy, May
4-8, 1992},
pages = {2315--2324},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/INFCOM.1992.263521},
doi = {10.1109/INFCOM.1992.263521},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/MarsanMDN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/MarsanND91,
author = {Marco Ajmone Marsan and
Fabio Neri and
Susanna Donatelli},
title = {Multiserver Multiqueue Systems with Limited Service and Zero Walk
Time},
booktitle = {Proceedings {IEEE} {INFOCOM} '91, The Conference on Computer Communications,
Tenth Annual Joint Conference of the {IEEE} Computer and Communications
Societies, Networking in the 90s, Bal Harbour, Florida, USA, April
7-11, 1991},
pages = {1178--1188},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/INFCOM.1991.147637},
doi = {10.1109/INFCOM.1991.147637},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/MarsanND91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanDNR91,
author = {Marco Ajmone Marsan and
Susanna Donatelli and
Fabio Neri and
U. Rubino},
title = {On the Construction of Abstract {GSPNS:} An Exercise in Modeling},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {2--17},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238786},
doi = {10.1109/PNPM.1991.238786},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MarsanDNR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/ChiolaDF91,
author = {Giovanni Chiola and
Susanna Donatelli and
Giuliana Franceschinis},
title = {GSPNs versus SPNs: What is the Actual Role of Immediate Transitions?},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {20--31},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238785},
doi = {10.1109/PNPM.1991.238785},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/ChiolaDF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Donatelli91,
author = {Susanna Donatelli},
title = {Superposed Stochastic Automata: {A} Class of Stochastic Petri Nets
Amenable to Parallel Solution},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {54--63},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238782},
doi = {10.1109/PNPM.1991.238782},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Donatelli91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/MarsanDRN91,
author = {Marco Ajmone Marsan and
Susanna Donatelli and
U. Rubino and
Fabio Neri},
editor = {Lyman Chapin},
title = {{GSPN} Models of Random, Cyclic, and Optimal 1-Limited Multiserver
Multiqueue Systems},
booktitle = {Proceedings of the Conference on Communications Architecture {\&}
Protocols, {SIGCOMM} 1991, Z{\"{u}}rich, Switzerland, September
3-6, 1991},
pages = {69--80},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/115992.116000},
doi = {10.1145/115992.116000},
timestamp = {Wed, 21 Jul 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/MarsanDRN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/MarsanDN90,
author = {Marco Ajmone Marsan and
Susanna Donatelli and
Fabio Neri},
title = {{GSPN} Models of Markovian Multiserver Multiqueue Systems},
journal = {Perform. Evaluation},
volume = {11},
number = {4},
pages = {227--240},
year = {1990},
url = {https://doi.org/10.1016/0166-5316(90)90001-Y},
doi = {10.1016/0166-5316(90)90001-Y},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/MarsanDN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/MarsanMDN90,
author = {Marco Ajmone Marsan and
Lu{\'{\i}}s F. M. de Moraes and
Susanna Donatelli and
Fabio Neri},
title = {Analysis of Symmetric Nonexhaustive Polling with Multiple Servers},
booktitle = {Proceedings {IEEE} {INFOCOM} '90, The Conference on Computer Communications,
Ninth Annual Joint Conference of the {IEEE} Computer and Communications
Societies, The Multiple Facets of Integration, San Francisco, CA,
USA, June 3-7, 1990},
pages = {284--295},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/INFCOM.1990.91261},
doi = {10.1109/INFCOM.1990.91261},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/MarsanMDN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanDN89,
author = {Marco Ajmone Marsan and
Susanna Donatelli and
Fabio Neri},
title = {{GSPN} Models of Multiserver Multiqueue Systems},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {19--28},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68536},
doi = {10.1109/PNPM.1989.68536},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MarsanDN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/MarsanBCD86,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Giovanni Chiola and
Susanna Donatelli},
title = {On the product-form solution of a class of multiple-bus multiprocessor
system models},
journal = {J. Syst. Softw.},
volume = {6},
number = {1-2},
pages = {117--124},
year = {1986},
url = {https://doi.org/10.1016/0164-1212(86)90030-0},
doi = {10.1016/0164-1212(86)90030-0},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/MarsanBCD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-02-07 03:31 CET 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:
