ITACA: Integrated ToolBox for Automatic Composition and Adaptation

:: Home :: People :: Publications :: Downloads

News

(24-9-12) - Publications section updated.
(25-9-12) - Downloads section added.

Publications

Javier Camara, Gwen Salaün, Carlos Canal, Meriem Ouederni. Interactive Specification and Verification of Behavioural Adaptation Contracts. Information and Software Technology 54 (7) pages 701-723. Elsevier, 2012.
[Electronic Edition]

Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. A Case Study in Model-based Adaptation of Web Services. Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA’10)), Part II. LNCS Vol. 6416, Pages 112-126. Springer, 2010.
[Author copy]

Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. Semi-automatic Specification of Behavioural Service Adaptation Contracts. Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10). Electronic Notes in Theoretical Computer Science,Volume 264(1), pages 19-34. Elsevier, 2010.
[Author copy]

Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel. ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services (Formal Research Demo Paper). Proceedings of the 31st International Conference on Software Engineering (ICSE'09), pages 627-630. IEEE, 2009.
[Author copy]

Javier Camara, Gwen Salaün, Carlos Canal, Meriem Ouederni : Interactive Specification and Verification of Behavioural Adaptation Contracts. Proceedings of the 9th International Conference on Quality Software (QSIC'09), pages 65-75. IEEE, 2009.
[Author copy]

Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. On Behavioural Interfaces and Contracts for Software Adaptation. Proceedings of the third workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'09).
[Author copy]
José Antonio Martín, Ernesto Pimentel. Dinapter: Automatic Adapter Specification for Software Composition. Proceedings of the 8th Spanish Conference on Programming and Computer Languages (PROLE'08) ENTCS, Vol. 248 (5) Pages 161--171, Elsevier, 2009.
[Electronic Edition]
José Antonio Martín, Ernesto Pimentel. Automatic Generation of Adaptation Contracts. Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'08) ENTCS, Vol. 229 (2) Pages 115--131, Elsevier, 2009.
[Author copy]

José Antonio Martín, Antonio Brogi, Ernesto Pimentel. Learning from Failures: a Lightweight Approach to Run-Time Behavioural Adaptation. Proceedings of the 8th International Symposium on Formal Aspects of Component Software (FACS). LNCS. Springer, In Press.
[Author copy]

Carlos Canal, Javier Cámara, Gwen Salaün. Structural Reconfiguration of Systems under Behavioral Adaptation. Science of Computer Programming. Vol. 78, No. 1, Pages 46-64. Elsevier, 2012.
[Electronic Edition]

José Antonio Martín, Fabio Martinelli, Ernesto Pimentel. Synthesis of Secure Adaptors. Journal of Logic and Algebraic Programming (JLAP) Vol. 81 (2) Pages 99–126, Elsevier, 2012.
[Electronic Edition]

José Antonio Martín, Ernesto Pimentel. Contracts for Security Adaptation. Journal of Logic and Algebraic Programming (JLAP) Vol. 80 (3--5) Pages 154--179, Elsevier, 2011.
[Electronic Edition]

Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo. A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. Sixth International Workshop on Formal Aspects of Component Software (FACS'09). Electronic Notes in Theoretical Computer Science vol. 163 Pages 95-110. Elsevier, 2010.
[Author copy]

José Antonio Martín, Ernesto Pimentel. Synthesis and Analysis of Adaptors through Security Contracts. Proceedings of the 4th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10), Pages 49-54. 2010.
[Author copy]

Javier Cubo, Carlos Canal, Ernesto Pimentel. Towards a Model-based Approach for Context-Aware Composition and Adaptation: A Case Study Using WF/.NET. Fifth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES'08). Pages 3-13. IEEE Computer Society Press, 2008.
[Author copy]

Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat. A Model-based approach to the Verification and Adaptation of WF/.NET Components. Fourth International Workshop on Formal Aspects of Component Software (FACS'07). Electronic Notes in Theoretical Computer Science Vol. 215 Pages 39-55. Elsevier, 2008.
[Author copy]

Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat. Relating Model-based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0. Twelfth International Workshop on Component Oriented Programming (WCOP'07). How dark should a component black-box be? Interner Bericht 2007-11, Pages 9-13, 2007.
[Author copy]