header photo

Raquel Araújo de Oliveira

Literary Production

2017
18 Long paper (Workshop) Oliveira, R., & Dingel, J. (2017, September). Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT. In Proceedings of the 14th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, Texas, USA.
17 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.
2016
16 Long paper (International conference) 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
15 Report (Livrable) Raquel Oliveira, Sophie Dupuy-Chessa. Verification of plastic interactive systems. 2016. Livrable n.3.1.4. Cluster Connexion.
2015
14 Journal 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).
13 Long paper (International conference) 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.
12 Short paper (International conference) 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.
11 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.
10 Poster “Formal Verification of Any User Interface – Including Plastic User Interfaces” - Connexion Symposium2015.
2014
9 Short paper (International conference) 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.
8 Poster “Formal verification of plastic user interfaces” - LIG PhD Students Day 2014.
2013
7 Report (Livrable) Raquel Oliveira, Sophie Dupuy-Chessa. État de l’art de la V&V d’IHM. 2013. Livrable n.2.3.1. Cluster Connexion.
6 Other (Workshop without proceedings) Raquel Oliveira. Vérification de systèmes interactifs plastiques. 2013. Workshop on short papers at RJC (Rencontres des Jeunes Chercheurs) IHM 2013 (2 pages).
2012
5 Short paper (International conference) 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.
4 Thesis Raquel Oliveira. Schema and Query Evolution. 2012. Master 2 Thesis. Université Joseph Fourier, Grenoble, France
2011
3 Thesis Raquel Oliveira. iCasa : a Framework to Support the Development of Pervasive Systems. 2011. Master 1 Thesis. Université Joseph Fourier, Grenoble, France
2008
2 Report Raquel Oliveira. Implementando um escritório de projetos. 2008. Academic Specialization Final Report. Manaus, Brazil.
2005
1 Report Raquel Oliveira. A Datawarehouse Project for Restaurants. 2005. University Final Report. Manaus, Brazil.