Pascal André

	2011
19		Pascal André, Gilles Ardourel, Christian Attiogbé: Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services. Technique et Science Informatiques 30(6): 627-658 (2011)
	2010
18		Pascal André, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix: Using Event-B to Verify the Kmelia Components and Their Assemblies. ASM 2010: 410
17		Pascal André, Gilles Ardourel, Mohamed Messabihi: Component Service Promotion: Contracts, Mechanisms and Safety. FACS 2010: 145-162
16		Mohamed Messabihi, Pascal André, Christian Attiogbé: Multilevel Contracts for Trusted Components WCSI 2010: 71-85
15		Pascal André, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix: Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. Electr. Notes Theor. Comput. Sci. 263: 5-30 (2010)
	2009
14		Nicolas Anquetil, Jean-Claude Royer, Pascal André, Gilles Ardourel, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu: JavaCompExt: Extracting Architectural Elements from Java Source Code. WCRE 2009: 317-318
	2008
13		Pascal André, Gilles Ardourel, Christian Attiogbé: Composing Components with Shared Services in the KmeliaModel. Software Composition 2008: 125-140
12		Pascal André, Christian Attiogbé: Éditorial. L'OBJET 14(4): 7-10 (2008)
	2007
11		Pascal André, Gilles Ardourel, Christian Attiogbé: Protocoles d'utilisation de composants : spécification et analyse en Kmelia. LMO 2007: 19-34
10		Pascal André, Gilles Ardourel, Christian Attiogbé: Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. Software Composition 2007: 2-17
9		Pascal André, Gilles Ardourel, Christian Attiogbé: Adaptation for Hierarchical Components and Services. Electr. Notes Theor. Comput. Sci. 189: 5-20 (2007)
	2006
8		Pascal André, Gilles Ardourel, Christian Attiogbé: Spécification d'architectures en Kmelia : hiérarchie de connexion et composition. CAL 2006: 101-118
7		Christian Attiogbé, Pascal André, Gilles Ardourel: Checking Component Composability. Software Composition 2006: 18-33
	2004
6		Pascal André, Gilles Ardourel, Gerson Sunyé: The Bosco Project - A JMI-Compliant Template-based Code Generator. IASSE 2004: 157-162
5		Henri Habrias, Pascal André: Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification. INFORSID 2004: 387-403
	2000
4		Pascal André, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos: An algebraic view of UML class diagrams. LMO 2000: 261-276
3		Pascal André, Annya Romanczuk, Jean-Claude Royer: Checking the Consistency of UML Class Diagrams Using Larch Prover. Rigorous Object-Oriented Methods 2000
	1996
2		Pascal André: Vers un modèle formel en analyse à objets. LMO 1996: 62-78
	1992
1		Pascal André, Jean-Claude Royer: Optimizing Method Search with Lookup Caches and Incremental Coloring. OOPSLA 1992: 110-126

Coauthor Index

1	Nicolas Anquetil	[14]
2	Gilles Ardourel	[6] [7] [8] [9] [10] [11] [13] [14] [15] [17] [18] [19]
3	Christian Attiogbé	[7] [8] [9] [10] [11] [12] [13] [15] [16] [18] [19]
4	Henri Habrias	[5]
5	Petr Hnetynka	[14]
6	Arnaud Lanoix	[15] [18]
7	Mohamed Messabihi	[16] [17]
8	Dragos Petrascu	[14]
9	Vladiela Petrascu	[14]
10	Tomás Poch	[14]
11	Annya Romanczuk	[3] [4]
12	Jean-Claude Royer	[1] [3] [4] [14]
13	Gerson Sunyé	[6]
14	Aline Vasconcelos	[4]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page