Raquel Arajo de Oliveira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
3
Active years
2012–2023
Best venue rank
A
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | MODELS | In Search of the Essence of No-Code - Elements of Data Modeling. | Jean-Marie Favre, Raquel Arajo de Oliveira, Jean-Sbastien Sottet, Marc Quast |
| 2022 | MODELS | A light-weight low-code platform for back-end automation. | Nicolas Hili, Raquel Arajo de Oliveira |
| 2022 | MODELS | A low-code approach to support method engineering. | Raquel Arajo de Oliveira, Mario Cortes Cornax, Agns Front, Alexandre Demeure |
| 2021 | MODELS | Summary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'21). | Saad bin Abid, Raquel Arajo de Oliveira, Iulian Ober |
| 2018 | MODELS | Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018). | Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio Garca-Domnguez, Raquel Arajo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic |
| 2017 | MODELS | Supporting Model Refinement with Equivalence Checking in the Context of Model-driven Engineering with UML-RT. | Raquel Arajo de Oliveira, Juergen Dingel |
| 2016 | EICS | Using formal models to cross check an implementation. | Raquel Arajo de Oliveira, Sophie Dupuy-Chessa, Galle Calvary, Daniele Dadolle |
| 2015 | EICS | Plasticity of user interfaces: formal verification of consistency. | Raquel Arajo de Oliveira, Sophie Dupuy-Chessa, Galle Calvary |
| 2015 | EICS | Equivalence checking for comparing user interfaces. | Raquel Arajo de Oliveira, Sophie Dupuy-Chessa, Galle Calvary |
| 2014 | EICS | Formal verification of UI using the power of a recent tool suite. | Raquel Arajo de Oliveira, Sophie Dupuy-Chessa, Galle Calvary |
| 2012 | DocEng | Toward automated schema-directed code revision. | Raquel Arajo de Oliveira, Pierre Genevs, Nabil Layada |