Publications
Filters: First Letter Of Last Name is P [Clear All Filters]
.
2000.
[LutMayTPRBM] Twelve problems in resource bounded measure. :83-101.
.
2001.
.
2002.
[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.
[EzGP-03] COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
.
2003.
[WPPSIM-WOSP-05] Performance by Unified Model Analysis (PUMA). :1-12.
.
2005.
[PJCS-RR69-2005] Approximate Throughput Computation of Stochastic Weighted T-Systems.
.
2005.
.
2005.
.
2006.
[1312] Resource Allocation Systems: Some complexity results on the $S^4PR$ class. Formal Techniques for Networked and Distributed Systems – FORTE 2006. 4229:323-339.
.
2006.
.
2006.
[1390] Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. :17.
.
2007.
[1396] Table-based Recursive Method for Function Evaluation. International Conference of Numerical Analysis and Applied Mathematics 2007.
.
2007.
[1398] Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
.
2007.
[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.
[AMMP08] Pushdown compression. :39-48.
.
2008.
.
2008.
[BMP-Models-08] Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
.
2008.
[BBCM-09] UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
.
2009.
[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.
[1292] Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable. Theory of Computing Systems. 48:731-766.
.
2011.
[1382] Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
.
2011.
[PM-ICPE11] Performance Sensitive Self-Adaptive Service-Oriented Software using Hidden Markov Models. ICPE International Conference on Performance Engineering. :201--206.
.
2011.