Literary Production
Published on June 24th, 2025
| 2024 | |||
| 33 | Journal | Araújo de Oliveira, Raquel, Mario Cortes-Cornax, and Agnès Front. "Supporting method engineering with a low-code approach: the LOMET tool." Software and Systems Modeling 23.5 (2024): 1101-1122. | |
| 32 | Extended Abstract (French Congress) | Oliveira R., Cortes-Cornax M., Front A. 2024. Une approche low-code pour la création, l’adaptation et l’exécution des méthodes. In INFORSID (pp. 1-2). | |
| 2023 | |||
| 31 | Long paper (International Workshop) | Favre J. M., Oliveira R., Sottet J. S., & Quast M. (2023, October). In Search of the Essence of No-Code–Elements of Data Modeling. In Proceedings of the 4th LowCode Workshop (LOWCODE 2023) co-located with ACM 26th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (MODELS'23) (pp. 878-887). IEEE. | |
| 30 | Long paper (International Conference) | Oliveira R., Cortes-Cornax M., Front A. Supporting Method Creation, Adaptation and Execution with a Low-code Approach. International Conference on Business Process Modeling, Development and Support. Cham: Springer Nature Switzerland, 2023. | |
| 29 | Short paper (French Congress) | Cortes-Cornax M., Roncancio C., Oliveira R., 2023. Vers un Profil Environnemental des Processus Métier. In INFORSID (pp. 65-70). | |
| 2022 | |||
| 28 | Long paper (International Workshop) | Oliveira R., Hili N. A Light-weight Low-code Platform for Back-end Automation. In Proceedings of the 3rd LowCode Workshop (LOWCODE 2022) co-located with ACM 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (MODELS'22) ACM, 2022. p. 837–846. | |
| 27 | Short paper (International Workshop) | Oliveira R., Cortes-Cornax M., Front A., Demeure A. A Low-code Approach to Support Method Engineering. In Proceedings of the 3rd LowCode Workshop, focusing on Modeling in Low-Code Development Platforms (LOWCODE 2022): Companion Proceedings (MODELS'22) ACM, 2022. p. 793–797. | |
| 2021 | |||
| 26 | Journal | Trezzy M., Ober I., Ober I., Oliveira R. Applying mde to ros systems: A comparative analysis. Scientific Annals of Computer Science, 2021, vol. 31, no 1, p. 111-144. | |
| 25 | Long paper (International Workshop) | Trezzy M., Ober I., Ober I., Oliveira R. Leveraging domain specific modeling to increase accessibility of robot programming. In : IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics (ECMSM). IEEE, 2021. p. 1-9. | |
| 24 | Proceedings | Bin Abid S., Oliveira R., Ober I. Proceedings of the 18th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa'21). Co-located with ACM/IEEE 24st MODELS2021. Fukuoka, Japan. | |
| 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. | |
