Gwen Salaün
Orcid: 0000-0003-3654-8791
According to our database1,
Gwen Salaün
authored at least 148 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
ACM Trans. Auton. Adapt. Syst., December, 2024
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics.
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
Proceedings of the Service-Oriented Computing - 22nd International Conference, 2024
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024
Proceedings of the IEEE International Conference on Industrial Technology, 2024
Proceedings of the Fundamental Approaches to Software Engineering, 2024
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024
2023
Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023
2022
ACM Trans. Internet Things, 2022
Internet Things, 2022
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022
Proceedings of the 12th International Conference on the Internet of Things, 2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
Proceedings of the Service-Oriented Computing - 20th International Conference, 2022
Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022
2021
IEEE Trans. Software Eng., 2021
Softw. Syst. Model., 2021
Sci. Comput. Program., 2021
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude.
J. Log. Algebraic Methods Program., 2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
Proceedings of the IoT '21: 11th International Conference on the Internet of Things, St. Gallen, Switzerland, November 8, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021
Proceedings of the IEEE International Conference on Services Computing, 2021
2020
F<sup>3</sup>ARIoT: A framework for autonomic resilience of IoT applications in the Fog.
Internet Things, 2020
Proceedings of the Companion of The 2020 Web Conference 2020, 2020
Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020
Proceedings of the Formal Methods for Industrial Critical Systems, 2020
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
A rewriting logic approach to resource allocation analysis in business process models.
Sci. Comput. Program., 2019
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Service-Oriented Computing - 17th International Conference, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019
Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case.
Proceedings of the 22nd Conference on Innovation in Clouds, 2019
2018
Sci. Comput. Program., 2018
Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems.
Sci. Comput. Program., 2018
Formal Methods Syst. Des., 2018
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT.
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2018
2017
Sci. Comput. Program., 2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017
Proceedings of the Coordination Models and Languages, 2017
2016
IEEE Trans. Serv. Comput., 2016
Sci. Comput. Program., 2016
Sci. Comput. Program., 2016
Proceedings of the Model Checking Software - 23rd International Symposium, 2016
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016
2015
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Proceedings of the Fundamental Approaches to Software Engineering, 2015
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
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the Service-Oriented Computing - 12th International Conference, 2014
Proceedings of the Fundamental Approaches to Software Engineering, 2014
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
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
Innov. Syst. Softw. Eng., 2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Fundamental Approaches to Software Engineering, 2013
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013
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
IEEE Trans. Serv. Comput., 2012
Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09).
Sci. Comput. Program., 2012
Sci. Comput. Program., 2012
Sci. Comput. Program., 2012
Inf. Softw. Technol., 2012
Verification of a self-configuration protocol for distributed applications in the cloud.
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the Automated Technology for Verification and Analysis, 2012
2011
Informatica (Slovenia), 2011
Proceedings of the IEEE 4th International Conference on Utility and Cloud Computing, 2011
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
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011
Proceedings of the IEEE International Conference on Services Computing, 2011
2010
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010
Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010
Proceedings of the Proceedings Fourth International Workshop on Testing, 2010
Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
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
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation.
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009
Proceedings of the first international workshop on Context-aware software technology and applications, 2009
Proceedings of the Ninth International Conference on Quality Software, 2009
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
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009
2008
IEEE Trans. Software Eng., 2008
J. Univers. Comput. Sci., 2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the Fundamental Approaches to Software Engineering, 2008
2007
Web Intell. Agent Syst., 2007
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes.
IEEE Trans. Software Eng., 2007
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007
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
Int. J. Bus. Process. Integr. Manag., 2006
Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006
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
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
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004
Proceedings of the Technologies for E-Services, 5th International Workshop, 2004
Proceedings of the Technologies for E-Services, 5th International Workshop, 2004
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
Proceedings of the Formal Methods and Software Engineering, 2003
Proceedings of the Fundamental Approaches to Software Engineering, 2003
2002
Proceedings of the Formal Methods and Component Interaction 2002, 2002
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