|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31 occurrences of 26 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Simona Bernardi, Javier Campos, José Merseguer |
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques.  |
IEEE Trans. Industrial Informatics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, Javier Campos |
Computation of Performance Bounds for Real-Time systems using Time Petri Nets. |
IEEE Trans. Industrial Informatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Campos, José Merseguer |
On the Integration of UML and Petri Nets in Software Development. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, Javier Campos |
On Performance Bounds for Interval Time Petri Nets. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Pablo López-Grao, José Merseguer, Javier Campos |
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
UML Profile for schedulability performance and time specification, UML, CASE tool, compositionality, software performance, activity diagrams, Generalized Stochastic Petri nets |
| 1 | José Merseguer, Javier Campos, Eduardo Mena |
Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. |
Wireless Networks |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José Merseguer, Javier Campos |
Software Performance Modeling Using UML and Petri Nets. |
MASCOTS Tutorials |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José Merseguer, Javier Campos |
Exploring Roles for the UML Diagrams in Software Performance Engineering. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
| 1 | José Merseguer, Javier Campos, Eduardo Mena |
A Performance Engineering Case Study: Software Retrieval System. |
Performance Engineering |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | José Merseguer, Javier Campos, Eduardo Mena |
Performance analysis of internet based software retrieval systems using Petri Nets. |
MSWiM |
2001 |
DBLP DOI BibTeX RDF |
mobile agent technology, internet, UML, UML, wireless networks, stochastic Petri nets, software performance engineering |
| 1 | Javier Campos, Frank L. Lewis, Rastko R. Selmic |
Backlash Compensation in Discrete Time Nonlinear Systems Using Dynamic Inversion by Neural Networks. |
ICRA |
2000 |
DBLP BibTeX RDF |
|
| 1 | José Merseguer, Javier Campos, Eduardo Mena |
A pattern-based approach to model software performance. |
Workshop on Software and Performance |
2000 |
DBLP DOI BibTeX RDF |
UML, UML, Petri nets, patterns, software reuse, software performance, object-oriented paradigm |
| 1 | Javier Campos, Susanna Donatelli, Manuel Silva |
Structured Solution of Asynchronously Communicating Stochastic Modules. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
performance analysis, Petri net models, Kronecker algebra, structural decomposition |
| 1 | Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva |
Approximate Throughput Computation of Stochastic Marked Graphs. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
approximate throughput computation, stochastic marked graphs, stochastic strongly connected marked graphs, net decomposition, single input-single output cut, qualitative behavior, general decomposition technique, iterative response time approximation method, intractable systems, stochastic Petri net models, performance evaluation, Petri nets, error, stochastic processes, state space, iterative technique |
| 1 | Javier Campos, Manuel Silva |
Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. |
Perform. Eval. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Ramírez-Treviño, Javier Campos, Manuel Silva |
On Optimal Scheduling in DEDS. |
ICRA |
1993 |
DBLP BibTeX RDF |
|
| 1 | Javier Campos, Manuel Silva |
Structural techniques and performance bounds of stochastic Petri net models. |
Advances in Petri Nets: The DEMON Project |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Campos, Giovanni Chiola, Manuel Silva |
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
persistent nets, throughput bounds, unique consistent firing count vector, mono-T-semiflow net subclasses, incidence matrix, synchronized queuing networks, Petri nets, Petri nets, linear programming, linear programming, ergodicity, marked graphs |
| 1 | Javier Campos, Beatriz Sánchez, Manuel Silva |
Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques. |
PNPM |
1991 |
DBLP BibTeX RDF |
|
| 1 | Javier Campos, Manuel Silva |
Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks. |
PNPM |
1991 |
DBLP BibTeX RDF |
|
| 1 | Javier Campos, Giovanni Chiola, José Manuel Colom, Manuel Silva |
Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. |
PNPM |
1989 |
DBLP BibTeX RDF |
|
| 1 | Javier Campos, Giovanni Chiola, Manuel Silva |
Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. |
PNPM |
1989 |
DBLP BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")