Raquel Araújo de Oliveira

According to our database, Raquel Araújo de Oliveira authored at least 16 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

In Search of the Essence of No-Code - Elements of Data Modeling.

Jean-Marie Favre, Raquel Araújo de Oliveira, Jean-Sébastien Sottet, Marc Quast

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Vers un Profil Environnemental des Processus Métier.

Mario Cortes Cornax, Claudia Roncancio, Raquel Araújo de Oliveira

Proceedings of the Actes du XLI Congrès INFORSID, La Rochelle, France, May 30, 2023

Supporting Method Creation, Adaptation and Execution with a Low-code Approach.

Raquel Araújo de Oliveira, Mario Cortes Cornax, Agnès Front

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2023

2022

A low-code approach to support method engineering.

Raquel Araújo de Oliveira, Mario Cortes Cornax, Agnès Front, Alexandre Demeure

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

A light-weight low-code platform for back-end automation.

Nicolas Hili, Raquel Araújo de Oliveira

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

Applying MDE to ROS Systems: A Comparative Analysis.

Mickaël Trezzy, Ileana Ober, Iulian Ober, Raquel Araújo de Oliveira

Sci. Ann. Comput. Sci., 2021

Summary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'21).

Saad bin Abid, Raquel Araújo de Oliveira, Iulian Ober

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2018

Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018).

Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araújo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic

Proceedings of MODELS 2018 Workshops: ModComp, 2018

2017

Supporting Model Refinement with Equivalence Checking in the Context of Model-driven Engineering with UML-RT.

Raquel Araújo de Oliveira, Juergen Dingel

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016

Using formal models to cross check an implementation.

Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary, Daniele Dadolle

Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

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

PhD thesis, 2015

Verification of Plastic Interactive Systems.

Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary

i-com, 2015

Equivalence checking for comparing user interfaces.

Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary

Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015

Plasticity of user interfaces: formal verification of consistency.

Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary

Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015

2014

Formal verification of UI using the power of a recent tool suite.

Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014

2012

Toward automated schema-directed code revision.

Raquel Araújo de Oliveira, Pierre Genevès, Nabil Layaïda

Proceedings of the ACM Symposium on Document Engineering, 2012