Literary Production
Published on March 12th, 2021
| 2020 | |||
| 23 | Proceedings | Posse E., Oliveira R., Ober I., Bin Abid S. Proceedings of the 17th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa'20). Co-located with ACM/IEEE 23st MODELS2020. Montreal, Canada. | |
| 2019 | |||
| 22 | Proceedings | Posse E., Oliveira R., Ober I., Bin Abid S. Proceedings of the 16th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa'19). Co-located with ACM/IEEE 22st MODELS2019. Munich, Germany. | |
| 2018 | |||
| 21 | Proceedings | Posse E., Lúcio L., Oliveira R., Ratiu D., Zalila F. Proceedings of the 15th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa'18). Co-located with ACM/IEEE 21st MODELS2018. Copenhagen, Denmark. | |
| 20 | Proceedings | Bagherzadeh M., Bordeleau F., Dingel J., Famelis M., Garcia-Dominguez A., Oliveira R., Posse E., Seidewitz E., Selic B.. Proceedings of the 2nd Workshop on Model-Driven Engineering Tools (MDETools'18). Co-located with ACM/IEEE 21st MODELS2018. Copenhagen, Denmark. | |
| 19 | Short paper (Workshop) | Trezzy, M., Ober, I., & Oliveira, R. Enhancing Robot Model Validation with Outdoor Environment Information." In 7ème Conférence en IngénieriE du Logiciel (CIEL'2018), Grenoble, France. | |
| 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. | |
