Publications
Filters: First Letter Of Last Name is P [Clear All Filters]
[PM-PASM09] Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. ENTCS. 261:181-201.
.
2010.
[PMB-ICPE10] Performance aware open-world software in a 3-layer architecture. First Joint WOSP/SIPEW International Conference on Performance Engineering.
.
2010.
[PMMG-VIDAS10] QoS-Based Model Driven Assessment of Adaptive Reactive Systems. Third International Conference on Software Testing, Verification, and Validation Workshops. :299-308.
.
2010.
[PM-ICPE11] Performance Sensitive Self-Adaptive Service-Oriented Software using Hidden Markov Models. ICPE International Conference on Performance Engineering. :201--206.
.
2011.
[PMM-QoSA11a] Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities. Quality of Software Architectures.
.
2011.
[PMM-QoSA11b] Software Architecture Adaptability Metrics for QoS-based Self-Adaptation. Quality of Software Architectures.
.
2011.
[1415] QoS and energy management with Petri nets: a self-adaptive framework. The Journal of Systems & Software. 85(12):15.
.
2012.
[PMM-ICPE12] Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
.
2012.
[1458] log2cloud: Log-based Prediction of Cost-Performance Trade-offs for Cloud Deployments. 28th Symposium On Applied Computing. :397-404.
.
2013.
[1480] On the Relationships between QoS and Software Adaptability at the Architectural Level. Journal of Systems and Software. 87(1):17.
.
2014.
[AMMP08] Pushdown compression. :39-48.
.
2008.
[1292] Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable. Theory of Computing Systems. 48:731-766.
.
2011.
[WPPSIM-WOSP-05] Performance by Unified Model Analysis (PUMA). :1-12.
.
2005.
.
2008.
[BMP-Models-08] Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
.
2008.
[BMP-SOSYM09] A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
.
2011.
[1383] Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
.
2012.
[1430] Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
.
2012.
[1484] Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
.
2014.
.
2005.
[IPTeFrDe99] Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
.
1999.
[03_TFP_IToSE] Well-defined generalized stochastic petri nets: a net-level method to specify priorities. Software Engineering, IEEE Transactions on. 29:962-973.
.
2003.
[ICSiTeVaPi98] Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
.
1998.
[CPSM-RMUCM-93] Boundedness on Stochastic Petri Nets. Revista Matematica de la Universidad Complutense de Madrid. 6:123-136.
.
1993.
[1390] Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. :17.
.
2007.