Raquel Araújo de Oliveira

19 papers B 1Misc 4Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
A Method for Assessing Environmental Impacts of Business Processes.
CBI
Mario Cortes Cornax, Agnès Front, Raquel Araújo de Oliveira, Claudia Roncancio
2024 J jnl
Supporting method engineering with a low-code approach: the LOMET tool.
Softw. Syst. Model.
Raquel Araújo de Oliveira, Mario Cortes Cornax, Agnès Front
2024 — conf
Une approche low-code pour la création, l'adaptation et l'exécution des méthodes.
INFORSID
Raquel Araújo de Oliveira, Mario Cortes Cornax, Agnès Front
2023 — conf
In Search of the Essence of No-Code - Elements of Data Modeling.
MoDELS (Companion)
Jean-Marie Favre, Raquel Araújo de Oliveira, Jean-Sébastien Sottet, Marc Quast
2023 — conf
Supporting Method Creation, Adaptation and Execution with a Low-code Approach.
BPMDS/EMMSAD@CAiSE
Raquel Araújo de Oliveira, Mario Cortes Cornax, Agnès Front
2023 — conf
Vers un Profil Environnemental des Processus Métier.
INFORSID
Mario Cortes Cornax, Claudia Roncancio, Raquel Araújo de Oliveira
2022 — conf
A light-weight low-code platform for back-end automation.
MoDELS (Companion)
Nicolas Hili, Raquel Araújo de Oliveira
2022 — conf
A low-code approach to support method engineering.
MoDELS (Companion)
Raquel Araújo de Oliveira, Mario Cortes Cornax, Agnès Front, Alexandre Demeure
2021 J jnl
Applying MDE to ROS Systems: A Comparative Analysis.
Sci. Ann. Comput. Sci.
Mickaël Trezzy, Ileana Ober, Iulian Ober, Raquel Araújo de Oliveira
2021 — conf
Summary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'21).
MoDELS (Companion)
Saad bin Abid, Raquel Araújo de Oliveira, Iulian Ober
2018 — conf
Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018).
MoDELS (Workshops)
Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araújo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic
2017 — conf
Supporting Model Refinement with Equivalence Checking in the Context of Model-driven Engineering with UML-RT.
MoDELS (Satellite Events)
Raquel Araújo de Oliveira, Juergen Dingel
2016 Misc conf
Using formal models to cross check an implementation.
EICS
Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary, Daniele Dadolle
2015 Misc conf
Equivalence checking for comparing user interfaces.
EICS
Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary
2015 — —
Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision. (Spécification formelle et vérification de systèmes interactifs avec plasticité : applications à la supervision nucléaire).
Raquel Araújo de Oliveira
2015 Misc conf
Plasticity of user interfaces: formal verification of consistency.
EICS
Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary
2015 J jnl
Verification of Plastic Interactive Systems.
i-com
Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary
2014 Misc conf
Formal verification of UI using the power of a recent tool suite.
EICS
Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary
2012 B conf
Toward automated schema-directed code revision.
ACM Symposium on Document Engineering
Raquel Araújo de Oliveira, Pierre Genevès, Nabil Layaïda