Publications
Filters: First Letter Of Last Name is C [Clear All Filters]
[1373] IEC 61499 execution model based on life cycle of function blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[1374] Design patterns for Failure Management in IEC 61499 Function Blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[1384] Control design for machine tools using Domiciano, an IDE based on software components. 16th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2011).
.
2011.
[CelayaAGRID06] YA: Fast and Scalable Discovery of Idle CPUs in a P2P Network. :49-55.
.
2006.
[CelayaAHPCC06] Scalable Architecture for Allocation of Idle CPUs in a P2P Network. :240-249.
.
2006.
[1246] YA: Fast and Scalable Discovery of Idle CPUs in a P2P network. 7th IEEE/ACM International Conference on Grid Computing.
.
2006.
[1247] Scalable Architecture for Allocation of Idle CPUs in a P2P Network. 2nd International Conference on High Performance Computing and Communications.
.
2006.
[1248] Distributed Scheduler of Workflows with Deadlines in a P2P Desktop Grid. 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing.
.
2010.
[1390] Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. :17.
.
2007.
[1391] II Jornadas sobre Domótica y Automatización Industrial. II Jornadas sobre Domótica y Automatización Industrial.
.
2004.
[1396] Table-based Recursive Method for Function Evaluation. International Conference of Numerical Analysis and Applied Mathematics 2007.
.
2007.
[IPBaReChSi00] Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
.
2000.
[1540] On Liveness Enforcement of DSSP net systems. 52nd IEEE Annual Conference on Decision and Control (CDC). Abstract
.
2016.
[1541] Operation Planning of Elective Patients in an Orthopedic Surgery Department. 2nd International Workshop on Models and Methods for healthcare systems management and planning (M2H) in ETFA 2016. Abstract
.
2016.
[199] Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
.
1993.
[200] Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
.
1993.
[204] Choice-free Petri Nets: A Model for Deterministic Concurrent Systems with Bulk Services and Arrivals. IEEE Transactions on Systems, Man and Cybernetics. Part A: Systems and Humans. 27(1):73-83.
.
1997.
[238] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
.
1995.
[239] Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
.
1995.
[243] Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.
.
1995.
[245] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Performance Evaluation of parallel and distributed systems. Solution Methods. :197-213.
.
1994.
[246] A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. Performance Evaluation of parallel and distributed systems. Solution Methods. :265-283.
.
1994.
[247] Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Transactions on Software Engineering. 20(7):526-535.
.
1994.
[248] Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.
.
1994.
[249] Functional and Performance Analysis of Cooperating Sequential Processes. 11th International Conference on Analysis and Optimization Systems. Discrete Event Systems. :169-175.
.
1994.