|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 19 keywords
|
|
|
|
|
Results
Found 39 publication records. Showing 39 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ismael Rodríguez, Gregorio Díaz, Pablo Rabanal, José Antonio Mateo |
A centralized and a decentralized method to automatically derive choreography-conforming web service systems.  |
J. Log. Algebr. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 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 | José Antonio Mateo, Valentin Valero, Gregorio Díaz |
BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources |
CoRR |
2012 |
DBLP 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 | 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 | José Antonio Mateo, Valentin Valero, Gregorio Díaz |
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. |
WS-FM |
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 | Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz |
DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. |
ICWS |
2011 |
DBLP DOI BibTeX RDF |
Web services composition, Conformance, FSM, WS-BPEL, WS-CDL |
| 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 | 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 | 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 | Gregorio Díaz, Ismael Rodríguez |
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | Gregorio Díaz, Ismael Rodríguez |
Automatically Deriving Choreography-Conforming Systems of Services. |
IEEE SCC |
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 | Juan Enrique Agudo, Cherif Branki, Brian Cross, Gregorio Díaz, Frank-Dieter Dorloff, Guadalupe Ortiz, Key Pousttchi, Martin Randles, Mercedes Rico, Héctor Sánchez, A. Taleb-Bendiab, Frank Teuteberg, Rainer Unland (eds.) |
Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo 2009, 16-17 September 2009, Mérida, Spain |
TAMoCo |
2009 |
DBLP 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 | Cherif Branki, Brian Cross, Gregorio Díaz, Peter Langendörfer, Fritz Laux, Guadalupe Ortiz, Martin Randles, A. Taleb-Bendiab, Frank Teuteberg, Rainer Unland, Gerhard Wanner (eds.) |
Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo 2008, University of Paisley, Glasgow, Scotland, United Kingdom, 14 - 15 January 2008 |
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 | 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 | 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 | Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Gregorio Díaz, Elena Nieto |
Does ROSA provide a good view of the Memorizing Process? |
IEEE ICCI |
2007 |
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. |
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 | 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 | 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 | 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 | 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 | Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo |
Automatic verification of the TLS handshake protocol. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
authentication protocols and model checking, system verification and model checking, security, e-Commerce, authentication protocols |
| 1 | María del Carmen Carrión, Gregorio Díaz, Blanca Caminero-Herráez |
Performance Issues of Deterministic and Adaptive Ghost-Packet Routers. (PDF / PS) |
ICPP |
2001 |
DBLP DOI BibTeX RDF |
VLSI router de-sign, routing algorithms, k-ary n-cube networks |
Displaying result #1 - #39 of 39 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")