Concepedia

Gwen Salaün

GS

Statistics

Publications

24

Citations

970

H-Index

17

Active since

2002

Affiliations

Universidad de Málaga(Current)

Institut national de recherche en sciences et technologies du numérique

Centre National de la Recherche Scientifique

Centre Inria de l'Université Grenoble Alpes

Université Grenoble Alpes

Gwen Salaün is an author at Universidad de Málaga specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware DesignSoftware EngineeringProgram AnalysisSoftware AnalysisFormal VerificationSystem SoftwareVerification

Publications per year

2002–2019

24

Publications

24

Describing and reasoning on Web services using process algebra

Gwen Salaün, Lucas Bordeaux, Marco Schaerf · Proceedings. IEEE International Conference on Web Services, 2004. · 2004 · 150 citations

Web Service Specification, Engineering, Web Service Description +18

Model-Based Adaptation of Behavioral Mismatching Components

Carlos Canal, Pascal Poizat, Gwen Salaün · IEEE Transactions on Software Engineering · 2008 · 124 citations · Full text

Describing and reasoning on Web Services using Process Algebra

Gwen Salaün, Lucas Bordeaux, Marco Schaerf · International Journal of Business Process Integration and Management · 2006 · 69 citations

Web Service Specification, Engineering, Software Engineering +18

Checking the realizability of BPMN 2.0 choreographies

Pascal Poizat, Gwen Salaün · 2012 · 63 citations

Eclipse Bpmn 2.0, Engineering, Interaction Model +19

Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques

Radu Mateescu, Pascal Poizat, Gwen Salaün · IEEE Transactions on Software Engineering · 2011 · 60 citations · Full text

Software Maintenance, Engineering, Software Engineering +21

1–5 of 24