| 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 | Gwen Salaün, Marjan Sirjani |
Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09). |
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 | Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel De Palma, Gwen Salaün |
Automated Configuration of Legacy Applications in the Cloud. |
UCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Bernhard Schätz (eds.) |
Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings |
FMICS |
2011 |
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 | Fabienne Boyer, Olivier Gruber, Gwen Salaün |
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee |
Translating FSP into LOTOS and networks of automata. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo |
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel |
Semi-Automatic Specification of Behavioural Service Adaptation Contracts. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 | Javier Cámara, Carlos Canal, Gwen Salaün (eds.) |
Proceedings International Workshop on Component and Service Interoperability |
WCSI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün |
Analysis and Verification of Service Interaction Protocols - A Brief Survey |
TAV-WEB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Gwen Salaün (eds.) |
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Xiang Fu, Sylvain Hallé (eds.) |
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software |
TAV-WEB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal |
Handling Data-Based Concurrency in Context-Aware Service Protocols |
FOCLASA |
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 | Radu Mateescu, Gwen Salaün |
Translating Pi-Calculus into LOTOS NT. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel |
A Case Study in Model-Based Adaptation of Web Services. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Gwen Salaün, Wendelin Serwe |
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nima Roohi, Gwen Salaün, Seyed-Hassan Mirian-Hosseinabadi |
Analyzing Chor Specifications by Translation into FSP. |
Electr. Notes Theor. Comput. Sci. |
2009 |
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 | Gwen Salaün, Tevfik Bultan |
Realizability of Choreographies Using Process Algebra Encodings. |
IFM |
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, Carlos Canal, Gwen Salaün |
Behavioural self-adaptation of services in ubiquitous computing environments. |
SEAMS |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 |
|
| 1 | Carlos Canal, Pascal Poizat, Gwen Salaün |
Model-Based Adaptation of Behavioral Mismatching Components. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Gwen Salaün, Carlos Canal |
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat |
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Carlos Canal, Gwen Salaün |
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün |
Generation of Service Wrapper Protocols from Choreography Specifications. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Pascal Poizat, Gwen Salaün |
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Gwen Salaün, Carlos Canal |
Clint: A Composition Language Interpreter (Tool Paper). |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Attiogbé, Pascal Poizat, Gwen Salaün |
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
Formal methods, tools, languages, operational semantics, state diagrams, integrated environments, specification techniques |
| 1 | Antonella Chirichiello, Gwen Salaün |
Encoding process algebraic descriptions of web services into BPEL. |
Web Intelligence and Agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pascal Poizat, Gwen Salaün, Massimo Tivoli |
An Adaptation-based Approach to Incrementally Build Component Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Poizat, Gwen Salaün |
Adaptation of Open Component-Based Systems. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Gwen Salaün, Carlos Canal |
Run-time Composition and Adaptation of Mismatching Behavioural Transactions. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Pascal Poizat, Gwen Salaün |
Behavioral adaptation of component compositions based on process algebra encodings. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
behavioral interfaces, adaptation, components, composition, process algebra |
| 1 | Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel |
Context-Based Adaptation of Component Behavioural Interfaces. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet |
Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip. |
ASYNC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee |
Translating FSP into LOTOS and Networks of Automata. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Gwen Salaün |
Synchronizing Behavioural Mismatch in Software Composition. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Poizat, Jean-Claude Royer, Gwen Salaün |
Bounded Analysis and Decomposition for Behavioural Descriptions of Components. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Gwen Salaün |
Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. |
CAL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gwen Salaün, Pascal Poizat |
Interacting Extended State Diagrams. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Wendelin Serwe |
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Chirichiello, Gwen Salaün |
Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. |
Web Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Andrea Ferrara, Antonella Chirichiello |
Negotiation Among Web Services Using LOTOS/CADP. |
ECOWS |
2004 |
DBLP DOI BibTeX RDF |
CADP, Web Services, Formal Methods, Negotiation, BPEL, LOTOS |
| 1 | Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella |
When are Two Web Services Compatible? |
TES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, Gwen Salaün |
Using Process Algebra for Web Services: Early Results and Perspectives. |
TES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Lucas Bordeaux, Marco Schaerf |
Describing and Reasoning on Web Services using Process Algebra. |
ICWS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Christian Attiogbé |
Formalising an Integrated Language in PVS. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
Formal Method Integration, Equivalence Proof, Embedding, Process Algebra, Algebraic Specifications, PVS |
| 1 | Christian Attiogbé, Pascal Poizat, Gwen Salaün |
Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Attiogbé, Pascal Poizat, Gwen Salaün |
Integration of Formal Datatypes within State Diagrams. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
formal methods integration, Z, algebraic specifications, B, state diagrams |
| 1 | Gwen Salaün, Michel Allemand, Christian Attiogbé |
Foundations for a Combination of Heterogeneous Specification Components. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Michel Allemand, Christian Attiogbé |
Specification of an Access Control System with a Formalism Combining CCS and CASL. (PDF / PS) |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Michel Allemand, Christian Attiogbé |
A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. (PDF / PS) |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Michel Allemand, Christian Attiogbé |
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
Multi-formalism Specifications, Generic Combination, Algebraic Specification Language, Process Algebra, Operational Semantics |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")