@inproceedings{iihm-ODC+16a,
	title = {Using formal models to cross check an implementation},
	author = {Oliveira, Raquel and Dupuy-Chessa, Sophie and Calvary, Ga{\"{e}}lle and Dadolle, Dani{\`{e}}le},
	year = {2016},
	pages = {126-137},
	booktitle = {Proceedings of the 8th {ACM} {SIGCHI} Symposium on Engineering Interactive Computing System {EICS} 2016},
	publisher = {{ACM}},
	doi = {https://doi.org/10.1145/2933242.2933257},
	address = {Brussels, Belgium},
	uri = {http://iihm.imag.fr/publication/ODC+16a/},
	pdf = {http://iihm.imag.fr/publs/2016/oliveiraEICS16.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-ODC15a,
	title = {Equivalence Checking for Comparing User Interfaces},
	author = {Oliveira, Raquel and Dupuy-Chessa, Sophie and Calvary, Ga{\"{e}}lle},
	year = {2015},
	pages = {266-275},
	booktitle = {Proceedings of the 7th {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems ({EICS} 2015)},
	publisher = {{ACM}},
	editor = {J{\"{u}}rgen Ziegler},
	doi = {http://doi.acm.org/10.1145/2774225.2774844},
	address = {Duisburg, Germany},
	uri = {http://iihm.imag.fr/publication/ODC15a/},
	pdf = {http://iihm.imag.fr/publs/2015/oliveiraEICS15.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},
}

@article{iihm-ODC15c,
	title = {Verification of Plastic Interactive Systems},
	author = {Oliveira, Raquel and Dupuy-Chessa, Sophie and Calvary, Ga{\"{e}}lle},
	year = {2015},
	pages = {192-204},
	journal = {Journal of Interactive Media (i-com)},
	volume = {3},
	publisher = {De Gruyter publication},
	uri = {http://iihm.imag.fr/publication/ODC15c/},
	pdf = {http://iihm.imag.fr/publs/2015/icom-2015-0036.pdf},
	type_publi = {irevcomlec},
	type = {Revues internationales avec comit{\'{e}} de lecture},
	x-proceedings = {no},
	x-editorial-board = {yes},
	x-international-audience = {yes},
	x-invited-conference = {no},
	x-scientific-popularization = {no},
}

@phdthesis{iihm-O15a,
	title = {Formal Specification and Verification of Interactive Systems with Plasticity: Applications to Nuclear-Plant Supervision},
	author = {Oliveira, Raquel},
	year = {2015},
	pages = {250},
	doi = {https://tel.archives-ouvertes.fr/tel-01253619},
	url = {https://tel.archives-ouvertes.fr/tel-01253619},
	uri = {http://iihm.imag.fr/publication/O15a/},
	type_publi = {these},
	type = {Th{\`{e}}ses et habilitations},
	x-proceedings = {no},
	x-editorial-board = {no},
	x-international-audience = {no},
	x-invited-conference = {no},
	x-scientific-popularization = {no},
}

@unpublished{iihm-ODC15b,
	title = {Plasticity of user interfaces: formal verification of consistency},
	author = {Oliveira, Raquel and Dupuy-Chessa, Sophie and Calvary, Ga{\"{e}}lle},
	year = {2015},
	pages = {260-265},
	booktitle = {Proceedings of the 7th {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems ({EICS} 2015)},
	publisher = {{ACM}},
	editor = {J{\"{u}}rgen Ziegler},
	note = {Late Breaking Results},
	doi = {http://doi.acm.org/10.1145/2774225.2775078},
	address = {Duisburg, Germany},
	uri = {http://iihm.imag.fr/publication/ODC15b/},
	pdf = {http://iihm.imag.fr/publs/2015/oliveiraEICS15short.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},
}

@unpublished{iihm-ODC14a,
	title = {Formal Verification of {UI} Using the Power of a Recent Tool Suite},
	author = {Oliveira, Raquel and Dupuy-Chessa, Sophie and Calvary, Ga{\"{e}}lle},
	year = {2014},
	pages = {235-240},
	booktitle = {Proceedings of the 2014 {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems ({EICS} 2014)},
	publisher = {{ACM}},
	editor = {Fabio Paterno},
	note = {Late Breaking Results},
	doi = {https://doi.org/10.1145/2933242.2933257},
	address = {Rome, Italy},
	uri = {http://iihm.imag.fr/publication/ODC14a/},
	pdf = {http://iihm.imag.fr/publs/2014/oliveiraEICS14.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},
}