Search

Your search keyword '"Salaün, Gwen"' showing total 483 results
Start Over Author "Salaün, Gwen"

Refine your results

more »

more »

more »

more »
483 results on '"Salaün, Gwen"'

1. Probabilistic Runtime Enforcement of Executable BPMN Processes

Author

Falcone, Yliès, Salaün, Gwen, Zuo, Ahang, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Beyer, Dirk, editor, and Cavalcanti, Ana, editor

Published
2024
Full Text
View/download PDF

2. Refactoring of Multi-instance BPMN Processes with Time and Resources

Author

Nivon, Quentin, Salaün, Gwen, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Ferreira, Carla, editor, and Willemse, Tim A. C., editor

Published
2023
Full Text
View/download PDF

4. Optimization of BPMN Processes via Automated Refactoring

Author

Durán, Francisco, Salaün, Gwen, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Troya, Javier, editor, Medjahed, Brahim, editor, Piattini, Mario, editor, Yao, Lina, editor, Fernández, Pablo, editor, and Ruiz-Cortés, Antonio, editor

Published
2022
Full Text
View/download PDF

5. Debugging of BPMN Processes Using Coloring Techniques

Author

Nivon, Quentin, Salaün, Gwen, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Tapia Tarifa, Silvia Lizeth, editor, and Proença, José, editor

Published
2022
Full Text
View/download PDF

6. WEASY: A Tool for Modelling Optimised BPMN Processes

Author

Contreras, Angel, Falcone, Yliès, Salaün, Gwen, Zuo, Ahang, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Tapia Tarifa, Silvia Lizeth, editor, and Proença, José, editor

Published
2022
Full Text
View/download PDF

7. Runtime Enforcement for IEC 61499 Applications

Author

Falcone, Yliès, Faqrizal, Irman, Salaün, Gwen, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Schlingloff, Bernd-Holger, editor, and Chai, Ming, editor

Published
2022
Full Text
View/download PDF

9. Probabilistic Model Checking of BPMN Processes at Runtime

Author

Falcone, Yliès, Salaün, Gwen, Zuo, Ahang, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, ter Beek, Maurice H., editor, and Monahan, Rosemary, editor

Published
2022
Full Text
View/download PDF

12. Runtime Enforcement with Reordering, Healing, and Suppression

Author

Falcone, Yliès, Salaün, Gwen, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Calinescu, Radu, editor, and Păsăreanu, Corina S., editor

Published
2021
Full Text
View/download PDF

15. Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude

Author

Durán, Francisco, Rocha, Camilo, Salaün, Gwen, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Escobar, Santiago, editor, and Martí-Oliet, Narciso, editor

Published
2020
Full Text
View/download PDF

16. Verification of a Failure Management Protocol for Stateful IoT Applications

Author

Ozeer, Umar, Salaün, Gwen, Letondeur, Loïc, Ottogalli, François-Gaël, Vincent, Jean-Marc, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, ter Beek, Maurice H., editor, and Ničković, Dejan, editor

Published
2020
Full Text
View/download PDF

17. Quantifying the Similarity of Non-bisimilar Labelled Transition Systems

Author

Salaün, Gwen, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Camara, Javier, editor, and Steffen, Martin, editor

Published
2020
Full Text
View/download PDF

24. Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement.

Author

Faqrizal, Irman, Salaün, Gwen, and Falcone, Yliès

Abstract

This work envisions industrial control systems that can reliably adapt to requirements. We rely on the international standard IEC 61499 to achieve this goal. The standard allows downtimeless system evolution such that an application can be modified at runtime to satisfy the requirements. However, an IEC 61499 application consisting of multiple Function Blocks (FBs) can be modified in many different ways, such as inserting or deleting FBs, creating new FBs with their respective internal behaviours and adjusting the connections between FBs. These changes require considerable effort and cost, and there is no guarantee to satisfy the requirements. This article applies runtime enforcement techniques for supporting adaptive IEC 61499 applications. This set of techniques can modify the runtime behaviour of a system according to specific requirements. Our approach begins with specifying the requirements as a state machine-based notation called contract automaton. This automaton is then used to synthesise an enforcer as an FB. Finally, the new FB is integrated into the application to execute according to the requirements. A tool support is developed to automate the approach. Experiments were performed to evaluate the performance of enforcers by measuring the execution time of several applications before and after the integration of enforcers. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

