Pascal Poizat

, 2011

2010

Repairing Service Compositions in a Changing World.

[BibT_eX]

[DOI]

Ludeng Zhao

Proceedings of the Software Engineering Research, 2010

Adaptive Composition of Conversational Services through Graph Planning Encoding.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Self-Adaptive Service Composition Through Graphplan Repair.

[BibT_eX]

[DOI]

Ludeng Zhao

Proceedings of the IEEE International Conference on Web Services, 2010

Repair vs. Recomposition for Broken Service Compositions.

[BibT_eX]

[DOI]

Ludeng Zhao

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

2009

A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.

[BibT_eX]

[DOI]

Lina Bentakouk

Fatiha Zaïdi

Proceedings of the Testing of Software and Communication Systems, 2009

2008

Model-Based Adaptation of Behavioral Mismatching Components.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2008

Automated Service Composition with Adaptive Planning.

[BibT_eX]

[DOI]

Sandrine Beauche

Proceedings of the Service-Oriented Computing, 2008

Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services.

[BibT_eX]

[DOI]

Tarek Melliti

Sonia Ben Mokhtar

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes.

[BibT_eX]

[DOI]

J. Christian Attiogbé

IEEE Trans. Software Eng., 2007

A Model-Based Approach to the Verification and Adaptation of WF/.NET Components.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

Behavioral adaptation of component compositions based on process algebra encodings.

[BibT_eX]

[DOI]

Radu Mateescu

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Transactional Reduction of Component Compositions.

[BibT_eX]

[DOI]

Serge Haddad

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Adaptation of Open Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Practical Approaches for Software Adaptation.

[BibT_eX]

[DOI]

Juan Manuel Murillo

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

2006

A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2006

An Adaptation-based Approach to Incrementally Build Component Systems.

[BibT_eX]

[DOI]

Massimo Tivoli

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

Preface.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 2006

Software Adaptation.

[BibT_eX]

[DOI]

Juan Manuel Murillo

Obj. Logiciel Base données Réseaux, 2006

Bounded Analysis and Decomposition for Behavioural Descriptions of Components.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Synchronizing Behavioural Mismatch in Software Composition.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation.

[BibT_eX]

Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006

2005

A Java Implementation of a Component Model with Explicit Symbolic Protocols.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 4th International Workshop, 2005

2004

Interacting Extended State Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Coordination and Adaptation Techniques for Software Entities.

[BibT_eX]

[DOI]

Juan Manuel Murillo

Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004

Checking Asynchronously Communicating Components Using Symbolic Transition Systems.

[BibT_eX]

[DOI]

Olivier Maréchal

Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003

A Logic with Temporal Glue for Mixed Specifications.

[BibT_eX]

[DOI]

Marc Aiguier

Fabrice Barbier

Proceedings of FOCLASA 2003, 2003

Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams.

[BibT_eX]

[DOI]

J. Christian Attiogbé

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Integration of Formal Datatypes within State Diagrams.

[BibT_eX]

[DOI]

J. Christian Attiogbé

Proceedings of the Fundamental Approaches to Software Engineering, 2003

2002

Une proposition de composants formels.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2002

2001

The Korrigan Environment.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2001

Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2001

Formal Specification of Mixed Components with Korrigan.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes. (KORRIGAN : a formalism and a method for the formal and structured specification of mixed systems).

[BibT_eX]

[DOI]

PhD thesis, 2000

A Global Semantics for Views.

[BibT_eX]

[DOI]