Gwen Salaün

Citée par

	Toutes	Depuis 2020
Citations	3778	801
indice h	30	15
indice i10	89	30

280

140

210

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202521 27 28 62 96 152 214 227 257 277 254 200 225 218 169 147 176 136 167 151 188 131 139 25

Accès public

Tout afficher

21 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Pascal PoizatProfessor at Université Paris NanterreAdresse e-mail validée de lip6.fr
Carlos CanalUniversity of MalagaAdresse e-mail validée de lcc.uma.es
Francisco DuránUniversity of MálagaAdresse e-mail validée de uma.es
Meriem OuederniToulouse INP, IRIT, FranceAdresse e-mail validée de enseeiht.fr
Javier CámaraAssociate Professor of Computer Science, University of MálagaAdresse e-mail validée de uma.es
Ernesto PimentelFull Professor of Computer Science, University of MalagaAdresse e-mail validée de uma.es
J. Christian AttiogbéUniversity of Nantes - LS2N Lab (LINA+IRCCyN since 2017)Adresse e-mail validée de univ-nantes.fr
Ajay KrishnaUniversity of Grenoble, InriaAdresse e-mail validée de inria.fr
noel de palmaUniversity Grenoble AlpesAdresse e-mail validée de imag.fr
Javier CuboUniversidad Internacional de la RiojaAdresse e-mail validée de unir.net
Camilo RochaProfessor, Pontificia Universidad Javeriana Cali, ORCID: 0000-0003-4356-7704Adresse e-mail validée de javerianacali.edu.co
Yliès FalconeUniv. Grenoble Alpes and InriaAdresse e-mail validée de univ-grenoble-alpes.fr
Thierry CoupayeVP Augmented Operations Research, OrangeAdresse e-mail validée de orange.com
Marco SchaerfProfessor of Computer Science, Sapienza UniversityAdresse e-mail validée de uniroma1.it
Tevfik BultanProfessor of Computer Science, University of California, Santa BarbaraAdresse e-mail validée de cs.ucsb.edu
Nima RoohiUniversity of California San DiegoAdresse e-mail validée de ucsd.edu
Lina YEUniversité Paris-Saclay, CentraleSupélec, LRIAdresse e-mail validée de centralesupelec.fr
Umar OzeerEuris Health CloudAdresse e-mail validée de euris.com
José Antonio MartínPhD Student, Universidad de MálagaAdresse e-mail validée de lcc.uma.es
Matthias GüdemannUniversity of Applied Sciences MunichAdresse e-mail validée de hm.edu

Suivre

Gwen Salaün

Université Grenoble Alpes, LIG, Inria

Adresse e-mail validée de inria.fr - Page d'accueil

Formal Methods Automated Verification Distributed Systems Software Engineering


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Describing and reasoning on web services using process algebra G Salaun, L Bordeaux, M Schaerf International Journal of Business Process Integration and Management 1 (2 …, 2006	472	2006
When are two web services compatible? L Bordeaux, G Salaün, D Berardi, M Mecella International Workshop on Technologies for E-Services, 15-28, 2004	314	2004
Model-based adaptation of behavioral mismatching components C Canal, P Poizat, G Salaün IEEE Transactions on Software Engineering 34 (4), 546-563, 2008	201	2008
Adaptation of service protocols using process algebra and on-the-fly reduction techniques R Mateescu, P Poizat, G Salaün IEEE Transactions on Software Engineering 38 (4), 755-777, 2011	190	2011
Checking the realizability of BPMN 2.0 choreographies P Poizat, G Salaün Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1927-1934, 2012	102	2012
Itaca: An integrated toolbox for the automatic composition and adaptation of web services J Cámara, JA Martín, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel 2009 IEEE 31st International Conference on Software Engineering, 627-630, 2009	87	2009
Realizability of choreographies using process algebra encodings G Salaün, T Bultan, N Roohi IEEE Transactions on Services Computing 5 (3), 290-304, 2011	80	2011
Synchronizing behavioural mismatch in software composition C Canal, P Poizat, G Salaün International Conference on Formal Methods for Open Object-Based Distributed …, 2006	80	2006
Realizability of choreographies using process algebra encodings G Salaün, T Bultan Integrated Formal Methods, 167-182, 2009	68	2009
Negotiation among web services using LOTOS/CADP G Salaün, A Ferrara, A Chirichiello Web Services: European Conference, ECOWS 2004, Erfurt, Germany, September 27 …, 2004	62	2004
Behavioral adaptation of component compositions based on process algebra encodings R Mateescu, P Poizat, G Salaün Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007	58	2007
Counterexample guided synthesis of monitors for realizability enforcement M Güdemann, G Salaün, M Ouederni International Symposium on Automated Technology for Verification and …, 2012	56	2012
A model-based approach to the verification and adaptation of WF/. NET components J Cubo, G Salaün, C Canal, E Pimentel, P Poizat Electronic Notes in Theoretical Computer Science 215, 39-55, 2008	56	2008
VerChor: A framework for the design and verification of choreographies M Güdemann, P Poizat, G Salaün, L Ye IEEE Transactions on Services Computing 9 (4), 647-660, 2015	52	2015
Using process algebra for web services: Early results and perspectives L Bordeaux, G Salaün International Workshop on Technologies for E-Services, 54-68, 2004	46	2004
Resilience of stateful IoT applications in a dynamic fog environment U Ozeer, X Etchevers, L Letondeur, FG Ottogalli, G Salaün, JM Vincent Proceedings of the 15th EAI International Conference on Mobile and …, 2018	45	2018
Generation of service wrapper protocols from choreography specifications G Salaün 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008	45	2008
Formal verification of CHP specifications with CADP illustration on an asynchronous network-on-chip G Salaun, W Serwe, Y Thonnart, P Vivet 13th IEEE International Symposium on Asynchronous Circuits and Systems …, 2007	44	2007
Robust and reliable reconfiguration of cloud applications F Durán, G Salaün Journal of Systems and Software 122, 524-537, 2016	41	2016
Checking business process evolution A Krishna, P Poizat, G Salaün Science of Computer Programming 170, 1-26, 2019	40	2019

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs