Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: José Merseguer
@article{DBLP:journals/jrie/BernardiEMN23,
author = {Simona Bernardi and
Matthias Eckhart and
Jos{\'{e}} Merseguer and
Simin Nadjm{-}Tehrani},
title = {Dependable and secure infrastructures and systems in intelligent environments},
journal = {J. Reliab. Intell. Environ.},
volume = {9},
number = {3},
pages = {261--262},
year = {2023},
url = {https://doi.org/10.1007/s40860-023-00211-x},
doi = {10.1007/S40860-023-00211-X},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jrie/BernardiEMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/softx/BernardiJM23,
author = {Simona Bernardi and
Ra{\'{u}}l Javierre and
Jos{\'{e}} Merseguer},
title = {tegdet: An extensible Python library for anomaly detection using time
evolving graphs},
journal = {SoftwareX},
volume = {22},
pages = {101363},
year = {2023},
url = {https://doi.org/10.1016/j.softx.2023.101363},
doi = {10.1016/J.SOFTX.2023.101363},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/softx/BernardiJM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/virology/RaimondoBMM23,
author = {Mariapia Raimondo and
Simona Bernardi and
Stefano Marrone and
Jos{\'{e}} Merseguer},
title = {An approach for the automatic verification of blockchain protocols:
the Tweetchain case study},
journal = {J. Comput. Virol. Hacking Tech.},
volume = {19},
number = {1},
pages = {17--32},
year = {2023},
url = {https://doi.org/10.1007/s11416-022-00444-z},
doi = {10.1007/S11416-022-00444-Z},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/virology/RaimondoBMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BernardiGMPR22,
author = {Simona Bernardi and
Abel G{\'{o}}mez and
Jos{\'{e}} Merseguer and
Diego Perez{-}Palacin and
Jos{\'{e}} Ignacio Requeno},
title = {{DICE} simulation: a tool for software performance assessment at the
design stage},
journal = {Autom. Softw. Eng.},
volume = {29},
number = {1},
pages = {36},
year = {2022},
url = {https://doi.org/10.1007/s10515-022-00335-z},
doi = {10.1007/S10515-022-00335-Z},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/BernardiGMPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-08847,
author = {Simona Bernardi and
Jos{\'{e}} Merseguer and
Ra{\'{u}}l Javierre},
title = {tegdet: An extensible Python Library for Anomaly Detection using Time-Evolving
Graphs},
journal = {CoRR},
volume = {abs/2210.08847},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.08847},
doi = {10.48550/ARXIV.2210.08847},
eprinttype = {arXiv},
eprint = {2210.08847},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-08847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BernardiGMMN21,
author = {Simona Bernardi and
Ugo Gentile and
Stefano Marrone and
Jos{\'{e}} Merseguer and
Roberto Nardone},
title = {Security modelling and formal verification of survivability properties:
Application to cyber-physical systems},
journal = {J. Syst. Softw.},
volume = {171},
pages = {110746},
year = {2021},
url = {https://doi.org/10.1016/j.jss.2020.110746},
doi = {10.1016/J.JSS.2020.110746},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/BernardiGMMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/BernardiJMR21,
author = {Simona Bernardi and
Ra{\'{u}}l Javierre and
Jos{\'{e}} Merseguer and
Jos{\'{e}} Ignacio Requeno},
title = {Detectors of Smart Grid Integrity Attacks: an Experimental Assessment},
booktitle = {17th European Dependable Computing Conference, {EDCC} 2021, Munich,
Germany, September 13-16, 2021},
pages = {75--82},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/EDCC53658.2021.00018},
doi = {10.1109/EDCC53658.2021.00018},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/BernardiJMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/Perez-PalacinM21,
author = {Diego Perez{-}Palacin and
Jos{\'{e}} Merseguer},
editor = {Johann Bourcier and
Zhen Ming (Jack) Jiang and
Cor{-}Paul Bezemer and
Vittorio Cortellessa and
Daniele Di Pompeo and
Ana Lucia Varbanescu},
title = {{WOSP-C} 2021: Workshop on Challenges in Performance Methods for Software
Development},
booktitle = {{ICPE} '21: {ACM/SPEC} International Conference on Performance Engineering,
Virtual Event, France, April 19-21, 2021},
pages = {283--284},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3427921.3450227},
doi = {10.1145/3427921.3450227},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/Perez-PalacinM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/RequenoMBPGP19,
author = {Jos{\'{e}} Ignacio Requeno and
Jos{\'{e}} Merseguer and
Simona Bernardi and
Diego Perez{-}Palacin and
Giorgos Giotis and
Vasilis K. Papanikolaou},
title = {Quantitative Analysis of Apache Storm Applications: The NewsAsset
Case Study},
journal = {Inf. Syst. Frontiers},
volume = {21},
number = {1},
pages = {67--85},
year = {2019},
url = {https://doi.org/10.1007/s10796-018-9851-x},
doi = {10.1007/S10796-018-9851-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isf/RequenoMBPGP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BernardiMMNV19,
author = {Simona Bernardi and
Stefano Marrone and
Jos{\'{e}} Merseguer and
Roberto Nardone and
Valeria Vittorini},
title = {Towards a model-driven engineering approach for the assessment of
non-functional properties using multi-formalism},
journal = {Softw. Syst. Model.},
volume = {18},
number = {3},
pages = {2241--2264},
year = {2019},
url = {https://doi.org/10.1007/s10270-018-0663-8},
doi = {10.1007/S10270-018-0663-8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BernardiMMNV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Perez-PalacinMR19,
author = {Diego Perez{-}Palacin and
Jos{\'{e}} Merseguer and
Jos{\'{e}} Ignacio Requeno and
Michele Guerriero and
Elisabetta Di Nitto and
Damian A. Tamburri},
title = {A {UML} Profile for the Design, Quality Assessment and Deployment
of Data-intensive Applications},
journal = {Softw. Syst. Model.},
volume = {18},
number = {6},
pages = {3577--3614},
year = {2019},
url = {https://doi.org/10.1007/s10270-019-00730-3},
doi = {10.1007/S10270-019-00730-3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Perez-PalacinMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wosp/2019,
editor = {Varsha Apte and
Antinisca Di Marco and
Marin Litoiu and
Jos{\'{e}} Merseguer},
title = {Proceedings of the 2019 {ACM/SPEC} International Conference on Performance
Engineering, {ICPE} 2019, Mumbai, India, April 7-11, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297663},
doi = {10.1145/3297663},
isbn = {978-1-4503-6239-9},
timestamp = {Sun, 07 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wosp/2019c,
editor = {Varsha Apte and
Antinisca Di Marco and
Marin Litoiu and
Jos{\'{e}} Merseguer},
title = {Companion of the 2019 {ACM/SPEC} International Conference on Performance
Engineering, {ICPE} 2019, Mumbai, India, April 07-11, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302541},
doi = {10.1145/3302541},
isbn = {978-1-4503-6286-3},
timestamp = {Mon, 08 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/2019c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/BernardiDGJMPRR18,
author = {Simona Bernardi and
Juan L. Dom{\'{\i}}nguez and
Abel G{\'{o}}mez and
Christophe Joubert and
Jos{\'{e}} Merseguer and
Diego Perez{-}Palacin and
Jos{\'{e}} Ignacio Requeno and
Alberto Romeu},
title = {A systematic approach for performance assessment using process mining
- An industrial experience report},
journal = {Empir. Softw. Eng.},
volume = {23},
number = {6},
pages = {3394--3441},
year = {2018},
url = {https://doi.org/10.1007/s10664-018-9606-9},
doi = {10.1007/S10664-018-9606-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/BernardiDGJMPRR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/BernardiLM18,
author = {Simona Bernardi and
Raquel Trillo Lado and
Jos{\'{e}} Merseguer},
title = {Detection of Integrity Attacks to Smart Grids using Process Mining
and Time-Evolving Graphs},
booktitle = {14th European Dependable Computing Conference, {EDCC} 2018, Ia{\c{s}}i,
Romania, September 10-14, 2018},
pages = {136--139},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/EDCC.2018.00032},
doi = {10.1109/EDCC.2018.00032},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/BernardiLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/RequenoGM18,
author = {Jos{\'{e}} Ignacio Requeno and
I{\~{n}}igo Gasc{\'{o}}n and
Jos{\'{e}} Merseguer},
editor = {Katinka Wolter and
William J. Knottenbelt and
Andr{\'{e}} van Hoorn and
Manoj Nambiar},
title = {Towards the Performance Analysis of Apache Tez Applications},
booktitle = {Companion of the 2018 {ACM/SPEC} International Conference on Performance
Engineering, {ICPE} 2018, Berlin, Germany, April 09-13, 2018},
pages = {147--152},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3185768.3186284},
doi = {10.1145/3185768.3186284},
timestamp = {Fri, 02 Jun 2023 16:15:08 +0200},
biburl = {https://dblp.org/rec/conf/wosp/RequenoGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MerseguerBM17,
author = {Jos{\'{e}} Merseguer and
Walter Binder and
John Murphy},
title = {Guest Editorial: Automation in Software Performance Engineering},
journal = {Autom. Softw. Eng.},
volume = {24},
number = {1},
pages = {71--72},
year = {2017},
url = {https://doi.org/10.1007/s10515-016-0201-2},
doi = {10.1007/S10515-016-0201-2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/MerseguerBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jhsn/GentileBMMV17,
author = {Ugo Gentile and
Simona Bernardi and
Stefano Marrone and
Jos{\'{e}} Merseguer and
Valeria Vittorini},
title = {A model driven approach for assessing survivability requirements of
critical infrastructures},
journal = {J. High Speed Networks},
volume = {23},
number = {2},
pages = {175--186},
year = {2017},
url = {https://doi.org/10.3233/JHS-170564},
doi = {10.3233/JHS-170564},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jhsn/GentileBMMV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Perez-PalacinMM17,
author = {Diego Perez{-}Palacin and
Raffaela Mirandola and
Jos{\'{e}} Merseguer},
title = {Accurate modeling and efficient QoS analysis of scalable adaptive
systems under bursty workload},
journal = {J. Syst. Softw.},
volume = {130},
pages = {24--41},
year = {2017},
url = {https://doi.org/10.1016/j.jss.2017.05.022},
doi = {10.1016/J.JSS.2017.05.022},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/Perez-PalacinMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/RequenoMB17,
author = {Jos{\'{e}} Ignacio Requeno and
Jos{\'{e}} Merseguer and
Simona Bernardi},
editor = {Chengcui Zhang and
Balaji Palanisamy and
Latifur Khan and
Sahra Sedigh Sarvestani},
title = {Performance Analysis of Apache Storm Applications Using Stochastic
Petri Nets},
booktitle = {2017 {IEEE} International Conference on Information Reuse and Integration,
{IRI} 2017, San Diego, CA, USA, August 4-6, 2017},
pages = {411--418},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/IRI.2017.64},
doi = {10.1109/IRI.2017.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/RequenoMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/Perez-PalacinRM17,
author = {Diego Perez{-}Palacin and
Youssef Ridene and
Jos{\'{e}} Merseguer},
editor = {Walter Binder and
Vittorio Cortellessa and
Anne Koziolek and
Evgenia Smirni and
Meikel Poess},
title = {Quality Assessment in DevOps: Automated Analysis of a Tax Fraud Detection
System},
booktitle = {Companion Proceedings of the 8th {ACM/SPEC} on International Conference
on Performance Engineering, {ICPE} 2017, L'Aquila, Italy, April 22-26,
2017},
pages = {133--138},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3053600.3053632},
doi = {10.1145/3053600.3053632},
timestamp = {Tue, 21 Mar 2023 20:58:10 +0100},
biburl = {https://dblp.org/rec/conf/wosp/Perez-PalacinRM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GomezMNT16,
author = {Abel G{\'{o}}mez and
Jos{\'{e}} Merseguer and
Elisabetta Di Nitto and
Damian A. Tamburri},
editor = {Danilo Ardagna and
Giuliano Casale and
Andr{\'{e}} van Hoorn and
Felix Willnecker},
title = {Towards a {UML} profile for data intensive applications},
booktitle = {Proceedings of the 2nd International Workshop on Quality-Aware DevOps,
QUDOS@ISSTA 2016, Saarbr{\"{u}}cken, Germany, July 21, 2016},
pages = {18--23},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2945408.2945412},
doi = {10.1145/2945408.2945412},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GomezMNT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/RodriguezMB15,
author = {Ricardo J. Rodr{\'{\i}}guez and
Jos{\'{e}} Merseguer and
Simona Bernardi},
title = {Modelling Security of Critical Infrastructures: {A} Survivability
Assessment},
journal = {Comput. J.},
volume = {58},
number = {10},
pages = {2313--2327},
year = {2015},
url = {https://doi.org/10.1093/comjnl/bxu096},
doi = {10.1093/COMJNL/BXU096},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/RodriguezMB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Gomez-MartinezT15,
author = {Elena G{\'{o}}mez{-}Mart{\'{\i}}nez and
Marino Linaje Trigueros and
Fernando S{\'{a}}nchez{-}Figueroa and
Andr{\'{e}}s Iglesias P{\'{e}}rez and
Juan Carlos Preciado and
Rafael Gonz{\'{a}}lez{-}Cabero and
Jos{\'{e}} Merseguer},
title = {A semantic approach for designing Assistive Software Recommender systems},
journal = {J. Syst. Softw.},
volume = {104},
pages = {166--178},
year = {2015},
url = {https://doi.org/10.1016/j.jss.2015.03.009},
doi = {10.1016/J.JSS.2015.03.009},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/Gomez-MartinezT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CasaleAABNHIJMM15,
author = {Giuliano Casale and
Danilo Ardagna and
Matej Artac and
Franck Barbier and
Elisabetta Di Nitto and
Alexis Henry and
Gabriel Iuhasz and
Christophe Joubert and
Jos{\'{e}} Merseguer and
Victor Ion Munteanu and
Juan Fernando P{\'{e}}rez and
Dana Petcu and
Matteo Rossi and
Craig Sheridan and
Ilias Spais and
Daniel Vladuic},
editor = {Jeff Gray and
Marsha Chechik and
Vinay Kulkarni and
Richard F. Paige},
title = {{DICE:} Quality-Driven Development of Data-Intensive Cloud Applications},
booktitle = {7th {IEEE/ACM} International Workshop on Modeling in Software Engineering,
MiSE 2015, Florence, Italy, May 16-17, 2015},
pages = {78--83},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MiSE.2015.21},
doi = {10.1109/MISE.2015.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CasaleAABNHIJMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/Gomez-MartinezGM14,
author = {Elena G{\'{o}}mez{-}Mart{\'{\i}}nez and
Rafael Gonz{\'{a}}lez{-}Cabero and
Jos{\'{e}} Merseguer},
title = {Performance assessment of an architecture with adaptative interfaces
for people with special needs},
journal = {Empir. Softw. Eng.},
volume = {19},
number = {6},
pages = {1967--2018},
year = {2014},
url = {https://doi.org/10.1007/s10664-013-9297-1},
doi = {10.1007/S10664-013-9297-1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/Gomez-MartinezGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Perez-PalacinMM14,
author = {Diego Perez{-}Palacin and
Raffaela Mirandola and
Jos{\'{e}} Merseguer},
title = {On the relationships between QoS and software adaptability at the
architectural level},
journal = {J. Syst. Softw.},
volume = {87},
pages = {1--17},
year = {2014},
url = {https://doi.org/10.1016/j.jss.2013.07.053},
doi = {10.1016/J.JSS.2013.07.053},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/Perez-PalacinMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/WoodsidePMPA14,
author = {C. Murray Woodside and
Dorina C. Petriu and
Jos{\'{e}} Merseguer and
Dorin Bogdan Petriu and
Mohammad Alhaj},
title = {Transformation challenges: from software models to performance models},
journal = {Softw. Syst. Model.},
volume = {13},
number = {4},
pages = {1529--1552},
year = {2014},
url = {https://doi.org/10.1007/s10270-013-0385-x},
doi = {10.1007/S10270-013-0385-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/WoodsidePMPA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BernardiDM14,
author = {Simona Bernardi and
Lacramioara Dranca and
Jos{\'{e}} Merseguer},
editor = {Carlos Canal and
Akram Idani},
title = {Modelling and Verification of Survivability Requirements for Critical
Systems},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {86--100},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_6},
doi = {10.1007/978-3-319-15201-1\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BernardiDM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wosp/2014,
editor = {Klaus{-}Dieter Lange and
John Murphy and
Walter Binder and
Jos{\'{e}} Merseguer},
title = {{ACM/SPEC} International Conference on Performance Engineering, ICPE'14,
Dublin, Ireland, March 22-26, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2568088},
isbn = {978-1-4503-2733-6},
timestamp = {Thu, 18 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0032902,
author = {Simona Bernardi and
Jos{\'{e}} Merseguer and
Dorina C. Petriu},
title = {Model-Driven Dependability Assessment of Software Systems},
publisher = {Springer},
year = {2013},
isbn = {978-3-642-39511-6},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0032902.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BernardiFMMMNV13,
author = {Simona Bernardi and
Francesco Flammini and
Stefano Marrone and
Nicola Mazzocca and
Jos{\'{e}} Merseguer and
Roberto Nardone and
Valeria Vittorini},
title = {Enabling the usage of {UML} in the verification of railway systems:
The DAM-rail approach},
journal = {Reliab. Eng. Syst. Saf.},
volume = {120},
pages = {112--126},
year = {2013},
url = {https://doi.org/10.1016/j.ress.2013.06.032},
doi = {10.1016/J.RESS.2013.06.032},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/BernardiFMMMNV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/RodriguezJM13,
author = {Ricardo J. Rodr{\'{\i}}guez and
Jorge J{\'{u}}lvez and
Jos{\'{e}} Merseguer},
title = {On the Performance Estimation and Resource Optimization in Process
Petri Nets},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {43},
number = {6},
pages = {1385--1398},
year = {2013},
url = {https://doi.org/10.1109/TSMC.2013.2245118},
doi = {10.1109/TSMC.2013.2245118},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/RodriguezJM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Perez-PalacinCM13,
author = {Diego Perez{-}Palacin and
Radu Calinescu and
Jos{\'{e}} Merseguer},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {log2cloud: log-based prediction of cost-performance trade-offs for
cloud deployments},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {397--404},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480442},
doi = {10.1145/2480362.2480442},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/Perez-PalacinCM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/PastorIPRM13,
author = {Oscar Pastor and
Emilio Insfr{\'{a}}n and
Vicente Pelechano and
Jos{\'{e}} Ra{\'{u}}l Romero and
Jos{\'{e}} Merseguer},
editor = {Janis A. Bubenko Jr. and
John Krogstie and
Oscar Pastor and
Barbara Pernici and
Colette Rolland and
Arne S{\o}lvberg},
title = {00-METHOD: An 00 Software Production Environment Combining Conventional
and Formal Methods},
booktitle = {Seminal Contributions to Information Systems Engineering, 25 Years
of CAiSE},
pages = {139--152},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36926-1\_11},
doi = {10.1007/978-3-642-36926-1\_11},
timestamp = {Mon, 18 Jan 2021 08:56:27 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/PastorIPRM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2013nimalp,
editor = {Simona Bernardi and
Marko Boskovic and
Jos{\'{e}} Merseguer},
title = {Proceedings of the 5th International Workshop Non-functional Properties
in Modeling: Analysis, Languages and Processes co-located with 16th
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2013), Miami, USA, September 29, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1074},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1074},
urn = {urn:nbn:de:0074-1074-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2013nimalp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BernardiMP12,
author = {Simona Bernardi and
Jos{\'{e}} Merseguer and
Dorina C. Petriu},
title = {Dependability modeling and analysis of software systems specified
with {UML}},
journal = {{ACM} Comput. Surv.},
volume = {45},
number = {1},
pages = {2:1--2:48},
year = {2012},
url = {https://doi.org/10.1145/2379776.2379778},
doi = {10.1145/2379776.2379778},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/BernardiMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/MerseguerB12,
author = {Jos{\'{e}} Merseguer and
Simona Bernardi},
title = {Dependability analysis of {DES} based on {MARTE} and {UML} state machines
models},
journal = {Discret. Event Dyn. Syst.},
volume = {22},
number = {2},
pages = {163--178},
year = {2012},
url = {https://doi.org/10.1007/s10626-011-0111-1},
doi = {10.1007/S10626-011-0111-1},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/MerseguerB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Perez-PalacinMM12,
author = {Diego Perez{-}Palacin and
Raffaela Mirandola and
Jos{\'{e}} Merseguer},
title = {QoS and energy management with Petri nets: {A} self-adaptive framework},
journal = {J. Syst. Softw.},
volume = {85},
number = {12},
pages = {2796--2811},
year = {2012},
url = {https://doi.org/10.1016/j.jss.2012.04.077},
doi = {10.1016/J.JSS.2012.04.077},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/Perez-PalacinMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/RodriguezJM12,
author = {Ricardo J. Rodr{\'{\i}}guez and
Jorge J{\'{u}}lvez and
Jos{\'{e}} Merseguer},
editor = {Jens Brandt and
Keijo Heljanko},
title = {PeabraiN: {A} {PIPE} Extension for Performance Estimation and Resource
Optimisation},
booktitle = {12th International Conference on Application of Concurrency to System
Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
pages = {142--147},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ACSD.2012.13},
doi = {10.1109/ACSD.2012.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/RodriguezJM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isarcs/RodriguezTM12,
author = {Ricardo J. Rodr{\'{\i}}guez and
Catia Trubiani and
Jos{\'{e}} Merseguer},
editor = {Vincenzo Grassi and
Raffaela Mirandola and
Jorge Cu{\'{e}}llar and
Javier L{\'{o}}pez},
title = {Fault-tolerant techniques and security mechanisms for model-based
performance prediction of critical systems},
booktitle = {Proceedings of the 3rd international {ACM} {SIGSOFT} symposium on
Architecting Critical Systems, {ISARCS} 2012, part of Comparch '12
Federated Events on Component-Based Software Engineering and Software
Architecture, Bertinoro, Italy, June 25-28, 2012},
pages = {21--30},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2304656.2304660},
doi = {10.1145/2304656.2304660},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isarcs/RodriguezTM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/Perez-PalacinMM12,
author = {Diego Perez{-}Palacin and
Jos{\'{e}} Merseguer and
Raffaela Mirandola},
editor = {David R. Kaeli and
Jerry Rolia and
Lizy K. John and
Diwakar Krishnamurthy},
title = {Analysis of bursty workload-aware self-adaptive systems},
booktitle = {Third Joint {WOSP/SIPEW} International Conference on Performance Engineering,
ICPE'12, Boston, MA, {USA} - April 22 - 25, 2012},
pages = {75--84},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2188286.2188300},
doi = {10.1145/2188286.2188300},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/Perez-PalacinMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/Perez-PalacinM11,
author = {Diego Perez{-}Palacin and
Jos{\'{e}} Merseguer},
title = {Performance sensitive self-adaptive service-oriented software using
hidden Markov models (abstracts only)},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {39},
number = {3},
pages = {15},
year = {2011},
url = {https://doi.org/10.1145/2160803.2160825},
doi = {10.1145/2160803.2160825},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/Perez-PalacinM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BernardiMP11,
author = {Simona Bernardi and
Jos{\'{e}} Merseguer and
Dorina C. Petriu},
title = {A dependability profile within {MARTE}},
journal = {Softw. Syst. Model.},
volume = {10},
number = {3},
pages = {313--336},
year = {2011},
url = {https://doi.org/10.1007/s10270-009-0128-1},
doi = {10.1007/S10270-009-0128-1},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BernardiMP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/BernardiCM11,
author = {Simona Bernardi and
Javier Campos and
Jos{\'{e}} Merseguer},
title = {Timing-Failure Risk Assessment of {UML} Design Using Time Petri Net
Bound Techniques},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {7},
number = {1},
pages = {90--104},
year = {2011},
url = {https://doi.org/10.1109/TII.2010.2098415},
doi = {10.1109/TII.2010.2098415},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/BernardiCM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/Perez-PalacinMM11,
author = {Diego Perez{-}Palacin and
Raffaela Mirandola and
Jos{\'{e}} Merseguer},
editor = {Ivica Crnkovic and
Judith A. Stafford and
Dorina C. Petriu and
Jens Happe and
Paola Inverardi},
title = {Enhancing a QoS-based self-adaptive framework with energy management
capabilities},
booktitle = {7th International Conference on the Quality of Software Architectures,
QoSA 2011 and 2nd International Symposium on Architecting Critical
Systems, {ISARCS} 2011. Boulder, CO, USA, June 20-24, 2011, Proceedings},
pages = {165--170},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000259.2000287},
doi = {10.1145/2000259.2000287},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qosa/Perez-PalacinMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/Perez-PalacinMM11a,
author = {Diego Perez{-}Palacin and
Raffaela Mirandola and
Jos{\'{e}} Merseguer},
editor = {Ivica Crnkovic and
Judith A. Stafford and
Dorina C. Petriu and
Jens Happe and
Paola Inverardi},
title = {Software architecture adaptability metrics for QoS-based self-adaptation},
booktitle = {7th International Conference on the Quality of Software Architectures,
QoSA 2011 and 2nd International Symposium on Architecting Critical
Systems, {ISARCS} 2011. Boulder, CO, USA, June 20-24, 2011, Proceedings},
pages = {171--176},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000259.2000288},
doi = {10.1145/2000259.2000288},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qosa/Perez-PalacinMM11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BernardiFMMPV11,
author = {Simona Bernardi and
Francesco Flammini and
Stefano Marrone and
Jos{\'{e}} Merseguer and
Camilla Papa and
Valeria Vittorini},
editor = {Francesco Flammini and
Sandro Bologna and
Valeria Vittorini},
title = {Model-Driven Availability Evaluation of Railway Control Systems},
booktitle = {Computer Safety, Reliability, and Security - 30th International Conference,
{SAFECOMP} 2011, Naples, Italy, September 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6894},
pages = {15--28},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24270-0\_2},
doi = {10.1007/978-3-642-24270-0\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BernardiFMMPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/Perez-PalacinM11,
author = {Diego Perez{-}Palacin and
Jos{\'{e}} Merseguer},
editor = {Samuel Kounev and
Vittorio Cortellessa and
Raffaela Mirandola and
David J. Lilja},
title = {Performance sensitive self-adaptive service-oriented software using
hidden markov models},
booktitle = {ICPE'11 - Second Joint {WOSP/SIPEW} International Conference on Performance
Engineering, Karlsruhe, Germany, March 14-16, 2011},
pages = {201--206},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1958746.1958776},
doi = {10.1145/1958746.1958776},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/Perez-PalacinM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/BernardiML10,
author = {Simona Bernardi and
Jos{\'{e}} Merseguer and
Robyn R. Lutz},
title = {Reliability and Availability Requirements Engineering within the Unified
Process Using a Dependability Analysis and Modeling Profile},
booktitle = {Eighth European Dependable Computing Conference, {EDCC-8} 2010, Valencia,
Spain, 28-30 April 2010},
pages = {95--104},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/EDCC.2010.21},
doi = {10.1109/EDCC.2010.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/BernardiML10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/Gomez-MartinezM10,
author = {Elena G{\'{o}}mez{-}Mart{\'{\i}}nez and
Jos{\'{e}} Merseguer},
editor = {Alessandro Aldini and
Marco Bernardo and
Luciano Bononi and
Vittorio Cortellessa},
title = {Performance Modeling and Analysis of the Universal Control Hub},
booktitle = {Computer Performance Engineering - 7th European Performance Engineering
Workshop, {EPEW} 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6342},
pages = {160--174},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15784-4\_11},
doi = {10.1007/978-3-642-15784-4\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epew/Gomez-MartinezM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Perez-PalacinMMG10,
author = {Diego Perez{-}Palacin and
Raffaela Mirandola and
Jos{\'{e}} Merseguer and
Vincenzo Grassi},
title = {QoS-Based Model Driven Assessment of Adaptive Reactive Systems},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
Proceedings},
pages = {299--308},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSTW.2010.20},
doi = {10.1109/ICSTW.2010.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Perez-PalacinMMG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isarcs/RodriguezM10,
author = {Ricardo J. Rodr{\'{\i}}guez and
Jos{\'{e}} Merseguer},
editor = {Holger Giese},
title = {Integrating Fault-Tolerant Techniques into the Design of Critical
Systems},
booktitle = {Architecting Critical Systems, First International Symposium, {ISARCS}
2010, Prague, Czech Republic, June 23-25, 2010, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6150},
pages = {33--51},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13556-9\_3},
doi = {10.1007/978-3-642-13556-9\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isarcs/RodriguezM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/RodriguezMB10,
author = {Ricardo J. Rodr{\'{\i}}guez and
Jos{\'{e}} Merseguer and
Simona Bernardi},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {Modelling and analysing resilience as a security issue within {UML}},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {42--51},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401741},
doi = {10.1145/2401736.2401741},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/RodriguezMB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/Perez-PalacinMB10,
author = {Diego Perez{-}Palacin and
Jos{\'{e}} Merseguer and
Simona Bernardi},
editor = {Alan Adamson and
Andre B. Bondi and
Carlos Juiz and
Mark S. Squillante},
title = {Performance aware open-world software in a 3-layer architecture},
booktitle = {Proceedings of the first joint {WOSP/SIPEW} International Conference
on Performance Engineering, San Jose, California, USA, January 28-30,
2010},
pages = {49--56},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1712605.1712614},
doi = {10.1145/1712605.1712614},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/Perez-PalacinMB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BerardinelliBCM09,
author = {Luca Berardinelli and
Simona Bernardi and
Vittorio Cortellessa and
Jos{\'{e}} Merseguer},
editor = {Marko Boskovic and
Dragan Gasevic and
Claus Pahl and
Bernhard Sch{\"{a}}tz},
title = {{UML} Profiles for Non-functional Properties at Work: Analyzing Reliability,
Availability and Performance},
booktitle = {Proceedings of the 2nd International Workshop on Non-functional System
Properties in Domain Specific Modeling Languages NFPinDSML2009 Affiliated
with the 12th International Conference on Model Driven Engineering
Languages and Systems (MoDELS 2009) Denver, Colorado, USA, October
4, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {553},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-553/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/BerardinelliBCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Perez-PalacinM10,
author = {Diego Perez{-}Palacin and
Jos{\'{e}} Merseguer},
editor = {Nigel Thomas and
Jeremy T. Bradley and
William J. Knottenbelt and
Nicholas J. Dingle and
Uli Harder},
title = {Performance Evaluation of Self-reconfigurable Service-oriented Software
With Stochastic Petri Nets},
booktitle = {Proceedings of the Fourth International Workshop on the Practical
Application of Stochastic Modelling, PASM@MASCOTS 2009, London, UK,
September 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {261},
pages = {181--201},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.01.012},
doi = {10.1016/J.ENTCS.2010.01.012},
timestamp = {Thu, 09 Mar 2023 15:37:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Perez-PalacinM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BernardiMP08,
author = {Simona Bernardi and
Jos{\'{e}} Merseguer and
Dorina C. Petriu},
editor = {Krzysztof Czarnecki and
Ileana Ober and
Jean{-}Michel Bruel and
Axel Uhl and
Markus V{\"{o}}lter},
title = {Adding Dependability Analysis Capabilities to the {MARTE} Profile},
booktitle = {Model Driven Engineering Languages and Systems, 11th International
Conference, MoDELS 2008, Toulouse, France, September 28 - October
3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5301},
pages = {736--750},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87875-9\_51},
doi = {10.1007/978-3-540-87875-9\_51},
timestamp = {Fri, 30 Dec 2022 23:08:54 +0100},
biburl = {https://dblp.org/rec/conf/models/BernardiMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BernardiM07,
author = {Simona Bernardi and
Jos{\'{e}} Merseguer},
title = {Performance evaluation of {UML} design with Stochastic Well-formed
Nets},
journal = {J. Syst. Softw.},
volume = {80},
number = {11},
pages = {1843--1865},
year = {2007},
url = {https://doi.org/10.1016/j.jss.2007.02.029},
doi = {10.1016/J.JSS.2007.02.029},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/BernardiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BernardiM07,
author = {Simona Bernardi and
Jos{\'{e}} Merseguer},
editor = {Vittorio Cortellessa and
Sebasti{\'{a}}n Uchitel and
Daniel Yankelevich},
title = {A {UML} profile for dependability analysis of real-time embedded systems},
booktitle = {Proceedings of the 6th International Workshop on Software and Performance,
{WOSP} 2007, Buenes Aires, Argentina, February 5-8, 2007},
pages = {115--124},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1216993.1217012},
doi = {10.1145/1216993.1217012},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/BernardiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/Gomez-MartinezIM07,
author = {Elena G{\'{o}}mez{-}Mart{\'{\i}}nez and
Sergio Ilarri and
Jos{\'{e}} Merseguer},
editor = {Vittorio Cortellessa and
Sebasti{\'{a}}n Uchitel and
Daniel Yankelevich},
title = {Performance analysis of mobile agents tracking},
booktitle = {Proceedings of the 6th International Workshop on Software and Performance,
{WOSP} 2007, Buenes Aires, Argentina, February 5-8, 2007},
pages = {181--188},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1216993.1217024},
doi = {10.1145/1216993.1217024},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/Gomez-MartinezIM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/BernardiM06,
author = {Simona Bernardi and
Jos{\'{e}} Merseguer},
title = {QoS Assessment via Stochastic Analysis},
journal = {{IEEE} Internet Comput.},
volume = {10},
number = {3},
pages = {32--42},
year = {2006},
url = {https://doi.org/10.1109/MIC.2006.63},
doi = {10.1109/MIC.2006.63},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/internet/BernardiM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CamposM06,
author = {Javier Campos and
Jos{\'{e}} Merseguer},
editor = {Susanna Donatelli and
P. S. Thiagarajan},
title = {On the Integration of {UML} and Petri Nets in Software Development},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2006, 27th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4024},
pages = {19--36},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767589\_2},
doi = {10.1007/11767589\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CamposM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Gomez-MartinezM06,
author = {Elena G{\'{o}}mez{-}Mart{\'{\i}}nez and
Jos{\'{e}} Merseguer},
editor = {Susanna Donatelli and
P. S. Thiagarajan},
title = {ArgoSPE: Model-Based Software Performance Engineering},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2006, 27th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4024},
pages = {401--410},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767589\_23},
doi = {10.1007/11767589\_23},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Gomez-MartinezM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/Gomez-MartinezM06,
author = {Elena G{\'{o}}mez{-}Mart{\'{\i}}nez and
Jos{\'{e}} Merseguer},
editor = {Geyong Min and
Beniamino Di Martino and
Laurence Tianruo Yang and
Minyi Guo and
Gudula R{\"{u}}nger},
title = {Impact of {SOAP} Implementations in the Performance of a Web Service-Based
Application},
booktitle = {Frontiers of High Performance Computing and Networking - {ISPA} 2006
Workshops, {ISPA} 2006 International Workshops, FHPCN, XHPC, S-GRACE,
GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento,
Italy, December 4-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4331},
pages = {884--896},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11942634\_90},
doi = {10.1007/11942634\_90},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispa/Gomez-MartinezM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Gomez-MartinezM05,
author = {Elena G{\'{o}}mez{-}Mart{\'{\i}}nez and
Jos{\'{e}} Merseguer},
title = {A Software Performance Engineering Tool based on the {UML-SPT}},
booktitle = {Second International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2005), 19-22 September 2005, Torino, Italy},
pages = {247--248},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/QEST.2005.3},
doi = {10.1109/QEST.2005.3},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/Gomez-MartinezM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/WoodsidePPSIM05,
author = {C. Murray Woodside and
Dorina C. Petriu and
Dorin Bogdan Petriu and
Hui Shen and
Toqeer Israr and
Jos{\'{e}} Merseguer},
title = {Performance by unified model analysis {(PUMA)}},
booktitle = {Proceedings of the Fifth International Workshop on Software and Performance,
{WOSP} 2005, Palma, Illes Balears, Spain, July 12-14, 2005},
pages = {1--12},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1071021.1071022},
doi = {10.1145/1071021.1071022},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/WoodsidePPSIM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/Lopez-GraoMC04,
author = {Juan{-}Pablo L{\'{o}}pez{-}Grao and
Jos{\'{e}} Merseguer and
Javier Campos},
editor = {Jozo J. Dujmovic and
Virg{\'{\i}}lio A. F. Almeida and
Doug Lea},
title = {From {UML} activity diagrams to Stochastic Petri nets: application
to software performance engineering},
booktitle = {Proceedings of the Fourth International Workshop on Software and Performance,
{WOSP} 2004, Redwood Shores, California, USA, January 14-16, 2004},
pages = {25--36},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/974044.974048},
doi = {10.1145/974044.974048},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/Lopez-GraoMC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/winet/MerseguerCM03,
author = {Jos{\'{e}} Merseguer and
Javier Campos and
Eduardo Mena},
title = {Analysing Internet Software Retrieval Systems: Modeling and Performance
Comparison},
journal = {Wirel. Networks},
volume = {9},
number = {3},
pages = {223--238},
year = {2003},
url = {https://doi.org/10.1023/A:1022825210932},
doi = {10.1023/A:1022825210932},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/winet/MerseguerCM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/MerseguerC03,
author = {Jos{\'{e}} Merseguer and
Javier Campos},
editor = {Mariacarla Calzarossa and
Erol Gelenbe},
title = {Software Performance Modeling Using {UML} and Petri Nets},
booktitle = {Performance Tools and Applications to Networked Systems, Revised Tutorial
Lectures [from {MASCOTS} 2003]},
series = {Lecture Notes in Computer Science},
volume = {2965},
pages = {265--289},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24663-3\_13},
doi = {10.1007/978-3-540-24663-3\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mascots/MerseguerC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/MerseguerC03,
author = {Jos{\'{e}} Merseguer and
Javier Campos},
editor = {Ban Al{-}Ani and
Hamid R. Arabnia and
Youngsong Mun},
title = {Exploring Roles for the {UML} Diagrams in Software Performance Engineering},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} '03, June 23 - 26, 2003, Las Vegas,
Nevada, USA, Volume 1},
pages = {43--47},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Tue, 14 Oct 2003 13:56:06 +0200},
biburl = {https://dblp.org/rec/conf/serp/MerseguerC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BernardiDM02,
author = {Simona Bernardi and
Susanna Donatelli and
Jos{\'{e}} Merseguer},
title = {From {UML} sequence diagrams and statecharts to analysable petrinet
models},
booktitle = {Third International Workshop on Software and Performance, WOSP@ISSTA
2002, July 24-26, 2002, Rome, Italy},
pages = {35--45},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/584369.584376},
doi = {10.1145/584369.584376},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/BernardiDM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/MerseguerCM01,
author = {Jos{\'{e}} Merseguer and
Javier Campos and
Eduardo Mena},
editor = {Michela Meo and
Teresa A. Dahlberg and
Lorenzo Donatiello},
title = {Performance analysis of internet based software retrieval systems
using Petri Nets},
booktitle = {Proceedings of the 4th International Symposium on Modeling Analysis
and Simulation of Wireless and Mobile Systems, MSWiM 2001, Rome, Italy,
2001},
pages = {47--56},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/381591.381604},
doi = {10.1145/381591.381604},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mswim/MerseguerCM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pe/MerseguerCM01,
author = {Jos{\'{e}} Merseguer and
Javier Campos and
Eduardo Mena},
editor = {Reiner R. Dumke and
Claus Rautenstrauch and
Andreas Schmietendorf and
Andr{\'{e}} Scholz},
title = {A Performance Engineering Case Study: Software Retrieval System},
booktitle = {Performance Engineering, State of the Art and Current Trends},
series = {Lecture Notes in Computer Science},
volume = {2047},
pages = {317--332},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45156-0\_20},
doi = {10.1007/3-540-45156-0\_20},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/pe/MerseguerCM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/MerseguerCM00,
author = {Jos{\'{e}} Merseguer and
Javier Campos and
Eduardo Mena},
title = {A pattern-based approach to model software performance},
booktitle = {Second International Workshop on Software and Performance, {WOSP}
2000, Ottawa, Canada, September 17-20, 2000},
pages = {137--142},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/350391.350421},
doi = {10.1145/350391.350421},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/MerseguerCM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/PastorIPRM97,
author = {Oscar Pastor and
Emilio Insfr{\'{a}}n and
Vicente Pelechano and
Jos{\'{e}} Ra{\'{u}}l Romero and
Jos{\'{e}} Merseguer},
editor = {Antoni Oliv{\'{e}} and
Joan Antoni Pastor},
title = {{OO-METHOD:} An {OO} Software Production Environment Combining Conventional
and Formal Methods},
booktitle = {Advanced Information Systems Engineering, 9th International Conference
CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1250},
pages = {145--158},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63107-0\_11},
doi = {10.1007/3-540-63107-0\_11},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/PastorIPRM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-06 23:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
