Publications
Filters: First Letter Of Last Name is C [Clear All Filters]
[1057] Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):1-11.
.
1993.
[CCS-TAC-91] Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Transactions on Automatic Control. 36:1368-1382.
.
1991.
[258] Properties and Performance Bounds for Timed Marked Graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 39(5):386-401.
.
1992.
[MC-LNCS-04] Software Performance Modelling Using UML and Petri Nets. Lecture Notes in Computer Science. 2965:265-289.
.
2004.
[1305] Special Issue: Computation and Logic in the Real World. Theory of Computing Systems. 45(4)
.
2009.
[CDS-TSE-99] Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
.
1999.
[1329] Synthesis of Asynchronous Controllers using Integer Linear Programming. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 25(9):1637-1651.
.
2006.
[1475] Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 10(4):1058-1070. Abstract
.
2013.
[PFMBC-JCST-13] Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.
.
2013.
[BCM-TII-11] Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Transactions on Industrial Informatics. 7(1):90-104.
.
2011.
[PCFB-LAT-13] Tuning Mechanism for IEEE 802.11e EDCA Optimization. IEEE Latin America Transactions. 11(4):1134-1142.
.
2013.
[PJCS-RR69-2005] Approximate Throughput Computation of Stochastic Weighted T-Systems.
.
2005.
.
2004.
[C-RR-00-00] Petri Nets.
.
2000.
[1348] 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
.
1989.
[Campos-thesis-90] Performance Bounds for Synchronized Queueing Networks.
.
1990.