Publications
[RP-93-21] A distributed algorithm for ressource management. :15-26.
.
1993.
[RP-93-38] A distributed algorithm for resource management. :61-72.
.
1993.
[RP-86-01] Diseño de un sistema didáctico de programación y control. :97-108.
.
1986.
[RP-80-10] Diseño de un modelo de instalación automática de fabricación construida con estructuras mecánicas programables y controlada por ordenador. :414-424.
.
1980.
[RP-84-07] Diseño de un controlador tiempo real seguro de funcionamiento. :303-310.
.
1984.
[1070] Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions. 1994 IEEE International Conference on System, Man and Cybernetics. 2:1671-1676.
.
1994.
[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.
[1438] Dimension spectra of random subfractals of self-similar fractals. Ninth International Conference on Computability and Complexity in Analysis (CCA 2012).
.
2012.
[LoMa05] Dimension is Compression. 3618:676-685.
.
2005.
[1439] Dimension is Compression. Theory of Computing Systems. 52:95-112.
.
2013.
[1539] Diagnosis of Time Petri Nets using Fault Diagnosis Graph. IEEE Transactions on Automatic Control. 60(9)
.
2015.
[RP-84-08] Detección y corrección de errores mediante la codificación de redes de Petri. :491-500.
.
1984.
[1374] Design patterns for Failure Management in IEC 61499 Function Blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[IPJuJiReSi04b] Design of Observers for Timed Continuous Petri Net Systems. :1678-1685.
.
2004.
[PBMRI-96] Descripción de la Herramienta CASE OO-Method. :47.
.
1996.
[GUGC-SEIO03] Desarrollo de una herramienta de optimización binivel utilizando CPLEX y MATLAB y generación de problemas de prueba. :2931-2944.
.
2003.
[BMP-SOSYM09] A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
.
2011.
[1430] Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
.
2012.
[1383] Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
.
2012.
[1381] Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
.
2012.
[SiTe-SMC98] DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.
.
1998.
[1501] Decentralized Diagnosis Based on Fault Diagnosis Graph. 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013).
.
2013.
[1388] Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
.
2011.
[1389] Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
.
2011.