Publications HAL de Gwen,SALAUN de la collection LIG
Résultats de la recherche --> Url version détaillée , Url version formatée
Critères : Author : "Gwen,SALAUN", Collection(s) : "LIG"
Nombre d'occurrences trouvées : 86.

titre
Checking Business Process Evolution
auteur
Ajay Krishna, Pascal Poizat, Gwen Salaün
article
Science of Computer Programming, Elsevier, 2019, 170, pp.1-26. ⟨10.1016/j.scico.2018.09.007⟩
titre
Debugging of Behavioural Models using Counterexample Analysis
auteur
Gianluca Barbon, Vincent Leroy, Gwen Salaün
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, In press, pp.1-14. ⟨10.1109/TSE.2019.2915303⟩
titre
Rigorous Design and Deployment of IoT Applications
auteur
Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
article
FormaliSE 2019 - 7th International Conference on Formal Methods in Software Engineering, May 2019, Montreal, Canada. pp.21-30, ⟨10.1109/FormaliSE.2019.00011⟩
titre
Visual Debugging of Behavioural Models
auteur
Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah
article
ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.107-110, ⟨10.1109/ICSE-Companion.2019.00050⟩
titre
IoT Composer: Composition and Deployment of IoT Applications
auteur
Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
article
ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.19-22, ⟨10.1109/ICSE-Companion.2019.00028⟩
titre
Debugging of Behavioural Models with CLEAR
auteur
Gianluca Barbon, Vincent Leroy, Gwen Salaün
article
TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.386-392, ⟨10.1007/978-3-030-17462-0_ 26⟩
titre
Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case
auteur
Umar Ozeer, Loïc Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent
article
ICIN 2019 - 22nd Conference on Innovation in Clouds, Internet and Networks, Feb 2019, Paris, France. pp.230-232, ⟨10.1109/ICIN.2019.8685909⟩
titre
Stochastic Analysis of BPMN with Time in Rewriting Logic
auteur
Francisco Durán, Camilo Rocha, Gwen Salaün
article
Science of Computer Programming, Elsevier, 2018, 168, pp.1-17. ⟨10.1016/j.scico.2018.08.007⟩
titre
Automated verification of automata communicating via FIFO and bag buffers
auteur
Lakhdar Akroun, Gwen Salaün
article
Formal Methods in System Design, Springer Verlag, 2018, 52 (3), pp.260 - 276. ⟨10.1007/s10703-017-0285-8⟩
titre
Resilience of Stateful IoT Applications in a Dynamic Fog Environment
auteur
Umar Ozeer, Xavier Etchevers, Loic Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent
article
EAI International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous '18), Nov 2018, New York, United States. pp.1-10, ⟨10.1145/3286978.3287007⟩
titre
Counterexample Simplification for Liveness Property Violation
auteur
Gianluca Barbon, Vincent Leroy, Gwen Salaün
article
SEFM 2018 - 16th International Conference on Software Engineering and Formal Methods, Jun 2018, Toulouse, France. pp.173-188, ⟨10.1007/978-3-319-92970-5_11⟩
titre
Computing the Parallelism Degree of Timed BPMN Processes
auteur
Francisco Durán, Camilo Rocha, Gwen Salaün
article
FOCLASA 2018 - 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems, Jun 2018, Toulouse, France. pp.1-16, ⟨10.1007/978-3-030-04771-9_24⟩
titre
Symbolic Specification and Verification of Data-aware BPMN Processes using Rewriting Modulo SMT
auteur
Francisco Durán, Camilo Rocha, Gwen Salaün
article
WRLA 2018 : 12th International Workshop on Rewriting Logic and its Applications, Apr 2018, Thessaloniki, Greece. pp.1-20
titre
Automated Analysis of Industrial Workflow-based Models
auteur
Mario Cortes-Cornax, Ajay Krishna, Adrian Mos, Gwen Salaün
article
SAC 2018 - 33rd Annual ACM Symposium on Applied Computing, ACM, Apr 2018, Pau, France. pp.120-127, ⟨10.1145/3167132.3167142⟩
titre
Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems
auteur
Carlos Canal, Gwen Salaün
article
Science of Computer Programming, 168, pp.169 - 170, 2018, ⟨10.1016/j.scico.2018.09.003⟩
titre
Software Technologies: Applications and Foundations (STAF 2018)
auteur
Manuel Mazzara, Iulian Ober, Gwen Salaün
article
STAF 2018 - Federation of International Conferences on Software Technologies: Applications and Foundations, Jun 2018, Toulouse, France. 2018, ⟨10.1007/978-3-030-04771-9⟩
titre
Asynchronous synthesis techniques for coordinating autonomic managers in the cloud
auteur
Rim Abid, Gwen Salaün, Noël de Palma
article
Science of Computer Programming, Elsevier, 2017, 146, pp.87 - 103. ⟨10.1016/j.scico.2017.05.005⟩
titre
Reliable Self-deployment of Distributed Cloud Applications
auteur
Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël de Palma
article
Software: Practice and Experience, Wiley, 2017, 47 (1), pp.3-20. ⟨10.1002/spe.2400⟩
titre
VBPMN: Automated Verification of BPMN Processes
auteur
Ajay Krishna, Pascal Poizat, Gwen Salaün
article
13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy
titre
Verifying Timed BPMN Processes Using Maude
auteur
Francisco Durán, Gwen Salaün
article
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.219-236, ⟨10.1007/978-3-319-59746-1_12⟩
titre
Debugging of Concurrent Systems using Counterexample Analysis
auteur
Gianluca Barbon, Vincent Leroy, Gwen Salaün
article
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩
titre
Preface: Special issue on software verification and testing
auteur
Mercedes Merayo, Gwen Salaün
article
Journal of Systems and Software, 132, pp.317 - 318, 2017, ⟨10.1016/j.jss.2017.07.025⟩
titre
VerChor: A Framework for the Design and Verification of Choreographies
auteur
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
article
IEEE Transactions on Services Computing, IEEE, 2016, 9 (4), pp.647-660. ⟨10.1109/TSC.2015.2413401⟩
titre
Formal Design of Dynamic Reconfiguration Protocol for Cloud Applications
auteur
Rim Abid, Gwen Salaün, Noel de Palma
article
Science of Computer Programming, Elsevier, 2016, 117, pp.1-16. ⟨10.1016/j.scico.2015.12.001⟩
titre
Robust and reliable reconfiguration of cloud applications
auteur
Francisco Durán, Gwen Salaün
article
Journal of Systems and Software, Elsevier, 2016, 122, pp.524-537. ⟨10.1016/j.jss.2015.09.020⟩
titre
Checking Business Process Evolution
auteur
Pascal Poizat, Gwen Salaün, Ajay Krishna
article
13th International Conference on Formal Aspects of Component Software (FACS), Oct 2016, Besançon, France
titre
Stability-Based Adaptation of Asynchronously Communicating Software
auteur
Carlos Canal, Gwen Salaün
article
14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria. ⟨10.1007/978-3-319-41591-8_22⟩
titre
Automated Analysis of Asynchronously Communicating Systems
auteur
Lakhdar Akroun, Gwen Salaün, Lina Ye
article
23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-319-32582-8_1⟩
titre
Preface: Special Issue on Software Verification and Testing (Selected Papers from SAC-SVT'15)
auteur
Gwen Salaün, Mariëlle Stoelinga
article
France. ACM, 2016, ⟨10.1016/j.scico.2016.10.001⟩
titre
Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14)
auteur
Dimitra Giannakopoulou, Gwen Salaün, Michael Butler
article
France. Springer, 2016, ⟨10.1007/s00165-016-0368-0⟩
titre
Asynchronous Coordination of Stateful Autonomic Managers in the Cloud
auteur
Rim Abid, Gwen Salaün, Noel de Palma, Soguy Mak-Karé Gueye
article
12th International Symposium on Formal Aspects of Components and Systems FACS'2015, Oct 2015, Niterói, Rio de Janeiro, Brazil
titre
Model-Based Adaptation of Software Communicating via FIFO Buffers
auteur
Carlos Canal, Gwen Salaün
article
18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015), Apr 2015, Londres, United Kingdom. ⟨10.1007/978-3-662-46675-9_17⟩
titre
Debugging Process Algebra Specifications
auteur
Gwen Salaün, Lina Ye
article
VMCAI 2015, Jan 2015, Mumbai, India. pp.18, ⟨10.1007/978-3-662-46081-8_14⟩
titre
Adaptation of Asynchronously Communicating Software
auteur
Carlos Canal, Gwen Salaün
article
12th International Conference on Service Oriented Computing (ICSOC 2014), Nov 2014, Paris, France
titre
Robust Reconfiguration of Cloud Applications
auteur
Francisco Durán, Gwen Salaün
article
The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France
titre
Quantifying the Parallelism in BPMN Processes using Model Checking
auteur
Radu Mateescu, Gwen Salaün, Lina Ye
article
The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France
titre
Comparator: A Tool for Quantifying Behavioural Compatibility
auteur
Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
article
FASE 2014 - 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France
titre
Reliable Self-Deployment of Cloud Applications
auteur
Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël de Palma
article
SAC 2014 - 29th ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea
titre
Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)
auteur
Corina Pasareanu, Gwen Salaün
article
Corina Pasareanu and Gwen Salaün. Elsevier, pp.3, 2014
titre
Special Section on Foundations of Coordination Languages and Software Architectures (Selected Papers from FOCLASA'10)
auteur
Mohammad Reza Mousavi, Gwen Salaün
article
Mousavi, Mohammad Reza; Salaün, Gwen. France. 80(A), Elsevier, 2014, Science of Computer Programming, ⟨10.1016/j.scico.2012.03.003⟩
titre
Special Section on Formal Methods for Industrial Critical Systems (Selected Papers from FMICS'11)
auteur
Gwen Salaün, Bernhard Schätz
article
Gwen Salaün; Bernhard Schätz. France. 80(A), Elsevier, 2014, Science of Computer Programming, ⟨10.1016/j.scico.2013.01.008⟩
titre
Software Engineering and Formal Methods
auteur
Gwen Salaün, Dimitra Giannakopoulou
article
Sep 2014, Grenoble, France. 2014, ⟨10.1007/978-3-319-10431-7⟩
titre
Stability of Asynchronously Communicating Systems
auteur
Gwen Salaün, Lina Ye
article
[Research Report] RR-8561, INRIA. 2014
titre
Flooding-Based Algorithm for Behavioural Compatibility Measuring
auteur
Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün
article
[Research Report] Inria Rennes. 2014
titre
An Experience Report on the Verification of Autonomic Protocols in the Cloud
auteur
Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël de Palma, Xavier Etchevers, Olivier Gruber
article
Innovations in Systems and Software Engineering, Springer Verlag, 2013, ⟨10.1007/s11334-013-0204-0⟩
titre
Compatibility Checking for Asynchronously Communicating Software
auteur
Meriem Ouederni, Gwen Salaün, Tevfik Bultan
article
FACS 2013, Oct 2013, Nanchang, China
titre
Verification of a Dynamic Management Protocol for Cloud Applications
auteur
Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noël de Palma
article
11th International Symposium, ATVA 2013, Dang Van Hung and Mizuhito Ogawa, Oct 2013, Hanoi, Vietnam. pp.178-192, ⟨10.1007/978-3-319-02444-8_14⟩
titre
VerChor: A Framework for Verifying Choreographies
auteur
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont
article
Fundamental Approaches to Software Engineering 2013, Mar 2013, Rome, Italy. pp.226-230, ⟨10.1007/978-3-642-37057-1_16⟩
titre
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
auteur
Radu Mateescu, Gwen Salaün
article
TACAS - 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - 2013, Mar 2013, Rome, Italy. pp.192-198, ⟨10.1007/978-3-642-36742-7_14⟩
titre
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud
auteur
Gwen Salaün, Xavier Etchevers, Noël de Palma, Fabienne Boyer, Thierry Coupaye
article
Camara, Javier and de Lemos, Rogerio and Ghezzi, Carlo and Lopes, Antonia. Assurances for Self-Adaptive Systems, Springer, 2013, ⟨10.1007/978-3-642-36249-1_3⟩
titre
Formal Aspects of Component Software
auteur
Gwen Salaün, Corina Pasareanu
article
France. 2013, ⟨10.1007/978-3-642-35861-6⟩
titre
Structural Reconfiguration of Systems under Behavioral Adaptation
auteur
Carlos Canal, Javier Cámara, Gwen Salaün
article
Science of Computer Programming, Elsevier, 2012, 78 (1), pp.46-64
titre
Realizability of Choreographies using Process Algebra Encodings
auteur
Gwen Salaün, Tevfik Bultan, Nima Roohi
article
IEEE Transactions on Services Computing, IEEE, 2012, 5 (3), pp.290-304
titre
Interactive specification and verification of behavioral adaptation contracts
auteur
Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
article
Information and Software Technology, Elsevier, 2012, 54 (7), pp.701-723
titre
A generic framework for n-protocol compatibility checking
auteur
Francisco Durán, Meriem Ouederni, Gwen Salaün
article
Science of Computer Programming, Elsevier, 2012, 77 (7-8), pp.870-886
titre
Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques
auteur
Radu Mateescu, Pascal Poizat, Gwen Salaün
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2012, ⟨10.1109/TSE.2011.62⟩
titre
Counterexample Guided Synthesis of Monitors for Realizability Enforcement
auteur
Matthias Güdemann, Gwen Salaün, Meriem Ouederni
article
Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Oct 2012, India. pp.238-253, ⟨10.1007/978-3-642-33386-6_20⟩
titre
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud
auteur
Gwen Salaün, Xavier Etchevers, Noël De Palma, Fabienne Boyer, Thierry Coupaye
article
27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1278-1283, 2012
titre
Checking the Realizability of BPMN 2.0 Choreographies
auteur
Pascal Poizat, Gwen Salaün
article
27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1927-1934, 2012
titre
Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09)
auteur
Gwen Salaün, Marjan Sirjani
article
Gwen Salaün and Marjan Sirjani. France. 77, Elsevier, pp.3, 2012, ⟨10.1016/j.scico.2011.09.006⟩
titre
CADP: A Toolbox for the Construction and Analysis of Distributed Processes
auteur
Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe
article
FM - 18th International Symposium on Formal Methods - 2012, Aug 2012, Paris, France
titre
CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués
auteur
Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe
article
Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012
titre
Realizability and Dynamic Reconfiguration of Chor Specifications
auteur
Nima Roohi, Gwen Salaün
article
Informatica, Slovene Society Informatika, Ljubljana, 2011
titre
Automated Configuration of Legacy Applications in the Cloud
auteur
Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel De Palma, Gwen Salaün
article
Rajkumar Buyya, Shrideep Pallickara, and Geoffrey Fox. UCC 2011 - International Conference on Utility and Cloud Computing, Dec 2011, Victoria, NSW, Australia. IEEE, pp.170-177, 2011, 〈10.1109/UCC.2011.32〉
titre
Client Update: A Solution for Service Evolution
auteur
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
article
8th International Conference on Services Computing (SCC'11), Jul 2011, Washington DC, United States
titre
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS-NT and CADP
auteur
Fabienne Boyer, Olivier Gruber, Gwen Salaün
article
17th International Symposium on Formal Methods (FM'11), Jun 2011, Limerick, Ireland. pp.103-117, ⟨10.1007/978-3-642-21437-0_10⟩
titre
Measuring the Compatibility of Service Interaction Protocols
auteur
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
article
26th ACM Symposium on Applied Computing, ASME, Mar 2011, Taichung, Taiwan
titre
Translating FSP into LOTOS and Networks of Automata
auteur
Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee
article
Formal Aspects of Computing, Springer Verlag, 2010, 22, pp.681-711
titre
Quantifying Service Compatibility: A Step Beyond the Boolean Approaches
auteur
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
article
8th International Conference on Service-Oriented Computing (ICSOC'10), Dec 2010, San Francisco, United States. pp.619--626
titre
A Case Study in Model-based Adaptation of Web Services
auteur
Javier Cámara, Jose Antonio Martin, Gwen Salaün, Carlos Canal, Ernesto Pimentel
article
4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Oct 2010, Heraclion, Crete, Greece. pp.112--126
titre
Translating Pi-Calculus into LOTOS NT
auteur
Radu Mateescu, Gwen Salaün
article
Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.229-244
titre
Analysis and Verification of Service Interaction Protocols - A Brief Survey
auteur
Gwen Salaün
article
4th International Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB'10), Sep 2010, Antwerp, Belgium. pp.75-86
titre
Handling Data-Based Concurrency in Context-Aware Service Protocols
auteur
Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal
article
9th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'10), Sep 2010, Paris, France. pp.62-77
titre
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability
auteur
Meriem Ouederni, Gwen Salaün
article
International Workshop on Component and Service Interoperability (WCSI'10), Jun 2010, Malaga, Spain. pp.57--70
titre
Semi-automatic Specification of Behavioural Service Adaptation Contracts
auteur
Javier Cámara, Jose Antonio Martin, Gwen Salaün, Carlos Canal, Ernesto Pimentel
article
7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10), Mar 2010, Paphos, Cyprus. pp.19-34
titre
On the Semantics of Communicating Hardware Processes and their Translation into LOTOS for the Verification of Asynchronous Circuits with CADP
auteur
Hubert Garavel, Gwen Salaun, Wendelin Serwe
article
Science of Computer Programming, Elsevier, 2009
titre
Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques
auteur
Radu Mateescu, Pascal Poizat, Gwen Salaün
article
6th International Conference on Service Oriented Computing ICSOC'2008, Dec 2008, Sydney, Australia. pp.84-99, ⟨10.1007/978-3-540-89652-4_10⟩
titre
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
auteur
Christian Attiogbe, Pascal Poizat, Gwen Salaün
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩
titre
Translating FSP into LOTOS and Networks of Automata
auteur
Gwen Salaun, Jeff Kramer, Frederic Lang, Jeff Magee
article
6th International Conference on Integrated Formal Methods IFM'2007, Jul 2007, Oxford, United Kingdom
titre
Formal Verification of CHP Specifications with CADP - Illustration on an Asynchronous Network-on-Chip
auteur
Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet
article
Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems ASYNC 2007, Mar 2007, Berkeley, California, United States
titre
Behavioral Adaptation of Component Compositions based on Process Algebra Encodings
auteur
Radu Mateescu, Pascal Poizat, Gwen Salaün
article
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), 2007, Atlanta, United States. pp.385--388, ⟨10.1145/1321631.1321690⟩
titre
Behavioral Adaptation of Component Compositions based on Process Algebra Encodings
auteur
Radu Mateescu, Pascal Poizat, Gwen Salaun
article
[Research Report] RR-6362, INRIA. 2007, pp.25
titre
An Adaptation-based Approach to Incrementally Build Component Systems
auteur
Pascal Poizat, Gwen Salaün, Massimo Tivoli
article
Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 06), Sep 2006, Praha, Czech Republic. pp.155--170, ⟨10.1016/j.entcs.2006.09.037⟩
titre
On Dynamic Reconfiguration of Behavioural Adaptation
auteur
Pascal Poizat, Gwen Salaün, Massimo Tivoli
article
Proceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06), Jul 2006, Nantes, France. pp.61--69
titre
Synchronizing Behavioural Mismatch in Software Composition
auteur
Carlos Canal, Pascal Poizat, Gwen Salaün
article
Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologna, Italy. pp.63--77, ⟨10.1007/11768869_7⟩
titre
Translating Hardware Process Algebras into Standard Process Algebras : Illustration with CHP and LOTOS
auteur
Gwen Salaün, Wendelin Serwe
article
RR-5666, INRIA. 2005, pp.25