Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
[1501] Decentralized Diagnosis Based on Fault Diagnosis Graph. 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013).
.
2013.
[1381] Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
.
2012.
[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.
[1539] Diagnosis of Time Petri Nets using Fault Diagnosis Graph. IEEE Transactions on Automatic Control. 60(9)
.
2015.
[LoMa05] Dimension is Compression. 3618:676-685.
.
2005.
[1439] Dimension is Compression. Theory of Computing Systems. 52:95-112.
.
2013.
[1438] Dimension spectra of random subfractals of self-similar fractals. Ninth International Conference on Computability and Complexity in Analysis (CCA 2012).
.
2012.
[DPSSFc] Dimensions of Points in Self-Similar Fractals. 5092:215-224.
.
2008.
[DPSSF] Dimensions of points in self-similar fractals. SIAM Journal on Computing. 38:1080-1112.
.
2008.
[RP-98-02] Distributed control systems simulation using high level Petri nets. Mathematics and Computers in Simulation. 46:47-55.
.
1998.
[1504] Distributed Model Predictive Control of Timed Continuous Petri nets. 52nd IEEE Conference on Decision and Control (CDC'2013).
.
2013.
[RP-95-15] Distributed Systems Simulation using High Level Petri Nets. :227-233.
.
1995.
.
2003.
[1455] EDCA 802.11e Performance under Different Scenarios. Quantitative Analysis. 27th International Conference on Advanced Information Networking and Applications (AINA’13).
.
2013.
[EFDAIT] Effective fractal dimension in algorithmic information theory. :259-285.
.
2008.
[MayEHD] Effective Hausdorff dimension. Trends in Logic. 23:171-186.
.
2004.
[AtHiLuMa06] Effective strong dimension in algorithmic information and computational complexity. SIAM Journal on Computing. 37:671-705.
.
2007.
[ESDAICC] Effective Strong Dimension in Algorithmic Information and Computational Complexity. 2996:632-643.
.
2004.
[1253] An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. 3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009).
.
2009.
[1431] Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
.
2013.
[PMM-QoSA11a] Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities. Quality of Software Architectures.
.
2011.
[RP-84-06] Especificación y validación del control de sistemas flexibles de fabricación. :235-242.
.
1984.