Publications

Export 653 results:
Sort by: [ Author (Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
[MCM-JJCC-00] Merseguer, J, Campos J, Mena E.  2000.  Evaluating Performance on Mobile Agents Software Design. :291-307.
0 icon
00_MCM_JJCC.pdf
[MCM-SEPN-00] Merseguer, J, Campos J, Mena E.  2000.  Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
0 icon
00_MCM_SEPN.pdf
[MCM-WOSP-00] Merseguer, J, Campos J, Mena E.  2000.  A Pattern Based Approach to Model Software Performance. :137-142.
0 icon
00_MCM_WOSP.pdf
C
[C-Zaragoza-99] Campos, J.  1999.  PNPM99-PAPM99-NSMC99 Tutorial: Properties and Bounds on P/T Nets.
0 icon
description.pdf
[C-MATCH17-98] Campos, J.  1998.  Performance Bounds. :587-635.
[C-MATCH23-98] Campos, J.  1998.  Response Time Approximation for Stochastic Marked Graphs. :797-817.
[C-MATCH8-98] Campos, J.  1998.  Performance Measures and Basic Properties. :285-304.
0 icon
98_C_MATCH8.ps
B
[BC-StMalo-97] Baynat, B, Campos J.  1997.  PNPM97 Tutorial Approximate Methods Based on Net Driven Decompositions.
0 icon
97_BC_StMalo.ps
C
[EDA-book-95] Campos, J.  1995.  Estructuras de Datos y Algoritmos.
B
[BBBCC-QMIPS-94] Baccelli, F, Balbo G, Boucherie RJ, Campos J, Chiola G.  1994.  Annotated Bibliography on Stochastic Petri Nets. 105:25-44.
0 icon
94_BBBCC_QMIPS.ps
C
[CPSM-RMUCM-93] Campos, J, Plo BF, Miguel M.  1993.  Boundedness on Stochastic Petri Nets. Revista Matematica de la Universidad Complutense de Madrid. 6:123-136.
0 icon
93_CPSM_RMUCM.ps
[C-DEMON-91] Campos, J.  1991.  Performance Analysis of Live and Bounded Free Choice Systems. Studien. 198:38-48.
0 icon
91_C_DEMON.ps
[Campos-thesis-90] Campos, J.  1990.  Performance Bounds for Synchronized Queueing Networks.
0 icon
90_Campos_thesis.ps
[CM-LNCS-06] Campos, J, Merseguer J.  2006.  On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
0 icon
CM-LNCS-06.pdf
M
[MC-LNCS-04] Merseguer, J, Campos J.  2004.  Software Performance Modelling Using UML and Petri Nets. Lecture Notes in Computer Science. 2965:265-289.
0 icon
SPE.pdf
G
[GBC-IROS-04] González-Buesa, C, Campos J.  2004.  Solving the Mobile Robot Localization Problem Using String Matching Algorithms. :2475-2480.
0 icon
final.pdf
B
[BC-QEST-04] Bernardi, S, Campos J.  2004.  On Performance Bounds for Interval Time Petri Nets. :50-59.
0 icon
CameraReady.pdf
[BCDM-TSE] Bernardi, S, Campos J, Donatelli S, Merseguer J.  2004.  GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
[BC09] Bernardi, S, Campos J.  2009.  Computation of Performance Bounds for Real-time systems using Time Petri Nets. IEEE Transactions on Industrial Informatics. 5(2):168-180.
application/pdf icon
09_BC_TII.pdf
G
[ETFA09] Grau, A, Campos J, Oliver G.  2009.  Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation.
application/pdf icon
09_ETFA.pdf
C
[Cam-TII-10] Campos, J.  2010.  Guest Editorial: Special Section on Formal Methods in Manufacturing. IEEE Transactions on Industrial Informatics. 6(2):125-126.
application/pdf icon
10_Cam_TII.pdf
B
[BCM-TII-11] Bernardi, S, Campos J, Merseguer J.  2011.  Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Transactions on Industrial Informatics. 7(1):90-104.
application/pdf icon
11_BCM_TII.pdf
P
[1455] Pérez, S, Facchini H, Mercado G, Bisaro L, Campos J.  2013.  EDCA 802.11e Performance under Different Scenarios. Quantitative Analysis. 27th International Conference on Advanced Information Networking and Applications (AINA’13).
[PFMBC-JCST-13] Pérez, S, Facchini H, Mercado G, Bisaro L, Campos J.  2013.  Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.
B
[BC-TSMC-13] Bernardi, S, Campos J.  2013.  A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems. 43(5):1167-1181.