Home » Personal » José Merseguer

José Merseguer

Web personal.

Publicaciones:

Articles

  • [DOI] 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, 2020.
    [Bibtex] 
    @article{BGMMN-JSS20,
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 = "Journal of Systems and Software ",
year = "2020",
note = "In Press",
issn = "0164-1212",
doi = "10.1016/j.jss.2020.110746"
}
  • [DOI] 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"
}
  • [DOI] 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"
}
  • [DOI] 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}
}
  • [DOI] 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"
}
  • [DOI] 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 "
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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},
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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

  • [DOI] 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

  • [DOI] 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"
}
  • [DOI] 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

  • [DOI] 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}
}
  • [DOI] 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

  • [DOI] 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},}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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={}
}
  • [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}
}
  • [DOI] 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},
}
  • [DOI] 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}
}
  • [DOI] 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 }
}
  • [DOI] 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}
}
  • [DOI] 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 Councurrency, 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 Councurrency",
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}
}
  • [DOI] 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 Councurrency, 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 Councurrency, 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}
}
  • [DOI] E. Gómez Mart{‘i}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={G{\'o}mez Mart{\'\i}nez, E. and Merseguer, J.},
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}
}
  • [DOI] 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}
}
  • [DOI] 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}
}
  • [DOI] 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>}
}
  • [DOI] 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}
}
  • [DOI] 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"
}
  • [DOI] 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",
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}",
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

  • 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"
}