|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 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 | María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero Ruiz, M. Llanos Tobarra |
WST: a tool supporting timed composite Web Services Model transformation. |
Simulation |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Gregorio Díaz, Valentin Valero, Enrique Martínez |
Validation and verification of Web services choreographies by using timed automata. |
J. Log. Algebr. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Valentín Valero Ruiz, Enrique Martínez |
Design and Generation of Web Services Choreographies with Time Constraints. |
J. UCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider |
Timed Automata Semantics for Visual e-Contracts |
FLACOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero |
Contractually Compliant Service Compositions. |
ICSOC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Valentín Valero Ruiz, Gregorio Díaz |
Verification of real-time systems design. |
Softw. Test., Verif. Reliab. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, María-Emilia Cambronero, Manuel Núñez |
Passive Testing of Web Services. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider |
A Model for Visual Specification of E-contracts. |
IEEE SCC |
2010 |
DBLP DOI BibTeX RDF |
deontic specifications, contracts, visual models |
| 1 | César Andrés, María-Emilia Cambronero, Manuel Núñez |
Formal Passive Testing of Service-Oriented Systems. |
IEEE SCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià |
A Petri net approach for the design and analysis of Web Services Choreographies. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià |
A barred operational semantics for a subset of WS-CDL with time restrictions. |
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 | Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentin Valero |
Design and Verification of Web Services Compositions. |
ICIW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Martínez, Gregorio Díaz, Carmen Rosa Martínez, María-Emilia Cambronero, Valentín Valero Ruiz |
Time Ordering Architecture in SCA. |
TAMoCo |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentin Valero |
A Comparative Study between WSCI, WS-CDL, and OWL-S. |
ICEBE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo |
Enhancing the expressivity of PADL for specifying Web Services Architectures. |
TAMoCo |
2008 |
DBLP BibTeX RDF |
|
| 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 | Gregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero |
Testing Time Goal-Driven Requirements with Model Checking Techniques. |
ECBS |
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 | Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentin Valero, Fernando Cuartero |
Analysis and Verification of Time Requirements Applied to the Web Services Composition. |
WS-FM |
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 | 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 | 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 | 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 |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")