Publications

Export 663 results:
Sort by: Author [ Title (Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
[RP-93-21] Ezpeleta, J, Haddad S.  1993.  A distributed algorithm for ressource management. :15-26.
[RP-93-38] Ezpeleta, J, Haddad S.  1993.  A distributed algorithm for resource management. :61-72.
[RP-86-01] Villarroel, JL, Silva M.  1986.  Diseño de un sistema didáctico de programación y control. :97-108.
[RP-80-10] Silva, M.  1980.  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.
[RP-84-07] Velilla, S, Silva M.  1984.  Diseño de un controlador tiempo real seguro de funcionamiento. :303-310.
[1070] Briz, JL, Colom JM, Silva M.  1994.  Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions. 1994 IEEE International Conference on System, Man and Cybernetics. 2:1671-1676.
[DPSSFc] Lutz, JH, Mayordomo E.  2008.  Dimensions of Points in Self-Similar Fractals. 5092:215-224.
[DPSSF] Lutz, JH, Mayordomo E.  2008.  Dimensions of points in self-similar fractals. SIAM Journal on Computing. 38:1080-1112.
[1438] Mayordomo, E, Lutz JH, Gu X, Moser P.  2012.  Dimension spectra of random subfractals of self-similar fractals. Ninth International Conference on Computability and Complexity in Analysis (CCA 2012).
[LoMa05] López-Valdés, M, Mayordomo E.  2005.  Dimension is Compression. 3618:676-685.
0 icon
dic.pdf
[1439] Mayordomo, E, López-Valdés M.  2013.  Dimension is Compression. Theory of Computing Systems. 52:95-112.
[1539] Wang, X, Mahulea C, Silva M.  2015.  Diagnosis of Time Petri Nets using Fault Diagnosis Graph. IEEE Transactions on Automatic Control. 60(9)
[RP-84-08] Silva, M, Velilla S.  1984.  Detección y corrección de errores mediante la codificación de redes de Petri. :491-500.
[1374] Serna, F, Catalán C, Blesa A, Rams JM.  2010.  Design patterns for Failure Management in IEC 61499 Function Blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
[IPJuJiReSi04b] Julvez, J, Jimenez E, Recalde L, Silva M.  2004.  Design of Observers for Timed Continuous Petri Net Systems. :1678-1685.
0 icon
smc04.pdf
[PBMRI-96] Pastor, O, Barberá, Merseguer J, Romero J, Insfrán E.  1996.  Descripción de la Herramienta CASE OO-Method. :47.
[GUGC-SEIO03] Uzábal, A, Galé C, Campos J.  2003.  Desarrollo de una herramienta de optimización binivel utilizando CPLEX y MATLAB y generación de problemas de prueba. :2931-2944.
0 icon
03_GUGC_SEIO.pdf
[BMP-SOSYM09] Bernardi, S, Merseguer J, Petriu D.  2011.  A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
application/postscript icon
BMP-09.ps
[1430] Bernardi, S, Merseguer J, Petriu DC.  2012.  Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
application/pdf icon
BMP12.pdf
[1383] Bernardi, S, Merseguer J, Petriu DC.  2012.  Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
application/pdf icon
bmp11-cs.pdf
[1381] Merseguer, J, Bernardi S.  2012.  Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
application/pdf icon
BM-DEDS.pdf
[SiTe-SMC98] Silva, M, Teruel E.  1998.  DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.
application/pdf icon
2.Syst-Theory_San_Diego98.pdf
[1501] Wang, X, Mahulea C, Silva M.  2013.  Decentralized Diagnosis Based on Fault Diagnosis Graph. 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013).
[1388] Wang, L, Mahulea C, Julvez J, Silva M.  2011.  Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
[1389] Wang, L, Mahulea C, Julvez J, Silva M.  2011.  Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.