Ene 15 2016

Publicaciones

Published by at 1:08 pm under contents

Libros y Colecciones:


Todas las referencias:
Fichero BibTeX. Fichero PDF. Perfil en Google Scholar. Mis Co-Autores/Co-Editores.

Este material se presenta para garantizar la difusión oportuna del trabajo académico y técnico. Los derechos de autor y todos los derechos correspondientes pertenecen a los autores u otros titulares de los mismos. Se espera que todas las personas que copien esta información se adhieran a los términos y restricciones invocados por los derechos de autor. En la mayoría de los casos, estos trabajos no se pueden volver a publicar sin el permiso explícito del titular de los derechos de autor.

2019

Rodríguez, R J; Campos, J

On Throughput Approximation of Resource-Allocation Systems by Bottleneck Regrowing Artículo de revista

IEEE Transactions on Control Systems Technology, 27 (1), pp. 370-377, 2019.

Resumen | Enlaces | BibTeX

2018

Rodríguez, R J; Campos, J

Extended Abstract: On Throughput Approximation of Resource-Allocation Systems by Bottleneck Regrowing Inproceedings

Actas de las XXV Jornadas de Concurrencia y Sistemas Distribuidos, Universidad Complutense de Madrid y Universidad de Castilla-La Mancha, Toledo, Spain, 2018, (See the paper citeRC-TCST-19).

Resumen | Enlaces | BibTeX

2016

Pérez, S; Campos, J; Facchini, H; Dantiacq, A

Experimental Study of Unicast and Multicast Video Traffic using WAN Test Bed Inproceedings

