Publications
]
[RCDM2006] .
2006. Review and Initial Contributions to the Formal Modeling of Service-oriented Architectures in FMS2010.
[LG03RR1] .
2003. Sketching architectural concerns on distributed discrete event simulation based on Petri Nets.
[BMP-RR-08] .
2008. An UML profile for dependability analysis and modeling of software systems. :47.
[1424] .
2011. Análisis filogenético molecular: Diseño e implementación de algoritmos escalables y fiables y verificación automática de propiedades de una filogenia. Master
[1348] .
1989. Análisis structural de redes de Petri, programación lineal y geometría convexa. Departamento de Ingeniería Eléctrica e Informática. Tesis Doctoral
[1423] .
2011. Aplicaciones de la Dimensión Efectiva a la Complejidad Computacional y a los Algoritmos de Compresión de Datos. PhD
[MayCSRBM] .
1994. Contributions to the study of resource bounded measure.
[Tricas03] .
2003. Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems.
[1507] .
2013. On Minimum-time Control of Continuous Petri nets: Centralized and Decentralized Perspectives. Department of Computer Science and Engineering. :173.
[Campos-thesis-90] .
1990. Performance Bounds for Synchronized Queueing Networks.
[Merse-Phd] .
2003. Software Performance Engineering based on UML and Petri nets.
[charlie-Phd] .
2002. Tecnicas de aproximacion de throughput en redes de Petri estocasticas.