25. Computing the Parallelism Degree of Timed BPMN Processes

Author

Durán, Francisco, Rocha, Camilo, Salaün, Gwen, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Mazzara, Manuel, editor, Ober, Iulian, editor, and Salaün, Gwen, editor

Published
2018
Full Text
View/download PDF

27. Analysis of Resource Allocation of BPMN Processes

Author

Durán, Francisco, Rocha, Camilo, Salaün, Gwen, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Yangui, Sami, editor, Bouassida Rodriguez, Ismael, editor, Drira, Khalil, editor, and Tari, Zahir, editor

Published
2019
Full Text
View/download PDF

28. Automated Composition, Analysis and Deployment of IoT Applications

Author

Durán, Francisco, Salaün, Gwen, Krishna, Ajay, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Mazzara, Manuel, editor, Bruel, Jean-Michel, editor, Meyer, Bertrand, editor, and Petrenko, Alexander, editor

Published
2019
Full Text
View/download PDF

29. Debugging of Behavioural Models with CLEAR

Author

Barbon, Gianluca, Leroy, Vincent, Salaün, Gwen, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Vojnar, Tomáš, editor, and Zhang, Lijun, editor

Published
2019
Full Text
View/download PDF

30. Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT

Author

Durán, Francisco, Rocha, Camilo, Salaün, Gwen, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, and Rusu, Vlad, editor

Published
2018
Full Text
View/download PDF

31. Counterexample Simplification for Liveness Property Violation

Author

Barbon, Gianluca, Leroy, Vincent, Salaün, Gwen, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Johnsen, Einar Broch, editor, and Schaefer, Ina, editor

Published
2018
Full Text
View/download PDF

33. Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

Author

Ouederni, Meriem and Salaün, Gwen

Subjects
Computer Science - Software Engineering, Computer Science - Logic in Computer Science
Abstract

One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at determining whether a set of services (two in this paper) can be composed together and interact with each other as expected. Another related problem is to check the substitutability of one service with another. These problems are especially difficult when behavioural descriptions (i.e., message calls and their ordering) are taken into account in service interfaces. Interfaces should capture as faithfully as possible the service behaviour to make their automated analysis possible while not exhibiting implementation details. In this position paper, we choose Labelled Transition Systems to specify the behavioural part of service interfaces. In particular, we show that internal behaviours (tau transitions) are necessary in these transition systems in order to detect subtle errors that may occur when composing a set of services together. We also show that tau transitions should be handled differently in the compatibility and substitutability problem: the former problem requires to check if the compatibility is preserved every time a tau transition is traversed in one interface, whereas the latter requires a precise analysis of tau branchings in order to make the substitution preserve the properties (e.g., a compatibility notion) which were ensured before replacement., Comment: In Proceedings WCSI 2010, arXiv:1010.2337

Published
2010
Full Text
View/download PDF

34. Proceedings International Workshop on Component and Service Interoperability

Author

Cámara, Javier, Canal, Carlos, and Salaün, Gwen

Subjects
Computer Science - Software Engineering
Abstract

This volume contains the proceedings of WCSI 2010, the International Workshop on Component and Service Interoperability. WCSI 2010 was held in Malaga (Spain) on June 29th, 2010 as a satellite event of the TOOLS 2010 Federated Conferences. The papers published in this volume tackle different issues that are currently central to our community, namely definition of expressive interface languages, formal models and approaches to software composition and adaptation, interface-based compatibility and substitutability, and verification techniques for distributed software.

Published
2010
Full Text
View/download PDF

35. Analysis and Verification of Service Interaction Protocols - A Brief Survey

Author

Salaün, Gwen

