|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Francisco Durán, Meriem Ouederni, Gwen Salaün |
A generic framework for n-protocol compatibility checking.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni |
Interactive specification and verification of behavioral adaptation contracts. |
Information & Software Technology |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Tevfik Bultan, Meriem Ouederni |
Deciding choreography realizability. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Tevfik Bultan, Meriem Ouederni |
Synchronizability for Verification of Asynchronously Communicating Systems. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Meriem Ouederni, Gwen Salaün, Ernesto Pimentel |
Measuring the compatibility of service interaction protocols. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Meriem Ouederni, Gwen Salaün, Ernesto Pimentel |
Client Update: A Solution for Service Evolution. |
IEEE SCC |
2011 |
DBLP DOI BibTeX RDF |
Web Services, Services Composition |
| 1 | Meriem Ouederni, Gwen Salaün |
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability |
WCSI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Meriem Ouederni, Gwen Salaün, Ernesto Pimentel |
Quantifying Service Compatibility: A Step beyond the Boolean Approaches. |
ICSOC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Meriem Ouederni, Gwen Salaün |
Checking Protocol Compatibility using Maude. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni |
Interactive Specification and Verification of Behavioural Adaptation Contracts. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
components and services, behavioural interface, adaptation, validation and verification, graphical notation |
| 1 | Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel |
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")