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


October 15, 2009

Call for Papers: 24th ACM/IEEE/SCS Workshop on Principles of Advanced and ...


October 14, 2009

First Call for Papers: 21st IEEE International Symposium on Rapid System ...


October 14, 2010

First Call for Papers: 31st International Conference on Application and Theory ...

CFPs on Distributed Systems : WikiCFP


QuEST 2010 : The 2010 IEEE International Workshop on Quantitative Evaluation of large-scale Systems and Technologies

The 2010 IEEE International Workshop on Quantitative Evaluation of large-scale ...


PADTAD 2010 : Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging

Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging [...


E-ECHPDS 2009 : Energy-Efficient Communications for High-Performance Distributed Systems

Energy-Efficient Communications for High-Performance Distributed Systems...