Publications
] Filters: First Letter Of Last Name is M [Clear All Filters]
[1487] .
2013. A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models. Theory and Application of Multi-Formalism Modeling.
[1488] .
2013. Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes (NiM-ALP 2013). 1074:1-40.
[1509] .
2014. Performance Assessment of an Architecture with Adaptative Interfaces for People with Special Needs. Empirical Software Engineering. 19(6):52.
[1525] .
2015. Modelling Security of Critical Infrastructures: A Survivability Assessment. The Computer Journal. 58(10)
[1527] .
2014. Performance Evaluation of Dynamic Binary Instrumentation Frameworks. IEEE Latin America. 12(8):9.
[1532] .
2015. A Semantic Approach for Designing Assistive Software Recommender Systems. Journal of Systems and Software. 104
[RP-96-12] .
1996. A Throughtput Approximation Algorithm for Decision Free Processes. :161-178.
[RP-97-06] .
1997. Throughput Approximation of Decision Free Processes Using Decomposition. :174-182.
[1495] .
2012. 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.
[CPSM-RMUCM-93] .
1993. Boundedness on Stochastic Petri Nets. Revista Matematica de la Universidad Complutense de Madrid. 6:123-136.
[1320] .
2010. 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.
[1322] .
2011. Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
[1407] .
2012. Sliced Model Checking for Phylogenetic Analysis. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1475] .
2013. Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 10(4):1058-1070. Abstract
[IPVaMaMiReSi08] .
2008. Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
[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-QoSA11a] .
2011. Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities. Quality of Software Architectures.
[PMM-QoSA11b] .
2011. Software Architecture Adaptability Metrics for QoS-based Self-Adaptation. Quality of Software Architectures.
[1415] .
2012. QoS and energy management with Petri nets: a self-adaptive framework. The Journal of Systems & Software. 85(12):15.
[PMM-ICPE12] .
2012. Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
[1480] .
2014. On the Relationships between QoS and Software Adaptability at the Architectural Level. Journal of Systems and Software. 87(1):17.
[MoEz-03] .
2003. A Proposal for Flexible Testing of Deadlock Control Strategies in Resource Allocation Systems. :586-595.
[RP-85-13] .
1985. Robot control using a Shooting Technique: The continuous case. :379-384.
[RP-86-06] .
1986. Terminal controllers for robots: Shooting and optimal control. :384-389.
[RP-87-08] .
1987. Sistemas modernos de programación de robots. :25-52.
