publications([{ "bibtype": "inproceedings", "type_publi": "icolcomlec", "title": "Test of the ICARE platform fusion mechanism", "booktitle": "12th International Workshop on Design, Specification and Verification of Interactive Systems,LNCS", "year": 2005, "uri": "http://iihm.imag.fr/publication/DdB+05a/", "note": " ", "abbr": "DdB+05a", "authors": { "1": { "first_name": "Sophie", "last_name": "Dupuy-Chessa" }, "2": { "first_name": "Lydie", "last_name": "du Bousquet" }, "3": { "first_name": "Jullien", "last_name": "Bouchet" }, "4": { "first_name": "Yves", "last_name": "Ledru" } }, "date": "2005-01-01", "document": "http://iihm.imag.fr/publs/2005/DSVIS2005-testICARE.pdf", "type": "Conférences internationales de large diffusion avec comité de lecture sur texte complet", "id": 86 }, { "bibtype": "unpublished", "type_publi": "autre", "title": "Towards computer-aided design of OCL constraints", "booktitle": "Ninth CAiSE/IFIP8.1/EUNO International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'04)", "year": 2004, "uri": "http://iihm.imag.fr/publication/LDF04a/", "note": "Latvia ", "abbr": "LDF04a", "authors": { "1": { "first_name": "Yves", "last_name": "Ledru" }, "2": { "first_name": "Sophie", "last_name": "Dupuy-Chessa" }, "3": { "first_name": "Hind", "last_name": "Fadil" } }, "date": "2004-01-01", "document": "http://iihm.imag.fr/publs/2004/OCL_EMMSAD04.pdf", "type": "Autres publications", "id": 131 }, { "type_publi": "colcomlec", "title": "Expressing dynamic properties of static diagrams in Z", "booktitle": "Approches Formelles Pour le Développement des Logiciels - AFADL'2003", "year": 2003, "uri": "http://iihm.imag.fr/publication/LD03a/", "bibtype": "inproceedings", "abbr": "LD03a", "authors": { "1": { "first_name": "Yves", "last_name": "Ledru" }, "2": { "first_name": "Sophie", "last_name": "Dupuy-Chessa" } }, "date": "2003-01-01", "document": "http://iihm.imag.fr/publs/2003/AFADLdupuy2003.pdf", "type": "Conférences nationales avec comité de lecture sur texte complet", "id": 146 }]);