|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 12 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz |
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan José Pardo, Manuel Núñez, M. Carmen Ruiz |
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. |
FMOODS/FORTE |
2010 |
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 | Fernando Cuartero, Jesús Ruíz Bueno, Juan José Pardo |
Nuevos Métodos de Enseñanza en Astronomía. |
IEEE-RITA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Juan José Pardo, Manuel Núñez, M. Carmen Ruiz |
A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. |
ICCCI (SCI Volume) |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentin Valero, Fernando Cuartero |
Model Checking Techniques applied to the design of Web Services. |
CLEI Electron. J. |
2007 |
DBLP BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentin Valero |
Using UML Diagrams to Model Real-Time Web Services. |
ICIW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentin Valero |
Using RT-UML for modelling web services. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
RT-UML, web services, modeling, WS-BPEL, transformation rules |
| 1 | Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero |
Verification of Web Services with Timed Automata. |
Electr. Notes Theor. Comput. Sci. |
2006 |
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 | Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentin Valero, Fernando Cuartero |
Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. |
AICT/ICIW |
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 | María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo |
RT-UML for modeling Real-Time Web Services. |
SCW |
2006 |
DBLP DOI BibTeX RDF |
|
| 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 | Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz |
Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. |
Australian Software Engineering Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero |
Verification of Web Services with Timed Automata. |
WWV |
2005 |
DBLP 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 | Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentin Valero |
An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
authentication protocols and model checking, system verification and model checking, security, e-commerce, authentication protocols |
| 1 | Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero |
Automatic Translation of WS-CDL Choreographies to Timed Automata. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 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 | Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero |
Translating TPAL Specifications into Timed-Arc Petri Nets. |
ICATPN |
2002 |
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 |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")