GISED DIIS Universidad de Zaragoza

José Merseguer

User
email jmerse/at/unizar.es
Homepage http://www.cps.unizar.es/~jmerse
position Ph.D. Member
phone (+34) 976762336
fax (+34) 976761914
office D0.08

Publications (ordered by date)


A Dependability Profile within MARTE
S. Bernardi and J. Merseguer and D. Petriu, 2009.

Adding Dependability Analysis capabilities to the MARTE profile
S. Bernardi and J. Merseguer and D.C. Petriu, 2008.




Timing-failure risk assessment based on Petri net bounding techniques
S. Bernardi and J. Campos and J. Merseguer, 2008.


Performance Analysis of Mobile Agents Tracking
E. Gómez-Martínez and S. Ilarri and J. Merseguer, 2007.



QoS assessment via stochastic analysis
S. Bernardi and J. Merseguer, 2006.


ArgoSPE: Model-based software performance engineering
E. Gómez-Martínez and J. Merseguer, 2006.

A Software Performance Engineering Tool based on the UML-SPT
E. Gómez-Martínez and J. Merseguer, 2005.

Performance by Unified Model Analysis (PUMA)
M. Woodside and D.C. Petriu and D.B. Petriu and H. Shen and T. Israr and J. Merseguer, 2005.





GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams
S. Bernardi and J. Campos and S. Donatelli and J. Merseguer, 2004.





Performance Engineering Based on UML and SPNs: A Software Performance Tool
López Grao J. P. and Merseguer J. and Campos J., 2002.

A Compositional Semantics for UML State Machines Aimed at Performance Evaluation
Merseguer J. and Bernardi S. and Campos J. and Donatelli S., 2002.

From UML Sequence Diagrams and Statecharts to analysable Petri Net models
Bernardi S. and Donatelli S. and Merseguer J., 2002.

On the Use of Formal Models in Software Performance Evaluation
López Grao J. P. and Merseguer J. and Campos J., 2002.



A Performance Engineering Case Study: Software Retrieval System
Merseguer J. and Campos J. and Mena E., 2001.

A Pattern Based Approach to Model Software Performance
Merseguer J. and Campos J. and Mena E., 2000.

Evaluating Performance on Mobile Agents Software Design
Merseguer J. and Campos J. and Mena E., 2000.


Una Herramienta de Generación Automática de Software
Romero,J. and Merseguer,J. and Barberá,J.M. and Pastor,O., 1998.

OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
O. Pastor and and E. Insfrán and and V. Pelechano and and J. Romero and and J. Merseguer, 1997.


Descripción de la Herramienta CASE OO-Method
O. Pastor and J.M. Barberá and J. Merseguer and J. Romero and E. Insfran, 1996.

Sistemas de ayuda a las decisiones. Metodología de desarrollo de aplicaciones
Luciañez, J.M. and Merseguer, J. and Torralba, J.M., 1991.


Powered by PHP Powered by MySQL