GISED DIIS Universidad de Zaragoza

Home

Contact Info

Research Lines

Projects

News & Events

Publications

Members

Infraestructure

Links

Obituary

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

News in the Petri Nets World


February 9, 2010

Call for Papers: Second International Workshop on Abstractions for Petri Nets ...


February 8, 2010

Call for Papers: 6th International Workshop on Enterprise & Organizational ...


February 7, 2010

Final Call for Papers: 17th International Conference on Analytical and ...

CFPs on Distributed Systems : WikiCFP


CJACIS 2010 : Canadian Journal on Automation, Control and Intelligent Systems

Canadian Journal on Automation, Control and Intelligent Systems...


HPCS 2010 : 2010 International Conference on High Performance Computing Systems

2010 International Conference on High Performance Computing Systems [Orlando, ...


PDSCbook 2010 : Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions

Performance and Dependability in Service Computing: Concepts, Techniques and ...