Publications

Export 663 results:
Sort by: Author Title [ Type (Asc)] Year
Journal Article
[1475] Requeno, JI, de Miguel G, Blanco R, Colom JM.  2013.  Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 10(4):1058-1070. Abstract
[PFMBC-JCST-13] Pérez, S, Facchini H, Mercado G, Bisaro L, Campos J.  2013.  Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.
[1316] Vázquez, CR, Silva M.  2011.  Timing and liveness in continuous Petri nets. Automatica. 47(2):283--290.
application/pdf icon
Draft_-_Timing_and_liveness_in_continuous_PN.pdf
[BCM-TII-11] Bernardi, S, Campos J, Merseguer J.  2011.  Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Transactions on Industrial Informatics. 7(1):90-104.
application/pdf icon
11_BCM_TII.pdf
[RP-85-09] Silva, M.  1985.  Tolerancia a fallos en aplicaciones tiempo real. :111-124.
[1484] Woodside, M, Petriu DC, Merseguer J, Petriu DB, Alhaj M.  2014.  Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
application/pdf icon
PUMA-R1-2013.pdf
[PCFB-LAT-13] Pérez, S, Campos J, Facchini H, Bisaro L.  2013.  Tuning Mechanism for IEEE 802.11e EDCA Optimization. IEEE Latin America Transactions. 11(4):1134-1142.
[LutMayTPRBMb] Lutz, JH, Mayordomo E.  1999.  Twelve problems in resource bounded measure. Bulletin of the European Association for Theoretical Computer Science. 68:64-80.
0 icon
99_LM_BEATCS.ps
[ZRS-JIM-01] Zimmermann, A, Rodríguez D, Silva M.  2001.  A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.
0 icon
01_ZRS_JourIM.ps
[EzNB-01] Ezpeleta, J, Novoa R, Barea MA.  2001.  Una herramienta para el estudio de técnicas de de análisis sintáctico. :53-56.
[FeLuMaRe05] Fenner, SA, Lutz JH, Mayordomo E, Reardon P.  2005.  Weakly useful sequences. Information and Computation. 197:41-54.
0 icon
wus.pdf
[03_TFP_IToSE] Teruel, E, Franceschinis G, Pierro M.  2003.  Well-defined generalized stochastic petri nets: a net-level method to specify priorities. Software Engineering, IEEE Transactions on. 29:962-973.
0 icon
03_TFP_IToSE.pdf
Miscellaneous
[Urc06] Urcola, P.  2006.  Algoritmos de compresión para secuencias biológicas y su aplicación en árboles filogénicos construidos a partir de ADN mitocondrial.
0 icon
pfcUrcolaCorto2.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.