Publications
Filters: First Letter Of Last Name is P [Clear All Filters]
[BMP-Models-08] Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
.
2008.
[PMM-ICPE12] Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
.
2012.
[PJCS-96b] Approximate Throughput Computation of a Class of Cooperating Sequential Processes. :382-389.
.
1996.
[PJCS-TSCM07] Approximate Throughput Computation of Stochastic Weighted T-Systems. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans. 37:431-444.
.
2007.
[PJCS-RR69-2005] Approximate Throughput Computation of Stochastic Weighted T-Systems.
.
2005.
[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.
[1398] Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
.
2007.
[IPTeFrDe99] Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
.
1999.
[EzGP-03] COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
.
2003.
[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.
[BMP-SOSYM09] A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
.
2011.
[PBMRI-96] Descripción de la Herramienta CASE OO-Method. :47.
.
1996.
[RP-93-38] A distributed algorithm for resource management. :61-72.
.
1993.
[1455] EDCA 802.11e Performance under Different Scenarios. Quantitative Analysis. 27th International Conference on Advanced Information Networking and Applications (AINA’13).
.
2013.
[PMM-QoSA11a] Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities. Quality of Software Architectures.
.
2011.
.
2006.
[RP-84-05] Hacia la definición de un sistema de programación y control de robots. :139-146.
.
1984.
[1563] HEAT: A Tool to Develop, Analyze and Monitor Clinical Pathways. ICNSC'2017: 14th IEEE International Conference on Networking, Sensing and Control. Abstract
.
2017.
[1458] log2cloud: Log-based Prediction of Cost-Performance Trade-offs for Cloud Deployments. 28th Symposium On Applied Computing. :397-404.
.
2013.
[1382] Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
.
2011.
[200] Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
.
1993.
.
1996. .
1995.