|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 27 occurrences of 23 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pedro Valero-Lara, José L. Sánchez, Diego Cazorla, Enrique Arias |
A GPU-based implementation of the MRF algorithm in ITK package.  |
The Journal of Supercomputing  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Uribe Paredes, Pedro Valero-Lara, Enrique Arias, José L. Sánchez, Diego Cazorla |
A GPU-Based Implementation for Range Queries on Spaghettis Data Structure. |
ICCSA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla |
Looking for a Cheaper ROSA. |
IWANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla |
BAL Tool in Flexible Manufacturing Systems. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià |
Improving performance in flexible manufacturing systems. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero |
Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. |
Telecommunication Systems |
2009 |
DBLP DOI BibTeX RDF |
AVISPA toolbox, Model checking, Security protocols, Wireless sensor |
| 1 | M. Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero |
Formal Verification of the Secure Sockets Layer Protocol. |
ICEIS (3-2) |
2008 |
DBLP BibTeX RDF |
|
| 1 | M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo |
Modelling secure wireless sensor networks routing protocols with timed automata. |
PM2HW2N |
2008 |
DBLP DOI BibTeX RDF |
security, wireless sensor networks, timed automata |
| 1 | M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero |
Formal Analysis of Sensor Network Encryption Protocol (SNEP). |
MASS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz |
Analysis of Web Services Secure Conversation with Formal Methods. |
ICIW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo |
Process Algebra Specification of Flexible Manufacturing Systems. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo |
Analysis of the SET e-commerce protocol using a true concurrency process algebra. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
SET protocol, heterogeneous shared resources, performance evaluation, formal specification, process algebra |
| 1 | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo |
Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo |
A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz |
Application of Formal Methods to the Analysis of Web Services Security. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
Protocols and standards for WS, Security of WS, Secure Electronic Commerce |
| 1 | Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero |
Introducing the Iteration in sPBC. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra |
| 1 | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià |
A Bounded True Concurrency Process Algebra for Performance Evaluation. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo |
Algebraic theory of probabilistic and nondeterministic processes. |
J. Log. Algebr. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla |
Analysis of the MPEG-2 Encoding Algorithm with ROSA1. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla |
Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo |
A process algebra for probabilistic and nondeterministic processes. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla |
Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo |
A Denotational Model for Probabilistic and Nondeterministic Processes. |
ICDCS Workshop on Distributed System Validation and Verification |
2000 |
DBLP BibTeX RDF |
|
| 1 | Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla |
An example of performance evaluation by using the stochastic process algebra: ROSA. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
ROSA, algebraic language, performance indexes, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, stochastic process algebra, real-time requirements, designs specifications, Alternating Bit Protocol, temporal requirements |
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")