@inproceedings{iihm-DdB+05a,
	title = {Test of the {ICARE} platform fusion mechanism},
	author = {Dupuy-Chessa, Sophie and du Bousquet, Lydie and Bouchet, Jullien and Ledru, Yves},
	year = {2005},
	booktitle = {12th International Workshop on Design, Specification and Verification of Interactive Systems,{LNCS}},
	note = { },
	uri = {http://iihm.imag.fr/publication/DdB+05a/},
	pdf = {http://iihm.imag.fr/publs/2005/DSVIS2005-testICARE.pdf},
	type_publi = {icolcomlec},
	type = {Conf{\'{e}}rences internationales de large diffusion avec comit{\'{e}} de lecture sur texte complet},
	x-proceedings = {yes},
	x-editorial-board = {yes},
	x-international-audience = {yes},
	x-invited-conference = {no},
	x-scientific-popularization = {no},
}

@unpublished{iihm-LDF04a,
	title = {Towards computer-aided design of {OCL} constraints},
	author = {Ledru, Yves and Dupuy-Chessa, Sophie and Fadil, Hind},
	year = {2004},
	booktitle = {Ninth {CAiSE/IFIP8}.{1/EUNO} International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design ({EMMSAD}'04)},
	note = {Latvia },
	uri = {http://iihm.imag.fr/publication/LDF04a/},
	pdf = {http://iihm.imag.fr/publs/2004/OCL_EMMSAD04.pdf},
	type_publi = {autre},
	type = {Autres publications},
	x-proceedings = {no},
	x-editorial-board = {no},
	x-international-audience = {no},
	x-invited-conference = {no},
	x-scientific-popularization = {no},
}

@inproceedings{iihm-LD03a,
	title = {Expressing dynamic properties of static diagrams in Z},
	author = {Ledru, Yves and Dupuy-Chessa, Sophie},
	year = {2003},
	booktitle = {Approches Formelles Pour le D{\'{e}}veloppement des Logiciels - {AFADL}'2003},
	uri = {http://iihm.imag.fr/publication/LD03a/},
	pdf = {http://iihm.imag.fr/publs/2003/AFADLdupuy2003.pdf},
	type_publi = {colcomlec},
	type = {Conf{\'{e}}rences nationales avec comit{\'{e}} de lecture sur texte complet},
	x-proceedings = {yes},
	x-editorial-board = {yes},
	x-international-audience = {no},
	x-invited-conference = {no},
	x-scientific-popularization = {no},
}