Publications
] Filters: First Letter Of Last Name is C [Clear All Filters]
[CM-LNCS-06] .
2006. On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
[CelayaAHPCC06] .
2006. Scalable Architecture for Allocation of Idle CPUs in a P2P Network. :240-249.
[RP05] .
2005. Supervisión y Control de Tiempos en Sistemas: experiencia en una Célula Flexible de Fabricación. :8.
[PJCS-RR69-2005] .
2005. Approximate Throughput Computation of Stochastic Weighted T-Systems.
[1337] .
2005. Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems. Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005). :65-77.
[1331] .
2005. A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. 2005 IEEE International Conference on Robotics & Automation (ICRA’05). :272-278.
[GBC-IROS-04] .
2004. Solving the Mobile Robot Localization Problem Using String Matching Algorithms. :2475-2480.
[BC-QEST-04] .
2004. On Performance Bounds for Interval Time Petri Nets. :50-59.
[LGMC-WOSP02] .
2004. From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. :25-36.
[1391] .
2004. II Jornadas sobre Domótica y Automatización Industrial. II Jornadas sobre Domótica y Automatización Industrial.
[MC-LNCS-04] .
2004. Software Performance Modelling Using UML and Petri Nets. Lecture Notes in Computer Science. 2965:265-289.
[BCDM-TSE] .
2004. GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
[IPCoGiSeJu03] .
2003. Observers for nondeterministic l-free labeled Petri nets.
[MCM-SCI03] .
2003. A Pattern Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent Based Systems. 9:307-313.
[MC-SERP03] .
2003. Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
[MCM-WINET03] .
2003. Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
[GUGC-SEIO03] .
2003. Desarrollo de una herramienta de optimización binivel utilizando CPLEX y MATLAB y generación de problemas de prueba. :2931-2944.
[1326] .
2003. Petri Net Approaches for Modelling and Validation. Lincom Studies in Computer Science. 1
[1330] .
2003. The Resource Allocation Problem in Flexible Manufacturing Systems. Application and Theory of Petri Nets 2003. :23-35.
[1333] .
2003. Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. Petri Net Approaches for Modelling and Validation. :35-51.
[LGMC-02b] .
2002. On the Use of Formal Models in Software Performance Evaluation. :367-387.
[LGMC-02c] .
2002. Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[910] .
2002. A Banker's Solution for Deadlock Avoidance in FMS with Flexible Routing and Multiresource States. IEEE Transactions on Robotics and Automation. 18(4):621-625.
