Gwen Salaün

According to our database1, Gwen Salaün
  • authored at least 97 papers between 2001 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Reliable self-deployment of distributed cloud applications.
Softw., Pract. Exper., 2017

Asynchronous synthesis techniques for coordinating autonomic managers in the cloud.
Sci. Comput. Program., 2017

Preface: Special issue on software verification and testing.
Journal of Systems and Software, 2017

Compatibility flooding: measuring interaction of services interfaces.
Proceedings of the Symposium on Applied Computing, 2017

VBPMN: Automated Verification of BPMN Processes (Tool Paper).
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Debugging of Concurrent Systems Using Counterexample Analysis.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

Verifying Timed BPMN Processes Using Maude.
Proceedings of the Coordination Models and Languages, 2017

2016
VerChor: A Framework for the Design and Verification of Choreographies.
IEEE Trans. Services Computing, 2016

Special issue on Software Verification and Testing (SAC-SVT'15).
Sci. Comput. Program., 2016

Formal design of dynamic reconfiguration protocol for cloud applications.
Sci. Comput. Program., 2016

Robust and reliable reconfiguration of cloud applications.
Journal of Systems and Software, 2016

Automated Analysis of Asynchronously Communicating Systems.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Stability-Based Adaptation of Asynchronously Communicating Software.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Checking Business Process Evolution.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015
Debugging Process Algebra Specifications.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Model-Based Adaptation of Software Communicating via FIFO Buffers.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

Asynchronous Coordination of Stateful Autonomic Managers in the Cloud.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014
Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11).
Sci. Comput. Program., 2014

Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12).
Sci. Comput. Program., 2014

Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10).
Sci. Comput. Program., 2014

Reliable self-deployment of cloud applications.
Proceedings of the Symposium on Applied Computing, 2014

Adaptation of Asynchronously Communicating Software.
Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

Comparator: A Tool for Quantifying Behavioural Compatibility.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Quantifying the parallelism in BPMN processes using model checking.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Robust reconfiguration of cloud applications.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud.
Proceedings of the Assurances for Self-Adaptive Systems, 2013

An experience report on the verification of autonomic protocols in the cloud.
ISSE, 2013

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

VerChor: A Framework for Verifying Choreographies.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

Compatibility Checking for Asynchronously Communicating Software.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Verification of a Dynamic Management Protocol for Cloud Applications.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.
IEEE Trans. Software Eng., 2012

Realizability of Choreographies Using Process Algebra Encodings.
IEEE Trans. Services Computing, 2012

Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09).
Sci. Comput. Program., 2012

A generic framework for n-protocol compatibility checking.
Sci. Comput. Program., 2012

Structural reconfiguration of systems under behavioral adaptation.
Sci. Comput. Program., 2012

Interactive specification and verification of behavioral adaptation contracts.
Information & Software Technology, 2012

Verification of a self-configuration protocol for distributed applications in the cloud.
Proceedings of the ACM Symposium on Applied Computing, 2012

Checking the realizability of BPMN 2.0 choreographies.
Proceedings of the ACM Symposium on Applied Computing, 2012

Counterexample Guided Synthesis of Monitors for Realizability Enforcement.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Realizability and Dynamic Reconfiguration of Chor Specifications.
Informatica (Slovenia), 2011

Automated Configuration of Legacy Applications in the Cloud.
Proceedings of the IEEE 4th International Conference on Utility and Cloud Computing, 2011

Measuring the compatibility of service interaction protocols.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP.
Proceedings of the FM 2011: Formal Methods, 2011

Realizability of Choreographies for Services Interacting Asynchronously.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Client Update: A Solution for Service Evolution.
Proceedings of the IEEE International Conference on Services Computing, 2011

2010
Translating FSP into LOTOS and networks of automata.
Formal Asp. Comput., 2010

A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation.
Electr. Notes Theor. Comput. Sci., 2010

Semi-Automatic Specification of Behavioural Service Adaptation Contracts.
Electr. Notes Theor. Comput. Sci., 2010

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability
Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

Analysis and Verification of Service Interaction Protocols - A Brief Survey
Proceedings of the Proceedings Fourth International Workshop on Testing, 2010

Handling Data-Based Concurrency in Context-Aware Service Protocols
Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

A Case Study in Model-Based Adaptation of Web Services.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Translating Pi-Calculus into LOTOS NT.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Quantifying Service Compatibility: A Step beyond the Boolean Approaches.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

2009
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP.
Sci. Comput. Program., 2009

Analyzing Chor Specifications by Translation into FSP.
Electr. Notes Theor. Comput. Sci., 2009

Checking Protocol Compatibility using Maude.
Electr. Notes Theor. Comput. Sci., 2009

Interactive Specification and Verification of Behavioural Adaptation Contracts.
Proceedings of the Ninth International Conference on Quality Software, 2009

Realizability of Choreographies Using Process Algebra Encodings.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services.
Proceedings of the 31st International Conference on Software Engineering, 2009

Behavioural self-adaptation of services in ubiquitous computing environments.
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

2008
Model-Based Adaptation of Behavioral Mismatching Components.
IEEE Trans. Software Eng., 2008

Composition and Run-time Adaptation of Mismatching Behavioural Interfaces.
J. UCS, 2008

A Model-Based Approach to the Verification and Adaptation of WF/.NET Components.
Electr. Notes Theor. Comput. Sci., 2008

Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems.
Electr. Notes Theor. Comput. Sci., 2008

Generation of Service Wrapper Protocols from Choreography Specifications.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.
Proceedings of the Service-Oriented Computing, 2008

Clint: A Composition Language Interpreter (Tool Paper).
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
Encoding process algebraic descriptions of web services into BPEL.
Web Intelligence and Agent Systems, 2007

A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes.
IEEE Trans. Software Eng., 2007

An Adaptation-based Approach to Incrementally Build Component Systems.
Electr. Notes Theor. Comput. Sci., 2007

Run-time Composition and Adaptation of Mismatching Behavioural Transactions.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Behavioral adaptation of component compositions based on process algebra encodings.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Translating FSP into LOTOS and Networks of Automata.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Adaptation of Open Component-Based Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Context-Based Adaptation of Component Behavioural Interfaces.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip.
Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007), 2007

2006
Describing and reasoning on Web Services using Process Algebra.
IJBPIM, 2006

Bounded Analysis and Decomposition for Behavioural Descriptions of Components.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Synchronizing Behavioural Mismatch in Software Composition.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation.
Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006

2005
Interacting Extended State Diagrams.
Electr. Notes Theor. Comput. Sci., 2005

Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development.
Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 2005

Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004
MIAOw: a Method to Integrate a Process Algebra with Formal Data.
Informatica (Slovenia), 2004

When are Two Web Services Compatible?
Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

Using Process Algebra for Web Services: Early Results and Perspectives.
Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

Describing and Reasoning on Web Services using Process Algebra.
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Negotiation Among Web Services Using LOTOS/CADP.
Proceedings of the Web Services, European Conference, 2004

2003
Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Formalising an Integrated Language in PVS.
Proceedings of the Formal Methods and Software Engineering, 2003

Integration of Formal Datatypes within State Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

2002
Foundations for a Combination of Heterogeneous Specification Components.
Electr. Notes Theor. Comput. Sci., 2002

Specification of an Access Control System with a Formalism Combining CCS and CASL.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001


  Loading...