José Merseguer

Phone: 
(+34) 876555550
Fax: 
(+34) 976761914
Email: 
jmerseatunizar [dot] es
Homepage: 
Jose Merseguer
Office: 
D0.08
Position: 
Ph.D. Member

Publications

2004
[BCDM-TSE] Bernardi, S, Campos J, Donatelli S, Merseguer J.  2004.  GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
2003
[MCM-SCI03] Merseguer, J, Campos J, Mena E.  2003.  A Pattern Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent Based Systems. 9:307-313.
0 icon
03_MCM_SCI.pdf
[MC-SERP03] Merseguer, J, Campos J.  2003.  Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
0 icon
03_MC_SERP.pdf
[MCM-WINET03] Merseguer, J, Campos J, Mena E.  2003.  Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
0 icon
03_MCM_WINET.pdf
[Merse-Phd] Merseguer, J.  2003.  Software Performance Engineering based on UML and Petri nets.
0 icon
03_Mer_thesis.pdf
2002
[BDM-WOSP-02] Bernardi, S, Donatelli S, Merseguer J.  2002.  From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
0 icon
02_BDM_WOSP.ps
[LGMC-02b] López-Grao, JP, Merseguer J, Campos J.  2002.  On the Use of Formal Models in Software Performance Evaluation. :367-387.
0 icon
02_LGMC_JJCC.pdf
[LGMC-02c] López-Grao, JP, Merseguer J, Campos J.  2002.  Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
0 icon
02_LGMC_ISCIS.pdf
[MBCD-wodes02] Merseguer, J, Bernardi S, Campos J, Donatelli S.  2002.  A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
0 icon
02_MBCD_WODES.pdf
2001
[MCM-MSWiM-01] Merseguer, J, Campos J, Mena E.  2001.  Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets. :47-56.
0 icon
01_MCM_MSWiM.pdf
[MCM-JJCC-01] Merseguer, J, Campos J, Mena E.  2001.  Web Based Versus Mobile Agent Based Software Retrieval Systems: Performance Comparison. :299-312.
0 icon
01_MCM_JJCC.pdf
[MCM-LNCS-01] Merseguer, J, Campos J, Mena E.  2001.  A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
0 icon
01_MCM_LNCS.pdf
2000
[MCM-WOSP-00] Merseguer, J, Campos J, Mena E.  2000.  A Pattern Based Approach to Model Software Performance. :137-142.
0 icon
00_MCM_WOSP.pdf
[MCM-JJCC-00] Merseguer, J, Campos J, Mena E.  2000.  Evaluating Performance on Mobile Agents Software Design. :291-307.
0 icon
00_MCM_JJCC.pdf
[MCM-SEPN-00] Merseguer, J, Campos J, Mena E.  2000.  Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
0 icon
00_MCM_SEPN.pdf
1998
[RMBP-98] Romero, J, Merseguer J, Barberá, Pastor O.  1998.  Una Herramienta de Generación Automática de Software. :157-169.
1997
[PIPRM-97] Pastor, O, Insfrán E, Pelechano V, Romero J, Merseguer J.  1997.  OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
0 icon
PIPRM-97.pdf
[MR-97] Merseguer, J, Romero J.  1997.  La herencia en el modelo orientado a objetos, del análisis a la implementación. :21-30.
1996
[PBMRI-96] Pastor, O, Barberá, Merseguer J, Romero J, Insfrán E.  1996.  Descripción de la Herramienta CASE OO-Method. :47.
1991
[LMT-91] Luciañez, JM, Merseguer J, Torralba JM.  1991.  Sistemas de ayuda a las decisiones. Metodología de desarrollo de aplicaciones.