Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mirco Tribastone
@article{DBLP:journals/automatica/KrupaITB24,
author = {Pablo Krupa and
Omar Inverso and
Mirco Tribastone and
Alberto Bemporad},
title = {Certification of the proximal gradient method under fixed-point arithmetic
for box-constrained {QP} problems},
journal = {Autom.},
volume = {159},
pages = {111411},
year = {2024},
url = {https://doi.org/10.1016/j.automatica.2023.111411},
doi = {10.1016/J.AUTOMATICA.2023.111411},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/KrupaITB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RandoneBIT24,
author = {Francesca Randone and
Luca Bortolussi and
Emilio Incerto and
Mirco Tribastone},
title = {Inference of Probabilistic Programs with Moment-Matching Gaussian
Mixtures},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {1882--1912},
year = {2024},
url = {https://doi.org/10.1145/3632905},
doi = {10.1145/3632905},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/RandoneBIT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JimenezPastorLTT24,
author = {Antonio Jim{\'{e}}nez{-}Pastor and
Kim G. Larsen and
Mirco Tribastone and
Max Tschaikowski},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Forward and Backward Constrained Bisimulations for Quantum Circuits},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {343--362},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_17},
doi = {10.1007/978-3-031-57249-4\_17},
timestamp = {Sun, 14 Apr 2024 18:32:16 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JimenezPastorLTT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/ArgyrisLTTV23,
author = {Georgios Argyris and
Alberto Lluch{-}Lafuente and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Reducing Boolean networks with backward equivalence},
journal = {{BMC} Bioinform.},
volume = {24},
number = {1},
pages = {212},
year = {2023},
url = {https://doi.org/10.1186/s12859-023-05326-9},
doi = {10.1186/S12859-023-05326-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/ArgyrisLTTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/CardelliSTTV23,
author = {Luca Cardelli and
Giuseppe Squillace and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Formal lumping of polynomial differential equations through approximate
equivalences},
journal = {J. Log. Algebraic Methods Program.},
volume = {134},
pages = {100876},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100876},
doi = {10.1016/J.JLAMP.2023.100876},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/CardelliSTTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/CardelliGLTTV23,
author = {Luca Cardelli and
Radu Grosu and
Kim Guldstrand Larsen and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Algorithmic Minimization of Uncertain Continuous-Time Markov Chains},
journal = {{IEEE} Trans. Autom. Control.},
volume = {68},
number = {11},
pages = {6557--6572},
year = {2023},
url = {https://doi.org/10.1109/TAC.2023.3244093},
doi = {10.1109/TAC.2023.3244093},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/CardelliGLTTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/GarbiIT23,
author = {Giulio Garbi and
Emilio Incerto and
Mirco Tribastone},
title = {{\(\mu\)}P: {A} Development Framework for Predicting Performance of
Microservices by Design},
booktitle = {16th {IEEE} International Conference on Cloud Computing, {CLOUD} 2023,
Chicago, IL, USA, July 2-8, 2023},
pages = {178--188},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CLOUD60044.2023.00029},
doi = {10.1109/CLOUD60044.2023.00029},
timestamp = {Fri, 29 Sep 2023 13:28:51 +0200},
biburl = {https://dblp.org/rec/conf/IEEEcloud/GarbiIT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/IncertoPT23,
author = {Emilio Incerto and
Roberto Pizziol and
Mirco Tribastone},
title = {{\(\mu\)}Opt: An Efficient Optimal Autoscaler for Microservice Applications},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2023, Toronto, ON, Canada, September 25-29, 2023},
pages = {67--76},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ACSOS58161.2023.00024},
doi = {10.1109/ACSOS58161.2023.00024},
timestamp = {Wed, 13 Dec 2023 14:38:49 +0100},
biburl = {https://dblp.org/rec/conf/acsos/IncertoPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/LeguizamonRobayoJTTV23,
author = {Alexander Leguizamon{-}Robayo and
Antonio Jim{\'{e}}nez{-}Pastor and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Jun Pang and
Joachim Niehren},
title = {Approximate Constrained Lumping of Polynomial Differential Equations},
booktitle = {Computational Methods in Systems Biology - 21st International Conference,
{CMSB} 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14137},
pages = {106--123},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42697-1\_8},
doi = {10.1007/978-3-031-42697-1\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/LeguizamonRobayoJTTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ArgyrisLLTTV23,
author = {Georgios Argyris and
Alberto Lluch{-}Lafuente and
Alexander Leguizamon{-}Robayo and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Minimization of Dynamical Systems over Monoids},
booktitle = {{LICS}},
pages = {1--14},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175697},
doi = {10.1109/LICS56636.2023.10175697},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ArgyrisLLTTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2023,
editor = {Nils Jansen and
Mirco Tribastone},
title = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6},
doi = {10.1007/978-3-031-43835-6},
isbn = {978-3-031-43834-9},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-08553,
author = {Kim G. Larsen and
Daniele Toller and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Optimality-preserving Reduction of Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/2301.08553},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.08553},
doi = {10.48550/ARXIV.2301.08553},
eprinttype = {arXiv},
eprint = {2301.08553},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-08553.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-16786,
author = {Pablo Krupa and
Omar Inverso and
Mirco Tribastone and
Alberto Bemporad},
title = {Certification of the proximal gradient method under fixed-point arithmetic
for box-constrained {QP} problems},
journal = {CoRR},
volume = {abs/2303.16786},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.16786},
doi = {10.48550/ARXIV.2303.16786},
eprinttype = {arXiv},
eprint = {2303.16786},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-16786.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-09510,
author = {Antonio Jim{\'{e}}nez{-}Pastor and
Kim G. Larsen and
Mirco Tribastone and
Max Tschaikowski},
title = {Efficient Simulation of Quantum Circuits by Model Order Reduction},
journal = {CoRR},
volume = {abs/2308.09510},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.09510},
doi = {10.48550/ARXIV.2308.09510},
eprinttype = {arXiv},
eprint = {2308.09510},
timestamp = {Fri, 25 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-09510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-08235,
author = {Francesca Randone and
Luca Bortolussi and
Emilio Incerto and
Mirco Tribastone},
title = {Inference of Probabilistic Programs with Moment-Matching Gaussian
Mixtures},
journal = {CoRR},
volume = {abs/2311.08235},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.08235},
doi = {10.48550/ARXIV.2311.08235},
eprinttype = {arXiv},
eprint = {2311.08235},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-08235.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-07421,
author = {Daniele Toller and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Coarse-graining Complex Networks for Control Equivalence},
journal = {CoRR},
volume = {abs/2312.07421},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.07421},
doi = {10.48550/ARXIV.2312.07421},
eprinttype = {arXiv},
eprint = {2312.07421},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-07421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-08831,
author = {Antonio Jim{\'{e}}nez{-}Pastor and
Daniele Toller and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Proper Lumping for Positive Bilinear Control Systems},
journal = {CoRR},
volume = {abs/2312.08831},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.08831},
doi = {10.48550/ARXIV.2312.08831},
eprinttype = {arXiv},
eprint = {2312.08831},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-08831.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SimicBIT22,
author = {Stella Simic and
Alberto Bemporad and
Omar Inverso and
Mirco Tribastone},
title = {Tight Error Analysis in Fixed-point Arithmetic},
journal = {Formal Aspects Comput.},
volume = {34},
number = {1},
pages = {1--32},
year = {2022},
url = {https://doi.org/10.1145/3524051},
doi = {10.1145/3524051},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/SimicBIT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/WhitbyCKLTT22,
author = {Max Whitby and
Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti and
Mirco Tribastone and
Max Tschaikowski},
title = {{PID} Control of Biochemical Reaction Networks},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {2},
pages = {1023--1030},
year = {2022},
url = {https://doi.org/10.1109/TAC.2021.3062544},
doi = {10.1109/TAC.2021.3062544},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/WhitbyCKLTT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/TognazziTTV22,
author = {Stefano Tognazzi and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Differential Equivalence for Linear Differential Algebraic Equations},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {7},
pages = {3484--3493},
year = {2022},
url = {https://doi.org/10.1109/TAC.2021.3108530},
doi = {10.1109/TAC.2021.3108530},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/TognazziTTV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/ArgyrisLTTV22,
author = {Georgios Argyris and
Alberto Lluch{-}Lafuente and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Ion Petre and
Andrei Paun},
title = {An Extension of {ERODE} to Reduce Boolean Networks By Backward Boolean
Equivalence},
booktitle = {Computational Methods in Systems Biology - 20th International Conference,
{CMSB} 2022, Bucharest, Romania, September 14-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13447},
pages = {294--301},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15034-0\_16},
doi = {10.1007/978-3-031-15034-0\_16},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/ArgyrisLTTV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/RandoneBT22,
author = {Francesca Randone and
Luca Bortolussi and
Mirco Tribastone},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marco Paolieri},
title = {Jump Longer to Jump Less: Improving Dynamic Boundary Projection with
h-Scaling},
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 = {150--170},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16336-4\_8},
doi = {10.1007/978-3-031-16336-4\_8},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/RandoneBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/SquillaceTTV22,
author = {Giuseppe Squillace and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marco Paolieri},
title = {An Algorithm for the Formal Reduction of Differential Equations as
Over-Approximations},
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 = {173--191},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16336-4\_9},
doi = {10.1007/978-3-031-16336-4\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/SquillaceTTV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-15169,
author = {Georgios Argyris and
Alberto Lluch{-}Lafuente and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Minimization of Dynamical Systems over Monoids},
journal = {CoRR},
volume = {abs/2206.15169},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.15169},
doi = {10.48550/ARXIV.2206.15169},
eprinttype = {arXiv},
eprint = {2206.15169},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-15169.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/OvchinnikovPPT21,
author = {Alexey Ovchinnikov and
Isabel Cristina P{\'{e}}rez{-}Verona and
Gleb Pogudin and
Mirco Tribastone},
title = {{CLUE:} exact maximal reduction of kinetic models by constrained lumping
of differential equations},
journal = {Bioinform.},
volume = {37},
number = {12},
pages = {1732--1738},
year = {2021},
url = {https://doi.org/10.1093/bioinformatics/btab010},
doi = {10.1093/BIOINFORMATICS/BTAB010},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/OvchinnikovPPT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/CardelliPTTVW21,
author = {Luca Cardelli and
Isabel Cristina P{\'{e}}rez{-}Verona and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin and
Tabea Waizmann},
title = {Exact maximal reduction of stochastic reaction networks by species
lumping},
journal = {Bioinform.},
volume = {37},
number = {15},
pages = {2175--2182},
year = {2021},
url = {https://doi.org/10.1093/bioinformatics/btab081},
doi = {10.1093/BIOINFORMATICS/BTAB081},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/CardelliPTTVW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/OvchinnikovPPT21a,
author = {Alexey Ovchinnikov and
Isabel Cristina P{\'{e}}rez{-}Verona and
Gleb Pogudin and
Mirco Tribastone},
title = {{CLUE:} exact maximal reduction of kinetic models by constrained lumping
of differential equations},
journal = {Bioinform.},
volume = {37},
number = {19},
pages = {3385},
year = {2021},
url = {https://doi.org/10.1093/bioinformatics/btab258},
doi = {10.1093/BIOINFORMATICS/BTAB258},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/OvchinnikovPPT21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pomacs/RandoneBT21,
author = {Francesca Randone and
Luca Bortolussi and
Mirco Tribastone},
title = {Refining Mean-field Approximations by Dynamic State Truncation},
journal = {Proc. {ACM} Meas. Anal. Comput. Syst.},
volume = {5},
number = {2},
pages = {25:1--25:30},
year = {2021},
url = {https://doi.org/10.1145/3460092},
doi = {10.1145/3460092},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pomacs/RandoneBT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Perez-VeronaTV21,
author = {Isabel Cristina P{\'{e}}rez{-}Verona and
Mirco Tribastone and
Andrea Vandin},
title = {A large-scale assessment of exact lumping of quantitative models in
the BioModels repository},
journal = {Theor. Comput. Sci.},
volume = {893},
pages = {41--59},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2021.06.026},
doi = {10.1016/J.TCS.2021.06.026},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Perez-VeronaTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/ArgyrisLTTV21,
author = {Georgios Argyris and
Alberto Lluch{-}Lafuente and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Eugenio Cinquemani and
Lo{\"{\i}}c Paulev{\'{e}}},
title = {Reducing Boolean Networks with Backward Boolean Equivalence},
booktitle = {Computational Methods in Systems Biology - 19th International Conference,
{CMSB} 2021, Bordeaux, France, September 22-24, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12881},
pages = {1--18},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85633-5\_1},
doi = {10.1007/978-3-030-85633-5\_1},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/ArgyrisLTTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/0001BLTTV21,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Efficient Local Computation of Differential Bisimulations via Coupling
and Up-to Methods},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--14},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470555},
doi = {10.1109/LICS52264.2021.9470555},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/0001BLTTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/CardelliGLTTV21,
author = {Luca Cardelli and
Radu Grosu and
Kim G. Larsen and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Alessandro Abate and
Andrea Marin},
title = {Lumpability for Uncertain Continuous-Time Markov Chains},
booktitle = {Quantitative Evaluation of Systems - 18th International Conference,
{QEST} 2021, Paris, France, August 23-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12846},
pages = {391--409},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85172-9\_21},
doi = {10.1007/978-3-030-85172-9\_21},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/CardelliGLTTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SimicIT21,
author = {Stella Simic and
Omar Inverso and
Mirco Tribastone},
editor = {Radu Calinescu and
Corina S. Pasareanu},
title = {Bit-Precise Verification of Discontinuity Errors Under Fixed-Point
Arithmetic},
booktitle = {Software Engineering and Formal Methods - 19th International Conference,
{SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13085},
pages = {443--460},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92124-8\_25},
doi = {10.1007/978-3-030-92124-8\_25},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/SimicIT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/RandoneBT21,
author = {Francesca Randone and
Luca Bortolussi and
Mirco Tribastone},
editor = {Longbo Huang and
Anshul Gandhi and
Negar Kiyavash and
Jia Wang},
title = {Refining Mean-field Approximations by Dynamic State Truncation},
booktitle = {{SIGMETRICS} '21: {ACM} {SIGMETRICS} / International Conference on
Measurement and Modeling of Computer Systems, Virtual Event, China,
June 14-18, 2021},
pages = {31--32},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3410220.3460099},
doi = {10.1145/3410220.3460099},
timestamp = {Mon, 07 Jun 2021 12:10:45 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/RandoneBT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/IncertoNT21,
author = {Emilio Incerto and
Annalisa Napolitano and
Mirco Tribastone},
editor = {Johann Bourcier and
Zhen Ming (Jack) Jiang and
Cor{-}Paul Bezemer and
Vittorio Cortellessa and
Daniele Di Pompeo and
Ana Lucia Varbanescu},
title = {Learning Queuing Networks via Linear Optimization},
booktitle = {{ICPE} '21: {ACM/SPEC} International Conference on Performance Engineering,
Virtual Event, France, April 19-21, 2021},
pages = {51--60},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3427921.3450245},
doi = {10.1145/3427921.3450245},
timestamp = {Wed, 21 Apr 2021 09:00:35 +0200},
biburl = {https://dblp.org/rec/conf/wosp/IncertoNT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-03342,
author = {Luca Cardelli and
Isabel Cristina P{\'{e}}rez{-}Verona and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin and
Tabea Waizmann},
title = {Exact maximal reduction of stochastic reaction networks by species
lumping},
journal = {CoRR},
volume = {abs/2101.03342},
year = {2021},
url = {https://arxiv.org/abs/2101.03342},
eprinttype = {arXiv},
eprint = {2101.03342},
timestamp = {Sun, 24 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-03342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-13160,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Efficient Local Computation of Differential Bisimulations via Coupling
and Up-to Methods},
journal = {CoRR},
volume = {abs/2104.13160},
year = {2021},
url = {https://arxiv.org/abs/2104.13160},
eprinttype = {arXiv},
eprint = {2104.13160},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-13160.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-15476,
author = {Georgios Argyris and
Alberto Lluch{-}Lafuente and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Reducing Boolean Networks with Backward Boolean Equivalence},
journal = {CoRR},
volume = {abs/2106.15476},
year = {2021},
url = {https://arxiv.org/abs/2106.15476},
eprinttype = {arXiv},
eprint = {2106.15476},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-15476.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/CardelliTT20,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski},
title = {From electric circuits to chemical networks},
journal = {Nat. Comput.},
volume = {19},
number = {1},
pages = {237--248},
year = {2020},
url = {https://doi.org/10.1007/s11047-019-09761-7},
doi = {10.1007/S11047-019-09761-7},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/CardelliTT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SimicBIT20,
author = {Stella Simic and
Alberto Bemporad and
Omar Inverso and
Mirco Tribastone},
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {Tight Error Analysis in Fixed-Point Arithmetic},
booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
pages = {318--336},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2\_17},
doi = {10.1007/978-3-030-63461-2\_17},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SimicBIT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/IncertoNT20,
author = {Emilio Incerto and
Annalisa Napolitano and
Mirco Tribastone},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Inferring Performance from Code: {A} Review},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {307--322},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_17},
doi = {10.1007/978-3-030-61362-4\_17},
timestamp = {Thu, 29 Oct 2020 15:56:14 +0100},
biburl = {https://dblp.org/rec/conf/isola/IncertoNT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/IncertoNT20,
author = {Emilio Incerto and
Annalisa Napolitano and
Mirco Tribastone},
title = {Statistical Learning of Markov Chains of Programs},
booktitle = {28th International Symposium on Modeling, Analysis, and Simulation
of Computer and Telecommunication Systems, {MASCOTS} 2020, Nice, France,
November 17-19, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MASCOTS50786.2020.9285947},
doi = {10.1109/MASCOTS50786.2020.9285947},
timestamp = {Tue, 12 Jan 2021 15:26:06 +0100},
biburl = {https://dblp.org/rec/conf/mascots/IncertoNT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/GarbiIT20,
author = {Giulio Garbi and
Emilio Incerto and
Mirco Tribastone},
editor = {Jos{\'{e}} Nelson Amaral and
Anne Koziolek and
Catia Trubiani and
Alexandru Iosup},
title = {Learning Queuing Networks by Recurrent Neural Networks},
booktitle = {{ICPE} '20: {ACM/SPEC} International Conference on Performance Engineering,
Edmonton, AB, Canada, April 20-24, 2020},
pages = {56--66},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3358960.3379134},
doi = {10.1145/3358960.3379134},
timestamp = {Thu, 07 May 2020 13:27:36 +0200},
biburl = {https://dblp.org/rec/conf/wosp/GarbiIT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-10788,
author = {Giulio Garbi and
Emilio Incerto and
Mirco Tribastone},
title = {Learning Queuing Networks by Recurrent Neural Networks},
journal = {CoRR},
volume = {abs/2002.10788},
year = {2020},
url = {https://arxiv.org/abs/2002.10788},
eprinttype = {arXiv},
eprint = {2002.10788},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-10788.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-11961,
author = {Alexey Ovchinnikov and
Isabel Cristina P{\'{e}}rez{-}Verona and
Gleb Pogudin and
Mirco Tribastone},
title = {{CLUE:} Exact maximal reduction of kinetic models by constrained lumping
of differential equations},
journal = {CoRR},
volume = {abs/2004.11961},
year = {2020},
url = {https://arxiv.org/abs/2004.11961},
eprinttype = {arXiv},
eprint = {2004.11961},
timestamp = {Thu, 30 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-11961.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-06987,
author = {Tabea Waizmann and
Luca Bortolussi and
Andrea Vandin and
Mirco Tribastone},
title = {Improved estimations of stochastic chemical kinetics by finite state
expansion},
journal = {CoRR},
volume = {abs/2006.06987},
year = {2020},
url = {https://arxiv.org/abs/2006.06987},
eprinttype = {arXiv},
eprint = {2006.06987},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-06987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/GastBT19,
author = {Nicolas Gast and
Luca Bortolussi and
Mirco Tribastone},
title = {Size expansions of mean field approximation: Transient and steady-state
analysis},
journal = {Perform. Evaluation},
volume = {129},
pages = {60--80},
year = {2019},
url = {https://doi.org/10.1016/j.peva.2018.09.005},
doi = {10.1016/J.PEVA.2018.09.005},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/GastBT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CardelliTTV19,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Comparing chemical reaction networks: {A} categorical and algorithmic
perspective},
journal = {Theor. Comput. Sci.},
volume = {765},
pages = {47--66},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2017.12.018},
doi = {10.1016/J.TCS.2017.12.018},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CardelliTTV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CardelliTTV19a,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Symbolic computation of differential equivalences},
journal = {Theor. Comput. Sci.},
volume = {777},
pages = {132--154},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.03.018},
doi = {10.1016/J.TCS.2019.03.018},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CardelliTTV19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/WhitbyCKLTT19,
author = {Max Whitby and
Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti and
Mirco Tribastone and
Max Tschaikowski},
title = {{PID} Control of Biochemical Reaction Networks},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {8372--8379},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9029172},
doi = {10.1109/CDC40024.2019.9029172},
timestamp = {Fri, 04 Mar 2022 13:30:46 +0100},
biburl = {https://dblp.org/rec/conf/cdc/WhitbyCKLTT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/Perez-VeronaTV19,
author = {Isabel Cristina P{\'{e}}rez{-}Verona and
Mirco Tribastone and
Andrea Vandin},
editor = {Luca Bortolussi and
Guido Sanguinetti},
title = {A Large-Scale Assessment of Exact Model Reduction in the BioModels
Repository},
booktitle = {Computational Methods in Systems Biology - 17th International Conference,
{CMSB} 2019, Trieste, Italy, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11773},
pages = {248--265},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31304-3\_13},
doi = {10.1007/978-3-030-31304-3\_13},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/Perez-VeronaTV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/Perez-VeronaTT19,
author = {Isabel Cristina P{\'{e}}rez{-}Verona and
Mirco Tribastone and
Max Tschaikowski},
editor = {Milan Ceska and
Nicola Paoletti},
title = {Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks},
booktitle = {Hybrid Systems Biology - 6th International Workshop, {HSB} 2019, Prague,
Czech Republic, April 6-7, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11705},
pages = {45--62},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-28042-0\_4},
doi = {10.1007/978-3-030-28042-0\_4},
timestamp = {Wed, 30 Oct 2019 16:34:37 +0100},
biburl = {https://dblp.org/rec/conf/hsb/Perez-VeronaTT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/DoncelGTTV19,
author = {Josu Doncel and
Nicolas Gast and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {David Parker and
Verena Wolf},
title = {{UTOPIC:} Under-Approximation Through Optimal Control},
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 = {277--291},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_16},
doi = {10.1007/978-3-030-30281-8\_16},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/DoncelGTTV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/IncertoT19,
author = {Emilio Incerto and
Mirco Tribastone},
editor = {Varsha Apte and
Antinisca Di Marco and
Marin Litoiu and
Jos{\'{e}} Merseguer},
title = {Model-based Performance Self-adaptation: {A} Tutorial},
booktitle = {Companion of the 2019 {ACM/SPEC} International Conference on Performance
Engineering, {ICPE} 2019, Mumbai, India, April 07-11, 2019},
pages = {49--52},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302541.3310293},
doi = {10.1145/3302541.3310293},
timestamp = {Mon, 08 Apr 2019 08:12:42 +0200},
biburl = {https://dblp.org/rec/conf/wosp/IncertoT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-10390,
author = {Max Whitby and
Luca Cardelli and
Marta Kwiatkowska and
Luca Laurenti and
Mirco Tribastone and
Max Tschaikowski},
title = {{PID} Control of Biochemical Reaction Networks},
journal = {CoRR},
volume = {abs/1903.10390},
year = {2019},
url = {http://arxiv.org/abs/1903.10390},
eprinttype = {arXiv},
eprint = {1903.10390},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-10390.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/GastBT18,
author = {Nicolas Gast and
Luca Bortolussi and
Mirco Tribastone},
title = {Size Expansions of Mean Field Approximation: Transient and Steady-State
Analysis},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {46},
number = {3},
pages = {25--26},
year = {2018},
url = {https://doi.org/10.1145/3308897.3308909},
doi = {10.1145/3308897.3308909},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmetrics/GastBT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/TognazziTTV18,
author = {Stefano Tognazzi and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Backward Invariance for Linear Differential Algebraic Equations},
booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
FL, USA, December 17-19, 2018},
pages = {3771--3776},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CDC.2018.8619710},
doi = {10.1109/CDC.2018.8619710},
timestamp = {Fri, 04 Mar 2022 13:30:11 +0100},
biburl = {https://dblp.org/rec/conf/cdc/TognazziTTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/IncertoTT18,
author = {Emilio Incerto and
Mirco Tribastone and
Catia Trubiani},
editor = {Marco Aldinucci and
Luca Padovani and
Massimo Torquati},
title = {Combined Vertical and Horizontal Autoscaling Through Model Predictive
Control},
booktitle = {Euro-Par 2018: Parallel Processing - 24th International Conference
on Parallel and Distributed Computing, Turin, Italy, August 27-31,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11014},
pages = {147--159},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96983-1\_11},
doi = {10.1007/978-3-319-96983-1\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/IncertoTT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/InversoBT18,
author = {Omar Inverso and
Alberto Bemporad and
Mirco Tribastone},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {SAT-based synthesis of spoofing attacks in cyber-physical control
systems},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {1--9},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00009},
doi = {10.1109/ICCPS.2018.00009},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/InversoBT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/TognazziTTV18,
author = {Stefano Tognazzi and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Differential Equivalence Yields Network Centrality},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {186--201},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_13},
doi = {10.1007/978-3-030-03424-5\_13},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/TognazziTTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Tribastone18,
author = {Mirco Tribastone},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Software Performance by Construction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {466--470},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_27},
doi = {10.1007/978-3-030-03418-4\_27},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/Tribastone18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/IncertoNT18,
author = {Emilio Incerto and
Annalisa Napolitano and
Mirco Tribastone},
title = {Moving Horizon Estimation of Service Demands in Queuing Networks},
booktitle = {26th {IEEE} International Symposium on Modeling, Analysis, and Simulation
of Computer and Telecommunication Systems, {MASCOTS} 2018, Milwaukee,
WI, USA, September 25-28, 2018},
pages = {348--354},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/MASCOTS.2018.00040},
doi = {10.1109/MASCOTS.2018.00040},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/IncertoNT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/CardelliTTV18,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Annabelle McIver and
Andr{\'{a}}s Horv{\'{a}}th},
title = {Guaranteed Error Bounds on Approximate Model Abstractions Through
Reachability Analysis},
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 = {104--121},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99154-2\_7},
doi = {10.1007/978-3-319-99154-2\_7},
timestamp = {Tue, 03 Mar 2020 12:16:34 +0100},
biburl = {https://dblp.org/rec/conf/qest/CardelliTTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/TribastoneV18,
author = {Mirco Tribastone and
Andrea Vandin},
editor = {Bj{\"{o}}rn Johansson and
Sanjay Jain},
title = {Speeding up stochastic and Deterministic simulation by Aggregation:
an Advanced Tutorial},
booktitle = {2018 Winter Simulation Conference, {WSC} 2018, Gothenburg, Sweden,
December 9-12, 2018},
pages = {336--350},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/WSC.2018.8632364},
doi = {10.1109/WSC.2018.8632364},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsc/TribastoneV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-06888,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Guaranteed Error Bounds on Approximate Model Abstractions through
Reachability Analysis},
journal = {CoRR},
volume = {abs/1807.06888},
year = {2018},
url = {http://arxiv.org/abs/1807.06888},
eprinttype = {arXiv},
eprint = {1807.06888},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-06888.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-03308,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski},
title = {From Electric Circuits to Chemical Networks},
journal = {CoRR},
volume = {abs/1812.03308},
year = {2018},
url = {http://arxiv.org/abs/1812.03308},
eprinttype = {arXiv},
eprint = {1812.03308},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-03308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/TschaikowskiT17,
author = {Max Tschaikowski and
Mirco Tribastone},
title = {A computational approach to steady-state convergence of fluid limits
for Coxian queuing networks with abandonment},
journal = {Ann. Oper. Res.},
volume = {252},
number = {1},
pages = {101--120},
year = {2017},
url = {https://doi.org/10.1007/s10479-016-2193-5},
doi = {10.1007/S10479-016-2193-5},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/TschaikowskiT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/TschaikowskiT17,
author = {Max Tschaikowski and
Mirco Tribastone},
title = {Spatial fluid limits for stochastic mobile networks},
journal = {Perform. Evaluation},
volume = {109},
pages = {52--76},
year = {2017},
url = {https://doi.org/10.1016/j.peva.2016.12.005},
doi = {10.1016/J.PEVA.2016.12.005},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/TschaikowskiT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pnas/CardelliTTV17,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Maximal aggregation of polynomial dynamical systems},
journal = {Proc. Natl. Acad. Sci. {USA}},
volume = {114},
number = {38},
pages = {10029--10034},
year = {2017},
url = {https://doi.org/10.1073/pnas.1702697114},
doi = {10.1073/PNAS.1702697114},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pnas/CardelliTTV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CardelliTTV17,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Syntactic Markovian Bisimulation for Chemical Reaction Networks},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {466--483},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_23},
doi = {10.1007/978-3-319-63121-9\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CardelliTTV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/TognazziTTV17,
author = {Stefano Tognazzi and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Peter A. N. Bosman},
title = {{EGAC:} a genetic algorithm to compare chemical reaction networks},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,
{GECCO} 2017, Berlin, Germany, July 15-19, 2017},
pages = {833--840},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3071178.3071265},
doi = {10.1145/3071178.3071265},
timestamp = {Tue, 06 Nov 2018 11:06:34 +0100},
biburl = {https://dblp.org/rec/conf/gecco/TognazziTTV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/IncertoTT17,
author = {Emilio Incerto and
Mirco Tribastone and
Catia Trubiani},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {Software performance self-adaptation through efficient model predictive
control},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {485--496},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115660},
doi = {10.1109/ASE.2017.8115660},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/IncertoTT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CardelliTTV17,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Axel Legay and
Tiziana Margaria},
title = {{ERODE:} {A} Tool for the Evaluation and Reduction of Ordinary Differential
Equations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {310--328},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_19},
doi = {10.1007/978-3-662-54580-5\_19},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CardelliTTV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CardelliTTV17,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Syntactic Markovian Bisimulation for Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/1707.02132},
year = {2017},
url = {http://arxiv.org/abs/1707.02132},
eprinttype = {arXiv},
eprint = {1707.02132},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CardelliTTV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/TschaikowskiT16,
author = {Max Tschaikowski and
Mirco Tribastone},
title = {Approximate Reduction of Heterogenous Nonlinear Models With Differential
Hulls},
journal = {{IEEE} Trans. Autom. Control.},
volume = {61},
number = {4},
pages = {1099--1104},
year = {2016},
url = {https://doi.org/10.1109/TAC.2015.2457172},
doi = {10.1109/TAC.2015.2457172},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/TschaikowskiT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/0001MTA16,
author = {Anup Das and
Geoff V. Merrett and
Mirco Tribastone and
Bashir M. Al{-}Hashimi},
title = {Workload Change Point Detection for Runtime Thermal Management of
Embedded Systems},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {35},
number = {8},
pages = {1358--1371},
year = {2016},
url = {https://doi.org/10.1109/TCAD.2015.2504875},
doi = {10.1109/TCAD.2015.2504875},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/0001MTA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/IncertoTT16,
author = {Emilio Incerto and
Mirco Tribastone and
Catia Trubiani},
title = {Symbolic performance adaptation},
booktitle = {Proceedings of the 11th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016, Austin, Texas,
USA, May 14-22, 2016},
pages = {140--150},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897053.2897060},
doi = {10.1145/2897053.2897060},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/IncertoTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CardelliTTV16,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Comparing Chemical Reaction Networks: {A} Categorical and Algorithmic
Perspective},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {485--494},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935318},
doi = {10.1145/2933575.2935318},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/CardelliTTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CardelliTTV16,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Symbolic computation of differential equivalences},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {137--150},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837649},
doi = {10.1145/2837614.2837649},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/CardelliTTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KowalTTS16,
author = {Matthias Kowal and
Max Tschaikowski and
Mirco Tribastone and
Ina Schaefer},
editor = {Jens Knoop and
Uwe Zdun},
title = {Scaling size and parameter spaces in variability-aware software performance
models},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
23.-26. Februar 2016, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-252}},
pages = {33--34},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/764},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/KowalTTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/VandinT16,
author = {Andrea Vandin and
Mirco Tribastone},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Quantitative Abstractions for Collective Adaptive Systems},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {202--232},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_7},
doi = {10.1007/978-3-319-34096-8\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/VandinT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CardelliTTV16,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Efficient Syntax-Driven Lumping of Differential Equations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {93--111},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_6},
doi = {10.1007/978-3-662-49674-9\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CardelliTTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/WaizmannT16,
author = {Tabea Waizmann and
Mirco Tribastone},
editor = {Alberto Avritzer and
Alexandru Iosup and
Xiaoyun Zhu and
Steffen Becker},
title = {DiffLQN: Differential Equation Analysis of Layered Queuing Networks},
booktitle = {Companion Publication for {ACM/SPEC} on International Conference on
Performance Engineering, {ICPE} 2016 Companion, Delft, The Netherlands,
March 12-16, 2016},
pages = {63--68},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2859889.2859896},
doi = {10.1145/2859889.2859896},
timestamp = {Sun, 02 Jun 2019 21:12:21 +0200},
biburl = {https://dblp.org/rec/conf/wosp/WaizmannT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Tribastone16,
author = {Mirco Tribastone},
editor = {Maurice H. ter Beek and
Michele Loreti},
title = {Challenges in Quantitative Abstractions for Collective Adaptive Systems},
booktitle = {Proceedings of the Workshop on FORmal methods for the quantitative
Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna,
Austria, 8 July 2016},
series = {{EPTCS}},
volume = {217},
pages = {62--68},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.217.8},
doi = {10.4204/EPTCS.217.8},
timestamp = {Mon, 16 Sep 2019 14:48:18 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tribastone16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/TribastoneW16,
editor = {Mirco Tribastone and
Herbert Wiklicky},
title = {Proceedings 14th International Workshop Quantitative Aspects of Programming
Languages and Systems, {QAPL} 2016, Eindhoven, The Netherlands, April
2-3, 2016},
series = {{EPTCS}},
volume = {227},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.227},
doi = {10.4204/EPTCS.227},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TribastoneW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/TschaikowskiT15,
author = {Max Tschaikowski and
Mirco Tribastone},
title = {A unified framework for differential aggregations in Markovian process
algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {2},
pages = {238--258},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.10.004},
doi = {10.1016/J.JLAMP.2014.10.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/TschaikowskiT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GilmoreHT15,
author = {Stephen Gilmore and
Jane Hillston and
Mirco Tribastone},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Service Composition for Collective Adaptive Systems},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {490--505},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_28},
doi = {10.1007/978-3-319-15545-6\_28},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GilmoreHT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/GastMRT15,
author = {Nicolas Gast and
Guillaume Massonnet and
Dani{\"{e}}l Reijsbergen and
Mirco Tribastone},
editor = {James Bailey and
Alistair Moffat and
Charu C. Aggarwal and
Maarten de Rijke and
Ravi Kumar and
Vanessa Murdock and
Timos K. Sellis and
Jeffrey Xu Yu},
title = {Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning},
booktitle = {Proceedings of the 24th {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2015, Melbourne, VIC, Australia,
October 19 - 23, 2015},
pages = {703--712},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2806416.2806569},
doi = {10.1145/2806416.2806569},
timestamp = {Mon, 26 Apr 2021 09:27:03 +0200},
biburl = {https://dblp.org/rec/conf/cikm/GastMRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CardelliTTV15,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Forward and Backward Bisimulations for Chemical Reaction Networks},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {226--239},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.226},
doi = {10.4230/LIPICS.CONCUR.2015.226},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/CardelliTTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KowalTTS15,
author = {Matthias Kowal and
Max Tschaikowski and
Mirco Tribastone and
Ina Schaefer},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Scaling Size and Parameter Spaces in Variability-Aware Software Performance
Models {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {407--417},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.16},
doi = {10.1109/ASE.2015.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KowalTTS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/IacobelliTV15,
author = {Giulio Iacobelli and
Mirco Tribastone and
Andrea Vandin},
editor = {Giuseppe F. Italiano and
Giovanni Pighizzini and
Donald Sannella},
title = {Differential Bisimulation for a Markovian Process Algebra},
booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International
Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9234},
pages = {293--306},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48057-1\_23},
doi = {10.1007/978-3-662-48057-1\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/IacobelliTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/ShamsT15,
author = {Farshad Shams and
Mirco Tribastone},
editor = {Javier Campos and
Boudewijn R. Haverkort},
title = {Power Trading Coordination in Smart Grids Using Dynamic Learning and
Coalitional Game Theory},
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 = {54--69},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22264-6\_4},
doi = {10.1007/978-3-319-22264-6\_4},
timestamp = {Sat, 19 Oct 2019 20:32:11 +0200},
biburl = {https://dblp.org/rec/conf/qest/ShamsT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KowalST15,
author = {Matthias Kowal and
Ina Schaefer and
Mirco Tribastone},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {Family-Based Performance Analysis of Variant-Rich Software Systems},
booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
(WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
Dresden, Germany},
series = {{LNI}},
volume = {{P-239}},
pages = {61--62},
publisher = {{GI}},
year = {2015},
timestamp = {Thu, 14 Nov 2019 16:35:28 +0100},
biburl = {https://dblp.org/rec/conf/se/KowalST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/IncertoTT15,
author = {Emilio Incerto and
Mirco Tribastone and
Catia Trubiani},
editor = {Danilo Ardagna and
Andreas Brunnert and
Giuliano Casale and
Andr{\'{e}} van Hoorn},
title = {A proactive approach for runtime self-adaptation based on queueing
network fluid analysis},
booktitle = {Proceedings of the 1st International Workshop on Quality-Aware DevOps,
{QUDOS} 2015, Bergamo, Italy, September 1, 2015},
pages = {19--24},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2804371.2804375},
doi = {10.1145/2804371.2804375},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/IncertoTT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BulejBGHKMTTT15,
author = {Lubom{\'{\i}}r Bulej and
Tom{\'{a}}s Bures and
Ilias Gerostathopoulos and
Vojtech Hork{\'{y}} and
Jaroslav Keznikl and
Luk{\'{a}}s Marek and
Max Tschaikowski and
Mirco Tribastone and
Petr Tuma},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {Supporting Performance Awareness in Autonomous Ensembles},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {291--322},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_8},
doi = {10.1007/978-3-319-16310-9\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/BulejBGHKMTTT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BertrandT15,
editor = {Nathalie Bertrand and
Mirco Tribastone},
title = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming
Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015},
series = {{EPTCS}},
volume = {194},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.194},
doi = {10.4204/EPTCS.194},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BertrandT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CardelliTTV15,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Forward and Backward Bisimulations for Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/1507.00163},
year = {2015},
url = {http://arxiv.org/abs/1507.00163},
eprinttype = {arXiv},
eprint = {1507.00163},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CardelliTTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/at/KowalPST14,
author = {Matthias Kowal and
Christian Prehofer and
Ina Schaefer and
Mirco Tribastone},
title = {Model-based Development and Performance Analysis for Evolving Manufacturing
Systems},
journal = {Autom.},
volume = {62},
number = {11},
pages = {794--802},
year = {2014},
url = {http://www.degruyter.com/view/j/auto.2014.62.issue-11/auto-2014-1098/auto-2014-1098.xml},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/at/KowalPST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/CasaleTH14,
author = {Giuliano Casale and
Mirco Tribastone and
Peter G. Harrison},
title = {Blending randomness in closed queueing network models},
journal = {Perform. Evaluation},
volume = {82},
pages = {15--38},
year = {2014},
url = {https://doi.org/10.1016/j.peva.2014.09.001},
doi = {10.1016/J.PEVA.2014.09.001},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/CasaleTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TschaikowskiT14,
author = {Max Tschaikowski and
Mirco Tribastone},
title = {Tackling continuous state-space explosion in a Markovian process algebra},
journal = {Theor. Comput. Sci.},
volume = {517},
pages = {1--33},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.08.016},
doi = {10.1016/J.TCS.2013.08.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TschaikowskiT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TschaikowskiT14a,
author = {Max Tschaikowski and
Mirco Tribastone},
title = {Exact fluid lumpability in Markovian process algebra},
journal = {Theor. Comput. Sci.},
volume = {538},
pages = {140--166},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.07.029},
doi = {10.1016/J.TCS.2013.07.029},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TschaikowskiT14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/KowalST14,
author = {Matthias Kowal and
Ina Schaefer and
Mirco Tribastone},
editor = {Stefania Gnesi and
Arend Rensink},
title = {Family-Based Performance Analysis of Variant-Rich Software Systems},
booktitle = {Fundamental Approaches to Software Engineering - 17th International
Conference, {FASE} 2014, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8411},
pages = {94--108},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54804-8\_7},
doi = {10.1007/978-3-642-54804-8\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/KowalST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NicolaIT14,
author = {Rocco De Nicola and
Giulio Iacobelli and
Mirco Tribastone},
editor = {Erika {\'{A}}brah{\'{a}}m and
Catuscia Palamidessi},
title = {Dimming Relations for the Efficient Analysis of Concurrent Systems
via Action Abstraction},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
as Part of the 9th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8461},
pages = {216--231},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43613-4\_14},
doi = {10.1007/978-3-662-43613-4\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/NicolaIT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GilmoreTV14,
author = {Stephen Gilmore and
Mirco Tribastone and
Andrea Vandin},
editor = {Elvira Albert and
Emil Sekerinski},
title = {An Analysis Pathway for the Quantitative Evaluation of Public Transport
Systems},
booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8739},
pages = {71--86},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10181-1\_5},
doi = {10.1007/978-3-319-10181-1\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/GilmoreTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/Tribastone14,
author = {Mirco Tribastone},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Patrick Heymans and
Julia Rubin and
Krzysztof Czarnecki and
Deepak Dhungana},
title = {Behavioral relations in a process algebra for variants},
booktitle = {18th International Software Product Line Conference, {SPLC} '14, Florence,
Italy, September 15-19, 2014},
pages = {82--91},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2648511.2648520},
doi = {10.1145/2648511.2648520},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/splc/Tribastone14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/TschaikowskiT14,
author = {Max Tschaikowski and
Mirco Tribastone},
editor = {Moshe Haviv and
William J. Knottenbelt and
Lorenzo Maggi and
Daniele Miorandi},
title = {A Partial-differential Approximation for Spatial Stochastic Process
Algebra},
booktitle = {8th International Conference on Performance Evaluation Methodologies
and Tools, {VALUETOOLS} 2014, Bratislava, Slovakia, December 9-11,
2014},
publisher = {{ICST}},
year = {2014},
url = {https://doi.org/10.4108/icst.valuetools.2014.258170},
doi = {10.4108/ICST.VALUETOOLS.2014.258170},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/TschaikowskiT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/Tribastone14,
author = {Mirco Tribastone},
editor = {Klaus{-}Dieter Lange and
John Murphy and
Walter Binder and
Jos{\'{e}} Merseguer},
title = {Efficient optimization of software performance models via parameter-space
pruning},
booktitle = {{ACM/SPEC} International Conference on Performance Engineering, ICPE'14,
Dublin, Ireland, March 22-26, 2014},
pages = {63--73},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568088.2568090},
doi = {10.1145/2568088.2568090},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/Tribastone14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/TschaikowskiT14,
author = {Max Tschaikowski and
Mirco Tribastone},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Extended Differential Aggregations in Process Algebra for Performance
and Biology},
booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects
of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,
12-13 April 2014},
series = {{EPTCS}},
volume = {154},
pages = {34--47},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.154.3},
doi = {10.4204/EPTCS.154.3},
timestamp = {Tue, 29 Dec 2020 18:21:13 +0100},
biburl = {https://dblp.org/rec/journals/corr/TschaikowskiT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BortolussiHT15,
author = {Luca Bortolussi and
Jane Hillston and
Mirco Tribastone},
editor = {Jeremy T. Bradley and
William J. Knottenbelt and
Nigel Thomas},
title = {Fluid Performability Analysis of Nested Automata Models},
booktitle = {Proceedings of the Seventh International Workshop on the Practical
Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
UK, May 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {310},
pages = {27--47},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2014.12.011},
doi = {10.1016/J.ENTCS.2014.12.011},
timestamp = {Thu, 10 Nov 2022 14:15:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BortolussiHT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/CasaleT13,
author = {Giuliano Casale and
Mirco Tribastone},
title = {Modelling exogenous variability in cloud deployments},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {40},
number = {4},
pages = {73--82},
year = {2013},
url = {https://doi.org/10.1145/2479942.2479951},
doi = {10.1145/2479942.2479951},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/CasaleT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Tribastone13,
author = {Mirco Tribastone},
title = {A Fluid Model for Layered Queueing Networks},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {6},
pages = {744--756},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.66},
doi = {10.1109/TSE.2012.66},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Tribastone13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/IacobelliT13,
author = {Giulio Iacobelli and
Mirco Tribastone},
title = {Lumpability of fluid models with heterogeneous agent types},
booktitle = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
pages = {1--11},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/DSN.2013.6575346},
doi = {10.1109/DSN.2013.6575346},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/IacobelliT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/BortolussiT13,
author = {Luca Bortolussi and
Mirco Tribastone},
editor = {Andr{\'{a}}s Horv{\'{a}}th and
Peter Buchholz and
Vittorio Cortellessa and
Luca Muscariello and
Mark S. Squillante},
title = {Differential analysis of interacting automata with immediate actions},
booktitle = {7th International Conference on Performance Evaluation Methodologies
and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013},
pages = {49--58},
publisher = {{ICST/ACM}},
year = {2013},
url = {https://doi.org/10.4108/icst.valuetools.2013.254364},
doi = {10.4108/ICST.VALUETOOLS.2013.254364},
timestamp = {Tue, 25 Sep 2018 18:26:26 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/BortolussiT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/TschaikowskiT13,
author = {Max Tschaikowski and
Mirco Tribastone},
editor = {Andr{\'{a}}s Horv{\'{a}}th and
Peter Buchholz and
Vittorio Cortellessa and
Luca Muscariello and
Mark S. Squillante},
title = {Insensitivity to service-time distributions for fluid queueing models},
booktitle = {7th International Conference on Performance Evaluation Methodologies
and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013},
pages = {273--281},
publisher = {{ICST/ACM}},
year = {2013},
url = {https://doi.org/10.4108/icst.valuetools.2013.254374},
doi = {10.4108/ICST.VALUETOOLS.2013.254374},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/TschaikowskiT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2012,
editor = {Mirco Tribastone and
Stephen Gilmore},
title = {Computer Performance Engineering - 9th European Workshop, {EPEW} 2012,
Munich, Germany, July 30, 2012, and 28th {UK} Workshop, {UKPEW} 2012,
Edinburgh, UK, July 2, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7587},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36781-6},
doi = {10.1007/978-3-642-36781-6},
isbn = {978-3-642-36780-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epew/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TschaikowskiT13,
author = {Max Tschaikowski and
Mirco Tribastone},
title = {Spatial Fluid Limits for Stochastic Mobile Networks},
journal = {CoRR},
volume = {abs/1307.4566},
year = {2013},
url = {http://arxiv.org/abs/1307.4566},
eprinttype = {arXiv},
eprint = {1307.4566},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TschaikowskiT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HillstonTG12,
author = {Jane Hillston and
Mirco Tribastone and
Stephen Gilmore},
title = {Stochastic Process Algebras: From Individuals to Populations},
journal = {Comput. J.},
volume = {55},
number = {7},
pages = {866--881},
year = {2012},
url = {https://doi.org/10.1093/comjnl/bxr094},
doi = {10.1093/COMJNL/BXR094},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/HillstonTG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TribastoneGH12,
author = {Mirco Tribastone and
Stephen Gilmore and
Jane Hillston},
title = {Scalable Differential Analysis of Process Algebra Models},
journal = {{IEEE} Trans. Software Eng.},
volume = {38},
number = {1},
pages = {205--219},
year = {2012},
url = {https://doi.org/10.1109/TSE.2010.82},
doi = {10.1109/TSE.2010.82},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/TribastoneGH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TribastoneDGH12,
author = {Mirco Tribastone and
Jie Ding and
Stephen Gilmore and
Jane Hillston},
title = {Fluid Rewards for a Stochastic Process Algebra},
journal = {{IEEE} Trans. Software Eng.},
volume = {38},
number = {4},
pages = {861--874},
year = {2012},
url = {https://doi.org/10.1109/TSE.2011.81},
doi = {10.1109/TSE.2011.81},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/TribastoneDGH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/TschaikowskiT12,
author = {Max Tschaikowski and
Mirco Tribastone},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Exact Fluid Lumpability for Markovian Process Algebra},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {380--394},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_27},
doi = {10.1007/978-3-642-32940-1\_27},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/TschaikowskiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/StrebelowTP12,
author = {Ronald Strebelow and
Mirco Tribastone and
Christian Prehofer},
title = {Performance Modeling of Design Patterns for Distributed Computation},
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 = {251--258},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/MASCOTS.2012.37},
doi = {10.1109/MASCOTS.2012.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/StrebelowTP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/TschaikowskiT12,
author = {Max Tschaikowski and
Mirco Tribastone},
title = {Generalised Communication for Interacting Agents},
booktitle = {Ninth International Conference on Quantitative Evaluation of Systems,
{QEST} 2012, London, United Kingdom, September 17-20, 2012},
pages = {178--188},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/QEST.2012.16},
doi = {10.1109/QEST.2012.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/TschaikowskiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BortolussiT12,
author = {Luca Bortolussi and
Mirco Tribastone},
editor = {David R. Kaeli and
Jerry Rolia and
Lizy K. John and
Diwakar Krishnamurthy},
title = {Fluid limits of queueing networks with batches},
booktitle = {Third Joint {WOSP/SIPEW} International Conference on Performance Engineering,
ICPE'12, Boston, MA, {USA} - April 22 - 25, 2012},
pages = {45--56},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2188286.2188296},
doi = {10.1145/2188286.2188296},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/BortolussiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/ArijoHTG11,
author = {Niaz Arijo and
Reiko Heckel and
Mirco Tribastone and
Stephen Gilmore},
title = {Modular performance modelling for mobile applications (abstracts only)},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {39},
number = {3},
pages = {18},
year = {2011},
url = {https://doi.org/10.1145/2160803.2160839},
doi = {10.1145/2160803.2160839},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/ArijoHTG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GilmoreGKMTV11,
author = {Stephen Gilmore and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Philip Mayer and
Mirco Tribastone and
D{\'{a}}niel Varr{\'{o}}},
title = {Non-functional properties in the model-driven development of service-oriented
systems},
journal = {Softw. Syst. Model.},
volume = {10},
number = {3},
pages = {287--311},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0155-y},
doi = {10.1007/S10270-010-0155-Y},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/GilmoreGKMTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/Tribastone11,
author = {Mirco Tribastone},
title = {Scalable Performance Evaluation of Computer Systems},
journal = {Softwaretechnik-Trends},
volume = {31},
number = {4},
year = {2011},
url = {http://pi.informatik.uni-siegen.de/stt/31\_4/08\_Sonstiges/mtribast-se2011.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/Tribastone11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/WirsingHTZ11,
author = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Mirco Tribastone and
Franco Zambonelli},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {{ASCENS:} Engineering Autonomic Service-Component Ensembles},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {1--24},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_1},
doi = {10.1007/978-3-642-35887-6\_1},
timestamp = {Mon, 26 Jun 2023 20:47:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/WirsingHTZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/Tribastone11,
author = {Mirco Tribastone},
title = {Approximate Mean Value Analysis of Process Algebra Models},
booktitle = {{MASCOTS} 2011, 19th Annual {IEEE/ACM} International Symposium on
Modeling, Analysis and Simulation of Computer and Telecommunication
Systems, Singapore, 25-27 July, 2011},
pages = {369--378},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/MASCOTS.2011.28},
doi = {10.1109/MASCOTS.2011.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/Tribastone11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/CasaleT11,
author = {Giuliano Casale and
Mirco Tribastone},
title = {Fluid Analysis of Queueing in Two-Stage Random Environments},
booktitle = {Eighth International Conference on Quantitative Evaluation of Systems,
{QEST} 2011, Aachen, Germany, 5-8 September, 2011},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QEST.2011.12},
doi = {10.1109/QEST.2011.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/CasaleT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/ArijoHTG11,
author = {Niaz Arijo and
Reiko Heckel and
Mirco Tribastone and
Stephen Gilmore},
editor = {Samuel Kounev and
Vittorio Cortellessa and
Raffaela Mirandola and
David J. Lilja},
title = {Modular performance modelling for mobile applications},
booktitle = {ICPE'11 - Second Joint {WOSP/SIPEW} International Conference on Performance
Engineering, Karlsruhe, Germany, March 14-16, 2011},
pages = {329--334},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1958746.1958793},
doi = {10.1145/1958746.1958793},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/ArijoHTG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/TribastoneG11,
author = {Mirco Tribastone and
Stephen Gilmore},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Scaling Performance Analysis Using Fluid-Flow Approximation},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {486--505},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_23},
doi = {10.1007/978-3-642-20401-2\_23},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/TribastoneG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/TribastoneMW10,
author = {Mirco Tribastone and
Philip Mayer and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Performance Prediction of Service-Oriented Systems with Layered Queueing
Networks},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {51--65},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_12},
doi = {10.1007/978-3-642-16561-0\_12},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/TribastoneMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/or/TribastoneG10,
author = {Mirco Tribastone and
Stephen Gilmore},
editor = {Bo Hu and
Karl Morasch and
Stefan Pickl and
Markus Siegle},
title = {Large-Scale Modelling with the {PEPA} Eclipse Plug-In},
booktitle = {Operations Research Proceedings 2010, Selected Papers of the Annual
International Conference of the German Operations Research Society,
Universit{\"{a}}t der Bundeswehr, M{\"{u}}nchen, September
1-3, 2010},
pages = {169--174},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20009-0\_27},
doi = {10.1007/978-3-642-20009-0\_27},
timestamp = {Fri, 19 May 2017 01:25:22 +0200},
biburl = {https://dblp.org/rec/conf/or/TribastoneG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BortolussiGHT10,
author = {Luca Bortolussi and
Vashti Galpin and
Jane Hillston and
Mirco Tribastone},
title = {Hybrid Semantics for {PEPA}},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {181--190},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.31},
doi = {10.1109/QEST.2010.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BortolussiGHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Tribastone10,
author = {Mirco Tribastone},
title = {Scalable Differential Analysis of Large Process Algebra Models},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {307},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.45},
doi = {10.1109/QEST.2010.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/Tribastone10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/Tribastone10,
author = {Mirco Tribastone},
editor = {Alan Adamson and
Andre B. Bondi and
Carlos Juiz and
Mark S. Squillante},
title = {Relating layered queueing networks and process algebra models},
booktitle = {Proceedings of the first joint {WOSP/SIPEW} International Conference
on Performance Engineering, San Jose, California, USA, January 28-30,
2010},
pages = {183--194},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1712605.1712634},
doi = {10.1145/1712605.1712634},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/Tribastone10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/TribastoneDG09,
author = {Mirco Tribastone and
Adam Duguid and
Stephen Gilmore},
title = {The {PEPA} eclipse plugin},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {36},
number = {4},
pages = {28--33},
year = {2009},
url = {https://doi.org/10.1145/1530873.1530880},
doi = {10.1145/1530873.1530880},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/TribastoneDG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ClarkGT09,
author = {Allan Clark and
Stephen Gilmore and
Mirco Tribastone},
editor = {Marsha Chechik and
Martin Wirsing},
title = {Scalable Analysis of Scalable Systems},
booktitle = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5503},
pages = {1--17},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_1},
doi = {10.1007/978-3-642-00593-0\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/ClarkGT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/ClarkGT09,
author = {Allan Clark and
Stephen Gilmore and
Mirco Tribastone},
editor = {Marco Bernardo and
Luca Padovani and
Gianluigi Zavattaro},
title = {Quantitative Analysis of Web Services Using {SRMC}},
booktitle = {Formal Methods for Web Services, 9th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
{SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5569},
pages = {296--339},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01918-0\_8},
doi = {10.1007/978-3-642-01918-0\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/ClarkGT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/ClarkDGT08,
author = {Allan Clark and
Adam Duguid and
Stephen Gilmore and
Mirco Tribastone},
editor = {Nigel Thomas and
Carlos Juiz},
title = {Partial Evaluation of {PEPA} Models for Fluid-Flow Analysis},
booktitle = {Computer Performance Engineering, 5th European Performance Engineering
Workshop, {EPEW} 2008, Palma de Mallorca, Spain, September 24-25,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5261},
pages = {2--16},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87412-6\_2},
doi = {10.1007/978-3-540-87412-6\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/epew/ClarkDGT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingHABCFGGGKLMMPSTTV08,
author = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Lucia Acciai and
Federico Banti and
Allan Clark and
Alessandro Fantechi and
Stephen Gilmore and
Stefania Gnesi and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Alessandro Lapadula and
Philip Mayer and
Franco Mazzanti and
Rosario Pugliese and
Andreas Schroeder and
Francesco Tiezzi and
Mirco Tribastone and
D{\'{a}}niel Varr{\'{o}}},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {SensoriaPatterns: Augmenting Service Engineering with Formal Analysis,
Transformation and Dynamicity},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {170--190},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_13},
doi = {10.1007/978-3-540-88479-8\_13},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WirsingHABCFGGGKLMMPSTTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Argent-KatwalaCFGMT08,
author = {Ashok Argent{-}Katwala and
Allan Clark and
Howard Foster and
Stephen Gilmore and
Philip Mayer and
Mirco Tribastone},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Safety and Response-Time Analysis of an Automotive Accident Assistance
Service},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {191--205},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_14},
doi = {10.1007/978-3-540-88479-8\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Argent-KatwalaCFGMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/TribastoneG08,
author = {Mirco Tribastone and
Stephen Gilmore},
title = {Automatic Translation of {UML} Sequence Diagrams into {PEPA} Models},
booktitle = {Fifth International Conference on the Quantitative Evaluaiton of Systems
{(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
pages = {205--214},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/QEST.2008.18},
doi = {10.1109/QEST.2008.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/TribastoneG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/ClarkGT08,
author = {Allan Clark and
Stephen Gilmore and
Mirco Tribastone},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Service-Level Agreements for Service-Oriented Computing},
booktitle = {Recent Trends in Algebraic Development Techniques, 19th International
Workshop, {WADT} 2008, Pisa, Italy, June 13-16, 2008, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5486},
pages = {21--36},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03429-9\_3},
doi = {10.1007/978-3-642-03429-9\_3},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/wadt/ClarkGT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/TribastoneG08,
author = {Mirco Tribastone and
Stephen Gilmore},
editor = {Alberto Avritzer and
Elaine J. Weyuker and
C. Murray Woodside},
title = {Automatic extraction of {PEPA} performance models from {UML} activity
diagrams annotated with the {MARTE} profile},
booktitle = {Proceedings of the 7th International Workshop on Software and Performance,
{WOSP} 2008, Princeton, NJ, USA, June 23-26, 2008},
pages = {67--78},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1383559.1383569},
doi = {10.1145/1383559.1383569},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/TribastoneG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/BarberaLST07,
author = {Mario Barbera and
Alfio Lombardo and
Giovanni Schembra and
Mirco Tribastone},
title = {An Analytical Model of a BitTorrent Peer},
booktitle = {15th Euromicro International Conference on Parallel, Distributed and
Network-Based Processing {(PDP} 2007), 7-9 February 2007, Naples,
Italy},
pages = {482--489},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PDP.2007.19},
doi = {10.1109/PDP.2007.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/BarberaLST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Tribastone07,
author = {Mirco Tribastone},
title = {The {PEPA} Plug-in Project},
booktitle = {Fourth International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
{UK}},
pages = {53--54},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/QEST.2007.34},
doi = {10.1109/QEST.2007.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/Tribastone07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/ClarkGHT07,
author = {Allan Clark and
Stephen Gilmore and
Jane Hillston and
Mirco Tribastone},
editor = {Marco Bernardo and
Jane Hillston},
title = {Stochastic Process Algebras},
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 = {132--179},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_4},
doi = {10.1007/978-3-540-72522-0\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/ClarkGHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BravettiGGT07,
author = {Mario Bravetti and
Stephen Gilmore and
Claudio Guidi and
Mirco Tribastone},
editor = {Gilles Barthe and
C{\'{e}}dric Fournet},
title = {Replicating Web Services for Scalability},
booktitle = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
France, November 5-6, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4912},
pages = {204--221},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78663-4\_15},
doi = {10.1007/978-3-540-78663-4\_15},
timestamp = {Sat, 19 Oct 2019 20:09:31 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BravettiGGT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/WirsingNGHLTZ06,
author = {Martin Wirsing and
Rocco De Nicola and
Stephen Gilmore and
Matthias M. H{\"{o}}lzl and
Roberto Lucchi and
Mirco Tribastone and
Gianluigi Zavattaro},
editor = {Ugo Montanari and
Donald Sannella and
Roberto Bruni},
title = {SensoriaProcess Calculi for Service-Oriented Computing},
booktitle = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca,
Italy, November 7-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4661},
pages = {30--50},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75336-0\_3},
doi = {10.1007/978-3-540-75336-0\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/WirsingNGHLTZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/GilmoreT06,
author = {Stephen T. Gilmore and
Mirco Tribastone},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Evaluating the Scalability of a Web Service-Based Distributed e-Learning
and Course Management System},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {214--226},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_14},
doi = {10.1007/11841197\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/GilmoreT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/BarberaLST05,
author = {Mario Barbera and
Alfio Lombardo and
Giovanni Schembra and
Mirco Tribastone},
title = {A Markov model of a freerider in a BitTorrent {P2P} network},
booktitle = {Proceedings of the Global Telecommunications Conference, 2005. {GLOBECOM}
'05, St. Louis, Missouri, USA, 28 November - 2 December 2005},
pages = {5},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/GLOCOM.2005.1577784},
doi = {10.1109/GLOCOM.2005.1577784},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/globecom/BarberaLST05.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-04-15 23:13 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:
