 |
 |
|
|
||
|---|---|---|
|
hal-00650529v1
Communication dans un congrès
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel. Measuring the Compatibility of Service Interaction Protocols ACM. 26th ACM Symposium on Applied Computing, Mar 2011, Taichung, Taiwan. ASME, 2011 |
||
|
inria-00200450v1
Communication dans un congrès
Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet. 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, Mar 2007, Berkeley, California, United States. 2007 |
||
|
hal-01150353v1
Communication dans un congrès
Carlos Canal, Gwen Salaün. Model-Based Adaptation of Software Communicating via FIFO Buffers 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015), Apr 2015, Londres, United Kingdom. 2015, <10.1007/978-3-662-46675-9_17> |
||
|
hal-01272595v1
Direction d'ouvrage, Proceedings
Gwen Salaün, Corina Pasareanu. Formal Aspects of Component Software France. 2013, <10.1007/978-3-642-35861-6> |
||
|
hal-01020777v2
Rapport
Gwen Salaün, Lina Ye. Stability of Asynchronously Communicating Systems [Research Report] RR-8561, INRIA. 2014 |
||
|
hal-01272610v1
Direction d'ouvrage, Proceedings
Gwen Salaün, Dimitra Giannakopoulou. Software Engineering and Formal Methods Sep 2014, Grenoble, France. 2014, <10.1007/978-3-319-10431-7> |
||
|
hal-00726448v1
Article dans une revue
Gwen Salaün, Tevfik Bultan, Nima Roohi. Realizability of Choreographies using Process Algebra Encodings IEEE Transactions on Services Computing, IEEE, 2012, 5 (3), pp.290-304 |
||
|
hal-01359044v1
Communication dans un congrès
Carlos Canal, Gwen Salaün. Stability-Based Adaptation of Asynchronously Communicating Software 14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria. 2016, <10.1007/978-3-319-41591-8_22> |
||
|
hal-00934057v1
Communication dans un congrès
Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel. Comparator: A Tool for Quantifying Behavioural Compatibility FASE 2014 - 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. 2014 |
||
|
hal-00934042v1
Communication dans un congrès
Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël De Palma. Reliable Self-Deployment of Cloud Applications SAC 2014 - 29th ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. 2014 |
||
|
inria-00341598v1
Communication dans un congrès
Radu Mateescu, Pascal Poizat, Gwen Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques Athman Bouguettaya and Ingolf Krueger and Tiziana Margaria. 6th International Conference on Service Oriented Computing ICSOC'2008, Dec 2008, Sydney, Australia. Springer Verlag, 5364, pp.84-99, 2008, Lecture Notes in Computer Science; ICSOC 2008. <10.1007/978-3-540-89652-4_10> |
||
|
hal-00342017v1
Communication dans un congrès
Carlos Canal, Pascal Poizat, Gwen Salaün. Synchronizing Behavioural Mismatch in Software Composition Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologna, Italy. 4037, pp.63--77, 2006, Lecture Notes in Computer Science. <10.1007/11768869_7> |
||
|
hal-00342148v1
Communication dans un congrès
Radu Mateescu, Pascal Poizat, Gwen Salaün. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), 2007, Atlanta, United States. pp.385--388, 2007, <10.1145/1321631.1321690> |
||
|
hal-00342162v1
Communication dans un congrès
Pascal Poizat, Gwen Salaün, Massimo Tivoli. An Adaptation-based Approach to Incrementally Build Component Systems Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 06), Sep 2006, Praha, Czech Republic. 182, pp.155--170, 2007, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2006.09.037> |
||
|
hal-00342163v1
Communication dans un congrès
Pascal Poizat, Gwen Salaün, Massimo Tivoli. On Dynamic Reconfiguration of Behavioural Adaptation Proceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06), Jul 2006, Nantes, France. pp.61--69, 2006 |
||
|
hal-01053682v1
Communication dans un congrès
Carlos Canal, Gwen Salaün. Adaptation of Asynchronously Communicating Software 12th International Conference on Service Oriented Computing (ICSOC 2014), Nov 2014, Paris, France. 2014 |
||
|
hal-01538104v1
Communication dans un congrès
Francisco Durán, Gwen Salaün. Verifying Timed BPMN Processes Using Maude COORDINATION 2017, Jun 2017, Neuchâtel, Switzerland. Springer, 10319, pp.59 - 236, 2017, Proc. of COORDINATION 2017. <http://2017.discotec.org>. <10.1007/978-3-319-59746-1_12> |
||
|
hal-01280164v1
Communication dans un congrès
Lakhdar Akroun, Gwen Salaün, Lina Ye. Automated Analysis of Asynchronously Communicating Systems 23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. Springer Verlag, 2016, SPIN'2016. <http://www.spin2016.info/>. <10.1007/978-3-319-32582-8_1> |
||
|
hal-01016438v1
Direction d'ouvrage, Proceedings
Gwen Salaün, Marjan Sirjani. Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09) Gwen Salaün and Marjan Sirjani. France. 77, Elsevier, pp.3, 2012, <10.1016/j.scico.2011.09.006> |
||
|
hal-01016471v1
Direction d'ouvrage, Proceedings
Corina Pasareanu, Gwen Salaün. Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12) Corina Pasareanu and Gwen Salaün. Elsevier, pp.3, 2014 |
||
|
hal-01016401v1
Communication dans un congrès
Francisco Durán, Gwen Salaün. Robust Reconfiguration of Cloud Applications The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. 2014 |
||
|
hal-01016412v1
Communication dans un congrès
Radu Mateescu, Gwen Salaün, Lina Ye. Quantifying the Parallelism in BPMN Processes using Model Checking The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. 2014 |
||
|
hal-01245754v1
Communication dans un congrès
Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak-Kare Gueye. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud 12th International Symposium on Formal Aspects of Components and Systems FACS'2015, Oct 2015, Niterói, Rio de Janeiro, Brazil. 2015 |
||
|
hal-00742159v1
Communication dans un congrès
Matthias Güdemann, Gwen Salaün, Meriem Ouederni. Counterexample Guided Synthesis of Monitors for Realizability Enforcement Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Oct 2012, India. Springer, 7561, pp.238-253, 2012, LNCS. <10.1007/978-3-642-33386-6_20> |
||
|
hal-00667288v1
Document associé à des manifestations scientifiques
Hubert Garavel, Frederic Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe. CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012 |
||
|
inria-00524586v1
Communication dans un congrès
Radu Mateescu, Gwen Salaün. Translating Pi-Calculus into LOTOS NT Dominique Mery and Stephan Merz. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.229-244, 2010, Lecture Notes in Computer Science; Integrated Formal Methods - 8th International Conference, IFM 2010 |
||
|
hal-00648909v1
Communication dans un congrès
Fabienne Boyer, Olivier Gruber, Gwen Salaün. Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS-NT and CADP Springer. 17th International Symposium on Formal Methods (FM'11), Jun 2011, Limerick, Ireland. 6664, pp.103-117, 2011, LNCS. <10.1007/978-3-642-21437-0_10> |
||
|
hal-00649933v1
Communication dans un congrès
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel. Client Update: A Solution for Service Evolution IEEE Computer Society Press. 8th International Conference on Services Computing (SCC'11), Jul 2011, Washington DC, United States. 2011 |
||
|
hal-00913665v1
Communication dans un congrès
Meriem Ouederni, Gwen Salaün, Tevfik Bultan. Compatibility Checking for Asynchronously Communicating Software FACS 2013, Oct 2013, Nanchang, China. 2013 |
||
|
inria-00539099v1
Communication dans un congrès
Meriem Ouederni, Gwen Salaün. Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability Javier Camara and Carlos Canal and Gwen Salaun. International Workshop on Component and Service Interoperability (WCSI'10), Jun 2010, Malaga, Spain. 37, pp.57--70, 2010, Electronic Proceedings in Theoretical Computer Science |
||
|
|
||
