Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
[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.
[RP-85-13] Robot control using a Shooting Technique: The continuous case. :379-384.
.
1985.
[RP-86-06] Terminal controllers for robots: Shooting and optimal control. :384-389.
.
1986.
[RP-87-08] Sistemas modernos de programación de robots. :25-52.
.
1987.
.
2003.
[PMMG-VIDAS10] QoS-Based Model Driven Assessment of Adaptive Reactive Systems. Third International Conference on Software Testing, Verification, and Validation Workshops. :299-308.
.
2010.
[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.
[1480] On the Relationships between QoS and Software Adaptability at the Architectural Level. Journal of Systems and Software. 87(1):17.
.
2014.
[IPVaMaMiReSi08] Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
.
2008.
[CPSM-RMUCM-93] Boundedness on Stochastic Petri Nets. Revista Matematica de la Universidad Complutense de Madrid. 6:123-136.
.
1993.
[1320] Temporal Logics for Phylogenetic Analysis via Model Checking. Workshop on Mining and Management of Biological and Health Data – A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10). :152-157.
.
2010.
[1322] Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
.
2011.
[1407] Sliced Model Checking for Phylogenetic Analysis. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
.
2012.
[1475] Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 10(4):1058-1070. Abstract
.
2013.
[1495] Symmetry Reductions in Timed Continuous Petri Nets under Infinite Server Semantic. 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS’12), . :153-159.
.
2012.
[RP-96-12] A Throughtput Approximation Algorithm for Decision Free Processes. :161-178.
.
1996.
[RP-97-06] Throughput Approximation of Decision Free Processes Using Decomposition. :174-182.
.
1997.
.
2003.
[LGMC-WOSP02] From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. :25-36.
.
2004.
[LGMC-02b] On the Use of Formal Models in Software Performance Evaluation. :367-387.
.
2002. .
2002.