Subjects
Computer Science - Software Engineering, Computer Science - Logic in Computer Science
Abstract

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies., Comment: In Proceedings TAV-WEB 2010, arXiv:1009.3306

Published
2010
Full Text
View/download PDF

36. Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software

Author

Salaün, Gwen, Fu, Xiang, and Hallé, Sylvain

Subjects
Computer Science - Software Engineering, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Symbolic Computation, D.2.2, D.2.4, D.2.5, H.3.5, H.5.3
Abstract

This volume contains the papers presented at the fourth international workshop on Testing, Analysis and Verification of Software, which was associated with the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010). The collection of papers includes research on formal specification, model-checking, testing, and debugging of Web software.

Published
2010
Full Text
View/download PDF

37. Handling Data-Based Concurrency in Context-Aware Service Protocols

Author

Cubo, Javier, Pimentel, Ernesto, Salaün, Gwen, and Canal, Carlos

Subjects
Computer Science - Software Engineering
Abstract

Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose an order in their execution if there exist data dependencies. In this work, we describe a model to formalise context-aware service protocols. We also present a composition language to handle dynamically the concurrent execution of protocols. This language addresses data dependency issues among several protocols concurrently executed on the same user device, using mechanisms based on data semantic matching. Our approach aims at assisting the user in establishing priorities between these dependencies, avoiding the occurrence of deadlock situations. Nevertheless, this process is error-prone, since it requires human intervention. Therefore, we also propose verification techniques to automatically detect possible inconsistencies specified by the user while building the data dependency set. Our approach is supported by a prototype tool we have implemented., Comment: In Proceedings FOCLASA 2010, arXiv:1007.4993

Published
2010
Full Text
View/download PDF

38. Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures

Author

Mousavi, MohammadReza and Salaün, Gwen

Subjects
Computer Science - Software Engineering, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.2.11, D.3.1, D.2.4, F.3.1, F.3.2
Abstract

This volume contains the proceedings of FOCLASA 2010, the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures. FOCLASA 2010 was held in Paris, France on July 30th, 2010 as a satellite event of the 21st International Conference on Concurrency Theory, CONCUR 2010. The papers presented in this proceedings tackle different issues that are currently central to our community, namely software adaptation, sensor networks, distributed control, non-functional aspects of coordination such as resources, timing and stochastics.

Published
2010
Full Text
View/download PDF

42. Debugging of Concurrent Systems Using Counterexample Analysis

Author

Barbon, Gianluca, Leroy, Vincent, Salaün, Gwen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Dastani, Mehdi, editor, and Sirjani, Marjan, editor

Published
2017
Full Text
View/download PDF

43. VBPMN: Automated Verification of BPMN Processes (Tool Paper)

Author

Krishna, Ajay, Poizat, Pascal, Salaün, Gwen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Polikarpova, Nadia, editor, and Schneider, Steve, editor

Published
2017
Full Text
View/download PDF

44. Verifying Timed BPMN Processes Using Maude

Author

Durán, Francisco, Salaün, Gwen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Jacquet, Jean-Marie, editor, and Massink, Mieke, editor

Published
2017
Full Text
View/download PDF

45. Checking Business Process Evolution

Author

Poizat, Pascal, Salaün, Gwen, Krishna, Ajay, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kouchnarenko, Olga, editor, and Khosravi, Ramtin, editor

Published
2017
Full Text
View/download PDF

46. Stability-Based Adaptation of Asynchronously Communicating Software

Author

Canal, Carlos, Salaün, Gwen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, De Nicola, Rocco, editor, and Kühn, Eva, editor

Published
2016
Full Text
View/download PDF

47. Automated Analysis of Asynchronously Communicating Systems

Author

Akroun, Lakhdar, Salaün, Gwen, Ye, Lina, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bošnački, Dragan, editor, and Wijs, Anton, editor

Published
2016
Full Text
View/download PDF

48. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud

Author

Abid, Rim, Salaün, Gwen, De Palma, Noel, Gueye, Soguy Mak-Kare, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Braga, Christiano, editor, and Ölveczky, Peter Csaba, editor

Published
2016
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results