@inproceedings{iihm-MMD+09a,
	title = {Vers la formalisation de propri{\'{e}}t{\'{e}}s ergonomiques de syst{\`{e}}mes interactifs},
	author = {Madani, Laya and M'hiri, Ahmed and Dupuy-Chessa, Sophie and Parissis, Ioannis},
	year = {2009},
	pages = {16},
	booktitle = {Approches Formelles dans l'Assistance au D{\'{e}}veloppement de Logiciels ({AFADL}'2009)},
	address = {Toulouse, France},
	uri = {http://iihm.imag.fr/publication/MMD+09a/},
	pdf = {http://iihm.imag.fr/publs/2009/AFADL-09-final.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},
}

@inproceedings{iihm-BMN+07a,
	title = {Formal Testing of Multimodal Interactive Systems},
	author = {Bouchet, Jullien and Madani, Laya and Nigay, Laurence and Oriat, Catherine and Parissis, Ioannis},
	year = {2007},
	pages = {36-52},
	booktitle = {Engineering Interactive Systems ({EIS}'07)},
	doi = {http://dx.doi.org/10.1007/978-3-540-92698-6_3},
	uri = {http://iihm.imag.fr/publication/BMN+07a/},
	pdf = {http://iihm.imag.fr/publs/2007/DSVIS06-MultiFormal.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},
}

@inproceedings{iihm-MNP05a,
	title = {Testing the {CARE} properties of multimodal applications by means of a synchronous approach},
	author = {Madani, Laya and Nigay, Laurence and Parissis, Ioannis},
	year = {2005},
	pages = {181-186},
	booktitle = {Conference Proceedings of {SE} 2005, {IASTED} International Conference on Software Engineering},
	uri = {http://iihm.imag.fr/publication/MNP05a/},
	pdf = {http://iihm.imag.fr/publs/2005/IASTED05-MadaniNigayParissis.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},
}

@inproceedings{iihm-MOP+05a,
	title = {Synchronous Testing of Multimodal Systems: an Operational Profile-Based Approach},
	author = {Madani, Laya and Oriat, Catherine and Parissis, Ioannis and Bouchet, Jullien and Nigay, Laurence},
	year = {2005},
	booktitle = {Conference Proceedings of {ISSRE} 2005, 16th {IEEE} International Symposium on Software Reliability Engineering, Chicago, Illinois, {USA}.},
	uri = {http://iihm.imag.fr/publication/MOP+05a/},
	pdf = {http://iihm.imag.fr/publs/2005/ISSRE05.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},
}