header photo

Raquel Araújo de Oliveira

Publications

International journal article :

  • Oliveira, R., Dupuy-Chessa, S. & Calvary, G. (2015). Verification of Plastic Interactive Systems. De Gruyter publication Journal of Interactive Media (i-com), 14(3), pp. 192-204, doi :10.1515/icom-2015-0036 (selected as an extension of EICS’15).

Book chapter :

  • Raquel Oliveira, Philippe Palanque, Benjamin Weyers , Judy Bowen, Alan Dix. State of the Art on Formal Methods for Interactive Systems. 2017. In The Handbook of Formal Methods in Human-Computer Interaction.

International conferences - long paper :

  • Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary, and Daniele Dadolle. 2016. Using formal models to cross check an implementation. In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '16). ACM, New York, NY, USA, 126-137. DOI: http://dx.doi.org/10.1145/2933242.2933257
  • Raquel Oliveira, Sophie Dupuy-Chessa, and Gaëlle Calvary. 2015. Equivalence checking for comparing user interfaces. In Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS ’15). ACM, New York, NY, USA, 266-275. DOI=http ://dx.doi.org.gate6.inist.fr/10.1145/2774225.2774844.

International conferences - short papers :

  • Raquel Oliveira, Sophie Dupuy-Chessa, and Gaëlle Calvary. 2015. Plasticity of user interfaces : formal verification of consistency. In Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS ’15). ACM, New York, NY, USA, 260-265. DOI=http ://dx.doi.org.gate6.inist.fr/10.1145/2774225.2775078.
  • Raquel Oliveira, Sophie Dupuy-Chessa, and Gaelle Calvary. 2014. Formal verification of UI using the power of a recent tool suite. In Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems (EICS ’14). ACM, New York, NY, USA, 235-240. DOI=10.1145/2607023.2610280 http ://doi.acm.org.gate6.inist.fr/10.1145/2607023.2610280.
  • Raquel Oliveira, Pierre Genevès, and Nabil Layaïda. 2012. Toward automated schema-directed code revision. In Proceedings of the 2012 ACM symposium on Document engineering (DocEng ’12). ACM, New York, NY, USA, 103-106. DOI=http ://dx.doi.org/10.1145/2361354.2361377.

Communications :

  • Poster “Formal Verification of Any User Interface – Including Plastic User Interfaces” - Connexion Symposium2015.
  • Poster “Formal verification of plastic user interfaces” - LIG PhD Students Day 2014.
  • Presentation of “Vérification formelle de systèmes critiques plastiques” - PhD Students Day of the Connexion Project 2014.

Thesis :

  • Raquel Oliveira. Formal Specification and Verification of Interactive Systems with Plasticity: Applications to Nuclear-Plant Supervision. 2015. PhD Thesis. Institut Polytechnique de Grenoble, France.
  • Raquel Oliveira. Schema and Query Evolution. 2012. Master 2 Thesis. Université Joseph Fourier, Grenoble, France
  • Raquel Oliveira. iCasa : a Framework to Support the Development of Pervasive Systems. 2011. Master 1 Thesis. Université Joseph Fourier, Grenoble, France
  • Raquel Oliveira. Implementando um escritório de projetos. 2008. Academic Specialization Final Report. Manaus, Brazil.
  • Raquel Oliveira. A Datawarehouse Project for Restaurants. 2005. University Final Report. Manaus, Brazil.

Others :

  • Raquel Oliveira, Sophie Dupuy-Chessa. Verification of plastic interactive systems. 2016. Livrable n.3.1.4. Cluster Connexion.
  • Raquel Oliveira, Sophie Dupuy-Chessa. État de l’art de la V&V d’IHM. 2013. Livrable n.2.3.1. Cluster Connexion.
  • Raquel Oliveira. Vérification de systèmes interactifs plastiques. 2013. Workshop on short papers at RJC (Rencontres des Jeunes Chercheurs) IHM 2013 (2 pages).