Publications
] Filters: First Letter Of Last Name is P [Clear All Filters]
[charlie-Phd] .
2002. Tecnicas de aproximacion de throughput en redes de Petri estocasticas.
[PJCS-RR69-2005] .
2005. Approximate Throughput Computation of Stochastic Weighted T-Systems.
[PBMRI-96] .
1996. Descripción de la Herramienta CASE OO-Method. :47.
[RCDM2006] .
2006. Review and Initial Contributions to the Formal Modeling of Service-oriented Architectures in FMS2010.
[BMP-RR-08] .
2008. An UML profile for dependability analysis and modeling of software systems. :47.
[BMP-Models-08] .
2008. Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
[PJCS-TSCM07] .
2007. Approximate Throughput Computation of Stochastic Weighted T-Systems. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans. 37:431-444.
[CPSM-RMUCM-93] .
1993. Boundedness on Stochastic Petri Nets. Revista Matematica de la Universidad Complutense de Madrid. 6:123-136.
[1390] .
2007. Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. :17.
[1398] .
2007. Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
[EzGP-03] .
2003. COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
[1383] .
2012. Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
[1430] .
2012. Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
[BMP-SOSYM09] .
2011. A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
[1480] .
2014. On the Relationships between QoS and Software Adaptability at the Architectural Level. Journal of Systems and Software. 87(1):17.
[PM-PASM09] .
2010. Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. ENTCS. 261:181-201.
[1292] .
2011. Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable. Theory of Computing Systems. 48:731-766.
[1415] .
2012. QoS and energy management with Petri nets: a self-adaptive framework. The Journal of Systems & Software. 85(12):15.
[1532] .
2015. A Semantic Approach for Designing Assistive Software Recommender Systems. Journal of Systems and Software. 104
[PFMBC-JCST-13] .
2013. Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.
[1484] .
2014. Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
[PCFB-LAT-13] .
2013. Tuning Mechanism for IEEE 802.11e EDCA Optimization. IEEE Latin America Transactions. 11(4):1134-1142.
[03_TFP_IToSE] .
2003. Well-defined generalized stochastic petri nets: a net-level method to specify priorities. Software Engineering, IEEE Transactions on. 29:962-973.
[PMMG-VIDAS10] .
2010. QoS-Based Model Driven Assessment of Adaptive Reactive Systems. Third International Conference on Software Testing, Verification, and Validation Workshops. :299-308.
[PMM-ICPE12] .
2012. Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
