 |
 |
|
|
||
|---|---|---|
|
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-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-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-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 |
||
|
inria-00538968v1
Communication dans un congrès
Javier Cámara, Jose Antonio Martin, Gwen Salaün, Carlos Canal, Ernesto Pimentel. A Case Study in Model-based Adaptation of Web Services 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Oct 2010, Heraclion, Crete, Greece. Springer Verlag, 6416, pp.112--126, 2010, Lecture Notes in Computer Science |
||
|
inria-00539024v1
Communication dans un congrès
Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal. Handling Data-Based Concurrency in Context-Aware Service Protocols Mohammad Mousavi and Gwen Salaun. 9th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'10), Sep 2010, Paris, France. 30, pp.62-77, 2010, Electronic Proceedings in Theoretical Computer Science |
||
|
inria-00539116v1
Communication dans un congrès
Javier Cámara, Jose Antonio Martin, Gwen Salaün, Carlos Canal, Ernesto Pimentel. Semi-automatic Specification of Behavioural Service Adaptation Contracts 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10), Mar 2010, Paphos, Cyprus. 264(1), pp.19-34, 2010, Electronic Proceedings in Theoretical Computer Science |
||
|
hal-00734057v1
Article dans une revue
Carlos Canal, Javier Cámara, Gwen Salaün. Structural Reconfiguration of Systems under Behavioral Adaptation Science of Computer Programming, Elsevier, 2012, 78 (1), pp.46-64 |
||
|
hal-00694516v1
Article dans une revue
Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni. Interactive specification and verification of behavioral adaptation contracts Information and Software Technology, Elsevier, 2012, 54 (7), pp.701-723 |
||
|
|
||
