Model-Based Adaptation of Behavioral Mismatching Components
Canal, C., Poizat, P., Salaun, G.
Published in IEEE transactions on software engineering (01.07.2008)
Published in IEEE transactions on software engineering (01.07.2008)
Get full text
Journal Article
Contribution of close-in fallout from the French atmospheric tests in inventories of 137Cs, 241Am and plutonium (238, 239, 240) in Gambier Islands (French Polynesia) – Signatures of stratospheric fallout in the Southern Hemisphere
Bouisset, P., Nohl, M., Cossonnet, C., Boulet, B., Thomas, S., Cariou, N., Salaun, G.
Published in Journal of environmental radioactivity (01.09.2021)
Published in Journal of environmental radioactivity (01.09.2021)
Get full text
Journal Article
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
Attiogbe, C., Poizat, P., Salaun, G.
Published in IEEE transactions on software engineering (01.03.2007)
Published in IEEE transactions on software engineering (01.03.2007)
Get full text
Journal Article
Elemental analysis by XRF and HE-PIXE on silver coins from the 16th-17th centuries and on a gilded crucifix from the 12th century
Gillon, A., Koumeir, C., Meziani, C.-P., Haddad, F., Louarn, G., Metivier, V., Mouchard, Q., Salaün, G., Servagent, N.
Published in European physical journal plus (24.10.2023)
Published in European physical journal plus (24.10.2023)
Get full text
Journal Article
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
Year of Publication 2014
Get full text
Conference Proceeding
Describing and reasoning on Web services using process algebra
Salaun, G., Bordeaux, L., Schaerf, M.
Published in Proceedings. IEEE International Conference on Web Services, 2004 (2004)
Published in Proceedings. IEEE International Conference on Web Services, 2004 (2004)
Get full text
Conference Proceeding
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
Mateescu, Radu, Poizat, Pascal, Salaun, Gwen
Published in IEEE transactions on software engineering (01.07.2012)
Published in IEEE transactions on software engineering (01.07.2012)
Get full text
Journal Article
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
Year of Publication 2013
Get full text
Conference Proceeding
Rasch analysis of the “forgotten joint” questionnaire
Niama Natta, D.D., Thienpont, E., Bredin, A., Salaun, G., Detrembleur, C.
Published in Annals of physical and rehabilitation medicine (01.07.2018)
Published in Annals of physical and rehabilitation medicine (01.07.2018)
Get full text
Journal Article
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
Year of Publication 2011
Get full text
Conference Proceeding
Automated Configuration of Legacy Applications in the Cloud
Etchevers, X., Coupaye, T., Boyer, F., de Palma, N., Salaun, G.
Published in 2011 Fourth IEEE International Conference on Utility and Cloud Computing (01.12.2011)
Published in 2011 Fourth IEEE International Conference on Utility and Cloud Computing (01.12.2011)
Get full text
Conference Proceeding
When are Two Web Services Compatible?
Bordeaux, Lucas, Salaün, Gwen, Berardi, Daniela, Mecella, Massimo
Published in Technologies for E-Services (2005)
Published in Technologies for E-Services (2005)
Get full text
Book Chapter