Publications

Export 85 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is J. Campos  [Clear All Filters]
Book
[BBBCC-QMIPS-94] Baccelli, F, Balbo G, Boucherie RJ, Campos J, Chiola G.  1994.  Annotated Bibliography on Stochastic Petri Nets. 105:25-44.
[EDA-book-95] Campos, J.  1995.  Estructuras de Datos y Algoritmos.
[SC-MATCH20-98] Silva, M, Campos J.  1998.  Introduction to Net Driven Decomposition Techniques. :693-718.
[C-DEMON-91] Campos, J.  1991.  Performance Analysis of Live and Bounded Free Choice Systems. Studien. 198:38-48.
[C-MATCH17-98] Campos, J.  1998.  Performance Bounds. :587-635.
[MCM-LNCS-01] Merseguer, J, Campos J, Mena E.  2001.  A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
[C-MATCH8-98] Campos, J.  1998.  Performance Measures and Basic Properties. :285-304.
[C-MATCH23-98] Campos, J.  1998.  Response Time Approximation for Stochastic Marked Graphs. :797-817.
[CS-DS-90] Campos, J, Silva M.  1990.  Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
[CS-LNCS-92] Campos, J, Silva M.  1992.  Structural Techniques and Performance Bounds of Stochastic Petri Net Models. 609:352-391.
[State-of-the-art-93] Balbo, G, Silva M, Chiola G, Campos J, others.  1993.  The Timed Coloured Petri Net Formalism Position Paper. 14:3-60.
Book Chapter
[239] Campos, J, Colom JM, Jungnitz H, Silva M.  1995.  Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
[243] Teruel, E, Silva M, Colom JM, Campos J.  1995.  Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.
[248] Teruel, E, Silva M, Colom JM, Campos J.  1994.  Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.
[249] Teruel, E, Silva M, Colom JM, Campos J.  1994.  Functional and Performance Analysis of Cooperating Sequential Processes. 11th International Conference on Analysis and Optimization Systems. Discrete Event Systems. :169-175.
[246] Campos, J, Colom JM, Jungnitz H, Silva M.  1994.  A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. Performance Evaluation of parallel and distributed systems. Solution Methods. :265-283.
[259] Campos, J, Colom JM, Silva M.  1992.  Improving Throughput Upper Bounds for Net Based Models. Robotics and Flexible Manufacturing Systems. :281-294.
[269] Silva, M, Colom JM, Campos J.  1992.  Linear Algebraic Techniques for the Analysis of Petri Nets. Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II. :35-42.
[271] Colom, JM, Campos J, Silva M.  1990.  On liveness analysis through linear algebraic techniques. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
[238] Chiola, G, Anglano C, Campos J, Colom JM, Silva M.  1995.  Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
[245] Chiola, G, Anglano C, Campos J, Colom JM, Silva M.  1994.  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.
[1482] López-Grao, JP, Colom JM, Tricas F.  2014.  Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook. Formal Methods in Manufacturing. Abstract
Conference Paper