Google Scholar Profile
Web of Science ResearcherID
ORCID Profile
Scopus Profile
Articles
-
![[PDF]](http://webdiis.unizar.es/~jmerse/wp-content/plugins/papercite/img/pdf.png)
![[DOI]](http://webdiis.unizar.es/~jmerse/wp-content/plugins/papercite/img/external.png)
S. Bernardi, M. Eckhart, J. Merseguer, and S. Nadjm-Tehrani, “Dependable and secure infrastructures and systems in intelligent environments,” Journal of Reliable Intelligent Environments, vol. 9, p. 261–262, 2023.
[Bibtex]@article{bemn23, title = {Dependable and secure infrastructures and systems in intelligent environments}, journal = {Journal of Reliable Intelligent Environments}, volume={9}, year = {2023}, pages = {261–262}, issn = {2199-4668}, doi = {10.1007/s40860-023-00211-x}, url = {https://doi.org/10.1007/s40860-023-00211-x}, author = {Simona Bernardi and Matthias Eckhart and José Merseguer and Simin Nadjm-Tehrani} } - S. Bernardi, R. Javierre, and J. Merseguer, “tegdet: An extensible Python library for anomaly detection using time evolving graphs,” SoftwareX, vol. 22, p. 101363, 2023.
[Bibtex]@article{bjm-softwarex23, title = {tegdet: An extensible Python library for anomaly detection using time evolving graphs}, journal = {SoftwareX}, volume = {22}, pages = {101363}, year = {2023}, issn = {2352-7110}, doi = {https://doi.org/10.1016/j.softx.2023.101363}, url = {https://www.sciencedirect.com/science/article/pii/S2352711023000596}, author = {Simona Bernardi and Raúl Javierre and José Merseguer}, keywords = {Unsupervised anomaly detection, Univariate time-series, Time evolving graphs, Dissimilarity metrics} } - M. Raimondo, S. Bernardi, S. Marrone, and J. Merseguer, “An approach for the automatic verification of blockchain protocols: the Tweetchain case study,” Journal of Computer Virology and Hacking Techniques, vol. 19, pp. 17-32, 2023.
[Bibtex]@article{rbmm-jcvht22, Author = {Raimondo, Mariapia and Bernardi, Simona and Marrone, Stefano and Merseguer, Jos{\'e}}, Da = {2022/08/25}, Date-Added = {2022-09-05 08:49:16 +0000}, Date-Modified = {2022-09-05 08:49:16 +0000}, pages={17-32}, volume={19}, Doi = {10.1007/s11416-022-00444-z}, Id = {Raimondo2022}, Isbn = {2263-8733}, Journal = {Journal of Computer Virology and Hacking Techniques}, Title = {An approach for the automatic verification of blockchain protocols: the Tweetchain case study}, Ty = {JOUR}, Url = {https://doi.org/10.1007/s11416-022-00444-z}, Year = {2023} } - S. Bernardi, J. Merseguer, and D. C. Petriu, “Dependability Modeling of Software Systems with UML and DAM: A Guide for Real-Time Practitioners,” Software, vol. 1, iss. 2, pp. 146-163, 2022.
[Bibtex]@Article{bmp-soft22, AUTHOR = {Bernardi, Simona and Merseguer, José and Petriu, Dorina C.}, TITLE = {Dependability Modeling of Software Systems with UML and DAM: A Guide for Real-Time Practitioners}, JOURNAL = {Software}, VOLUME = {1}, YEAR = {2022}, NUMBER = {2}, PAGES = {146--163}, URL = {https://www.mdpi.com/2674-113X/1/2/7}, ISSN = {2674-113X}, DOI = {10.3390/software1020007} } - S. Bernardi, A. Gómez, J. Merseguer, D. Pérez, and J. I. Requeno, “DICE Simulation: A tool for software performance assessment at the design stage,” Automated Software Engineering, vol. 29, iss. 1, p. 36, 2022.
[Bibtex]@Article{bgmpr-ause22, AUTHOR = {S. Bernardi and A. Gómez and J. Merseguer and D. Pérez and J.I. Requeno}, TITLE = {DICE Simulation: A tool for software performance assessment at the design stage}, JOURNAL = {Automated Software Engineering}, VOLUME = {29}, YEAR = {2022}, NUMBER = {1}, pages={36}, URL = {https://doi.org/10.1007/s10515-022-00335-z}, ISSN = {0928-8910}, ISBN={1573-7535}, ABSTRACT = {}, DOI = {10.1007/s10515-022-00335-z}, NOTE = {{JCR-Q3}} } - P. Malo-Perisé and J. Merseguer, “The Socialized Architecture: A Software Engineering Approach for a New Cloud,” Sustainability, vol. 14, iss. 4, 2022.
[Bibtex]@Article{mm-sustainability22, AUTHOR = {Malo-Perisé, Pedro and Merseguer, José}, TITLE = {The Socialized Architecture: A Software Engineering Approach for a New Cloud}, JOURNAL = {Sustainability}, VOLUME = {14}, YEAR = {2022}, NUMBER = {4}, ARTICLE-NUMBER = {2020}, URL = {https://www.mdpi.com/2071-1050/14/4/2020}, ISSN = {2071-1050}, NOTE = {{JCR-Q2}} ABSTRACT = {Today, the cloud means a revolution within the Internet revolution. However, an oligopoly sustaining the cloud may not be the best solution, since ethical problems such as privacy or even transferring data sovereignty could eventually happen. Our research, coined as the "socialized architecture," presents a novel disruptive approach to completely transform the cloud as we know it today. The approach follows ideas already working in the field of volunteer computing, since it tries to socialize spare computing power in the infraused hardware that institutions and normal people own. However, our solution is completely different to current ones, since it does not create hyper-specialized muscles in client machines. The solution is new since it proposes a software engineering approach for developing "socialized services", which, leveraging an asynchronous interaction model, creates a network of lightweight microservices that can be dynamically allocated and replicated through the network. The use of state-of-the-art patterns, such as Command Query Responsibility Segregation, helps to isolate domain events and persistence needs, while an API Gateway addresses communication. All previous ideas were tested through a complete and functional proof of concept, which is a prototype called Circle implementing a social network. Circle has been useful to expose problems that need to be addressed. The results of the assessment confirm, in our view, that it is worth to start this new field of work.}, DOI = {10.3390/su14042020} } - S. Bernardi, U. Gentile, S. Marrone, J. Merseguer, and R. Nardone, “Security modelling and formal verification of survivability properties: Application to cyber–physical systems,” Journal of Systems and Software, vol. 171, p. 110746, 2021.
[Bibtex]@article{BGMMN-JSS21, title = {Security modelling and formal verification of survivability properties: Application to cyber–physical systems}, journal = {Journal of Systems and Software}, volume = {171}, pages = {110746}, year = {2021}, issn = {0164-1212}, doi = {https://doi.org/10.1016/j.jss.2020.110746}, url = {https://www.sciencedirect.com/science/article/pii/S0164121220301710}, author = {S. Bernardi and U. Gentile and S. Marrone and J. Merseguer and R. Nardone} } - D. Perez-Palacin, J. Merseguer, J. I. Requeno, M. Guerriero, E. Di Nitto, and D. A. Tamburri, “A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications,” Software and Systems Modeling, vol. 18, iss. 6, pp. 3577-3614, 2019.
[Bibtex]@Article{PMRGNT-Sosym19, author="Perez-Palacin, Diego and Merseguer, Jos{\'e} and Requeno, Jos{\'e} I. and Guerriero, M. and Di Nitto, Elisabetta and Tamburri, D. A.", title="A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications", journal="Software and Systems Modeling", year="2019", month="Dec", day="01", volume="18", number="6", pages="3577--3614", issn="1619-1374", doi="10.1007/s10270-019-00730-3", url="https://doi.org/10.1007/s10270-019-00730-3" } - J. I. Requeno, J. Merseguer, S. Bernardi, D. Perez-Palacin, G. Giotis, and V. Papanikolaou, “Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study,” Information Systems Frontiers, vol. 21, iss. 1, pp. 67-85, 2019.
[Bibtex]@article{RMBPGP-ISF19, author="Requeno, Jos{\'e} I. and Merseguer, Jos{\'e} and Bernardi, Simona and Perez-Palacin, Diego and Giotis, Giorgos and Papanikolaou, Vasilis", title="Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study", journal="Information Systems Frontiers", year="2019", month="Feb", day="01", volume="21", number="1", pages="67--85", issn="1572-9419", doi="10.1007/s10796-018-9851-x", url="https://doi.org/10.1007/s10796-018-9851-x" } - S. Bernardi, S. Marrone, J. Merseguer, R. Nardone, and V. Vittorini, “Towards a Model-Driven Engineering approach for the assessment of Non-Functional Properties using multiformalism,” Software and System Modeling, vol. 18, iss. 3, p. 2241–2264, 2019.
[Bibtex]@article{BMMNV19-Sosym, 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 multiformalism}, journal = {Software and System Modeling}, volume = {18}, number = {3}, pages = {2241–2264}, year = {2019}, doi = {10.1007/s10270-018-0663-8} } - S. Bernardi, J. L. Domínguez, A. Gómez, C. Joubert, J. Merseguer, D. Pérez-Palacín, J. I. Requeno, and A. Romeu, “A Systematic Approach for Performance Assessment Using Process Mining,” Empirical Software Engineering, vol. 23, iss. 6, pp. 3394-3441, 2018.
[Bibtex]@article{BDGJMPRR-EmSE18, author = {S. Bernardi and J.L. Domínguez and A. Gómez and C. Joubert and José Merseguer and D. Pérez-Palacín and J.I. Requeno and A. Romeu}, title = {A Systematic Approach for Performance Assessment Using Process Mining}, journal = {Empirical Software Engineering}, volume = {23}, number = {6}, pages = {3394--3441}, year = {2018}, issn="1573-7616", doi = {10.1007/s10664-018-9606-9}, url="https://doi.org/10.1007/s10664-018-9606-9" } - D. Perez-Palacin, R. Mirandola, and J. Merseguer, “Accurate modeling and efficient QoS analysis of scalable adaptive systems under bursty workload,” Journal of Systems and Software, vol. 130, pp. 24-41, 2017.
[Bibtex]@article{PMM-JSS17, 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 = "Journal of Systems and Software ", volume = "130", number = "", pages = "24 - 41", year = "2017", note = "", issn = "0164-1212", doi = "10.1016/j.jss.2017.05.022", url = "http://www.sciencedirect.com/science/article/pii/S0164121217300833", keywords = "Adaptability", keywords = "Quality of service", keywords = "Stochastic petri nets", keywords = "Markov models", keywords = "Workload modeling " } - U. Gentile, S. Bernardi, S. Marrone, J. Merseguer, and V. Vittorini, “A model driven approach for assessing survivability requirements of critical infrastructures,” J. High Speed Networks, vol. 23, iss. 2, pp. 175-186, 2017.
[Bibtex]@article{GBMMV17, 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}, doi = {10.3233/JHS-170564} } - J. Merseguer, W. Binder, and J. Murphy, “Guest Editorial: Automation in Software Performance Engineering,” Autom. Softw. Eng., vol. 24, iss. 1, pp. 71-72, 2017.
[Bibtex]@article{MBM-ASE17, 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 = {http://dx.doi.org/10.1007/s10515-016-0201-2}, doi = {10.1007/s10515-016-0201-2} } - S. Bernardi, L. Dranca, and J. Merseguer, “A model-driven approach to survivability requirement assessment for critical systems,” Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol. 230, iss. 5, pp. 485-501, 2016.
[Bibtex]@article{BDM16, author = {Simona Bernardi and Lacramioara Dranca and Jos{\'e} Merseguer}, title = {A model-driven approach to survivability requirement assessment for critical systems}, journal = {Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability}, volume = {230}, number = {5}, pages = {485-501}, year = {2016}, doi = {10.1177/1748006X15626017} } - E. Gómez-Martínez, M. L. Trigueros, F. Sánchez-Figueroa, A. Iglesias-Pérez, J. C. Preciado, R. González-Cabero, and J. Merseguer, “A semantic approach for designing Assistive Software Recommender systems,” Journal of Systems and Software, vol. 104, pp. 166-178, 2015.
[Bibtex]@article{GLSIPGM-JSS15, 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 = {Journal of Systems and Software}, volume = {104}, pages = {166--178}, year = {2015}, url = {http://dx.doi.org/10.1016/j.jss.2015.03.009}, doi = {10.1016/j.jss.2015.03.009} } - R. J. Rodríguez, J. Merseguer, and S. Bernardi, “Modelling Security of Critical Infrastructures: A Survivability Assessment,” Comput. J., vol. 58, iss. 10, pp. 2313-2327, 2015.
[Bibtex]@article{RMB15, 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}, doi = {10.1093/comjnl/bxu096} } - R. J. Rodríguez, J. A. Artal, and J. Merseguer, “Performance Evaluation of Dynamic Binary Instrumentation Frameworks,” IEEE Latin America, vol. 12, p. 9, 2014.
[Bibtex]@article {RAM14, author = {Ricardo J. Rodr{\'{\i}}guez and J.A. Artal and Jos{\'e} Merseguer}, title = {Performance Evaluation of Dynamic Binary Instrumentation Frameworks}, journal = {IEEE Latin America}, volume = {12}, year = {2014}, month = {12/2014}, pages = {9}, chapter = {1572}, issn = {1548-0992}, doi = {10.1109/TLA.2014.7014530}, url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7014530&refinements\%3D4265997209\%26sortType\%3Dasc_p_Sequence\%26filter\%3DAND\%28p_IS_Number\%3A7014496\%29} } - E. Gómez-Martínez, R. González-Cabero, and J. Merseguer, “Performance assessment of an architecture with adaptative interfaces for people with special needs,” Empirical Software Engineering, vol. 19, iss. 6, pp. 1967-2018, 2014.
[Bibtex]@article{GGM-ESE14, 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 = {Empirical Software Engineering}, volume = {19}, number = {6}, pages = {1967--2018}, year = {2014}, url = {http://dx.doi.org/10.1007/s10664-013-9297-1}, doi = {10.1007/s10664-013-9297-1} } - D. Perez-Palacin, R. Mirandola, and J. Merseguer, “On the relationships between QoS and software adaptability at the architectural level,” Journal of Systems and Software, vol. 87, pp. 1-17, 2014.
[Bibtex]@article{PMM-JSS14, 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 = {Journal of Systems and Software}, volume = {87}, pages = {1--17}, year = {2014}, url = {http://dx.doi.org/10.1016/j.jss.2013.07.053}, doi = {10.1016/j.jss.2013.07.053} } - M. C. Woodside, D. C. Petriu, J. Merseguer, D. B. Petriu, and M. Alhaj, “Transformation challenges: from software models to performance models,” Software and System Modeling, vol. 13, iss. 4, pp. 1529-1552, 2014.
[Bibtex]@article{WPMPA-SoSym14, 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 = {Software and System Modeling}, volume = {13}, number = {4}, pages = {1529--1552}, year = {2014}, url = {http://dx.doi.org/10.1007/s10270-013-0385-x}, doi = {10.1007/s10270-013-0385-x} } - R. J. Rodríguez, J. Júlvez, and J. Merseguer, “Quantification and compensation of the impact of faults in system throughput,” Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol. 227, p. 28, 2013.
[Bibtex]@article {RJM13, author = {Ricardo J. Rodr{\'{\i}}guez and Jorge J{\'{u}}lvez and Jos{\'{e}} Merseguer}, title = {Quantification and compensation of the impact of faults in system throughput}, journal = {Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability}, volume = {227}, year = {2013}, month = {12/2013}, pages = {28}, chapter = {614}, issn = {1748-006X}, doi = {10.1177/1748006X13492284}, url = {http://pio.sagepub.com/cgi/content/abstract/1748006X13492284v1}, } - S. Bernardi, F. Flammini, S. Marrone, N. Mazzocca, J. Merseguer, R. Nardone, and V. Vittorini, “Enabling the usage of UML in the verification of railway systems: The DAM-rail approach,” Rel. Eng. & Sys. Safety, vol. 120, pp. 112-126, 2013.
[Bibtex]@article{BFMMMNV13, 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 = {Rel. Eng. {\&} Sys. Safety}, volume = {120}, pages = {112--126}, year = {2013}, doi = {10.1016/j.ress.2013.06.032} } - R. J. Rodríguez, J. Júlvez, and J. Merseguer, “On the Performance Estimation and Resource Optimization in Process Petri Nets,” IEEE Trans. on Systems Man Cybernetics-Systems, vol. 43, iss. 6, pp. 1385-1398, 2013.
[Bibtex]@article{RJM-SMC13, 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. on Systems Man Cybernetics-Systems}, volume = {43}, number = {6}, pages = {1385--1398}, year = {2013}, url = {https://doi.org/10.1109/TSMC.2013.2245118}, doi = {10.1109/TSMC.2013.2245118} } - S. Bernardi, J. Merseguer, and D. C. Petriu, “Dependability Modeling and Assessment in UML-Based Software Development,” The Scientific World Journal, vol. 2012, 2012.
[Bibtex]@article{BMP12a, author = {Simona Bernardi and Jos{\'{e}} Merseguer and Dorina C. Petriu}, title = "{Dependability Modeling and Assessment in UML-Based Software Development}", journal = "{The Scientific World Journal}", volume = {2012}, year = {2012}, doi = {10.1100/2012/614635} } - S. Bernardi, J. Merseguer, and D. C. Petriu, “Dependability modeling and analysis of software systems specified with UML,” ACM Comput. Surv., vol. 45, iss. 1, p. 2:1–2:48, 2012.
[Bibtex]@article{BMP12b, 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}, doi = {10.1145/2379776.2379778} } - J. Merseguer and S. Bernardi, “Dependability analysis of DES based on MARTE and UML state machines models,” Discrete Event Dynamic Systems, vol. 22, iss. 2, pp. 163-178, 2012.
[Bibtex]@article{MB12, author = {Jos{\'{e}} Merseguer and Simona Bernardi}, title = {Dependability analysis of {DES} based on {MARTE} and {UML} state machines models}, journal = {Discrete Event Dynamic Systems}, volume = {22}, number = {2}, pages = {163--178}, year = {2012}, doi = {10.1007/s10626-011-0111-1} } - D. Perez-Palacin, R. Mirandola, and J. Merseguer, “QoS and energy management with Petri nets: A self-adaptive framework,” Journal of Systems and Software, vol. 85, iss. 12, pp. 2796-2811, 2012.
[Bibtex]@article{PMM-JSS12, author = {Diego Perez-Palacin and Raffaela Mirandola and Jos{\'{e}} Merseguer}, title = {QoS and energy management with Petri nets: {A} self-adaptive framework}, journal = {Journal of Systems and Software}, volume = {85}, number = {12}, pages = {2796--2811}, year = {2012}, url = {http://dx.doi.org/10.1016/j.jss.2012.04.077}, doi = {10.1016/j.jss.2012.04.077} } - S. Bernardi, J. Merseguer, and D. C. Petriu, “A dependability profile within MARTE,” Software and System Modeling, vol. 10, iss. 3, pp. 313-336, 2011.
[Bibtex]@article{BPM-Sosym11, author = {Simona Bernardi and Jos{\'e} Merseguer and Dorina C. Petriu}, title = {A dependability profile within {MARTE}}, journal = {Software and System Modeling}, volume = {10}, number = {3}, year = {2011}, pages = {313-336}, doi = {10.1007/s10270-009-0128-1}, ee = {http://dx.doi.org/10.1007/s10270-009-0128-1} } - S. Bernardi, J. Campos, and J. Merseguer, “Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques,” IEEE Trans. Industrial Informatics, vol. 7, iss. 1, pp. 90-104, 2011.
[Bibtex]@article{BCM-TII11, 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. Industrial Informatics}, volume = {7}, number = {1}, year = {2011}, pages = {90-104}, doi = {10.1109/TII.2010.2098415}, ee = {http://dx.doi.org/10.1109/TII.2010.2098415} } - D. Perez-Palacin and J. Merseguer, “Performance sensitive self-adaptive service-oriented software using hidden Markov models (abstracts only),” SIGMETRICS Performance Evaluation Review, vol. 39, iss. 3, p. 15, 2011.
[Bibtex]@article{PM11a, author = {Diego Perez-Palacin and Jos{\'{e}} Merseguer}, title = {Performance sensitive self-adaptive service-oriented software using hidden Markov models (abstracts only)}, journal = {{SIGMETRICS} Performance Evaluation Review}, volume = {39}, number = {3}, pages = {15}, year = {2011}, url = {http://doi.acm.org/10.1145/2160803.2160825}, doi = {10.1145/2160803.2160825} } - D. Perez-Palacin and J. Merseguer, “Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets,” Electr. Notes Theor. Comput. Sci., vol. 261, pp. 181-201, 2010.
[Bibtex]@article{PM10, author = {Diego Perez-Palacin and Jos{\'{e}} Merseguer}, title = {Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets}, journal = {Electr. Notes Theor. Comput. Sci.}, volume = {261}, pages = {181--201}, year = {2010}, url = {http://dx.doi.org/10.1016/j.entcs.2010.01.012}, doi = {10.1016/j.entcs.2010.01.012} } - H. J. A. Holanda, J. Merseguer, G. Cordeiro, and A. B. Serra, “Performance Evaluation of Web Services Orchestrated with WS-BPEL4People,” International Journal of Computer Networks & Communications, vol. 2, p. 18, 2010.
[Bibtex]@article {HMCS10, title = {Performance Evaluation of Web Services Orchestrated with WS-BPEL4People}, journal = {International Journal of Computer Networks & Communications}, volume = {2}, year = {2010}, month = {11/2010}, pages = {18}, chapter = {117}, issn = {0975- 2293}, doi = {10.5121/ijcnc.2010.2609}, author = {H.J.A. Holanda and Jos{\'e} Merseguer and G. Cordeiro and A.B. Serra} } - S. Bernardi and J. Merseguer, “Performance evaluation of UML design with Stochastic Well–formed Nets,” Journal of Systems and Software, vol. 80, iss. 11, 2007.
[Bibtex]@ARTICLE{BM-JSS-07, title = "Performance evaluation of UML design with Stochastic Well--formed Nets", author = "S. Bernardi and J. Merseguer", journal = "Journal of Systems and Software", year = "2007", publisher = "Elsevier Science", volume= 80, number= 11, pages= 1843-1865, doi = {10.1016/j.jss.2007.02.029} } - S. Bernardi and J. Merseguer, “QoS Assesment via Stochastics Analysis,” IEEE Internet Computing, vol. 10, iss. 3, pp. 32-42, 2006.
[Bibtex]@article{BM-IC-06, author = {Bernardi, S. and Merseguer, J.}, title = {QoS {A}ssesment via {S}tochastics {A}nalysis}, journal = {IEEE Internet Computing}, volume = {10}, number = {3}, year = {2006}, pages = {32-42}, doi = {10.1109/MIC.2006.63}, comment = {References: 2007: YHGL-Asia07} } - J. Merseguer, J. Campos, and E. Mena, “Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison,” Wireless Networks: The Journal of Mobile Communication, Computation and Information, vol. 9, iss. 3, pp. 223-238, 2003.
[Bibtex]@ARTICLE{MCM-WINET, author = {Merseguer, J. and Campos, J. and Mena, E.}, year = 2003, title = {Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison}, journal = {Wireless Networks: The Journal of Mobile Communication, Computation and Information}, pages = {223-238}, volume = {9}, number = {3}, month = {May}, publisher = {Kluwer Academic Publishers}, doi = {10.1023/A:1022825210932}, abstract = {Nowadays, there exist web sites that allow users to retrieve and install software in an easy way. The performance of these sites may be poor if they are used in wireless networks; the reason is the inadequate use of the net resources that they need. If these kind of systems are designed using mobile agent technology the previous problem might be avoided. In this paper, we present a comparison between the performance of a software retrieval system especially designed to be used in a wireless network and the performance of a software retrieval system similar to the well-known Tucows.com web site. In order to compare performance, we make use of a software performance process enriched with formal techniques. The process has as important features that it uses UML as a design notation and it uses stochastic Petri nets as formal model. Petri nets provide a formal semantics for the system and a performance model.}, comment = {References: ThesisJan-07} } - J. Merseguer and J. Romero, “La herencia en el modelo orientado a objetos, del análisis a la implementación,” Sólo Programadores, iss. 34, pp. 21-30, 1997.
[Bibtex]@ARTICLE{MR-97, title = "La herencia en el modelo orientado a objetos, del an\'{a}lisis a la implementaci\'{o}n", author = "Merseguer, J. and Romero, J.", journal = "S\'{o}lo Programadores", number = "34", year = "1997", pages = "21--30", publisher = "Tower Communications", note = "ISSN: 1134--4792 Dep\'{o}sito Legal: M--26827--1994" }
Books
- S. Bernardi, J. Merseguer, and D. C. Petriu, Model-Driven Dependability Assessment of Software Systems, Springer Berlin Heidelberg, 2013. [Publisher URL]
[Bibtex]@book{BMP13, author = {Simona Bernardi and Jos{\'{e}} Merseguer and Dorina C. Petriu}, title = {Model-Driven Dependability Assessment of Software Systems}, publisher = {Springer Berlin Heidelberg}, year = {2013}, isbn = {978-3-642-39511-6}, url = {http://www.springer.com/gp/book/9783642395116}, doi = {10.1007/978-3-642-39512-3} }
In Books
- S. Bernardi, L. Dranca, and J. Merseguer, “Modelling and Verification of Survivability Requirements for Critical Systems” in Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops, Grenoble, France, September 1-2, 2014, Revised Selected Papers, Springer International Publishing, 2015, pp. 86-100.
[Bibtex]@Inbook{BDM15, author="Bernardi, Simona and Dranca, Lacramioara and Merseguer, Jos{\'e}", title="Modelling and Verification of Survivability Requirements for Critical Systems", bookTitle="Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops, Grenoble, France, September 1-2, 2014, Revised Selected Papers", year="2015", publisher="Springer International Publishing", pages="86--100", isbn="978-3-319-15201-1", doi="10.1007/978-3-319-15201-1_6" } - S. Bernardi and J. Merseguer, “A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models” in Theory and Application of Multi-Formalism Modeling, M. Gribaudo and M. Iacono, Eds., IGI Global, 2013.
[Bibtex]@inbook {BM-IGI13, title = {A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models}, booktitle = {Theory and Application of Multi-Formalism Modeling}, series = {Advances in Systems Analysis, Software Engineering, and High Performance Computing (ASASEHPC)}, year = {2013}, publisher = {IGI Global}, organization = {IGI Global}, isbn = {978-1-4666-4659-9}, doi = {10.4018/978-1-4666-4659-9.ch006}, author = {Simona Bernardi and Jos{\'e} Merseguer}, editor = {Marco Gribaudo and Mauro Iacono} }
In Collections
- O. Pastor, E. Insfrán, V. Pelechano, J. Romero, and J. Merseguer, “00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods” in Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE, , 2013, pp. 139-152.
[Bibtex]@incollection{PIPRM13, author = {Oscar Pastor and Emilio Insfr{\'{a}}n and Vicente Pelechano and Jos{\'{e}} Romero and Jos{\'{e}} Merseguer}, 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}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36926-1_11}, doi = {10.1007/978-3-642-36926-1_11} } - J. Merseguer, J. Campos, and E. Mena, “A Performance Engineering Case Study: Software Retrieval System” in Performance Engineering. State of the Art and Current Trends, R. Dumke, C. Rautenstrauch, A. Schmietendorf, and A. Scholz, Eds., Heidelberg: Springer-Verlag, 2001, pp. 317-332.
[Bibtex]@INCOLLECTION{MCM-LNCS-01, author = {Merseguer, J. and Campos, J. and Mena, E.}, editor = {Dumke, R. and Rautenstrauch, C. and Schmietendorf, A. and Scholz, A.}, year = 2001, 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, (LNCS) Vol. 2047}, pages = {317-332}, publisher = {Springer-Verlag}, address = {Heidelberg}, ISBN = {3-540-42145-9}, doi = {10.1007/3-540-45156-0_20}, crossref = {DRSS-01}, abstract = {This chapter presents a case study in performance engineering. The case study consists of a Software Retrieval System based on agents. The system is modelled in a pragmatic way using the Unified Modeling Language and in a formal way using stochastic Petri Nets. Once the system has been modelled, performance figures are obtained from the formal model. Finally, some concluding remarks are obtained from our experience in the software performance process.}, comment = {References: ThesisJan-07, FRZ-IST-04} }
In Proceedings
- S. Bernardi, R. Javierre, J. Merseguer, and J. I. Requeno, “Detectors of Smart Grid Integrity Attacks: an Experimental Assessment,” in 2021 17th European Dependable Computing Conference (EDCC), 2021, pp. 75-82.
[Bibtex]@INPROCEEDINGS{BJMR-EDCC21, author={Bernardi, Simona and Javierre, Raúl and Merseguer, José and Requeno, José Ignacio}, booktitle={2021 17th European Dependable Computing Conference (EDCC)}, title={Detectors of Smart Grid Integrity Attacks: an Experimental Assessment}, year={2021}, volume={}, number={}, pages={75-82}, doi={10.1109/EDCC53658.2021.00018}} - D. Perez-Palacin and J. Merseguer, “WOSP-C 2021: Workshop on Challenges in Performance Methods for Software Development,” in ICPE ’21: ACM/SPEC International Conference on Performance Engineering, Virtual Event, France, April 19-21, 2021, 2021, pp. 283-284.
[Bibtex]@inproceedings{PM-WOSP21, 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} } - M. Hernández-Bejarano, R. J. Rodríguez, and J. Merseguer, “A Vision for Improving Business Continuity through Cyber-resilience Mechanisms and Frameworks,” in 2021 16th Iberian Conference on Information Systems and Technologies (CISTI), 2021, pp. 1-5.
[Bibtex]@INPROCEEDINGS{HRM-CISTI21, author={Hernández-Bejarano, Miguel and Rodríguez, Ricardo J. and Merseguer, José}, booktitle={2021 16th Iberian Conference on Information Systems and Technologies (CISTI)}, title={A Vision for Improving Business Continuity through Cyber-resilience Mechanisms and Frameworks}, year={2021}, volume={}, number={}, pages={1-5}, doi={10.23919/CISTI52073.2021.9476324}} - S. Bernardi, R. Trillo-Lado, and J. Merseguer, “Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs,” in 2018 14th European Dependable Computing Conference (EDCC), 2018, pp. 136-139.
[Bibtex]@INPROCEEDINGS{btm-edcc18, author={S. Bernardi and R. Trillo-Lado and J. Merseguer}, booktitle={2018 14th European Dependable Computing Conference (EDCC)}, title={Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs}, year={2018}, volume={}, number={}, pages={136-139}, keywords={Smart meters;Smart grids;Meters;Anomaly detection;Frequency measurement;process mining;time evolving graphs;anomaly detection;integrity attack;smart grids}, doi={10.1109/EDCC.2018.00032}, ISSN={}, month={Sept},} - J. I. Requeno, I. Gascón, and J. Merseguer, “Towards the Performance Analysis of Apache Tez Applications,” in Companion Proceedings of the 9th ACM/SPEC on International Conference on Performance Engineering, ICPE 2018, Berlin, Germany, April 9-13, 2018, 2018.
[Bibtex]@inproceedings{RGM-QUDOS18, author = {J.I. Requeno and Iñigo Gascón and Jos{\'{e}} Merseguer}, title = {Towards the Performance Analysis of Apache Tez Applications}, booktitle = {Companion Proceedings of the 9th {ACM/SPEC} on International Conference on Performance Engineering, {ICPE} 2018, Berlin, Germany, April 9-13, 2018}, pages = {}, year = {2018}, url = {https://doi.org/10.1145/3185768.3186284}, doi = {10.1145/3185768.3186284} } - D. Perez-Palacin, Y. Ridene, and J. Merseguer, “Quality Assessment in DevOps: Automated Analysis of a Tax Fraud Detection System,” in Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, ICPE 2017, L’Aquila, Italy, April 22-26, 2017, 2017, pp. 133-138.
[Bibtex]@inproceedings{PRM-QUDOS17, author = {Diego Perez-Palacin and Youssef Ridene and Jos{\'{e}} Merseguer}, 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}, year = {2017}, url = {http://doi.acm.org/10.1145/3053600.3053632}, doi = {10.1145/3053600.3053632} } - J. Requeno, J. Merseguer, and S. Bernardi, “Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets,” in IEEE International Conference on Information Reuse and Integration (IRI), 2017, pp. 411-418.
[Bibtex]@inproceedings{RMB-IRI17, author = { Jose-Ignacio Requeno and Jos{\'{e}} Merseguer and Simona Bernardi}, title = {Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets}, booktitle = {IEEE International Conference on Information Reuse and Integration (IRI)}, pages = {411--418}, year = {2017}, url = {http://ieeexplore.ieee.org/document/8102965/}, doi = {10.1109/IRI.2017.64} } - A. Gómez, J. Merseguer, E. D. Nitto, and D. A. Tamburri, “Towards a UML profile for data intensive applications,” in Proceedings of the 2nd International Workshop on Quality-Aware DevOps, QUDOS@ISSTA 2016, Saarbrücken, Germany, July 21, 2016, 2016, pp. 18-23.
[Bibtex]@inproceedings{GMNT-QUDOS16, author = {Abel G{\'{o}}mez and Jos{\'{e}} Merseguer and Elisabetta Di Nitto and Damian Andrew Tamburri}, 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}, year = {2016}, url = {http://doi.acm.org/10.1145/2945408.2945412}, doi = {10.1145/2945408.2945412} } - G. Casale, D. Ardagna, M. Artac, F. Barbier, E. D. Nitto, A. Henry, G. Iuhasz, C. Joubert, J. Merseguer, V. I. Munteanu, J. F. Pérez, D. Petcu, M. Rossi, C. Sheridan, I. Spais, and D. Vladuic, “DICE: Quality-Driven Development of Data-Intensive Cloud Applications,” in 7th IEEE/ACM International Workshop on Modeling in Software Engineering, MiSE 2015, Florence, Italy, May 16-17, 2015, 2015, pp. 78-83.
[Bibtex]@inproceedings{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}, 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}, year = {2015}, url = {http://dx.doi.org/10.1109/MiSE.2015.21}, doi = {10.1109/MiSE.2015.21} } - S. Bernardi, L. Dranca, and J. Merseguer, “Modelling and Verification of Survivability Requirements for Critical Systems,” in Software Engineering and Formal Methods – SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers, 2014, pp. 86-100.
[Bibtex]@inproceedings{BDM14, author = {Simona Bernardi and Lacramioara Dranca and Jos{\'{e}} Merseguer}, 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}, pages = {86--100}, year = {2014}, doi = {10.1007/978-3-319-15201-1_6} } - D. P. -, R. Calinescu, and J. Merseguer, “log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments,” in Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC ’13, Coimbra, Portugal, March 18-22, 2013, 2013, pp. 397-404.
[Bibtex]@inproceedings{PCM-SAC13, author = {Diego Perez{-}Palacin and Radu Calinescu and Jos{\'{e}} Merseguer}, 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}, year = {2013}, url = {http://doi.acm.org/10.1145/2480362.2480442}, doi = {10.1145/2480362.2480442} } - S. Bernardi, L. Dranca, and J. Merseguer, “Un enfoque guiado por el modelado para la obtención y análisis de requisitos de supervivencia de C2IS,” in Actas del Congreso Nacional de I+D en Defensa y Seguridad (DESEi+d), 6-7 Noviembre, Madrid, 2013, pp. 575-582.
[Bibtex]@inproceedings{BDM13, author = {Simona Bernardi and Lacramioara Dranca and José Merseguer}, title = {Un enfoque guiado por el modelado para la obtenci\'on y an\'alisis de requisitos de supervivencia de {C2IS}}, booktitle = "{Actas del Congreso Nacional de I+D en Defensa y Seguridad (DESEi+d), 6-7 Noviembre, Madrid}", year = {2013}, pages = {575--582}, isbn = {978-84-7402-399-2} } - R. J. Rodríguez, J. Júlvez, and J. Merseguer, “PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation,” in 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012, 2012, pp. 142-147.
[Bibtex]@inproceedings{RJM12, author = {Ricardo J. Rodr{\'{\i}}guez and Jorge J{\'{u}}lvez and Jos{\'{e}} Merseguer}, 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}, year = {2012}, url = {http://dx.doi.org/10.1109/ACSD.2012.13}, doi = {10.1109/ACSD.2012.13} } - R. J. Rodríguez, C. Trubiani, and J. Merseguer, “Fault-tolerant techniques and security mechanisms for model-based performance prediction of critical systems,” in 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, 2012, pp. 21-30.
[Bibtex]@inproceedings{RTM12, author = {Ricardo J. Rodr{\'{\i}}guez and Catia Trubiani and Jos{\'{e}} Merseguer}, 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}, year = {2012}, url = {http://doi.acm.org/10.1145/2304656.2304660}, doi = {10.1145/2304656.2304660}, timestamp = {Fri, 19 Oct 2012 17:43:18 +0200} } - D. Perez-Palacin, J. Merseguer, and R. Mirandola, “Analysis of bursty workload-aware self-adaptive systems,” in Third Joint WOSP/SIPEW International Conference on Performance Engineering, ICPE’12, Boston, MA, USA – April 22 – 25, 2012, 2012, pp. 75-84.
[Bibtex]@inproceedings{PMM12, author = {Diego Perez-Palacin and Jos{\'{e}} Merseguer and Raffaela Mirandola}, 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}, year = {2012}, url = {http://doi.acm.org/10.1145/2188286.2188300}, doi = {10.1145/2188286.2188300} } - S. Bernardi, F. Flammini, S. Marrone, J. Merseguer, C. Papa, and V. Vittorini, “Model-Driven Availability Evaluation of Railway Control Systems,” in Computer Safety, Reliability, and Security – 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings, 2011, pp. 15-28.
[Bibtex]@inproceedings{BFMMPV11, author = {Simona Bernardi and Francesco Flammini and Stefano Marrone and Jos{\'{e}} Merseguer and Camilla Papa 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}, pages = {15--28}, year = {2011}, doi = {10.1007/978-3-642-24270-0_2} } - D. Perez-Palacin, R. Mirandola, and J. Merseguer, “Enhancing a QoS-based self-adaptive framework with energy management capabilities,” in 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, 2011, pp. 165-170.
[Bibtex]@inproceedings{PMM11a, author = {Diego Perez-Palacin and Raffaela Mirandola and Jos{\'{e}} Merseguer}, 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}, year = {2011}, url = {http://doi.acm.org/10.1145/2000259.2000287}, doi = {10.1145/2000259.2000287} } - D. Perez-Palacin, R. Mirandola, and J. Merseguer, “Software architecture adaptability metrics for QoS-based self-adaptation,” in 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, 2011, pp. 171-176.
[Bibtex]@inproceedings{PMM11b, author = {Diego Perez-Palacin and Raffaela Mirandola and Jos{\'{e}} Merseguer}, 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}, year = {2011}, url = {http://doi.acm.org/10.1145/2000259.2000288}, doi = {10.1145/2000259.2000288} } - D. Perez-Palacin and J. Merseguer, “Performance sensitive self-adaptive service-oriented software using hidden markov models,” in ICPE’11 – Second Joint WOSP/SIPEW International Conference on Performance Engineering, Karlsruhe, Germany, March 14-16, 2011, 2011, pp. 201-206.
[Bibtex]@inproceedings{PM11b, author = {Diego Perez-Palacin and Jos{\'{e}} Merseguer}, 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}, year = {2011}, url = {http://doi.acm.org/10.1145/1958746.1958776}, doi = {10.1145/1958746.1958776} } - S. Bernardi, J. Merseguer, and R. R. Lutz, “Reliability and availability requirements engineering within the Unified Process using a Dependability Analysis and Modeling profile,” in Proceedings of the Eighth European Dependable Computing Conference (EDCC’10), Valencia, Spain, 2010, pp. 95-104.
[Bibtex]@inproceedings{BML10, author = {S. Bernardi and J. Merseguer and R.R. Lutz}, title = {Reliability and availability requirements engineering within the Unified Process using a Dependability Analysis and Modeling profile}, booktitle = {Proceedings of the Eighth European Dependable Computing Conference (EDCC'10)}, year = {2010}, publisher = {IEEE}, pages = {95--104}, year = {2010}, doi = {10.1109/EDCC.2010.21}, address = {Valencia, Spain}, isbn={978-1-60558-563-5} } - C. K. M. Marques, S. Ilarri, J. Merseguer, and G. C. Barroso, “Performance analysis of a dynamic architecture for reconfiguration of web servers clusters,” in Proceedings of the 6th International Conference on Networking and Services (ICNS’10), Cancun, Mexico, 2010, pp. 224-229.
[Bibtex]@inproceedings{MIMB10, author = {C.K.M. Marques and S. Ilarri and J. Merseguer and G.C. Barroso}, title = {Performance analysis of a dynamic architecture for reconfiguration of web servers clusters}, booktitle = {Proceedings of the 6th International Conference on Networking and Services (ICNS'10)}, pages = {224-229}, year = {2010}, publisher = {IEEE}, address = {Cancun, Mexico}, doi = {10.1109/ICNS.2010.38}, isbn={978-0-76905-3969-0} } - D. Perez-Palacin, J. Merseguer, and S. Bernardi, “Performance Aware Open-world Software in a 3-Layer Architecture,” in Proceedings of the 1st International Conference on Performance Engineering (ICPE’10), San José, California, USA, 2010, pp. 49-56.
[Bibtex]@inproceedings{PMB10, author = {D. Perez-Palacin and J. Merseguer and S. Bernardi}, title = {{P}erformance {A}ware {Open-world} {S}oftware in a {3-Layer} {A}rchitecture}, booktitle = {Proceedings of the 1st International Conference on Performance Engineering (ICPE'10)}, pages = {49-56}, year = {2010}, publisher = {ACM}, doi = {10.1145/1712605.1712614}, address = {San Jos{\'e}, California, USA}, isbn={978-1-60558-563-5}, comment = {References: 2011:BLG-ACM-AC-11} } - R. J. Rodríguez, J. Merseguer, and S. Bernardi, “Modelling and Analysing Resilience As a Security Issue Within UML,” in Proceedings of the 2Nd International Workshop on Software Engineering for Resilient Systems, New York, NY, USA, 2010, pp. 42-51.
[Bibtex]@inproceedings{RMB10, author = {Rodr\'{\i}guez, Ricardo J. and Merseguer, Jos{\'e} and Bernardi, Simona}, title = {Modelling and Analysing Resilience As a Security Issue Within UML}, booktitle = {Proceedings of the 2Nd International Workshop on Software Engineering for Resilient Systems}, series = {SERENE '10}, year = {2010}, isbn = {978-1-4503-0289-0}, location = {London, United Kingdom}, pages = {42--51}, doi = {10.1145/2401736.2401741}, publisher = {ACM}, address = {New York, NY, USA} } - E. Gómez-Martínez and J. Merseguer, “Performance Modeling and Analysis of the Universal Control Hub,” in Computer Performance Engineering – 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings, 2010, pp. 160-174.
[Bibtex]@inproceedings{GM10, author = {Elena G{\'{o}}mez-Mart{\'{\i}}nez and Jos{\'{e}} Merseguer}, 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}, pages = {160--174}, year = {2010}, url = {http://dx.doi.org/10.1007/978-3-642-15784-4_11}, doi = {10.1007/978-3-642-15784-4_11} } - D. Perez-Palacin, R. Mirandola, J. Merseguer, and V. Grassi, “QoS-Based Model Driven Assessment of Adaptive Reactive Systems,” in Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010, pp. 299-308.
[Bibtex]@inproceedings{PMMG10, 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}, year = {2010}, url = {http://dx.doi.org/10.1109/ICSTW.2010.20}, doi = {10.1109/ICSTW.2010.20}, timestamp = {Mon, 11 May 2015 16:37:25 +0200} } - R. J. Rodríguez and J. Merseguer, “Integrating Fault-Tolerant Techniques into the Design of Critical Systems,” in Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings, 2010, pp. 33-51.
[Bibtex]@inproceedings{RM10, author = {Ricardo J. Rodr{\'{\i}}guez and Jos{\'{e}} Merseguer}, 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}, pages = {33--51}, year = {2010}, url = {http://dx.doi.org/10.1007/978-3-642-13556-9_3}, doi = {10.1007/978-3-642-13556-9_3}, timestamp = {Tue, 08 Jun 2010 15:13:49 +0200} } - L. Berardinelli, S. Bernardi, Vittorio Cortellessa, and J. Merseguer, “UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance,” in Proceedings of the 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009), 2009.
[Bibtex]@inproceedings{BBCM09, author = {Luca Berardinelli and Simona Bernardi and Vittorio Cortellessa, and Jose Merseguer}, 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)}}, location={Denver, Colorado, USA}, publisher = {CEUR}, ISSN={1613-0073}, pages = {}, volume={553}, year = {2009}, editors={M. Boskovic and D. Gasevic and C. Pahl and B. Schatz}, doi={} } - D. Pérez-Palacin and J. Merseguer, “Performance evaluation of self-reconfigurable service-oriented software with stochastic Petri nets,” in Proceedings of the Fourth International Workshop on Practical Applications of Stochastic Modelling (PASM’09), Electronic Notes in Theoretical Computer Science (2010), 2009, pp. 181-201.
[Bibtex]@inproceedings{PM09, author = {D. P{\'e}rez-Palacin and J. Merseguer}, title = {Performance evaluation of self-reconfigurable service-oriented software with stochastic Petri nets}, booktitle = {Proceedings of the Fourth International Workshop on Practical Applications of Stochastic Modelling {(PASM'09)}, Electronic Notes in Theoretical Computer Science (2010)}, pages = {181-201}, year = {2009}, doi={DOI10.1016/j.entcs.2010.01.012} } - S. Bernardi, J. Merseguer, and D. C. Petriu, “Adding Dependability Analysis Capabilities to the MARTE Profile,” in MoDELS ’08: Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems, Berlin, Heidelberg, 2008, pp. 736-750.
[Bibtex]@inproceedings{BMP-MODELS08, author = {Bernardi, Simona and Merseguer, Jos\'{e} and Petriu, Dorina C.}, title = {Adding Dependability Analysis Capabilities to the MARTE Profile}, booktitle = {MoDELS '08: Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems}, year = {2008}, isbn = {978-3-540-87874-2}, pages = {736--750}, location = {Toulouse, France}, doi = {http://dx.doi.org/10.1007/978-3-540-87875-9_51}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, } - E. Gómez–Martínez, S. Ilarri, and J. Merseguer, “Performance Analysis of Mobile Agents Tracking,” in Sixth International Workshop on Software and Performance (WOSP 2007), 2007, pp. 181-188.
[Bibtex]@INPROCEEDINGS{GIM-WOSP07, title = "Performance Analysis of Mobile Agents Tracking", author = "E. G\'{o}mez--Mart\'{i}nez and S. Ilarri and J. Merseguer", booktitle = "Sixth International Workshop on Software and Performance (WOSP 2007)", year = "2007", month = "February", pages = "181--188", publisher = "ACM", doi = {10.1145/1216993.1217024}, comment = {References: 2008:FC-JSA08, WXL-ATC08} } - S. Bernardi and J. Merseguer, “A UML Profile for Dependability Analysis of Real–Time Embedded Systems,” in Sixth International Workshop on Software and Performance (WOSP 2007), 2007, pp. 115-124.
[Bibtex]@INPROCEEDINGS{BM-WOSP-07, title = "A UML Profile for Dependability Analysis of Real--Time Embedded Systems", author = "S. Bernardi and J. Merseguer", booktitle = "Sixth International Workshop on Software and Performance (WOSP 2007)", year = "2007", month = "February", pages = "115--124", publisher = "ACM", doi = {10.1145/1216993.1217012}, comment = {References: 2008: SR-TII-08 } } - E. Gómez–Martínez and J. Merseguer, “Impact of SOAP Implementations in the Performance of a Web Service–based Application,” in Lecture Notes in Computer Science. Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops, 2006, pp. 884-896.
[Bibtex]@INPROCEEDINGS{GMM_WOMP06, title = "Impact of SOAP Implementations in the Performance of a Web Service--based Application", author = "E. G\'{o}mez--Mart\'{i}nez and J. Merseguer", booktitle = "Lecture Notes in Computer Science. Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops", year = "2006", month = "December", pages = "884--896", publisher = "Springer--Verlag", volume = "4331", doi = {10.1007/11942634_90} } - E. Gómez–Martínez and J. Merseguer, “ArgoSPE: Model-based software performance engineering,” in 27th International Conference on Application and Theory of Petri Nets and Other Models Of Concurrency, 2006, pp. 401-410.
[Bibtex]@INPROCEEDINGS{GMM-ATPN-06, AUTHOR={E. G\'{o}mez--Mart\'{i}nez and J. Merseguer}, title = {{ArgoSPE}: Model-based software performance engineering}, booktitle="27th International Conference on Application and Theory of Petri Nets and Other Models Of Concurrency", publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4024}, year = {2006}, pages = {401-410}, doi = {10.1007/11767589_23}, comment = {References: 2010: Devaraj-IETsw-10} } - J. Campos and J. Merseguer, “On the integration of UML and Petri nets in software development,” in 27th International Conference on Application and Theory of Petri Nets and Other Models Of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, 2006, pp. 19-36.
[Bibtex]@INPROCEEDINGS{CM-LNCS-06, author = {J. Campos and J. Merseguer}, title = {On the integration of {UML} and {Petri} nets in software development}, booktitle="27th International Conference on Application and Theory of Petri Nets and Other Models Of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings", publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4024}, year = {2006}, pages = {19-36}, doi = {10.1007/11767589_2}, comment = {References: 2009: GR-SIMUL09} } - E. Gómez–Martínez and J. Merseguer, “A Software Performance Engineering Tool based on the UML-SPT,” in 2nd International Conference on the Quantitative Evaluation of Systems (QEST), 2005.
[Bibtex]@INPROCEEDINGS{GMM-QEST-05, AUTHOR={E. G\'{o}mez--Mart\'{i}nez and J. Merseguer}, title = {A Software Performance Engineering Tool based on the {UML-SPT}}, booktitle="2nd International Conference on the Quantitative Evaluation of Systems (QEST)", publisher = {IEEE}, year = 2005, pages = 247-248, doi = {10.1109/QEST.2005.3} } - M. Woodside, D. C. Petriu, D. B. Petriu, H. Shen, T. Israr, and J. Merseguer, “Performance by Unified Model Analysis (PUMA),” in Fifth International Workshop on Software and Performance (WOSP’05), Palma, Spain, 2005, pp. 1-12.
[Bibtex]@INPROCEEDINGS{WPPSIM-WOSP-05, AUTHOR={Woodside, M. and Petriu, D.C. and Petriu, D.B. and Shen, H. and Israr, T. and Merseguer, J.}, title = {Performance by Unified Model Analysis ({PUMA})}, booktitle="Fifth International Workshop on Software and Performance {(WOSP'05)}", pages= {1-12}, month = {July}, address = {Palma, Spain}, publisher = {ACM}, year = 2005, doi = {10.1145/1071021.1071022}, comment = {References: 2010: Devaraj-IETsw-10 2007: BKR-WOSP-07, JTHL-ICSE-07, GMS-WOSP-07, LB-ECBS-07, DRW-ESEC-07, HL-ICSEA-07 2007: SLRW-QEST-07 2006: GMS-LNCS-06-4063,BGMO-LNCS-06-3938, DRW-ICSE-06, WKWNHHF-ICSE-06, DM-LNCS-06} } - J. Merseguer, “On the use of UML State Machines for Software Performance Evaluation,” in Workshop on the usage of the UML profile for Scheduling, Performance and Time, SIVOES-SPT. Hold in conjunction with the 10TH IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2004, Toronto, Canada, 2004.
[Bibtex]@INPROCEEDINGS{M-SIVOES04, author = {Merseguer, J}, title = {On the use of {UML} State Machines for Software Performance Evaluation}, booktitle = {Workshop on the usage of the UML profile for Scheduling, Performance and Time, SIVOES-SPT. Hold in conjunction with the 10TH IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2004}, month = {May 25th}, year = {2004}, address = {Toronto, Canada}, comment = {References:TZ-OOSDRT-05} } - J. P. López-Grao, J. Merseguer, and J. Campos, “From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering,” in Proceedings of the Fourth International Workshop on Software and Performance (WOSP’04), Redwood City, California, USA, 2004, pp. 25-36.
[Bibtex]@INPROCEEDINGS{LGMC-WOSP04, author = {L{\'o}pez-Grao, J.P. and Merseguer, J. and Campos, J.}, month = {January}, year = 2004, 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'04)}}, pages = {25-36}, publisher = {ACM}, doi = {10.1145/974044.974048}, address = {Redwood City, California, USA}, crossref = {WOSP04}, abstract = {Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the integration of formal models in the software engineering process is a must, in order to enable the application of well-known, powerful analysis techniques to software models. In previous papers the authors have stated a proposal for SPE, dealing with several UML diagram types.The proposal formalizes their semantics, and provides a method to translate them into (analyzable) GSPN models. This paper focuses on activity diagrams, which had not been dealt with so far. They will be incorporated in our SPE method, enhancing its expressivity by refining abstraction levels in the statechart diagrams. Performance requirements will be annotated according to the UML profile for schedulability, performance and time. Last but not least, our CASE tool prototype will be introduced. This tool deals with every model element from activity diagrams and ensures an automatic translation from ADs into GSPNs strictly following the process related in this paper.}, comment = {<a href="http://webdiis.unizar.es/CRPetri/papers/jcampos/04_LGMC_WOSP.pdf" target="_blank">Download</a>}, comment = {References: 2007: RKK-LNCS-07, ThesisJan-07, FTJR-ICSE-07,PW-SoSym-07, RY-AEI-07 2006: XCWG-ComputerJournal49(5)-06, DCW-IJSEKE-06, KK-ACSD-06 2005: RY-ICCSCC-05, JILS-EDOC-05, LGF-TSE-05,Cortellessa-TSE-05, A-WOSP-05,SLCMW-WOSP-05,GP-WOSP-05,C-WOSP-05,GHKM-EPEW-05, 2004: EFHOP-Euromicro-04,P-04-WICSA,SJP-FORTE-04,PW-UML-04, DiMarco-PHD} } - J. Merseguer and J. Campos, “Software Performance Modelling Using UML and Petri Nets,” in Performance Tools and Applications to Networked Systems, Revised Tutorial Lectures [from MASCOTS 2003], 2004, pp. 265-289.
[Bibtex]@INPROCEEDINGS{MC-LNCS-04, author = {Merseguer, J. and Campos, J.}, editor = {Calzarossa, M.C. and Gelenbe, E.}, year = 2004, title = {Software Performance Modelling Using {UML} and {Petri} Nets}, booktitle = {Performance Tools and Applications to Networked Systems, Revised Tutorial Lectures [from {MASCOTS} 2003]}, volume = 2965, pages = {265-289}, publisher = {Lecture Notes in Computer Science, Springer-Verlag}, doi = {10.1007/978-3-540-24663-3_13}, comment = {References: Devaraj-IETsw-10, Pustina-WOSP-07, VSBR-DATE-06, DS-JSS-05, Storrle-VLFM-05} } - J. Merseguer and J. Campos, “Exploring Roles for the UML Diagrams in Software Performance Engineering,” in Proceedings of the 2003 International Conference on Software Engineering Research and Practice (SERP’03), Las Vegas, Nevada, USA, 2003, pp. 43-47.
[Bibtex]@INPROCEEDINGS{MC-SERP03, author = {Merseguer, J. and Campos, J.}, month = {June}, year = 2003, title = {Exploring Roles for the {UML} Diagrams in Software Performance Engineering}, booktitle = {Proceedings of the 2003 International Conference on Software Engineering Research and Practice {(SERP'03)}}, pages = {43-47}, publisher = {CSREA Press}, address = {Las Vegas, Nevada, USA}, abstract = {It is not an overstatement to say that the gap between software design and performance evaluation techniques has caused the misuse of the last ones by software engineers. The UML profile for schedulability, performance and time arose from the intention to close both fields, software engineering and performance analysis. Nevertheless the gap remains, since it is difficult for software engineers to devise which parts of their designs are suitable to represent performance requirements. The profile has started to study this problem from a scenarios viewpoint. In this work, we explore other viewpoints to deal with performance requirements at software design level.}, comment = {References: BP-SVERTS-04} } - J. Merseguer, J. Campos, and E. Mena, “A Pattern-Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent-Based Systems,” in Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, Florida, USA, 2003, pp. 307-313.
[Bibtex]@INPROCEEDINGS{MCM-SCI03, author = {Merseguer, J. and Campos, J. and Mena, E.}, month = {July}, year = 2003, title = {A Pattern-Based Approach to Model Software Performance Using {UML} and {Petri} Nets: Application to Agent-Based Systems}, booktitle = {Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics}, volume = {IX}, pages = {307-313}, publisher = {IIIS Press}, address = {Orlando, Florida, USA}, abstract = {Software design and implementation using mobile agents are nowadays involved in a scepticism halo. There are researchers who question its utility because it could be a new technology that does provide new skills but it could introduce new problems. Security and performance are the most critical aspects for this new kind of software. In this paper we present a formal approach to analyse performance for this class of systems, which is integrated in the early stages of the software development process. We propose to model the software system in a pragmatic way using as a design technique the well-known design patterns; from these models, the corresponding formal performance model, in terms of Petri nets, is obtained semi-automatically by applying a set of translation rules. Therefore, the formal performance model is obtained as a by-product of the software life-cycle, preserving the benefits of the software design techniques. Finally, the formal performance model is analysed, using analytical techniques, in order to study the performance of the system. Moreover, another benefit of the proposal is that it is possible to predict the behaviour of the system without the necessity of implementing it. To illustrate the proposal, we apply it to a software retrieval service system designed using mobile agents.}, comment = {<a href="http://www.cps.unizar.es/deps/DIIS/CRPetri/papers/jcampos/03_MCM_SCI.pdf" target="_blank">Download</a>} } - J. Merseguer, S. Bernardi, J. Campos, and S. Donatelli, “A Compositional Semantics for UML State Machines Aimed at Performance Evaluation,” in Proceedings of the 6th International Workshop on Discrete Event Systems, Zaragoza, Spain, 2002, pp. 295-302.
[Bibtex]@INPROCEEDINGS{MBCD-wodes02, author = {Merseguer, J. and Bernardi, S. and Campos, J. and Donatelli, S.}, editor = {Giua, A. and Silva, M.}, month = {October}, year = 2002, title = {A Compositional Semantics for {UML} State Machines Aimed at Performance Evaluation}, pages = {295-302}, booktitle = {Proceedings of the 6th International Workshop on Discrete Event Systems}, publisher = {IEEE Computer Society Press}, address = {Zaragoza, Spain}, doi = {10.1109/WODES.2002.1167702}, comment = {References: 2006: Crane-Thesis-06, AM-ICSEA-06 2005: Hugues-Thesis-05, Eshuis-Thesis-05, KAM-FSEN-05,KAM-ENTCS-XX, KHH-SysOnChip-05,TZG-IPDPS-05,CMI-ICSE05 2004: BFW-UML-04,BF-MASCOTS-04,JH-QEST-04, 2003: DC-FAC-03,HPK-MON-03} } - S. Bernardi, S. Donatelli, and J. Merseguer, “From UML Sequence Diagrams and Statecharts to analysable Petri Net models,” in Proceedings of the Third International Workshop on Software and Performance (WOSP2002), Rome, Italy, 2002, pp. 35-45.
[Bibtex]@INPROCEEDINGS{BDM-WOSP-02, AUTHOR={Bernardi, S. and Donatelli, S. and Merseguer, J.}, month = {July}, year = 2002, title = {From {UML} Sequence Diagrams and Statecharts to analysable {P}etri Net models}, booktitle = {Proceedings of the Third International Workshop on Software and Performance (WOSP2002)}, pages = {35-45}, publisher = {ACM}, address = {Rome, Italy}, isbn = {1-58113-563-7}, doi = {10.1145/584369.584376}, crossref = {WOSP02}, comment = {References: 2007: KLSR-RealTime-07, Pustina-Wosp-07, WD-TASE-07, W-LNCS-4486-07, BB-IST-07 S-LNCS-4486-07, RKK-LNCS-4615-07, ILCh-LNCS-4473-07, LLChK-RTS-07, BLChH-ICIES-07 2006: Garousi-Thesis-06, EDGMPW-LNCS-3844-06,P-JSS-06, SPGM-LNCS-3844-06,EDGMPW-LNCS-3844-06, TZ-PEMT-06 BLCh-NET-06, AM-ICSEA-06, DM-LNCS-06, KLP-LNCS-4229-06 2005: Crane-Thesis-05, KAM-ENTCS-05, WK-CN-05,IZK-COTS-05,JILS-EDOC-05, AI-JSS-05,LGF-TSE-05, GHKM-EPEW-05, A-WOSP-05,RW-FMOODS-05, EFMSS-SDL-05,LHBZZ-SDL-05, GP-WOSP-05,JH-05,Cortellessa-TSE-05,BMIS-TSE-05, 2004: BCF-ISCIS-04, WK-SATNAC-04,JH-QEST-04,CGHKS-04,DPE-WOSP-04, PG-WICSA-04, Marzolla-PhD,BCF-ISCIS-04, LH-TCST-04,BFW-UML-04,WP-SIVOES-04,DFB-04,HLTLFS-TSE-04, 2003: XWP-TOOLS-03,PW-Real-03,SE-ENTCS-03,JHK-03,DiMarco-PHD, CDD-AOSD-03 No encontrados: Cooper-Dai-Deng-03} } - J. P. López-Grao, J. Merseguer, and J. Campos, “Performance Engineering Based on UML and SPNs: A Software Performance Tool,” in Proceedings of the Seventeenth International Symposium On Computer and Information Sciences (ISCIS XVII), Orlando, Florida, USA, 2002, pp. 405-409.
[Bibtex]@INPROCEEDINGS{LGMC-02a, author = {L{\'o}pez-Grao, J.P. and Merseguer, J. and Campos, J.}, month = {October}, year = 2002, title = {Performance Engineering Based on {UML} and {SPNs}: A Software Performance Tool}, booktitle = {Proceedings of the Seventeenth International Symposium On Computer and Information Sciences (ISCIS XVII)}, pages = {405-409}, publisher = {CRC Press}, address = {Orlando, Florida, USA}, comment = {References:GK-RESS-05,TZG-IPDPS-05,BernardiPhD,CGHKS-04,GK-SAFECOM-03} } - J. P. López-Grao, J. Merseguer, and J. Campos, “On the Use of Formal Models in Software Performance Evaluation,” in Actas de las X Jornadas de Concurrencia, Jaca, Spain, 2002, pp. 367-387.
[Bibtex]@INPROCEEDINGS{LGMC-02b, title = "On the Use of Formal Models in Software Performance Evaluation", author = "L\'{o}pez-Grao, J. P. and Merseguer, J. and Campos, J.", address = "Jaca, Spain", booktitle = "Actas de las X Jornadas de Concurrencia", year = "2002", month = "June", pages = "367--387", publisher = "Universidad de Zaragoza" } - J. Merseguer, J. Campos, and E. Mena, “Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets,” in Proceedings of the 4th ACM International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems, within the 7th International Conference on Mobile Computing and Networking, Rome, 2001, pp. 47-56.
[Bibtex]@INPROCEEDINGS{MCM-MSWiM-01, author = {Merseguer, J. and Campos, J. and Mena, E.}, editor = {Meo, M. and Dahlberg, T. and Donatiello, L.}, month = {July}, year = 2001, title = {Performance Analysis of Internet Based Software Retrieval Systems Using {Petri} Nets}, booktitle = {Proceedings of the 4th {ACM} International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems, within the 7th International Conference on Mobile Computing and Networking}, pages = {47-56}, publisher = {ACM}, address = {Rome}, doi = {10.1145/381591.381604}, comment = {References:Geetha-ICICS-07, AFG-ENTCS-04,XWP-TOOLS-03,DL-VVEIS-03} } - J. Merseguer, J. Campos, and E. Mena, “A Pattern-Based Approach to Model Software Performance,” in Proceedings of the Second International Workshop on Software and Performance (WOSP2000), Ottawa, Canada, 2000, pp. 137-142.
[Bibtex]@INPROCEEDINGS{MCM-WOSP-00, author = {Merseguer, J. and Campos, J. and Mena, E.}, month = {September}, year = 2000, title = {A Pattern-Based Approach to Model Software Performance}, booktitle = {Proceedings of the Second International Workshop on Software and Performance (WOSP2000)}, pages = {137-142}, publisher = {ACM}, address = {Ottawa, Canada}, isbn = "1-58113-195-x", crossref = {WOSP00}, comment = {References:Cortellessa-TSE-05,ACI-AICCSA-01,CM-SCP-02} } - J.~Merseguer, J.~Campos, and E.~Mena, “Performance Evaluation for the Design of Agent-Based Systems: A Petri Net Approach,” in Proceedings of the Workshop on Software Engineering and Petri Nets, within the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, 2000, pp. 1-20.
[Bibtex]@INPROCEEDINGS{MCM-SEPN-00, author = {J.~Merseguer and J.~Campos and E.~Mena}, editor = {Mauro Pezz{\'e} and Sol M. Shatz}, month = {June}, year = 2000, title = {Performance Evaluation for the Design of Agent-Based Systems: A {Petri} Net Approach}, booktitle = {Proceedings of the Workshop on Software Engineering and Petri Nets, within the 21st International Conference on Application and Theory of Petri Nets}, pages = {1-20}, publisher = {University of Aarhus}, address = {Aarhus, Denmark}, comment = { 2005: Cortellessa-TSE-05, 2004: BM-WOSP-04, BCC-ISSRE-04, BM-CBSE-04 2003: BernardiPhD, 2002: MG-WOSP-02, CM-SCP-02, BBD-DSN-02 2001: ACI-AICCSA-01, GM-UML-01} } - J. Merseguer, J. Campos, and E. Mena, “Evaluating Performance on Mobile Agents Software Design,” in Actas de las VIII Jornadas de Concurrencia, Cuenca, Spain, 2000, pp. 291-307.
[Bibtex]@INPROCEEDINGS{MCM-JJCC-00, author = {Merseguer, J. and Campos, J. and Mena, E.}, editor = {Diego Cazorla}, month = {June}, year = 2000, title = {Evaluating Performance on Mobile Agents Software Design}, booktitle = {Actas de las VIII Jornadas de Concurrencia}, pages = {291-307}, publisher = {Universidad de Castilla-la Mancha}, address = {Cuenca, Spain}, comment = {References:GMS-MASWMS-01} } - J. Romero, J. Merseguer, and O. Barberá J.M.and Pastor, “Una Herramienta de Generación Automática de Software,” in Actas de IDEAS–98 — I Workshop Iberoamericano en Ingeniería de Requisitos y Ambientes Software, Porto Alegre, Brasil, 1998, pp. 157-169.
[Bibtex]@INPROCEEDINGS{RMBP-98, title = "Una Herramienta de Generaci\'{o}n Autom\'{a}tica de Software", author = "Romero,J. and Merseguer,J. and Barber\'{a},J.M.and Pastor,O.", address = "Porto Alegre, Brasil", booktitle = "Actas de IDEAS--98 -- I Workshop Iberoamericano en Ingenier\'{i}a de Requisitos y Ambientes Software", year = "1998", month = "April", pages = "157--169"} - O. Pastor, E. Insfrán, V. Pelechano, J. Romero, and J. Merseguer, “OO-METHOD: An OOSoftware Production Environment Combining Conventional and Formal Methods,” in Advanced Information Systems Engineering, 9th International Conference CAiSE’97, Barcelona, Catalonia, Spain, 1997, pp. 145-159.
[Bibtex]@INPROCEEDINGS{OO-METHOD, AUTHOR="Pastor, O. and Insfr{\'a}n, E. and Pelechano, V. and Romero, J. and Merseguer, J.", TITLE="{OO-METHOD}: An {OO}Software Production Environment Combining Conventional and Formal Methods", PUBLISHER="Antoni Oliv{\'e}, Joan Antoni Pastor (Eds.). Lecture Notes in Computer Science, Vol. 1250, Springer", BOOKTITLE="Advanced Information Systems Engineering, 9th International Conference CAiSE'97", ISBN="3-540-63107-0", PAGES = "145-159", MONTH="June", YEAR=1997, ADDRESS = "Barcelona, Catalonia, Spain", doi={10.1007/3-540-63107-0_11}, Comment ={Referencias (estas ref. no est en Merse.bib): 1997: Lozano-97, 1998: Troll-Grau-98, 1999: Seffah-ECOOP-99,SLR-RE-99 2002: Escalona-OOIS-02, Perez-Eur-02, Perez-DBMR-02,Carsi-ID-02, Silva-ICSM-02,CMR-ECOOP-02 PGPR-IST-02,CNMCV-DBI-02, PCR-EurAsia-02 2003: CMC-EDTDM-03 2004: Escalona-JWE-04 2005: CCZ-EAAI-05 2006: MT-CADUI-06 } } - J. M. Luciañez, J. Merseguer, and J. M. Torralba, “Sistemas de ayuda a las decisiones. Metodología de desarrollo de aplicaciones,” in ACTAS DE LAS JORNADAS SOBRE TECNOLOGI’AS DE LA INFORMACIO’N PARA LA MODERNIZACIO’N DE LAS ADMINISTRACIONES PU’BLICAS (TECNIMAP–91), Valencia, Spain, 1991.
[Bibtex]@INPROCEEDINGS{LMT-91, title = "Sistemas de ayuda a las decisiones. Metodolog\'{i}a de desarrollo de aplicaciones", author = "Lucia\~nez, J.M. and Merseguer, J. and Torralba, J.M.", address = "Valencia, Spain", booktitle = "ACTAS DE LAS JORNADAS SOBRE TECNOLOGI'AS DE LA INFORMACIO'N PARA LA MODERNIZACIO'N DE LAS ADMINISTRACIONES PU'BLICAS (TECNIMAP--91)", year = "1991", month = "December", publisher = "Ministerio Administraciones P\'{u}blicas", note = "ISBN 84--7088--546--4" }
Miscellaneous
- GISED group, SOLAR, 2011.
[Bibtex]@MISC{solar, author = {{GISED group}}, title = {{SOLAR}}, url = "\url{http://webdiis.unizar.es/GISED/?q=tool/solar}", year = 2011, note = {{Universidad de Zaragoza}} } - The CSM to PN Translator, 2009.
[Bibtex]@MISC{CSM2PN, TITLE = {{The CSM to PN Translator}}, url = "\url{http://webdiis.unizar.es/~jmerse/old/csm2pn.html}", %KEY = {CSM2PN}, year={2009} } - ArgoSPE, 2006.
[Bibtex]@misc{ArgoSPE, title = {{ArgoSPE}}, url = "\url{http://argospe.tigris.org}", key={GMM-ATPN-06}, year={2006} }
Dissertations
- J. Merseguer, “Software Performance Engineering based on UML and Petri nets,” PhD Thesis, Spain, 2003.
[Bibtex]@phdthesis{Merse-PhD, author = {Merseguer, J.} , year = {2003}, title = {Software Performance Engineering based on {UML} and {P}etri nets}, school = {University of Zaragoza}, address = {Spain}, month = {March}, comment = {References:BernardiPhD,DPPS-ISCIS04} }
Proceedings
- Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering, ICPE 2019, Mumbai, India, April 7-11, 2019{ACM}, 2019.
[Bibtex]@proceedings{ICPE19, 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 18:06:15 +0200}, biburl = {https://dblp.org/rec/conf/wosp/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } - Companion of the 2019 ACM/SPEC International Conference on Performance Engineering, ICPE 2019, Mumbai, India, April 07-11, 2019{ACM}, 2019.
[Bibtex]@proceedings{ICPE19-companion, 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 08:12:42 +0200}, biburl = {https://dblp.org/rec/conf/wosp/2019c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } - ACM/SPEC International Conference on Performance Engineering, ICPE’14, Dublin, Ireland, March 22-26, 2014ACM, 2014.
[Bibtex]@proceedings{ICPE14, 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} } - 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, 2013CEUR-WS.org, 2013.
[Bibtex]@proceedings{BBM13, 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 = {http://ceur-ws.org/Vol-1074} }
Technical Reports
- S. Bernardi, J. Campos, S. Donatelli, and J. Merseguer, “GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams,” Departamento de Informática e Ingenier{\’\i}a de Sistemas, Research Report , 2004.
[Bibtex]@TECHREPORT{BCDM-TSE, AUTHOR={Bernardi, S. and Campos, J. and Donatelli, S. and Merseguer, J.}, year = 2004, INSTITUTION="Departamento de Inform{\'a}tica e Ingenier{\'\i}a de Sistemas", title = {{GSPN} Compositional Semantics for UML Statecharts and Sequence Diagrams}, TYPE="Research Report", NOTE="Submmited to publication" } - J. Merseguer, S. Donatelli, J. Campos, and S. Bernardi, “UML State Machines Formal Semantics,” Departamento de Informática e Ingenier{\’\i}a de Sistemas, Universidad de Zaragoza, Research Report RR-01-04, 2001.
[Bibtex]@TECHREPORT{MDCB-RR-01-04, AUTHOR={Merseguer, J. and Donatelli, S. and Campos, J. and Bernardi, S.}, TITLE="{UML} State Machines Formal Semantics", INSTITUTION="Departamento de Inform{\'a}tica e Ingenier{\'\i}a de Sistemas", NUMBER="RR-01-04", ADDRESS="Universidad de Zaragoza", TYPE="Research Report", MONTH="December", YEAR=2001, NOTE="" } - J.~Merseguer, J.~Campos, and E.~Mena, “Performance Evaluation for the Design of Agent-Based Systems: A Petri Net Approach,” Departamento de Informática e Ingenier{\’\i}a de Sistemas, Universidad de Zaragoza, Research Report RR-00-03, 2000.
[Bibtex]@TECHREPORT{MCM-SEPN-00-RR, AUTHOR="J.~Merseguer and J.~Campos and E.~Mena", TITLE="Performance Evaluation for the Design of Agent-Based Systems: {A} {Petri} Net Approach", INSTITUTION="Departamento de Inform{\'a}tica e Ingenier{\'\i}a de Sistemas", NUMBER="RR-00-03", ADDRESS="Universidad de Zaragoza", TYPE="Research Report", MONTH="March", YEAR=2000, NOTE="" } - J. Merseguer, J. Campos, and E. Mena, “A Pattern-Based Approach to Model Software Performance,” Departamento de Informática e Ingenier{\’\i}a de Sistemas, Universidad de Zaragoza, Research Report RR-00-05, 2000.
[Bibtex]@TECHREPORT{MCM-WOSP-00-RR, AUTHOR="Merseguer, J. and Campos, J. and Mena, E.", TITLE="A Pattern-Based Approach to Model Software Performance", INSTITUTION="Departamento de Inform{\'a}tica e Ingenier{\'\i}a de Sistemas", NUMBER="RR-00-05", ADDRESS="Universidad de Zaragoza", TYPE="Research Report", MONTH="April", YEAR=2000, NOTE="" } - O. Pastor, J. M. Barberá, J. Merseguer, J. Romero, and E. Insfran, “Descripción de la Herramienta CASE OO–Method,” Instituto Tecnológico de Informática, Universidad Politécnica de Valencia 1996.
[Bibtex]@TECHREPORT{PBMRI-96, title = "Descripci\'{o}n de la Herramienta CASE OO--Method", author = "Pastor, O. and Barber\'{a}, J.M. and Merseguer, J. and Romero, J. and Insfran, E", year = "1996", month = "March", pages = "47", note = "ITI--DT 96--1", institution = "Instituto Tecnol\'{o}gico de Inform\'{a}tica, Universidad Polit\'{e}cnica de Valencia" }