Proceedings of the 2016 IEEE Biennial Congress of Argentina (ARGENCON'16), pp. 1-6, IEEE Computer Society, Buenos Aires, Argentina, 2016.

Resumen | Enlaces | BibTeX

2015

Pérez, S; Facchini, H; Campos, J; Taffernaberry, C; Hidalgo, F; Méndez, S

Behavior of Codecs for Multicast Video Traffic using WAN Test Bed Inproceedings

Proceedings of the 2015 Chilean Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON'15), pp. 269-274, IEEE Computer Society, Santiago, Chile, 2015.

Resumen | Enlaces | BibTeX

Pérez, S; Facchini, H; Dantiacq, A; Cangemi, G; Campos, J

Analysis of Impact in the Wi-Fi QoS of the EDCA Parameters Artículo de revista

Journal of Computer Science & Technology, 15 (1), pp. 8-14, 2015.

Resumen | Enlaces | BibTeX

Pérez, S; Facchini, H; Dantiacq, A; Cangemi, G; Campos, J

An Evaluation of QoS for intensive video traffic over 802.11e WLANs Inproceedings

Proceedings of the 25th International Conference on Electronics, Communications and Computers (CONIELECOMP'15), pp. 8-15, IEEE Computer Society, Puebla, Mexico, 2015.

Resumen | Enlaces | BibTeX

Campos, J; Haverkort, B (Ed.)

Quantitative Evaluation of Systems Libro

Springer, 2015, (Proceedings of the 12th International Conference on Quantitative Evaluation of Systems (QEST 2015), Madrid, Spain, September 1-3, 2015).

Enlaces | BibTeX

2014

Campos, J; Seatzu, C; Xie, X (Ed.)

Formal Methods in Manufacturing Libro

CRC Press, 2014.

Resumen | Enlaces | BibTeX

2013

Bernardi, S; Campos, J

A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets Artículo de revista

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 43 (5), pp. 1167-1181, 2013.

Resumen | Enlaces | BibTeX

Pérez, S; Campos, J; Facchini, H; Bisaro, L

Tuning Mechanism for IEEE 802.11e EDCA Optimization Artículo de revista

IEEE Latin America Transactions, 11 (4), pp. 1134-1142, 2013.

Resumen | Enlaces | BibTeX

Bernardi, S; Campos, J

A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets Inproceedings

Actas de las XXI Jornadas de Concurrencia y Sistemas Distribuidos, Universidad del País Vasco, San Sebastián, Spain, 2013, (See the paper citeBC-TSMC-13).

Resumen | Enlaces | BibTeX

Pérez, S; Facchini, H; Mercado, G; Bisaro, L; Campos, J

Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios Artículo de revista

Journal of Computer Science & Technology, 13 (1), pp. 16-23, 2013.

Resumen | Enlaces | BibTeX

Pérez, S; Facchini, H; Mercado, G; Bisaro, L; Campos, J

EDCA 802.11e performance under different scenarios. Quantitative analysis Inproceedings

Proceedings of the 27th International Conference on Advanced Information Networking and Applications (AINA'13), pp. 802-807, IEEE Computer Society, Barcelona, Spain, 2013.

Resumen | Enlaces | BibTeX

2011

Bernardi, S; Campos, J; Merseguer, J

Timing-failure risk assessment of UML design using Time Petri Net bound techniques Artículo de revista

IEEE Transactions on Industrial Informatics, 7 (1), pp. 90-104, 2011.

Resumen | Enlaces | BibTeX

2010

Campos, J

Guest Editorial: Special Section on Formal Methods in Manufacturing Artículo de revista

IEEE Transactions on Industrial Informatics, 6 (2), pp. 125-126, 2010.

Enlaces | BibTeX

2009

Grau, Antoni; Campos, Javier; Oliver, Gabriel (Ed.)

Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation Libro

IEEE Industrial Electronics Society, Palma de Mallorca, Spain, 2009.

Enlaces | BibTeX

Bernardi, S; Campos, J

Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets Artículo de revista

IEEE Transactions on Industrial Informatics, 5 (2), pp. 168-180, 2009.

Resumen | Enlaces | BibTeX

2007

Pérez-Jiménez, CJ; Campos, J; Silva, M

Approximate Throughput Computation of Stochastic Weighted T-Systems Artículo de revista

IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans, 37 (3), pp. 431-444, 2007.

Resumen | Enlaces | BibTeX

2006

Campos, J; Merseguer, J

On the integration of UML and Petri nets in software development Artículo de revista

Lecture Notes in Computer Science, 4024 , pp. 19-36, 2006, (Invited paper).

Resumen | Enlaces | BibTeX

2005

Bernardi, S; Campos, J; Donatelli, S; Merseguer, J

GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams Sin publicar

2005, (Submitted for publication).

Resumen | BibTeX

Pérez-Jiménez, CJ; Campos, J; Silva, M

Approximate Throughput Computation of Deterministic Systems of Sequential Processes: Application to Manufacturing Systems Sin publicar

2005, (Submitted for publication).

Resumen | BibTeX

2004

Bernardi, S; Campos, J

On Performance Bounds for Interval Time Petri Nets Inproceedings

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST'04), pp. 50-59, IEEE Computer Society, Enschede, The Netherlands, 2004.

Resumen | Enlaces | BibTeX

González-Buesa, C; Campos, J

Solving the Mobile Robot Localization Problem Using String Matching Algorithms Inproceedings

Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'04), pp. 2475-2480, Sendai, Japan, 2004.

Resumen | Enlaces | BibTeX

Merseguer, J; Campos, J

Software Performance Modelling Using UML and Petri Nets Artículo de revista

Lecture Notes in Computer Science, 2965 , pp. 265-289, 2004, (Invited paper).

Resumen | Enlaces | BibTeX

López-Grao, JP; Merseguer, J; Campos, J

From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering Inproceedings

Proceedings of the Fourth International Workshop on Software and Performance (WOSP'04), pp. 25-36, ACM, Redwood City, California, USA, 2004, (Also in ACM SIGSOFT Software Engineering Notes, Vol. 29, no. 1, January 2004.).

Resumen | Enlaces | BibTeX

2003

Merseguer, J; Campos, J; Mena, E

A Pattern-Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent-Based Systems Inproceedings

Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics, pp. 307-313, IIIS Press, Orlando, Florida, USA, 2003.

Resumen | Enlaces | BibTeX

Merseguer, J; Campos, J

Exploring Roles for the UML Diagrams in Software Performance Engineering Inproceedings

Proceedings of the 2003 International Conference on Software Engineering Research and Practice (SERP'03), pp. 43-47, CSREA Press, Las Vegas, Nevada, USA, 2003.

Resumen | Enlaces | BibTeX

Merseguer, J; Campos, J; Mena, E

Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison Artículo de revista

Wireless Networks: The Journal of Mobile Communication, Computation and Information, 9 (3), pp. 223-238, 2003.

Resumen | Enlaces | BibTeX

González-Uzábal, A; Galé, C; Campos, J

Desarrollo de una herramienta de optimización binivel utilizando CPLEX y MATLAB y generación de problemas de prueba Inproceedings

Actas del 27 Congreso Nacional de Estadística e Investigación Operativa, pp. 2931-2944, Sociedad de Estadística e Investigación Operativa de Espa~na y Departament de Matem`atica de la Universidad de Lleida Edicions de la Universitat de Lleida, Lleida, Spain, 2003, (In Spanish).

Resumen | Enlaces | BibTeX

2002

López-Grao, JP; Merseguer, J; Campos, J

Performance Engineering Based on UML and SPNs: A Software Performance Tool Inproceedings

Proceedings of the Seventeenth International Symposium on Computer and Information Sciences, pp. 405-409, University of Central Florida CRC Press, Orlando, Florida, USA, 2002.

Resumen | Enlaces | BibTeX

Merseguer, J; Bernardi, S; Campos, J; Donatelli, S

A Compositional Semantics for UML State Machines Aimed at Performance Evaluation Inproceedings

Silva, M; Giua, A; Colom, J M (Ed.): Proceedings of the 6th International Workshop on Discrete Event Systems, pp. 295-302, IEEE Computer Society Press, Zaragoza, Spain, 2002.

Resumen | Enlaces | BibTeX

López-Grao, JP; Merseguer, J; Campos, J

On the Use of Formal Models in Software Performance Evaluation Inproceedings

Actas de las X Jornadas de Concurrencia, pp. 367-387, Universidad de Zaragoza, Jaca, Spain, 2002.

Resumen | Enlaces | BibTeX

Campos, J; Ezpeleta, J; Júlvez, J; Merseguer, J; Pérez-Jiménez, CJ; Tricas, F (Ed.)

Actas de las X Jornadas de Concurrencia Libro

Ed. Kronos. ISBN 84-88502-98-2, Zaragoza, 2002.

Enlaces | BibTeX

Campos, J; Casanovas, J; Colom, J M; Martín, G; Martínez, J; Pont, A; Puigjaner, R; Robles, A; Sancho, M R

Informe sobre la adaptación de los estudios de TIC a la Đeclaración de Bolonia Sin publicar

2002, (In Spanish).

Enlaces | BibTeX

2001

Campos, J

Evaluación de Prestaciones de Sistemas Concurrentes Modelados con Redes de Petri Inproceedings

Actas de la XI Escuela de Verano de Informática de la Universidad de Castilla-La Mancha, pp. 141-156, Departamento de Informática, Universidad de Castilla-La Mancha, Albacete, Spain, 2001, (In Spanish).

Resumen | Enlaces | BibTeX

Merseguer, J; Campos, J; Mena, E

Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets Inproceedings

Meo, M; Dahlberg, T; Donatiello, L (Ed.): Proceedings of the 4th ACM International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems, within the 7th International Conference on Mobile Computing and Networking, pp. 47-56, ACM, Rome, Italy, 2001.

Resumen | Enlaces | BibTeX

Merseguer, J; Campos, J; Mena, E

Web-Based Versus Mobile Agent-Based Software Retrieval Systems: Performance Comparison Inproceedings

Actas de las IX Jornadas de Concurrencia, pp. 299-312, Universitat Ramon Llull, Sitges, Spain, 2001.

Resumen | Enlaces | BibTeX

Merseguer, J; Campos, J; Mena, E

A Performance Engineering Case Study: Software Retrieval System Artículo de revista

Lecture Notes in Computer Science, 2047 , pp. 317-332, 2001.

Resumen | Enlaces | BibTeX

2000

Merseguer, J; Campos, J; Mena, E

A Pattern-Based Approach to Model Software Performance Inproceedings

Proceedings of the Second International Workshop on Software and Performance, pp. 137-142, ACM, Ottawa, Canada, 2000.

Resumen | Enlaces | BibTeX

Merseguer, J; Campos, J; Mena, E

Evaluating Performance on Mobile Agents Software Design Inproceedings

Cazorla, D (Ed.): Actas de las VIII Jornadas de Concurrencia, pp. 291-307, Universidad de Castilla-la Mancha, Cuenca, Spain, 2000.

Resumen | Enlaces | BibTeX

Merseguer, J; Campos, J; Mena, E

Performance Evaluation for the Design of Agent-Based Systems: A Petri Net Approach Inproceedings

é, Mauro Pezz; Shatz, Sol M (Ed.): Proceedings of the Workshop on Software Engineering and Petri Nets, within the 21st International Conference on Application and Theory of Petri Nets, pp. 1-20, University of Aarhus, Aarhus, Denmark, 2000.

Resumen | Enlaces | BibTeX

Campos, J

Petri Nets Informe técnico

Departamento de Informática e Ingeniería de Sistemas Universidad de Zaragoza, 2000.

Resumen | Enlaces | BibTeX

1999

Campos, J

PNPM'99-PAPM'99-NSMC'99 Tutorial: Properties and Bounds on P/T Nets Inproceedings

Tutorials of the 8th International Workshop on Petri Nets and Performance Models, 7th International Workshop on Process Algebra and Performance Modelling, and 3rd International Meeting on Numerical Solution of Markov Chains, Zaragoza, Spain, 1999.

Resumen | Enlaces | BibTeX

Pérez-Jiménez, CJ; Campos, J

On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets Inproceedings

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, pp. 32-41, IEEE Computer Society Press, Zaragoza, Spain, 1999.

Resumen | Enlaces | BibTeX

Pérez-Jiménez, CJ; Campos, J

On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets Inproceedings

é, Bernab J M; ~n, Mu F D (Ed.): Actas de las VII Jornadas de Concurrencia, pp. 249-268, Universidad Politécnica de Valencia, Gandía, Spain, 1999.

Resumen | BibTeX

Campos, J; Donatelli, S; Silva, M

Structured Solution of Asynchronously Communicating Stochastic Modules Artículo de revista

IEEE Transactions on Software Engineering, 25 (2), pp. 147-165, 1999.

Resumen | Enlaces | BibTeX

1998

Campos, J

Performance Bounds Parte de obra colectiva

Balbo, G; Silva, M (Ed.): Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, pp. 587-635, Editorial KRONOS, Zaragoza, Spain, 1998.

Resumen | Enlaces | BibTeX

Campos, J

Response Time Approximation for Stochastic Marked Graphs Parte de obra colectiva

Balbo, G; Silva, M (Ed.): Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, pp. 797-817, Editorial KRONOS, Zaragoza, Spain, 1998.

Resumen | Enlaces | BibTeX

Campos, J

Performance Measures and Basic Properties Parte de obra colectiva

Balbo, G; Silva, M (Ed.): Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, pp. 285-304, Editorial KRONOS, Zaragoza, Spain, 1998.

Resumen | Enlaces | BibTeX

Silva, M; Campos, J

Introduction to Net-Driven Decomposition Techniques Parte de obra colectiva

Balbo, G; Silva, M (Ed.): Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, pp. 693-718, Editorial KRONOS, Zaragoza, Spain, 1998.

Resumen | Enlaces | BibTeX

Silva, M; Campos, J

Performance Evaluation of DEDS with Conflicts and Synchronizations: Net-Driven Decomposition Techniques Inproceedings

Proceedings of the 4th International Workshop on Discrete Event Systems, pp. 398-413, IEE Control, Cagliari, Italy, 1998.

Resumen | Enlaces | BibTeX

Pérez-Jiménez, CJ; Campos, J

A Response Time Approximation Technique for Stochastic General P/T Systems Inproceedings

Proceedings of the 2nd IMACS International Multiconference on Computational Engineering in Systems Applications (CESA'98), Hammamet, Tunisia, 1998.

Resumen | Enlaces | BibTeX

1997

Baynat, B; Campos, J

PNPM'97 Tutorial: Approximate Methods Based on Net-Driven Decompositions Inproceedings

Tutorials of the 7th International Workshop on Petri Nets and Performance Models, Saint Malo, France, 1997.

Resumen | Enlaces | BibTeX

Campos, J; Donatelli, S; Silva, M

Structured Solution of Stochastic DSSP Systems Inproceedings

Proceedings of the 7th International Workshop on Petri Nets and Performance Models, pp. 91-100, IEEE Computer Society Press, Saint Malo, France, 1997.

Resumen | Enlaces | BibTeX

1996

Pérez-Jiménez, CJ; Campos, J; Silva, M

On Approximate Performance Evaluation of Manufacturing Systems Modelled with Weighted T-Systems Inproceedings

Proceedings of the IMACS/IEEE-SMC Multiconference on Computational Engineering in Systems Applications (CESA'96), pp. 201-207, Lille, France, 1996.

Resumen | Enlaces | BibTeX

Pérez-Jiménez, CJ; Campos, J; Silva, M

Approximate Throughput Computation of a Class of Cooperating Sequential Processes Inproceedings

Proceedings of the Rensselaer's Fifth International Conference on Computer Integrated Manufacturing and Automation Technology (CIMAT'96), pp. 382-389, Grenoble, France, 1996.

Resumen | Enlaces | BibTeX

Pérez-Jiménez, CJ; Campos, J; Silva, M

State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes Inproceedings

Proceedings of the 1996 IEEE International Conference on Robotics and Automation, pp. 1159-1165, Minneapolis, Minnesota, USA, 1996.

Resumen | Enlaces | BibTeX

1995

Pérez-Jiménez, CJ; Campos, J; Silva, M

On Approximate Throughput Computation of Deterministic Systems of Sequential Processes Inproceedings

Actas de las IV Jornadas de Concurrencia, pp. 156-171, Universidad Complutense de Madrid, El Escorial, Spain, 1995.

Resumen | Enlaces | BibTeX

Silva, M; Campos, J

Structural Performance Analysis of Stochastic Petri Nets Inproceedings

Proceedings of the IEEE International Computer Performance and Dependability Symposium, pp. 61-70, IEEE-Computer Society Press, Erlangen, Germany, 1995, (Invited paper).

Resumen | Enlaces | BibTeX

Campos, J

Estructuras de Datos y Algoritmos Libro

Prensas Universitarias de Zaragoza, Pedro Cerbuna, 12, Zaragoza, Spain, 1995, (In Spanish).

Resumen | Enlaces | BibTeX

Campos, J; Colom, J M; Jungnitz, H; Silva, M

Approximate Throughput Computation of Stochastic Marked Graphs Parte de obra colectiva

Baccelli, F; Jean-Marie, A; Mitrani, I (Ed.): Quantitative Methods in Parallel Systems, pp. 175-188, Springer, 1995.

Resumen | Enlaces | BibTeX

Chiola, G; Anglano, C; Campos, J; Colom, J M; Silva, M

Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds Parte de obra colectiva

Baccelli, F; Jean-Marie, A; Mitrani, I (Ed.): Quantitative Methods in Parallel Systems, pp. 161-174, Springer, 1995.

Resumen | Enlaces | BibTeX

Teruel, E; Silva, M; Colom, J M; Campos, J

Functional and Performance Analysis of Cooperating Sequential Processes Parte de obra colectiva

Baccelli, F; Jean-Marie, A; Mitrani, I (Ed.): Quantitative Methods in Parallel Systems, pp. 52-65, Springer, 1995.

Resumen | Enlaces | BibTeX

1994

Campos, J; Colom, J M; Jungnitz, H; Silva, M

Approximate Throughput Computation of Stochastic Marked Graphs Artículo de revista

IEEE Transactions on Software Engineering, 20 (7), pp. 526-535, 1994.

Resumen | Enlaces | BibTeX

Baccelli, F; Balbo, G; Boucherie, R J; Campos, J; Chiola, G

Annotated Bibliography on Stochastic Petri Nets Parte de obra colectiva

Boxma, O J; Koole, G M (Ed.): Performance Evaluation of Parallel and Distributed Systems: Solution Methods, 105 , pp. 25-44, Centrum voor Wiskunde en Informatica, Amsterdam, 1994.

Resumen | Enlaces | BibTeX

Campos, J; Colom, J M; Jungnitz, H; Silva, M

A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs Parte de obra colectiva

Boxma, O J; Koole, G M (Ed.): Performance Evaluation of Parallel and Distributed Systems: Solution Methods, 106 , pp. 265-283, Centrum voor Wiskunde en Informatica, Amsterdam, 1994.

Resumen | BibTeX

Campos, J; Colom, J M; Silva, M; Teruel, E

Functional and Performance Analysis of Cooperating Sequential Processes Parte de obra colectiva

Boxma, O J; Koole, G M (Ed.): Performance Evaluation of Parallel and Distributed Systems: Solution Methods, 106 , pp. 233-251, Centrum voor Wiskunde en Informatica, Amsterdam, 1994.

Resumen | BibTeX

Chiola, G; Anglano, C; Campos, J; Colom, J M; Silva, M

Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds Parte de obra colectiva

Boxma, O J; Koole, G M (Ed.): Performance Evaluation of Parallel and Distributed Systems: Solution Methods, 106 , pp. 197-213, Centrum voor Wiskunde en Informatica, Amsterdam, 1994.

Resumen | BibTeX

Teruel, E; Silva, M; Colom, J M; Campos, J

Functional and Performance Analysis of Cooperating Sequential Processes Artículo de revista

Lecture Notes in Control and Information Sciences, 199 , pp. 169-175, 1994.

Resumen | Enlaces | BibTeX

1993

Campos, J; Colom, J M; Jungnitz, H; Silva, M

A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs Inproceedings

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, pp. 138-147, IEEE-Computer Society Press, Toulouse, France, 1993.

Resumen | Enlaces | BibTeX

Chiola, G; Anglano, C; Campos, J; Colom, J M; Silva, M

Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds Inproceedings

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, pp. 128-137, IEEE-Computer Society Press, Toulouse, France, 1993.

Resumen | Enlaces | BibTeX

Chiola, G; Campos, J; Colom, J M; Silva, M

Operational Analysis of Timed Petri Nets Inproceedings

Proceedings of the 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance'93), Roma, Italy, 1993.

Resumen | BibTeX

Campos, J; Silva, M

Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems Artículo de revista

Performance Evaluation, 18 (1), pp. 3-19, 1993.

Resumen | Enlaces | BibTeX

Ramírez, A; Campos, J; Silva, M

On Optimal Scheduling in DEDS Inproceedings

Proceedings of the 1993 IEEE International Conference on Robotics and Automation, pp. 821-826, Atlanta, USA, 1993.

Resumen | Enlaces | BibTeX

Silva, M; Campos, J

Performance Models Based on Petri Nets Inproceedings

Proceedings of the IMACS/IFAC Second International Symposium on Mathematical and Intelligent Models in System Simulation, pp. xiv-xxi, Brussels, Belgium, 1993, (Invited paper).

Resumen | Enlaces | BibTeX

Balbo, G; Silva, M; Chiola, G; Campos, J; others,

The Timed (Coloured) Petri Net Formalism: Position Paper Parte de obra colectiva

Workshop on Formalisms, Principles, and State-of-the-Art, 14 , pp. 3-60, Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik), Erlangen, Germany, 1993.

Resumen | Enlaces | BibTeX

Campos, J; Plo, B F; San Miguel, M

Boundedness on Stochastic Petri Nets Artículo de revista

Revista Matemática de la Universidad Complutense de Madrid, 6 (1), pp. 123-136, 1993.

Resumen | Enlaces | BibTeX

1992

Campos, J; Chiola, G; Colom, J M; Silva, M

Properties and Performance Bounds for Timed Marked Graphs Artículo de revista

IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 39 (5), pp. 386-401, 1992.

Resumen | Enlaces | BibTeX

Campos, J; Colom, J M; Silva, M

Improving Throughput Upper Bounds for Net Based Models of Manufacturing Systems Parte de obra colectiva

Gentina, J C; Tzafestas, S G (Ed.): Robotics and Flexible Manufacturing Systems, pp. 281-294, Elsevier Science Publishers B.V. (North-Holland), Amsterdam, The Netherlands, 1992.

Resumen | Enlaces | BibTeX

Campos, J; Silva, M

Structural Techniques and Performance Bounds of Stochastic Petri Net Models Artículo de revista

Lecture Notes in Computer Science, 609 , pp. 352-391, 1992.

Resumen | Enlaces | BibTeX

Silva, M; Colom, J M; Campos, J

Linear Algebraic Techniques for the Analysis of Petri Nets Parte de obra colectiva

Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II, pp. 35-42, Mita Press, Tokyo, Japan, 1992.

Resumen | Enlaces | BibTeX

1991

Campos, J; Chiola, G; Silva, M

Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks Artículo de revista

IEEE Transactions on Automatic Control, 36 (12), pp. 1368-1382, 1991.

Resumen | Enlaces | BibTeX

Campos, J; Silva, M

Throughput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks Inproceedings

Proceedings of the 4rd International Workshop on Petri Nets and Performance Models, pp. 312-321, IEEE-Computer Society Press, Melbourne, Australia, 1991.

Resumen | Enlaces | BibTeX

Campos, J; Sánchez, B; Silva, M

Throughput Lower Bounds for Markovian Petri Nets: Transformation Techniques Inproceedings

Proceedings of the 4rd International Workshop on Petri Nets and Performance Models, pp. 322-331, IEEE-Computer Society Press, Melbourne, Australia, 1991.

Resumen | Enlaces | BibTeX

Campos, J

Performance Analysis of Live and Bounded Free Choice Systems Parte de obra colectiva

Best, E; Esparza, J (Ed.): Design Methods Based on Nets, pp. 38-48, Sankt Augustin, Germany, 1991.

Enlaces | BibTeX

Campos, J; Colom, J M

A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets Inproceedings

Proceedings of the Twelfth International Conference on Application and Theory of Petri Nets, pp. 237-256, EATCS IBM Deutschland, Gjern, Denmark, 1991.

Resumen | Enlaces | BibTeX

Silva, M; Colom, J M; Campos, J

Linear Algebraic Techniques for the Analysis of Petri Nets Inproceedings

Proceedings of the International Symposium on the Mathematical Theory of Networks and Systems, pp. 413-415, Kobe, Japan, 1991.

Resumen | BibTeX

Campos, J; Colom, J M; Silva, M

Improving Throughput Upper Bounds for Net Based Models Inproceedings

Proceedings of the IMACS-IFAC International Symposium on Modeling and Control of Technological Systems, pp. 573-582, Lille, France, 1991.

Resumen | BibTeX

Campos, J; Chiola, G; Silva, M

Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector Artículo de revista

IEEE Transactions on Software Engineering, 17 (2), pp. 117-125, 1991.

Resumen | Enlaces | BibTeX

1990

Campos, J

Performance Bounds for Synchronized Queueing Networks Tesis doctoral

Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, Spain, 1990.

Resumen | Enlaces | BibTeX

Colom, J M; Campos, J; Silva, M

On liveness analysis through linear algebraic techniques Inproceedings

Proceedings of the Annual General Meeting of ESPRIT Basic Research Action 3148 Design Methods Based on Nets (DEMON), Paris, France, 1990.

Resumen | Enlaces | BibTeX

Campos, J; Colom, J M; Silva, M

Performance Evaluation of Repetitive Automated Manufacturing Systems Inproceedings

Proceedings of the Rensselaer's Second International Conference on Computer Integrated Manufacturing, pp. 74-81, IEEE-Computer Society Press, Rensselaer Polytechnic Institute, Troy, NY, USA, 1990.

Resumen | Enlaces | BibTeX

Campos, J; Silva, M

Steady-State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes Parte de obra colectiva

Cosnard, M; Girault, C (Ed.): Decentralized Systems, pp. 427-438, Elsevier Science Publishers B.V. (North-Holland), Amsterdam, The Netherlands, 1990.

Resumen | Enlaces | BibTeX

1989

Campos, J; Chiola, G; Colom, J M; Silva, M

Tight Polynomial Bounds for Steady-State Performance of Marked Graphs Inproceedings

Proceedings of the 3rd International Workshop on Petri Nets and Performance Models, pp. 200-209, IEEE Computer Society Press, Kyoto, Japan, 1989.

Resumen | Enlaces | BibTeX

Campos, J; Chiola, G; Silva, M

Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector Inproceedings

Proceedings of the 3rd International Workshop on Petri Nets and Performance Models, pp. 210-220, IEEE Computer Society Press, Kyoto, Japan, 1989.

Resumen | Enlaces | BibTeX

Campos, J; Silva, M

Steady-State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes Inproceedings

Proceedings of the Working Conference on Decentralized Systems, pp. 559-585, International Federation for Information Processing W.G.~10.3, Lyon, France, 1989.

Resumen | BibTeX

No responses yet

Comments are closed.