Publications

Export 39 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Title is T  [Clear All Filters]
Thesis
[charlie-Phd] Pérez-Jiménez, CJ.  2002.  Tecnicas de aproximacion de throughput en redes de Petri estocasticas.
0 icon
02_Per_thesis.pdf
Journal Article
[BLV07] Bernues, J, López-Valdés M.  2007.  Tail estimates and a random embedding of l^p_n to l_r^{(1+ε)n}, 0<r<p<2.. Publ. Math. Debrecen. 70
[1475] Requeno, JI, de Miguel G, Blanco R, Colom JM.  2013.  Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 10(4):1058-1070. Abstract
[PFMBC-JCST-13] Pérez, S, Facchini H, Mercado G, Bisaro L, Campos J.  2013.  Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.
[1316] Vázquez, CR, Silva M.  2011.  Timing and liveness in continuous Petri nets. Automatica. 47(2):283--290.
application/pdf icon
Draft_-_Timing_and_liveness_in_continuous_PN.pdf
[BCM-TII-11] Bernardi, S, Campos J, Merseguer J.  2011.  Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Transactions on Industrial Informatics. 7(1):90-104.
application/pdf icon
11_BCM_TII.pdf
[RP-85-09] Silva, M.  1985.  Tolerancia a fallos en aplicaciones tiempo real. :111-124.
[1484] Woodside, M, Petriu DC, Merseguer J, Petriu DB, Alhaj M.  2014.  Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
application/pdf icon
PUMA-R1-2013.pdf
[PCFB-LAT-13] Pérez, S, Campos J, Facchini H, Bisaro L.  2013.  Tuning Mechanism for IEEE 802.11e EDCA Optimization. IEEE Latin America Transactions. 11(4):1134-1142.
[LutMayTPRBMb] Lutz, JH, Mayordomo E.  1999.  Twelve problems in resource bounded measure. Bulletin of the European Association for Theoretical Computer Science. 68:64-80.
0 icon
99_LM_BEATCS.ps
[ZRS-JIM-01] Zimmermann, A, Rodríguez D, Silva M.  2001.  A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.
0 icon
01_ZRS_JourIM.ps
Conference Paper
[1393] Signes-Pont, MT, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2009.  Table-based Method for Reconfigurable Function Evaluation. 23rd IEEE International Symposium on Parallel and Distributed Processing (IPDPS) 2009.
[1396] Pont, SMT, Chamizo GJM, Mora MH, de Casado MG.  2007.  Table-based Recursive Method for Function Evaluation. International Conference of Numerical Analysis and Applied Mathematics 2007.
[1399] Signes-Pont, MT, de-Miguel-Casado G, García-Chamizo JM, Mora-Mora H.  2007.  Table-based Recursive Method for Function Evaluation. Numerical Analysis and Applied Mathematics 2007.
[1320] Blanco, R, de Miguel G, Requeno JI, Colom JM.  2010.  Temporal Logics for Phylogenetic Analysis via Model Checking. Workshop on Mining and Management of Biological and Health Data – A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10). :152-157.
[RP-86-06] Montano, L, Pardos P.  1986.  Terminal controllers for robots: Shooting and optimal control. :384-389.
[RP-97-06] Mertsiotakis, V, Silva M.  1997.  Throughput Approximation of Decision Free Processes Using Decomposition. :174-182.
[CSS-Melbourne-91] Campos, J, Sánchez B, Silva M.  1991.  Throughput Lower Bounds for Markovian Petri Nets Transformation Techniques. :322-331.
0 icon
91_CSS_Melbourne.ps
[CS-Melbourne-91] Campos, J, Silva M.  1991.  Throughput Upper Bounds for Markovian Petri Nets Embedded Subnets and Queueing Networks. :312-321.
0 icon
91_CS_Melbourne.ps
[RP-96-12] Mertsiotakis, V, Silva M.  1996.  A Throughtput Approximation Algorithm for Decision Free Processes. :161-178.
[278] Campos, J, Chiola G, Colom JM, Silva M.  1989.  Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. Third IEEE International Workshop on Petri Nets and Performance Models (PNPM'89). :200-209.
0 icon
89_CCCS_Kyoto.ps
[RoIndin06] Rodríguez, D.  2006.  Time and Supervisory Control of Manufacturing Systems: a Flexible Manufacturing Cell experience. :CD-Rom.
[1510] Requeno, JI, Colom JM.  2014.  Timed and Probabilistic Model Checking over Phylogenetic Trees. 8th International Conference on Practical Applications of Computational Biology & Bioinformatics . Abstract
[IPVaMaMiReSi08] Vázquez, CR, Mangini AM, Mihalache A, Recalde L, Silva M.  2008.  Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
0 icon
Timing for deadlock-freeness v submitted.pdf
[1267] Vázquez, CR, Silva M.  2010.  Timing-dependent boundedness and liveness in continuous Petri nets. 10th International Workshop on Discrete Event Systems (WODES).
application/pdf icon
version_sometida_inicialmente_WODES.pdf