Publications
Filters: Author is J. Campos [Clear All Filters]
.
1999.
.
1997.
[C-RR-00-00] Petri Nets.
.
2000.
[SC-Brussels-93] Performance Models Based on Petri Nets. :xiv-xxi.
.
1993.
[C-MATCH8-98] Performance Measures and Basic Properties. :285-304.
.
1998.
[276] Performance Evaluation of Repetitive Automated Manufacturing Systems. IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing. :74-81.
.
1990.
[SC-wodes98] Performance Evaluation of DEDS with Conflicts and Synchronizations Net Driven Decomposition Techniques. :398-413.
.
1998.
[MCM-SEPN-00] Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
.
2000.
[MCM-LNCS-01] A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
.
2001.
[LGMC-02c] Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
.
2002.
[Campos-thesis-90] Performance Bounds for Synchronized Queueing Networks.
.
1990.
[C-MATCH17-98] Performance Bounds. :587-635.
.
1998.
[C-DEMON-91] Performance Analysis of Live and Bounded Free Choice Systems. Studien. 198:38-48.
.
1991.
[MCM-MSWiM-01] Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets. :47-56.
.
2001.
[MCM-SCI03] A Pattern Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent Based Systems. 9:307-313.
.
2003.
[MCM-WOSP-00] A Pattern Based Approach to Model Software Performance. :137-142.
.
2000.
[238] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
.
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.
[250] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. IEEE 5th International Workshop on Petri Nets and Performance Models (PNPM'93). :128-137.
.
1993.
[251] Operational Analysis of Timed Petri Nets. 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance'93).
.
1993.
[LGMC-02b] On the Use of Formal Models in Software Performance Evaluation. :367-387.
.
2002.
[CM-LNCS-06] On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
.
2006.
[PJC-JJCC99] On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :249-268.
.
1999.
[PJC-PNPM99] On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :32-41.
.
1999.
[BC-QEST-04] On Performance Bounds for Interval Time Petri Nets. :50-59.
.
2004.