@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-JNP06a, title = {Formal test of interactive systems: {ICARE}-Lutess / Test formel de syst{\`{e}}mes interactifs multimodaux : couplage {ICARE} - Lutess}, author = {Jourde, Fr{\'{e}}d{\'{e}}ric and Nigay, Laurence and Parissis, Ioannis}, year = {2006}, booktitle = {Proceedings of {ICSSEA} 2006, The 19th International Conference on Software \& Systems Engineering and their Applications: Service \& System globalization (Paris, France, December 5-7 2006)}, note = {8 pages.}, uri = {http://iihm.imag.fr/publication/JNP06a/}, pdf = {http://iihm.imag.fr/publs/2006/ICSSEA06-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}, }