Publications

Export 663 results:
Sort by: Author Title [ Type (Desc)] Year
Unpublished
[M-04] Merseguer, J.  2004.  On the use of UML State Machines for Software Performance Evaluation.
0 icon
SIVOES-SPT.pdf
Thesis
[1424] Álvarez Jarreta, J.  2011.  Análisis filogenético molecular: Diseño e implementación de algoritmos escalables y fiables y verificación automática de propiedades de una filogenia. Master
[1348] Colom, JM.  1989.  Análisis structural de redes de Petri, programación lineal y geometría convexa. Departamento de Ingeniería Eléctrica e Informática. Tesis Doctoral
[1423] López-Valdés, M.  2011.  Aplicaciones de la Dimensión Efectiva a la Complejidad Computacional y a los Algoritmos de Compresión de Datos. PhD
[MayCSRBM] Mayordomo, E.  1994.  Contributions to the study of resource bounded measure.
0 icon
94_May_thesis.ps
[Tricas03] Tricas, F.  2003.  Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems.
[1507] WANG, L.  2013.  On Minimum-time Control of Continuous Petri nets: Centralized and Decentralized Perspectives. Department of Computer Science and Engineering. :173.
application/pdf icon
tesis_LieweiWang_p1.pdf
application/pdf icon
tesis_LieweiWang_p2.pdf
[Campos-thesis-90] Campos, J.  1990.  Performance Bounds for Synchronized Queueing Networks.
0 icon
90_Campos_thesis.ps
[Merse-Phd] Merseguer, J.  2003.  Software Performance Engineering based on UML and Petri nets.
0 icon
03_Mer_thesis.pdf
[charlie-Phd] Pérez-Jiménez, CJ.  2002.  Tecnicas de aproximacion de throughput en redes de Petri estocasticas.
0 icon
02_Per_thesis.pdf
Report
[PJCS-RR69-2005] Pérez-Jiménez, CJ, Campos J, Silva M.  2005.  Approximate Throughput Computation of Stochastic Weighted T-Systems.
[1307] Mayordomo, E, Moser P, Albert P.  2007.  Bounded Pushdown dimension vs Lempel Ziv information density. arXiv.
[1234] Silva, M.  2009.  Continuous and Hybrid Petri Nets: The GISED perspective.
application/pdf icon
MISi09.pdf
[PBMRI-96] Pastor, O, Barberá, Merseguer J, Romero J, Insfrán E.  1996.  Descripción de la Herramienta CASE OO-Method. :47.
[BCDM-TSE] Bernardi, S, Campos J, Donatelli S, Merseguer J.  2004.  GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
[BDM-Tutorial] Bernardi, S, Donatelli S, Merseguer J.  2005.  On derivation of Petri net quantitative models from UML software system specifications.
[TRMaGiReSeSi07] Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M.  2008.  Optimal model predictive control of Timed Continuous Petri nets.
[SPE-WS] Gómez-Martínez, E.  2005.  Performance Analysis of Web Applications.
0 icon
WebServices.pdf
[C-RR-00-00] Campos, J.  2000.  Petri Nets.
0 icon
00_C_PN.pdf
[1428] WANG, L.  2012.  Report: Decentralized Control of Continuous Petri Nets.
application/pdf icon
report_dc_v3.pdf
[1429] Wang, L.  2012.  Report: Decentralized Control of Continuous Petri Nets.
application/pdf icon
report_dc_v3.pdf
[1308] Gavaldà, R, López-Valdés M, Mayordomo E, Vinodchandran NV.  2010.  Resource-bounded Dimension in Computational Learning Theory. arXiv.
[RCDM2006] Rodríguez, D, Popescu C, Delamer I, Martinez-Lastra.  2006.  Review and Initial Contributions to the Formal Modeling of Service-oriented Architectures in FMS2010.
[LG03RR1] López-Grao, JP.  2003.  Sketching architectural concerns on distributed discrete event simulation based on Petri Nets.
[BMP-RR-08] Bernardi, S, Merseguer J, Petriu D.  2008.  An UML profile for dependability analysis and modeling of software systems. :47.
0 icon
DAMreportV2.pdf