 | 2011 |
| 24 |  | Javier Campos,
Carlos Miguel Tavares Calafate,
Marga Nácher,
Pietro Manzoni,
Juan-Carlos Cano:
HOP: Achieving Efficient Anonymity in MANETs by Combining HIP, OLSR, and Pseudonyms.
EURASIP J. Wireless Comm. and Networking 2011: (2011) |
| 23 |  | Simona Bernardi,
Javier Campos,
José Merseguer:
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques.
IEEE Trans. Industrial Informatics 7(1): 90-104 (2011) |
| 2010 |
| 22 |  | Carlos Miguel Tavares Calafate,
Javier Campos,
Marga Nácher,
Pietro Manzoni,
Juan-Carlos Cano:
A-HIP: A Solution Offering Secure and Anonymous Communications in MANETs.
IWSEC 2010: 217-231 |
| 2009 |
| 21 |  | Simona Bernardi,
Javier Campos:
Computation of Performance Bounds for Real-Time systems using Time Petri Nets.
IEEE Trans. Industrial Informatics 5(2): 168-180 (2009) |
| 2006 |
| 20 |  | Javier Campos,
José Merseguer:
On the Integration of UML and Petri Nets in Software Development.
ICATPN 2006: 19-36 |
| 2004 |
| 19 |  | Simona Bernardi,
Javier Campos:
On Performance Bounds for Interval Time Petri Nets.
QEST 2004: 50-59 |
| 18 |  | Juan Pablo López-Grao,
José Merseguer,
Javier Campos:
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering.
WOSP 2004: 25-36 |
| 2003 |
| 17 |  | José Merseguer,
Javier Campos:
Software Performance Modeling Using UML and Petri Nets.
MASCOTS Tutorials 2003: 265-289 |
| 16 |  | José Merseguer,
Javier Campos:
Exploring Roles for the UML Diagrams in Software Performance Engineering.
Software Engineering Research and Practice 2003: 43-47 |
| 15 |  | José Merseguer,
Javier Campos,
Eduardo Mena:
Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison.
Wireless Networks 9(3): 223-238 (2003) |
| 2001 |
| 14 |  | José Merseguer,
Javier Campos,
Eduardo Mena:
Performance analysis of internet based software retrieval systems using Petri Nets.
MSWiM 2001: 47-56 |
| 13 |  | José Merseguer,
Javier Campos,
Eduardo Mena:
A Performance Engineering Case Study: Software Retrieval System.
Performance Engineering 2001: 317-332 |
| 2000 |
| 12 |  | Javier Campos,
Frank L. Lewis,
Rastko R. Selmic:
Backlash Compensation in Discrete Time Nonlinear Systems Using Dynamic Inversion by Neural Networks.
ICRA 2000: 1289-1295 |
| 11 |  | José Merseguer,
Javier Campos,
Eduardo Mena:
A pattern-based approach to model software performance.
Workshop on Software and Performance 2000: 137-142 |
| 1999 |
| 10 |  | Javier Campos,
Susanna Donatelli,
Manuel Silva:
Structured Solution of Asynchronously Communicating Stochastic Modules.
IEEE Trans. Software Eng. 25(2): 147-165 (1999) |
| 1994 |
| 9 |  | Javier Campos,
José Manuel Colom,
Hauke Jungnitz,
Manuel Silva:
Approximate Throughput Computation of Stochastic Marked Graphs.
IEEE Trans. Software Eng. 20(7): 526-535 (1994) |
| 1993 |
| 8 |  | Antonio Ramírez-Treviño,
Javier Campos,
Manuel Silva:
On Optimal Scheduling in DEDS.
ICRA (3) 1993: 821-826 |
| 7 |  | Javier Campos,
Manuel Silva:
Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems.
Perform. Eval. 18(1): 3-19 (1993) |
| 1992 |
| 6 |  | Javier Campos,
Manuel Silva:
Structural techniques and performance bounds of stochastic Petri net models.
Advances in Petri Nets: The DEMON Project 1992: 352-391 |
| 1991 |
| 5 |  | Javier Campos,
Manuel Silva:
Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks.
PNPM 1991: 312-321 |
| 4 |  | Javier Campos,
Beatriz Sánchez,
Manuel Silva:
Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques.
PNPM 1991: 322-331 |
| 3 |  | Javier Campos,
Giovanni Chiola,
Manuel Silva:
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector.
IEEE Trans. Software Eng. 17(2): 117-125 (1991) |
| 1989 |
| 2 |  | Javier Campos,
Giovanni Chiola,
José Manuel Colom,
Manuel Silva:
Tight Polynomial Bounds for Steady-State Performance of Marked Graphs.
PNPM 1989: 200-209 |
| 1 |  | Javier Campos,
Giovanni Chiola,
Manuel Silva:
Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector.
PNPM 1989: 210-220 |